Uses of Class
org.jmlspecs.jmlrac.RacAbstractVisitor

Packages that use RacAbstractVisitor

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 RacAbstractVisitor in org.jmlspecs.jmlrac

Subclasses of RacAbstractVisitor in org.jmlspecs.jmlrac

class	JmlRacGenerator A class implementing the JML Runtime Assertion Checker (RAC).
class	TransConstructorBody A visitor class for translating JML specification statements in a constrcutor body into assertion check code.
class	TransExpression A RAC visitor class to translate JML expressions into Java source code.
class	TransExpression2 A RAC visitor class to translate JML expressions into Java source code.
class	TransExpressionSideEffect A special expression translator that allows translation of expressions with side-effects.
class	TransMethodBody A visitor class for translating JML specification statements in a method body into assertion check code.
class	TransOldExpression A RAC visitor class for transforming JML old expressions into Java code.
class	TransPostcondition A RAC visitor class for transforming JML postconditions into Java source code.
private class	TransPostcondition.QVarChecker A class to check whether an expression has any references to quantified variables.
class	TransPostExpression2 A RAC visitor class to translate JML expressions into Java source code.
private class	TransPostExpression2.QVarChecker A class to check whether an expression has any references to quantified variables.
class	TransPredicate A RAC visitor class for transforming JML predicates into Java code.

Uses of RacAbstractVisitor in org.jmlspecs.jmlrac.qexpr

Subclasses of RacAbstractVisitor in org.jmlspecs.jmlrac.qexpr

class	AbstractExpressionVisitor An abstract visitor class that visits all subexpressions of a given expression recursively.
private static class	QInterval.CheckRecursion A class to check an appearance of local variables in an expression.