Uses of Class
org.multijava.mjc.JEqualityExpression

Packages that use JEqualityExpression

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

Subclasses of JEqualityExpression in org.jmlspecs.checker

class

JmlEqualityExpression This class represents the AST node for the equality operators.

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

void	JmlAbstractVisitor.visitEqualityExpression(JEqualityExpression self) Visits the given equality expression.
void	JmlVisitorNI.visitEqualityExpression(JEqualityExpression self) visits an equality expression
void	JmlAccumSubclassingInfo.visitEqualityExpression(JEqualityExpression self)
void	JmlExpressionChecker.visitEqualityExpression(JEqualityExpression self) Checks visibility (and purity) of the given expression, self.

Uses of JEqualityExpression in org.jmlspecs.jmldoc.jmldoc_142

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

void	SpecWriter.visitEqualityExpression(JEqualityExpression self) visits an equality expression

Uses of JEqualityExpression in org.jmlspecs.jmlrac

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

void	RacPrettyPrinter.visitEqualityExpression(JEqualityExpression self) prints an equality expression
void	TransExpression.visitEqualityExpression(JEqualityExpression self) Translates an equality expression.
void	TransExpression2.visitEqualityExpression(JEqualityExpression self) Translates an equality expression into left opr right.

Uses of JEqualityExpression in org.jmlspecs.jmlrac.qexpr

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

void	AbstractExpressionVisitor.visitEqualityExpression(JEqualityExpression self) Visits the given equality expression, self.

Uses of JEqualityExpression in org.multijava.mjc

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

abstract void	MjcVisitor.visitEqualityExpression(JEqualityExpression self) visits an equality expression
void	MjcPrettyPrinter.visitEqualityExpression(JEqualityExpression self) prints an equality expression