Uses of Class
org.jmlspecs.jml4.rac.RacConstants.Condition

Packages that use RacConstants.Condition

org.jmlspecs.jml4.rac

Uses of RacConstants.Condition in org.jmlspecs.jml4.rac

Methods in org.jmlspecs.jml4.rac that return RacConstants.Condition

static RacConstants.Condition	RacConstants.Condition.valueOf(java.lang.String name) Returns the enum constant of this type with the specified name.
static RacConstants.Condition[]	RacConstants.Condition.values() Returns an array containing the constants of this enum type, in the order they are declared.

Methods in org.jmlspecs.jml4.rac with parameters of type RacConstants.Condition

CodeBuffer

ExpressionTranslator.embedSpecCase(Expression e, SourceTypeBinding sourceTypeBinding, RacResult result, java.lang.String var, VariableGenerator varGen, CompilationResult compilationResult, RacConstants.Condition condition)