Package org.jmlspecs.jml4.rac.quantifiedexpression

Class Summary

QInterval	A class for static approximations of the intervals for quantified variables of integeral types.
QuantifiedExpressionTranslator	An abstract class for translating JML quantified expressions into Java source code.
RacContext	A class for representing contexts for translating JML expressions.
StaticAnalysis
Translator

Exception Summary

NonExecutableQuantifierException

Thrown to indicate that an attempt has been made to translate a JML quantified expression that is not executable.