Uses of Class
org.jmlspecs.jmlrac.AbstractExpressionTranslator

Packages that use AbstractExpressionTranslator

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

Subclasses of AbstractExpressionTranslator in org.jmlspecs.jmlrac

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	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.
class	TransPostExpression2 A RAC visitor class to translate JML expressions into Java source code.
class	TransPredicate A RAC visitor class for transforming JML predicates into Java code.

Uses of AbstractExpressionTranslator in org.jmlspecs.jmlrac.qexpr

Fields in org.jmlspecs.jmlrac.qexpr declared as AbstractExpressionTranslator

protected AbstractExpressionTranslator	Translator.transExp
private AbstractExpressionTranslator	TransQuantifiedExpression.transExp translator for translating subexpressions

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

private RacNode	QInterval.transLBound(VarGenerator varGen, String var, AbstractExpressionTranslator transExpr, QInterval.Bound bound) Returns code that evaluates the given lower bound.
private RacNode	QInterval.transUBound(VarGenerator varGen, String var, AbstractExpressionTranslator transExpr, QInterval.Bound bound) Returns code that evaluates the given upper bound.
private RacNode	QInterval.transBound(VarGenerator varGen, String var, AbstractExpressionTranslator transExp, QInterval.Bound bound, int opr) Returns code that evaluates the given lower or upper bound.
RacNode	QInterval.translate(VarGenerator varGen, String lowerVar, String upperVar, AbstractExpressionTranslator transExp) Return Java source code that, if executed, evaluates the quantfied interval, i.e., its lower and upper bound values.
abstract RacNode	QSet.translate(VarGenerator varGen, String resultVar, AbstractExpressionTranslator transExp) Returns Java source code that computes the qset represented by this object.
RacNode	QSet.Top.translate(VarGenerator varGen, String resultVar, AbstractExpressionTranslator transExp) Return Java source code that computes the qset represented by this object.
RacNode	QSet.Leaf.translate(VarGenerator varGen, String resultVar, AbstractExpressionTranslator transExp) Return Java source code that computes the qset represented by this object.
RacNode	QSet.Union.translate(VarGenerator varGen, String resultVar, AbstractExpressionTranslator transExp) Return Java source code that computes the qset represented by this object.
RacNode	QSet.Intersection.translate(VarGenerator varGen, String resultVar, AbstractExpressionTranslator transExp) Return Java source code that computes the qset represented by this object.
static StaticAnalysis	StaticAnalysis.getInstance(VarGenerator varGen, RacContext ctx, JmlSpecQuantifiedExpression expr, String resultVar, AbstractExpressionTranslator transExp) Returns an instance of StaticAnalysis, that translates JML quantified expressions into Java source code.

Constructors in org.jmlspecs.jmlrac.qexpr with parameters of type AbstractExpressionTranslator

Translator(VarGenerator varGen, RacContext ctx, JmlSpecQuantifiedExpression expr, String resultVar, AbstractExpressionTranslator transExp)
Construct a TransQuantifiedExpression object.

StaticAnalysis(VarGenerator varGen, RacContext ctx, JmlSpecQuantifiedExpression expr, String resultVar, AbstractExpressionTranslator transExp)
Constructs a StaticAnalysis object.

StaticAnalysis.SetBased(VarGenerator varGen, RacContext ctx, JmlSpecQuantifiedExpression expr, String resultVar, AbstractExpressionTranslator transExp)
Constructs a SetBased object.

StaticAnalysis.IntervalBased(VarGenerator varGen, RacContext ctx, JmlSpecQuantifiedExpression expr, String resultVar, AbstractExpressionTranslator transExp)
Constructs a IntervalBased object.

StaticAnalysis.EnumerationBased(VarGenerator varGen, RacContext ctx, JmlSpecQuantifiedExpression expr, String resultVar, AbstractExpressionTranslator transExp)
Constructs a EnumerationBased object.

TransQuantifiedExpression(VarGenerator varGen, RacContext context, JmlSpecQuantifiedExpression expr, String resultVar, AbstractExpressionTranslator transExp)
Constructs a new instance.