Uses of Class
org.btrplace.safeplace.spec.type.VMStateType.Type
Package | Description |
---|---|
org.btrplace.safeplace.spec.term.func | |
org.btrplace.safeplace.spec.type | |
org.btrplace.safeplace.testing.verification.spec |
-
Uses of VMStateType.Type in org.btrplace.safeplace.spec.term.func
Methods in org.btrplace.safeplace.spec.term.func that return VMStateType.Type Modifier and Type Method Description VMStateType.Type
VMState. eval(Context mo, Object... args)
-
Uses of VMStateType.Type in org.btrplace.safeplace.spec.type
Methods in org.btrplace.safeplace.spec.type that return VMStateType.Type Modifier and Type Method Description static VMStateType.Type
VMStateType.Type. valueOf(String name)
Returns the enum constant of this type with the specified name.static VMStateType.Type[]
VMStateType.Type. values()
Returns an array containing the constants of this enum type, in the order they are declared. -
Uses of VMStateType.Type in org.btrplace.safeplace.testing.verification.spec
Methods in org.btrplace.safeplace.testing.verification.spec that return VMStateType.Type Modifier and Type Method Description VMStateType.Type
SpecMapping. state(VM vm)
Methods in org.btrplace.safeplace.testing.verification.spec with parameters of type VMStateType.Type Modifier and Type Method Description void
SpecMapping. state(VM v, VMStateType.Type t)