Uses of Class
org.jmlspecs.checker.JmlInformalExpression

Packages that use JmlInformalExpression

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

Methods in org.jmlspecs.checker that return JmlInformalExpression

static JmlInformalExpression	JmlInformalExpression.ofBoolean(TokenReference where, String text) Returns a new informal description of type boolean.
static JmlInformalExpression	JmlInformalExpression.ofInteger(TokenReference where, String text) Returns a new informal description of type int.
static JmlInformalExpression	JmlInformalExpression.ofInteger(JmlInformalExpression expr) Returns a new informal description of type int out of the given informal description expression.

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

void	JmlAbstractVisitor.visitJmlInformalExpression(JmlInformalExpression self)
abstract void	JmlVisitor.visitJmlInformalExpression(JmlInformalExpression self)
static JmlInformalExpression	JmlInformalExpression.ofInteger(JmlInformalExpression expr) Returns a new informal description of type int out of the given informal description expression.
void	JmlVisitorNI.visitJmlInformalExpression(JmlInformalExpression self)
void	JmlExpressionChecker.visitJmlInformalExpression(JmlInformalExpression self) Checks visibility (and purity) of the given expression, self.

Uses of JmlInformalExpression in org.jmlspecs.jmldoc.jmldoc_142

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

void	SpecWriter.visitJmlInformalExpression(JmlInformalExpression self)

Uses of JmlInformalExpression in org.jmlspecs.jmlrac

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

void	RacPrettyPrinter.visitJmlInformalExpression(JmlInformalExpression self) Prints a JML informal expression.
void	TransExpression.visitJmlInformalExpression(JmlInformalExpression self) Translates a JML informal description expression.
void	TransExpression2.visitJmlInformalExpression(JmlInformalExpression self) Translates a JmlInformalExpression expression.

Uses of JmlInformalExpression in org.jmlspecs.jmlrac.qexpr

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

void	AbstractExpressionVisitor.visitJmlInformalExpression(JmlInformalExpression self) Visits the given informal description expression, self.