Uses of Class
org.multijava.mjc.JMinusExpression

Packages that use JMinusExpression

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

Subclasses of JMinusExpression in org.jmlspecs.checker

class

JmlMinusExpression This class represents the addition binary expression.

Methods in org.jmlspecs.checker that return JMinusExpression

JMinusExpression

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

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

void	JmlAbstractVisitor.visitMinusExpression(JMinusExpression self) Visits the given minus expression.
void	JmlVisitorNI.visitMinusExpression(JMinusExpression self) visits a minus expression
void	JmlAccumSubclassingInfo.visitMinusExpression(JMinusExpression self)
void	JmlExpressionChecker.visitMinusExpression(JMinusExpression self) Checks visibility (and purity) of the given expression, self.

Uses of JMinusExpression in org.jmlspecs.jmldoc.jmldoc_142

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

void	SpecWriter.visitMinusExpression(JMinusExpression self) visits a minus expression

Uses of JMinusExpression in org.jmlspecs.jmlrac

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

void	TransExpression.visitMinusExpression(JMinusExpression self) Translates a minus expression.
void	TransExpression2.visitMinusExpression(JMinusExpression self) Translates a minus expression.

Uses of JMinusExpression in org.jmlspecs.jmlrac.qexpr

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

void	AbstractExpressionVisitor.visitMinusExpression(JMinusExpression self) Visits the given minus expression, self.

Uses of JMinusExpression in org.multijava.mjc

Methods in org.multijava.mjc that return JMinusExpression

JMinusExpression

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

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

abstract void	MjcVisitor.visitMinusExpression(JMinusExpression self) visits a minus expression
void	MjcPrettyPrinter.visitMinusExpression(JMinusExpression self) visits a minus expression