Uses of Class
org.jmlspecs.jml4.rac.runtime.JMLRacValue

Packages that use JMLRacValue

org.jmlspecs.jml4.rac.runtime

Uses of JMLRacValue in org.jmlspecs.jml4.rac.runtime

Methods in org.jmlspecs.jml4.rac.runtime that return JMLRacValue

static JMLRacValue	JMLRacValue.ofBoolean(boolean v) Returns a new JMLRacValue object that wraps the given boolean value, v.
static JMLRacValue	JMLRacValue.ofInt(int v) Returns a new JMLRacValue object that wraps the given int value, v.
static JMLRacValue	JMLRacValue.ofNonExecutable() Returns an instance that denotes a demonic undefinedness.
static JMLRacValue	JMLRacValue.ofObject(java.lang.Object v) Returns a new JMLRacValue object that wraps the given argument.
static JMLRacValue	JMLRacValue.ofUndefined() Returns an instance that denotes an angelic undefinedness.