Uses of Class
org.jmlspecs.jml4.rac.quantifiedexpression.NonExecutableQuantifierException

Packages that use NonExecutableQuantifierException

org.jmlspecs.jml4.rac.quantifiedexpression

Uses of NonExecutableQuantifierException in org.jmlspecs.jml4.rac.quantifiedexpression

Methods in org.jmlspecs.jml4.rac.quantifiedexpression that throw NonExecutableQuantifierException

abstract java.lang.String	Translator.generateLoop(ASTNode body) Returns a loop code that evaluates the given body with the quantified variable bound to each possible value of the range.
java.lang.String	StaticAnalysis.generateLoop(ASTNode body) Returns a loop code that evaluates the given body with the quantified variable bound to each possible value of the range.
java.lang.String	QuantifiedExpressionTranslator.generateLoop(ASTNode node) Tanslates a JML quantified expression into Java source code that, if executed, evaluates the given statement, node for each combination of bound variables of the quantified expression.
abstract java.lang.String	Translator.translate() Translate a JML quantified expression into Java source code and return the result.
java.lang.String	StaticAnalysis.translate() Translate a JML quantified expression into Java source code and return the result.
java.lang.String	QInterval.translate(VariableGenerator varGen, java.lang.String lowerVar, java.lang.String upperVar, PostStateExpressionTranslator transExp) Return Java source code that, if executed, evaluates the quantfied interval, i.e., its lower and upper bound values.