Uses of Class
org.jmlspecs.jmlrac.qexpr.AbstractExpressionVisitor

Packages that use AbstractExpressionVisitor

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.
org.jmlspecs.jmlrac.qexpr	Translates JML quantified expressions into Java source code to evaluate them at runtime.

Uses of AbstractExpressionVisitor in org.jmlspecs.checker

Subclasses of AbstractExpressionVisitor in org.jmlspecs.checker

class	JmlAdmissibilityVisitor A visitor class to check admissibility of JML invariants and represents clauses.
(package private) class	JmlClassicalAdmissibilityVisitor
(package private) class	JmlOwnershipAdmissibilityVisitor

Uses of AbstractExpressionVisitor in org.jmlspecs.jmlrac

Subclasses of AbstractExpressionVisitor in org.jmlspecs.jmlrac

private class	TransPostcondition.QVarChecker A class to check whether an expression has any references to quantified variables.
private class	TransPostExpression2.QVarChecker A class to check whether an expression has any references to quantified variables.

Uses of AbstractExpressionVisitor in org.jmlspecs.jmlrac.qexpr

Subclasses of AbstractExpressionVisitor in org.jmlspecs.jmlrac.qexpr

private static class

QInterval.CheckRecursion A class to check an appearance of local variables in an expression.