Uses of Class
org.multijava.mjc.JAddExpression

Packages that use JAddExpression

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

Subclasses of JAddExpression in org.jmlspecs.checker

class

JmlAddExpression This class represents the addition binary expression.

Methods in org.jmlspecs.checker that return JAddExpression

JAddExpression

JmlExpressionFactory.createAddExpression(antlr.Token tok, TokenReference where, JExpression left, JExpression right)

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

void	JmlAbstractVisitor.visitAddExpression(JAddExpression self) Visits the given add expression.
void	JmlVisitorNI.visitAddExpression(JAddExpression self) visits an add expression
void	JmlAccumSubclassingInfo.visitAddExpression(JAddExpression self)
void	JmlExpressionChecker.visitAddExpression(JAddExpression self) Checks visibility (and purity) of the given expression, self.

Uses of JAddExpression in org.jmlspecs.jmldoc.jmldoc_142

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

void	SpecWriter.visitAddExpression(JAddExpression self) visits an add expression

Uses of JAddExpression in org.jmlspecs.jmlrac

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

void	TransExpression.visitAddExpression(JAddExpression self) Translates an add expression.
void	TransExpression2.visitAddExpression(JAddExpression self) Translates an add expression.

Uses of JAddExpression in org.jmlspecs.jmlrac.qexpr

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

void	AbstractExpressionVisitor.visitAddExpression(JAddExpression self) Visits the given addition expression, self.

Uses of JAddExpression in org.multijava.mjc

Methods in org.multijava.mjc that return JAddExpression

JAddExpression

JExpressionFactory.createAddExpression(antlr.Token tok, TokenReference where, JExpression left, JExpression right)

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

abstract void	MjcVisitor.visitAddExpression(JAddExpression self) visits an add expression
void	MjcPrettyPrinter.visitAddExpression(JAddExpression self) visits an add expression