Uses of Class
org.multijava.mjc.JShiftExpression

Packages that use JShiftExpression

org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
org.jmlspecs.jmldoc.jmldoc_142
org.jmlspecs.jmlrac	Generates Java classes from JML specifications that check assertions at runtime.
org.jmlspecs.jmlrac.qexpr	Translates JML quantified expressions into Java source code to evaluate them at runtime.
org.multijava.mjc	Implements mjc, a MultiJava compiler.

Uses of JShiftExpression in org.jmlspecs.checker

Subclasses of JShiftExpression in org.jmlspecs.checker

class

JmlShiftExpression This class represents the addition binary expression.

Methods in org.jmlspecs.checker with parameters of type JShiftExpression

void	JmlAbstractVisitor.visitShiftExpression(JShiftExpression self) Visits the given shift expression.
void	JmlVisitorNI.visitShiftExpression(JShiftExpression self) visits a shift expression
void	JmlAccumSubclassingInfo.visitShiftExpression(JShiftExpression self)
void	JmlExpressionChecker.visitShiftExpression(JShiftExpression self) Checks visibility (and purity) of the given expression, self.

Uses of JShiftExpression in org.jmlspecs.jmldoc.jmldoc_142

Methods in org.jmlspecs.jmldoc.jmldoc_142 with parameters of type JShiftExpression

void	SpecWriter.visitShiftExpression(JShiftExpression self) visits a shift expression

Uses of JShiftExpression in org.jmlspecs.jmlrac

Methods in org.jmlspecs.jmlrac with parameters of type JShiftExpression

void	RacPrettyPrinter.visitShiftExpression(JShiftExpression self) prints a shift expression
void	TransExpression.visitShiftExpression(JShiftExpression self) Translates a shift expression.
void	TransExpression2.visitShiftExpression(JShiftExpression self) Translates a shift expression.

Uses of JShiftExpression in org.jmlspecs.jmlrac.qexpr

Methods in org.jmlspecs.jmlrac.qexpr with parameters of type JShiftExpression

void	AbstractExpressionVisitor.visitShiftExpression(JShiftExpression self) Visits the given shift expression, self.

Uses of JShiftExpression in org.multijava.mjc

Methods in org.multijava.mjc that return JShiftExpression

JShiftExpression

JExpressionFactory.createShiftExpression(TokenReference where, int oper, JExpression left, JExpression right)

Methods in org.multijava.mjc with parameters of type JShiftExpression

abstract void	MjcVisitor.visitShiftExpression(JShiftExpression self) visits a shift expression
void	MjcPrettyPrinter.visitShiftExpression(JShiftExpression self) prints a shift expression