Uses of Class
org.multijava.mjc.JBitwiseExpression

Packages that use JBitwiseExpression

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 JBitwiseExpression in org.jmlspecs.checker

Subclasses of JBitwiseExpression in org.jmlspecs.checker

class

JmlBitwiseExpression This class represents the addition binary expression.

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

void	JmlAbstractVisitor.visitBitwiseExpression(JBitwiseExpression self) Visits the given bitwise expression.
void	JmlVisitorNI.visitBitwiseExpression(JBitwiseExpression self) visits a compound assignment expression
void	JmlAccumSubclassingInfo.visitBitwiseExpression(JBitwiseExpression self)
void	JmlExpressionChecker.visitBitwiseExpression(JBitwiseExpression self) Checks visibility (and purity) of the given expression, self.

Uses of JBitwiseExpression in org.jmlspecs.jmldoc.jmldoc_142

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

void	SpecWriter.visitBitwiseExpression(JBitwiseExpression self) visits a bit operator expression

Uses of JBitwiseExpression in org.jmlspecs.jmlrac

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

void	RacPrettyPrinter.visitBitwiseExpression(JBitwiseExpression self) prints a bitwise expression
void	TransExpression.visitBitwiseExpression(JBitwiseExpression self) Translates a Java bitwise AND, OR or XOR expression (|, & and ^).
void	TransExpression2.visitBitwiseExpression(JBitwiseExpression self) Translates a bitwise expression into left opr ritgh.

Uses of JBitwiseExpression in org.jmlspecs.jmlrac.qexpr

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

void	AbstractExpressionVisitor.visitBitwiseExpression(JBitwiseExpression self) Visits the given bitwise expression, self.

Uses of JBitwiseExpression in org.multijava.mjc

Methods in org.multijava.mjc that return JBitwiseExpression

JBitwiseExpression

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

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

abstract void	MjcVisitor.visitBitwiseExpression(JBitwiseExpression self) visits a compound assignment expression
void	MjcPrettyPrinter.visitBitwiseExpression(JBitwiseExpression self) prints a compound assignment expression