Package | Description |
---|---|
gov.nasa.jpf.util.script | |
gov.nasa.jpf.vm | |
gov.nasa.jpf.vm.choice |
Modifier and Type | Class and Description |
---|---|
class |
EventGenerator<T>
abstract ChoiceGenerator root for Event based generators
|
Modifier and Type | Class and Description |
---|---|
class |
BooleanChoiceGenerator
a pretty simple ChoiceGenerator that returns a boolean
there is not much use in having a CG type interface (such as
IntChoiceGenerator) since there is hardly a need for a generic type hierarchy
of BooleanChoiceGenerator subtypes - what else can you do with true/false
|
Modifier and Type | Method and Description |
---|---|
ChoiceGeneratorBase<?> |
ChoiceGeneratorBase.clone() |
Modifier and Type | Class and Description |
---|---|
class |
BreakGenerator
a pseudo CG that is used to break transitions.
|
class |
DoubleChoiceFromList
simple DoubleChoiceGenerator that takes it's values from a single
property "values" (comma or blank separated list)
|
class |
DoubleChoiceFromSet |
class |
DoubleThresholdGenerator
ChoiceGenerator instance that produces a simple 3 value enumeration
|
class |
FloatChoiceFromList |
class |
IntChoiceFromList |
class |
IntChoiceFromSet |
class |
IntIntervalGenerator
Choice Generator that enumerates an interval of int values.
|
class |
InvocationCG
ChoiceGenerator that represents method calls
|
class |
LongChoiceFromList |
class |
NumberChoiceFromList<T extends Number>
common root for list based number choice generators
|
class |
RandomIntIntervalGenerator
a IntChoiceGenerator that randomly chooses a configured number
of values from a specified range
this is usually configured through app properties
<2do> this is too redundant to RandomOrderIntCG - replace
|
class |
RandomOrderIntCG
a generic IntChoiceGenerator randomizer.
|
class |
RandomOrderLongCG |
class |
ThreadChoiceFromSet |
class |
TypedObjectChoice
a choice generator that enumerates the set of all objects of a certain type.
|