Uses of Package
org.jmlspecs.jml4.rac.quantifiedexpression

Packages that use org.jmlspecs.jml4.rac.quantifiedexpression

org.jmlspecs.jml4.rac.quantifiedexpression

Classes in org.jmlspecs.jml4.rac.quantifiedexpression used by org.jmlspecs.jml4.rac.quantifiedexpression

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

RacContext
A class for representing contexts for translating JML expressions.

StaticAnalysis

Translator