Uses of Class
org.jmlspecs.checker.JmlSpecExpressionWrapper

Packages that use JmlSpecExpressionWrapper

org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
org.jmlspecs.jmlrac	Generates Java classes from JML specifications that check assertions at runtime.

Uses of JmlSpecExpressionWrapper in org.jmlspecs.checker

Subclasses of JmlSpecExpressionWrapper in org.jmlspecs.checker

class	JmlElemTypeExpression JmlElemTypeExpression.java
class	JmlInvariantForExpression AST for the JML expression \invariant_for.
class	JmlLabelExpression AST for the JML expressions \lblneg and \lblpos.
class	JmlNonNullElementsExpression JmlNonNullElementsExpression.java
class	JmlOldExpression JmlOldExpression.java
class	JmlPreExpression JmlPreExpression.java
class	JmlReachExpression An AST node class for the JML reach expressions.
class	JmlSpaceExpression JmlSpaceExpression.java
class	JmlTypeOfExpression JmlTypeOfExpression.java

Uses of JmlSpecExpressionWrapper in org.jmlspecs.jmlrac

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

void	TransPostcondition.transPreExpression(JmlSpecExpressionWrapper self)
private boolean	TransPostcondition.hasQuantifiedVar(JmlSpecExpressionWrapper expr) Does the given old or pre expression, expr, have any free quantified variables?
private void	TransPostcondition.oldExpressionInQuantifiers(JmlSpecExpressionWrapper self) Translates a JML old expression, self, enclosed in quantifiers.
void	TransPostExpression2.transPreExpression(JmlSpecExpressionWrapper self)
private boolean	TransPostExpression2.hasQuantifiedVar(JmlSpecExpressionWrapper expr) Does the given old or pre expression, expr, have any free quantified variables?
private void	TransPostExpression2.oldExpressionInQuantifiers(JmlSpecExpressionWrapper self) Translates a JML old expression, self, enclosed in quantifiers.