Uses of Class
org.jmlspecs.jmlrac.qexpr.QInterval.Bound

Packages that use QInterval.Bound

org.jmlspecs.jmlrac.qexpr

Translates JML quantified expressions into Java source code to evaluate them at runtime.

Uses of QInterval.Bound in org.jmlspecs.jmlrac.qexpr

Methods in org.jmlspecs.jmlrac.qexpr that return QInterval.Bound

static QInterval.Bound	QInterval.Bound.fromLeftExpression(int oper, JExpression expr, CType type) Returns a bound built from a bound expression with the bound value, expr, on the left-hand side, e.g., in 10 > x.
static QInterval.Bound	QInterval.Bound.fromRightExpression(int oper, JExpression expr, CType type) Returns a bound built from a bound expression with the bound value, expr, on the right-hand side, e.g., in x > 10.

Methods in org.jmlspecs.jmlrac.qexpr with parameters of type QInterval.Bound

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.