Uses of Class
org.multijava.mjc.JAssignmentExpression

Packages that use JAssignmentExpression

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

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

void	JmlAbstractVisitor.visitAssignmentExpression(JAssignmentExpression self) Visits the given assignment expression.
void	JmlVisitorNI.visitAssignmentExpression(JAssignmentExpression self) visits an assignment expression
void	JmlAccumSubclassingInfo.visitAssignmentExpression(JAssignmentExpression self)
void	JmlExpressionChecker.visitAssignmentExpression(JAssignmentExpression self) Checks visibility (and purity) of the given expression, self.

Uses of JAssignmentExpression in org.jmlspecs.jmldoc.jmldoc_142

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

void	SpecWriter.visitAssignmentExpression(JAssignmentExpression self) visits an assignment expression

Uses of JAssignmentExpression in org.jmlspecs.jmlrac

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

static String	TransMethodBody.operator(JAssignmentExpression expr) Returns the string representation of the assignment operator of the given assignment expression.
void	TransExpression.visitAssignmentExpression(JAssignmentExpression self) Translates a Java assignment expression.
void	TransExpression.visitCompoundAssignmentExpression(JAssignmentExpression self) Translates a Java compound assignment expression.
void	TransExpression2.visitAssignmentExpression(JAssignmentExpression self) Translates a Java assignment expression.
void	TransExpression2.visitCompoundAssignmentExpression(JAssignmentExpression self) Translates a Java compound assignment expression.
void	TransExpressionSideEffect.visitAssignmentExpression(JAssignmentExpression self) Translates the given assignment expression, self.
void	TransExpressionSideEffect.transAssignmentExpression(JAssignmentExpression expr) Translates the given assignment expresson.

Uses of JAssignmentExpression in org.jmlspecs.jmlrac.qexpr

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

void	AbstractExpressionVisitor.visitAssignmentExpression(JAssignmentExpression self) Visits the given assignment expression, self.

Uses of JAssignmentExpression in org.multijava.mjc

Subclasses of JAssignmentExpression in org.multijava.mjc

class

JCompoundAssignmentExpression This class represents the compound assignment operation, e.g., x += 3 and y *= 4, in the AST.

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

abstract void	MjcVisitor.visitAssignmentExpression(JAssignmentExpression self) visits an assignment expression
void	MjcPrettyPrinter.visitAssignmentExpression(JAssignmentExpression self) prints an assignment expression