Uses of Class
org.multijava.mjc.JRelationalExpression

Packages that use JRelationalExpression

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

Subclasses of JRelationalExpression in org.jmlspecs.checker

class

JmlRelationalExpression This class represents the JML relational expressions.

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

void	JmlAbstractVisitor.visitRelationalExpression(JRelationalExpression self) Visits the given relational expression.
void	JmlVisitorNI.visitRelationalExpression(JRelationalExpression self) visits a shift expressiona
void	JmlAccumSubclassingInfo.visitRelationalExpression(JRelationalExpression self)
void	JmlExpressionChecker.visitRelationalExpression(JRelationalExpression self) Checks visibility (and purity) of the given expression, self.

Uses of JRelationalExpression in org.jmlspecs.jmldoc.jmldoc_142

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

void	SpecWriter.visitRelationalExpression(JRelationalExpression self) visits a relational expression
String	SpecWriter.htmlop(int op, JRelationalExpression s)

Uses of JRelationalExpression in org.jmlspecs.jmlrac

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

void	TransExpression.visitRelationalExpression(JRelationalExpression self) Translates a Java relational expression (<, <=, >, or >=).
void	TransExpression2.visitRelationalExpression(JRelationalExpression self) Translates java relational expression.

Uses of JRelationalExpression in org.jmlspecs.jmlrac.qexpr

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

void	AbstractExpressionVisitor.visitRelationalExpression(JRelationalExpression self) Visits the given relational expression, self.

Uses of JRelationalExpression in org.multijava.mjc

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

abstract void	MjcVisitor.visitRelationalExpression(JRelationalExpression self) visits a shift expressiona
void	MjcPrettyPrinter.visitRelationalExpression(JRelationalExpression self) prints a shift expressiona