Uses of Class
org.multijava.mjc.JBinaryExpression

Packages that use JBinaryExpression

org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
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 JBinaryExpression in org.jmlspecs.checker

Subclasses of JBinaryExpression in org.jmlspecs.checker

class	JmlAddExpression This class represents the addition binary expression.
class	JmlBitwiseExpression This class represents the addition binary expression.
class	JmlDivideExpression This class represents the addition binary expression.
class	JmlEqualityExpression This class represents the AST node for the equality operators.
class	JmlMinusExpression This class represents the addition binary expression.
class	JmlModuloExpression This class represents the addition binary expression.
class	JmlMultExpression This class represents the addition binary expression.
class	JmlRelationalExpression This class represents the JML relational expressions.
class	JmlShiftExpression This class represents the addition binary expression.

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

protected void	JmlAbstractVisitor.visitBinaryExpression(JBinaryExpression self, String oper) Visits the given binary expression with the given operator.
protected void	JmlAccumSubclassingInfo.visitBinaryExpression(JBinaryExpression self, String oper)
protected void	JmlExpressionChecker.visitBinaryExpression(JBinaryExpression expr) Checks visibility (and purity) of the given binary expression, expr.

Uses of JBinaryExpression in org.jmlspecs.jmlrac

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

protected void	RacPrettyPrinter.visitBinaryExpression(JBinaryExpression self, String oper) prints a binary expression with the given operator
protected void	TransExpression.visitBinaryExpression(JBinaryExpression self, String oper) Translates a binary expression of the given operator.
protected void	TransExpression.visitBooleanBinaryExpression(JBinaryExpression self, String oper) Translates a binary expression of the given operator.
protected void	TransExpression2.visitBinaryExpression(JBinaryExpression self, String oper) Translates various types of supported binary expression into left opr ritgh.

Uses of JBinaryExpression in org.jmlspecs.jmlrac.qexpr

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

protected void

AbstractExpressionVisitor.visitBinaryExpression(JBinaryExpression self) Visits the binary expressions, exprs.

Uses of JBinaryExpression in org.multijava.mjc

Subclasses of JBinaryExpression in org.multijava.mjc

class	JAddExpression This class represents the addition binary expression.
class	JAssignmentExpression This class implements the assignment operation
class	JBinaryArithmeticExpression This class is an abstract root class for binary expressions.
class	JBitwiseExpression This class represents the bitwise AND, OR, and XOR binary expressions.
class	JCompoundAssignmentExpression This class represents the compound assignment operation, e.g., x += 3 and y *= 4, in the AST.
class	JConditionalAndExpression This class implements the conditional and operation
class	JConditionalOrExpression This class implements the conditional or operation
class	JDivideExpression This class represents the division binary expression.
class	JEqualityExpression This class represents the AST node for the equality operators.
class	JMinusExpression This class represents the subtraction binary expression.
class	JModuloExpression This class represents the modulo binary expression.
class	JMultExpression This class represents the multiplication binary expression.
class	JRelationalExpression This class represents the AST node for the relational operators, <, >, etc.
class	JShiftExpression This class represents the shift (left, right, boolean-right) binary expressions.

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

protected void

MjcPrettyPrinter.visitBinaryExpression(JBinaryExpression self, String oper) prints a binary expression with the given operator