Uses of Class
org.jmlspecs.checker.JmlRelationalExpression

Packages that use JmlRelationalExpression

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.

Uses of JmlRelationalExpression in org.jmlspecs.checker

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

void	JmlAbstractVisitor.visitJmlRelationalExpression(JmlRelationalExpression self)
abstract void	JmlVisitor.visitJmlRelationalExpression(JmlRelationalExpression self)
void	JmlVisitorNI.visitJmlRelationalExpression(JmlRelationalExpression self)
void	JmlAccumSubclassingInfo.visitJmlRelationalExpression(JmlRelationalExpression self)
void	JmlExpressionChecker.visitJmlRelationalExpression(JmlRelationalExpression self) Checks visibility (and purity) of the given expression, self.

Uses of JmlRelationalExpression in org.jmlspecs.jmldoc.jmldoc_142

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

void	SpecWriter.visitJmlRelationalExpression(JmlRelationalExpression self)

Uses of JmlRelationalExpression in org.jmlspecs.jmlrac

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

void	RacPrettyPrinter.visitJmlRelationalExpression(JmlRelationalExpression self) Prints a JML relational expression.
void	TransExpression.visitJmlRelationalExpression(JmlRelationalExpression self) Translates a JML relational expression.
void	TransExpression.translateIsSubtypeOf(JmlRelationalExpression self) Translates the given isSubtypeOf expression.
void	TransExpression.translateImplication(JmlRelationalExpression self) Translates the given logical implication expression.
void	TransExpression.translateEquivalence(JmlRelationalExpression self) Translates the given equivalence expression.
void	TransExpression2.visitJmlRelationalExpression(JmlRelationalExpression self) Translates a JML relational expression.

Uses of JmlRelationalExpression in org.jmlspecs.jmlrac.qexpr

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

void	AbstractExpressionVisitor.visitJmlRelationalExpression(JmlRelationalExpression self) Visits the given JML relational expression, self.