Package | Description |
---|---|
gov.nasa.jpf | |
gov.nasa.jpf.listener | |
gov.nasa.jpf.perturb | |
gov.nasa.jpf.report | |
gov.nasa.jpf.util.json | |
gov.nasa.jpf.util.script | |
gov.nasa.jpf.vm | |
gov.nasa.jpf.vm.choice |
Modifier and Type | Method and Description |
---|---|
void |
PropertyListenerAdapter.choiceGeneratorAdvanced(VM vm,
ChoiceGenerator<?> currentCG) |
void |
ListenerAdapter.choiceGeneratorAdvanced(VM vm,
ChoiceGenerator<?> currentCG) |
void |
PropertyListenerAdapter.choiceGeneratorProcessed(VM vm,
ChoiceGenerator<?> processedCG) |
void |
ListenerAdapter.choiceGeneratorProcessed(VM vm,
ChoiceGenerator<?> processedCG) |
void |
PropertyListenerAdapter.choiceGeneratorRegistered(VM vm,
ChoiceGenerator<?> nextCG,
ThreadInfo currentThread,
Instruction executedInstruction) |
void |
ListenerAdapter.choiceGeneratorRegistered(VM vm,
ChoiceGenerator<?> nextCG,
ThreadInfo currentThread,
Instruction executedInstruction) |
void |
PropertyListenerAdapter.choiceGeneratorSet(VM vm,
ChoiceGenerator<?> newCG) |
void |
ListenerAdapter.choiceGeneratorSet(VM vm,
ChoiceGenerator<?> newCG) |
Modifier and Type | Field and Description |
---|---|
protected ChoiceGenerator<?>[] |
ErrorTraceGenerator.trace |
Modifier and Type | Method and Description |
---|---|
void |
CGMonitor.choiceGeneratorAdvanced(VM vm,
ChoiceGenerator<?> currentCG) |
void |
ChoiceSelector.choiceGeneratorAdvanced(VM vm,
ChoiceGenerator<?> currentCG) |
void |
ExecTracker.choiceGeneratorAdvanced(VM vm,
ChoiceGenerator<?> currentCG) |
void |
CGRemover.choiceGeneratorRegistered(VM vm,
ChoiceGenerator<?> nextCG,
ThreadInfo ti,
Instruction executedInsn) |
void |
CoverageAnalyzer.choiceGeneratorSet(VM vm,
ChoiceGenerator<?> newCG) |
void |
StateSpaceAnalyzer.choiceGeneratorSet(VM vm,
ChoiceGenerator<?> newCG) |
void |
PreciseRaceDetector.choiceGeneratorSet(VM vm,
ChoiceGenerator<?> newCG) |
protected boolean |
CGRemover.removeCG(VM vm,
gov.nasa.jpf.listener.CGRemover.Category cat,
ChoiceGenerator<?> cg) |
Modifier and Type | Method and Description |
---|---|
ChoiceGenerator<?> |
OperandPerturbator.createChoiceGenerator(String id,
StackFrame frame,
Object refObject) |
ChoiceGenerator<?> |
GenericDataAbstractor.createChoiceGenerator(String id,
StackFrame frame,
Object refObject) |
ChoiceGenerator<?> |
IntOverUnder.createChoiceGenerator(String id,
StackFrame frame,
Object refObject) |
Modifier and Type | Method and Description |
---|---|
Class<? extends ChoiceGenerator<?>> |
OperandPerturbator.getChoiceGeneratorType() |
Class<? extends ChoiceGenerator<?>> |
GenericDataAbstractor.getChoiceGeneratorType() |
Class<? extends ChoiceGenerator<?>> |
IntOverUnder.getChoiceGeneratorType() |
Modifier and Type | Method and Description |
---|---|
boolean |
OperandPerturbator.perturb(ChoiceGenerator<?> cg,
StackFrame frame) |
boolean |
GenericDataAbstractor.perturb(ChoiceGenerator<?> cg,
StackFrame frame) |
boolean |
IntOverUnder.perturb(ChoiceGenerator<?> cg,
StackFrame frame) |
Modifier and Type | Method and Description |
---|---|
void |
Statistics.choiceGeneratorSet(VM vm,
ChoiceGenerator<?> newCG) |
Modifier and Type | Method and Description |
---|---|
ChoiceGenerator<?> |
CGCreator.createCG(String id,
Value[] params)
Create choice generator
|
Modifier and Type | Method and Description |
---|---|
static List<ChoiceGenerator<?>> |
CGCall.createCGList(JSONObject jsonObject)
This method go through JSON object and finds all CGs to set in a current state.
|
Modifier and Type | Method and Description |
---|---|
int |
JSONObject.createArray(MJIEnv env,
ClassInfo ciArray,
Value value,
ChoiceGenerator<?>[] cgs,
String prefix) |
int |
JSONObject.fillObject(MJIEnv env,
ClassInfo ci,
ChoiceGenerator<?>[] cgs,
String prefix) |
Modifier and Type | Class and Description |
---|---|
class |
ScriptEnvironment<CG extends ChoiceGenerator<?>>
class representing a statemachine environment that produces SCEventGenerators
from scripts
|
Modifier and Type | Class and Description |
---|---|
class |
EventGenerator<T>
abstract ChoiceGenerator root for Event based generators
|
Modifier and Type | Interface and Description |
---|---|
interface |
DoubleChoiceGenerator
Choice Generator that creates double values - this is only an
interface so that we can type check implementors that use
their own generic hierarchy
|
interface |
FloatChoiceGenerator
Choice Generator that creates float value - this is only an interface
we can use for type checks of implementors that have their own
generic hierarchy
|
interface |
IntChoiceGenerator
Choice Generator that creates Integer values - this is just an interface
so that we can type test for implementors that have their own generic hierarchy
|
interface |
LongChoiceGenerator
ChoiceGenerator for Long values - this is only an interface so that
we can use it for type checks of implementors that use their own
generic hierarchy
|
interface |
ReferenceChoiceGenerator
that's a little bit counter-intuitive - references are just int values in JPF
|
interface |
ThreadChoiceGenerator |
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
|
class |
ChoiceGeneratorBase<T>
abstract root class for configurable choice generators
|
Modifier and Type | Field and Description |
---|---|
protected ChoiceGenerator<?> |
ChoiceGeneratorBase.prev |
Modifier and Type | Method and Description |
---|---|
<C extends ChoiceGenerator<?>> |
ChoiceGeneratorBase.getAllOfType(Class<C> cgType)
return array with all CGs (including this one) of given 'cgType', in registration order
|
<C extends ChoiceGenerator<?>> |
ChoiceGenerator.getAllOfType(Class<C> cgType)
return array with all CGs (including this one) of given 'cgType', in registration order
|
<T extends ChoiceGenerator<?>> |
SystemState.getChoiceGeneratorsOfType(Class<T> cgType) |
<T extends ChoiceGenerator<?>> |
VM.getChoiceGeneratorsOfType(Class<T> cgType) |
<T extends ChoiceGenerator<?>> |
SystemState.getCurrentChoiceGenerator(String id,
Class<T> cgType) |
<T extends ChoiceGenerator<?>> |
VM.getCurrentChoiceGenerator(String id,
Class<T> cgType)
return the latest registered ChoiceGenerator used in this transition
that matches the provided 'id' and is of 'cgType'.
|
<T extends ChoiceGenerator<?>> |
SystemState.getCurrentChoiceGeneratorOfType(Class<T> cgType) |
<T extends ChoiceGenerator<?>> |
SystemState.getInsnChoiceGeneratorOfType(Class<T> cgType,
Instruction insn,
ChoiceGenerator<?> cgPrev) |
<T extends ChoiceGenerator<?>> |
SystemState.getLastChoiceGeneratorOfType(Class<T> cgType) |
<T extends ChoiceGenerator<?>> |
VM.getLastChoiceGeneratorOfType(Class<T> cgType) |
<C extends ChoiceGenerator<?>> |
ChoiceGeneratorBase.getPreviousChoiceGeneratorOfType(Class<C> cls) |
<T extends ChoiceGenerator<?>> |
ChoiceGenerator.getPreviousChoiceGeneratorOfType(Class<T> cls) |
Modifier and Type | Method and Description |
---|---|
ChoiceGenerator<?> |
ChoiceGenerator.clone() |
ChoiceGenerator<ThreadInfo> |
SchedulerFactory.createBeginAtomicCG(ThreadInfo ti) |
ChoiceGenerator<ThreadInfo> |
DefaultSchedulerFactory.createBeginAtomicCG(ThreadInfo atomicThread) |
ChoiceGenerator<ThreadInfo> |
SchedulerFactory.createEndAtomicCG(ThreadInfo ti) |
ChoiceGenerator<ThreadInfo> |
DefaultSchedulerFactory.createEndAtomicCG(ThreadInfo atomicThread) |
protected ChoiceGenerator<ThreadInfo> |
DefaultSchedulerFactory.createEnterCG(String id,
ElementInfo ei,
ThreadInfo ti)
the public interface towards the insns
|
protected ChoiceGenerator<ThreadInfo> |
DefaultSchedulerFactory.createExitCG(String id,
ElementInfo ei,
ThreadInfo ti) |
ChoiceGenerator<ThreadInfo> |
SchedulerFactory.createInterruptCG(ThreadInfo interruptedThread) |
ChoiceGenerator<ThreadInfo> |
DefaultSchedulerFactory.createInterruptCG(ThreadInfo interruptedThread) |
ChoiceGenerator<ThreadInfo> |
SchedulerFactory.createMonitorEnterCG(ElementInfo ei,
ThreadInfo ti) |
ChoiceGenerator<ThreadInfo> |
DefaultSchedulerFactory.createMonitorEnterCG(ElementInfo ei,
ThreadInfo ti) |
ChoiceGenerator<ThreadInfo> |
ContextBoundingSchedulerFactory.createMonitorEnterCG(ElementInfo ei,
ThreadInfo ti) |
ChoiceGenerator<ThreadInfo> |
PrioritySchedulerFactory.createMonitorExitCG(ElementInfo ei,
ThreadInfo ti) |
ChoiceGenerator<ThreadInfo> |
SchedulerFactory.createMonitorExitCG(ElementInfo ei,
ThreadInfo ti) |
ChoiceGenerator<ThreadInfo> |
DefaultSchedulerFactory.createMonitorExitCG(ElementInfo ei,
ThreadInfo ti) |
ChoiceGenerator<ThreadInfo> |
SchedulerFactory.createNotifyAllCG(ElementInfo ei,
ThreadInfo ti) |
ChoiceGenerator<ThreadInfo> |
DefaultSchedulerFactory.createNotifyAllCG(ElementInfo ei,
ThreadInfo ti) |
ChoiceGenerator<ThreadInfo> |
SchedulerFactory.createNotifyCG(ElementInfo ei,
ThreadInfo ti) |
ChoiceGenerator<ThreadInfo> |
DefaultSchedulerFactory.createNotifyCG(ElementInfo ei,
ThreadInfo ti) |
ChoiceGenerator<ThreadInfo> |
ContextBoundingSchedulerFactory.createNotifyCG(ElementInfo ei,
ThreadInfo ti) |
ChoiceGenerator<ThreadInfo> |
SchedulerFactory.createParkCG(ElementInfo ei,
ThreadInfo tiPark,
boolean isAbsoluteTime,
long timeOut) |
ChoiceGenerator<ThreadInfo> |
DefaultSchedulerFactory.createParkCG(ElementInfo ei,
ThreadInfo tiPark,
boolean isAbsoluteTime,
long timeOut) |
ChoiceGenerator<ThreadInfo> |
SchedulerFactory.createSharedArrayAccessCG(ElementInfo eiArray,
ThreadInfo ti) |
ChoiceGenerator<ThreadInfo> |
DefaultSchedulerFactory.createSharedArrayAccessCG(ElementInfo ei,
ThreadInfo ti) |
ChoiceGenerator<ThreadInfo> |
SchedulerFactory.createSharedFieldAccessCG(ElementInfo ei,
ThreadInfo ti) |
ChoiceGenerator<ThreadInfo> |
DefaultSchedulerFactory.createSharedFieldAccessCG(ElementInfo ei,
ThreadInfo ti) |
ChoiceGenerator<ThreadInfo> |
SchedulerFactory.createSharedObjectExposureCG(ElementInfo ei,
ThreadInfo ti) |
ChoiceGenerator<ThreadInfo> |
DefaultSchedulerFactory.createSharedObjectExposureCG(ElementInfo ei,
ThreadInfo ti) |
ChoiceGenerator<ThreadInfo> |
SchedulerFactory.createSyncMethodEnterCG(ElementInfo ei,
ThreadInfo ti) |
ChoiceGenerator<ThreadInfo> |
DefaultSchedulerFactory.createSyncMethodEnterCG(ElementInfo ei,
ThreadInfo ti) |
ChoiceGenerator<ThreadInfo> |
SchedulerFactory.createSyncMethodExitCG(ElementInfo ei,
ThreadInfo ti) |
ChoiceGenerator<ThreadInfo> |
DefaultSchedulerFactory.createSyncMethodExitCG(ElementInfo ei,
ThreadInfo ti) |
ChoiceGenerator<ThreadInfo> |
SchedulerFactory.createThreadResumeCG(ThreadInfo resumedThread) |
ChoiceGenerator<ThreadInfo> |
DefaultSchedulerFactory.createThreadResumeCG(ThreadInfo resumedThread) |
ChoiceGenerator<ThreadInfo> |
SchedulerFactory.createThreadSleepCG(ThreadInfo sleepThread,
long millis,
int nanos) |
ChoiceGenerator<ThreadInfo> |
DefaultSchedulerFactory.createThreadSleepCG(ThreadInfo sleepThread,
long millis,
int nanos) |
ChoiceGenerator<ThreadInfo> |
PrioritySchedulerFactory.createThreadStartCG(ThreadInfo newThread)
as soon as a higher prio thread becomes runnable, we have to switch
|
ChoiceGenerator<ThreadInfo> |
SchedulerFactory.createThreadStartCG(ThreadInfo newThread) |
ChoiceGenerator<ThreadInfo> |
DefaultSchedulerFactory.createThreadStartCG(ThreadInfo newThread) |
ChoiceGenerator<ThreadInfo> |
SchedulerFactory.createThreadStopCG(ThreadInfo stoppedThread) |
ChoiceGenerator<ThreadInfo> |
DefaultSchedulerFactory.createThreadStopCG(ThreadInfo stoppedThread) |
ChoiceGenerator<ThreadInfo> |
SchedulerFactory.createThreadSuspendCG(ThreadInfo suspendedThread) |
ChoiceGenerator<ThreadInfo> |
DefaultSchedulerFactory.createThreadSuspendCG(ThreadInfo suspendedThread) |
ChoiceGenerator<ThreadInfo> |
DistributedSchedulerFactory.createThreadTerminateCG(ThreadInfo terminateThread)
the public interface towards the insns
|
ChoiceGenerator<ThreadInfo> |
SchedulerFactory.createThreadTerminateCG(ThreadInfo terminatedThread) |
ChoiceGenerator<ThreadInfo> |
DefaultSchedulerFactory.createThreadTerminateCG(ThreadInfo terminateThread) |
ChoiceGenerator<ThreadInfo> |
ContextBoundingSchedulerFactory.createThreadTerminateCG(ThreadInfo terminateThread) |
ChoiceGenerator<ThreadInfo> |
SchedulerFactory.createThreadYieldCG(ThreadInfo yieldThread) |
ChoiceGenerator<ThreadInfo> |
DefaultSchedulerFactory.createThreadYieldCG(ThreadInfo yieldThread) |
ChoiceGenerator<ThreadInfo> |
SchedulerFactory.createUnparkCG(ThreadInfo tiUnparked) |
ChoiceGenerator<ThreadInfo> |
DefaultSchedulerFactory.createUnparkCG(ThreadInfo tiUnparked) |
ChoiceGenerator<ThreadInfo> |
SchedulerFactory.createWaitCG(ElementInfo ei,
ThreadInfo ti,
long timeOut) |
ChoiceGenerator<ThreadInfo> |
DefaultSchedulerFactory.createWaitCG(ElementInfo ei,
ThreadInfo ti,
long timeOut) |
ChoiceGenerator<ThreadInfo> |
ContextBoundingSchedulerFactory.createWaitCG(ElementInfo ei,
ThreadInfo ti,
long timeOut) |
ChoiceGenerator<?> |
ChoiceGeneratorBase.deepClone() |
ChoiceGenerator<?> |
ChoiceGenerator.deepClone() |
ChoiceGenerator<?>[] |
ChoiceGeneratorBase.getAll()
return array with all parents and this CG, in registration order
|
ChoiceGenerator<?>[] |
ChoiceGenerator.getAll()
return array with all parents and this CG, in registration order
|
<C extends ChoiceGenerator<?>> |
ChoiceGeneratorBase.getAllOfType(Class<C> cgType)
return array with all CGs (including this one) of given 'cgType', in registration order
|
<C extends ChoiceGenerator<?>> |
ChoiceGenerator.getAllOfType(Class<C> cgType)
return array with all CGs (including this one) of given 'cgType', in registration order
|
ChoiceGenerator<?>[] |
ChoiceGeneratorBase.getCascade()
return array with all cascaded parents and this CG, in registration order
|
ChoiceGenerator<?>[] |
ChoiceGenerator.getCascade()
return array with all cascaded parents and this CG, in registration order
|
ChoiceGenerator<?> |
ChoiceGeneratorBase.getCascadedParent()
returns the prev CG if it was registered for the same insn
|
ChoiceGenerator<?> |
ChoiceGenerator.getCascadedParent()
returns the prev CG if it was registered for the same insn
|
ChoiceGenerator<?> |
MJIEnv.getChoiceGenerator() |
ChoiceGenerator<?> |
Transition.getChoiceGenerator() |
ChoiceGenerator<?> |
SystemState.getChoiceGenerator()
answer the ChoiceGenerator that is used in the current transition
|
ChoiceGenerator<?> |
VM.getChoiceGenerator()
return the last registered SystemState's ChoiceGenerator object
NOTE: there might be more than one ChoiceGenerator associated with the
current transition (ChoiceGenerators can be cascaded)
|
ChoiceGenerator<?> |
SystemState.getChoiceGenerator(String id) |
ChoiceGenerator<?>[] |
Transition.getChoiceGeneratorCascade() |
ChoiceGenerator<?>[] |
SystemState.getChoiceGenerators()
return the whole stack of CGs of the current path
|
ChoiceGenerator<?>[] |
VM.getChoiceGenerators()
returns all ChoiceGenerators in current path
|
<T extends ChoiceGenerator<?>> |
SystemState.getChoiceGeneratorsOfType(Class<T> cgType) |
<T extends ChoiceGenerator<?>> |
VM.getChoiceGeneratorsOfType(Class<T> cgType) |
ChoiceGenerator<?> |
SystemState.getCurrentChoiceGenerator(ChoiceGenerator<?> cgPrev) |
ChoiceGenerator<?> |
SystemState.getCurrentChoiceGenerator(String id) |
ChoiceGenerator<?>[] |
SystemState.getCurrentChoiceGenerators() |
ChoiceGenerator<?> |
SystemState.getNextChoiceGenerator() |
ChoiceGenerator<?> |
VM.getNextChoiceGenerator() |
ChoiceGenerator<?> |
ChoiceGeneratorBase.getPreviousChoiceGenerator() |
ChoiceGenerator<?> |
ChoiceGenerator.getPreviousChoiceGenerator() |
protected ChoiceGenerator<ThreadInfo> |
DefaultSchedulerFactory.getRunnableCG(String id,
ThreadInfo ti) |
protected ChoiceGenerator<ThreadInfo> |
ContextBoundingSchedulerFactory.getRunnableCG(String id,
ThreadInfo ti) |
protected ChoiceGenerator<ThreadInfo> |
DefaultSchedulerFactory.getSyncCG(String id,
ElementInfo ei,
ThreadInfo ti) |
ChoiceGenerator<T> |
ChoiceGeneratorBase.randomize() |
ChoiceGenerator<T> |
ChoiceGenerator.randomize()
turn the order of choices random (if it isn't already).
|
ChoiceGenerator<T> |
ChoiceGeneratorBase.reorder(Comparator<T> comparator)
reorder according to a user provided comparator
|
ChoiceGenerator<T> |
ChoiceGenerator.reorder(Comparator<T> comparator)
reorder according to a user provided comparator
|
Modifier and Type | Method and Description |
---|---|
Class<? extends ChoiceGenerator<?>> |
FieldInfo.getChoiceGeneratorType() |
Class<? extends ChoiceGenerator<?>> |
IntegerFieldInfo.getChoiceGeneratorType() |
Class<? extends ChoiceGenerator<?>> |
FloatFieldInfo.getChoiceGeneratorType() |
Class<? extends ChoiceGenerator<?>> |
DoubleFieldInfo.getChoiceGeneratorType() |
Class<? extends ChoiceGenerator<?>> |
ReferenceFieldInfo.getChoiceGeneratorType() |
Class<? extends ChoiceGenerator<?>> |
LongFieldInfo.getChoiceGeneratorType() |
Class<? extends ChoiceGenerator<?>> |
MethodInfo.getReturnChoiceGeneratorType() |
Modifier and Type | Method and Description |
---|---|
protected void |
SystemState.advance(VM vm,
ChoiceGenerator<?> cg) |
protected void |
SystemState.advanceAllCascadedParents(VM vm,
ChoiceGenerator<?> cg) |
protected boolean |
SystemState.advanceCascadedParent(VM vm,
ChoiceGenerator<?> cg) |
void |
VMListener.choiceGeneratorAdvanced(VM vm,
ChoiceGenerator<?> currentCG)
the next choice was requested from a previously registered ChoiceGenerator
NOTE - this notification happens before the KernelState is stored, i.e.
|
void |
ConstInsnPathTime.choiceGeneratorAdvanced(VM vm,
ChoiceGenerator<?> currentCG) |
void |
VMListener.choiceGeneratorProcessed(VM vm,
ChoiceGenerator<?> processedCG)
a ChoiceGnerator has returned all his choices
NOTE - this notification happens before the KernelState is stored, i.e.
|
void |
VMListener.choiceGeneratorRegistered(VM vm,
ChoiceGenerator<?> nextCG,
ThreadInfo currentThread,
Instruction executedInstruction)
next ChoiceGenerator was registered, which means this is the end of the current transition
the reason why we have this in addition to the choiceGeneratorSet is that listeners
can reset the registered CG and so force the current transition to continue (although the
listener in this case has to make sure the operand stack is in a consistent state for
continued execution because there might be a bottom half of an Instruction.execute() missing)
|
void |
ConstInsnPathTime.choiceGeneratorRegistered(VM vm,
ChoiceGenerator<?> nextCG,
ThreadInfo ti,
Instruction executedInsn) |
void |
VMListener.choiceGeneratorSet(VM vm,
ChoiceGenerator<?> newCG)
a new ChoiceGenerator was set, which means we are at the beginning of a new transition.
|
ChoiceGenerator<?> |
SystemState.getCurrentChoiceGenerator(ChoiceGenerator<?> cgPrev) |
<T extends ChoiceGenerator<?>> |
SystemState.getInsnChoiceGeneratorOfType(Class<T> cgType,
Instruction insn,
ChoiceGenerator<?> cgPrev) |
protected void |
VM.notifyChoiceGeneratorAdvanced(ChoiceGenerator<?> cg) |
protected void |
VM.notifyChoiceGeneratorProcessed(ChoiceGenerator<?> cg) |
protected void |
VM.notifyChoiceGeneratorRegistered(ChoiceGenerator<?> cg,
ThreadInfo ti) |
protected void |
VM.notifyChoiceGeneratorSet(ChoiceGenerator<?> cg) |
protected void |
SystemState.notifyChoiceGeneratorSet(VM vm,
ChoiceGenerator<?> cg) |
void |
MJIEnv.setMandatoryNextChoiceGenerator(ChoiceGenerator<?> cg,
String failMsg) |
void |
SystemState.setMandatoryNextChoiceGenerator(ChoiceGenerator<?> cg,
String failMsg) |
void |
VM.setMandatoryNextChoiceGenerator(ChoiceGenerator<?> cg,
String failMsg) |
boolean |
MJIEnv.setNextChoiceGenerator(ChoiceGenerator<?> cg) |
boolean |
SystemState.setNextChoiceGenerator(ChoiceGenerator<?> cg)
set the ChoiceGenerator to be used in the next transition
|
boolean |
VM.setNextChoiceGenerator(ChoiceGenerator<?> cg) |
void |
ChoiceGeneratorBase.setPreviousChoiceGenerator(ChoiceGenerator<?> cg) |
void |
ChoiceGenerator.setPreviousChoiceGenerator(ChoiceGenerator<?> cg) |
static void |
ChoicePoint.storeTrace(String fileName,
String sutName,
String comment,
ChoiceGenerator[] trace,
boolean verbose) |
Constructor and Description |
---|
Transition(ChoiceGenerator<?> cg,
ThreadInfo ti) |
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.
|
Modifier and Type | Method and Description |
---|---|
ChoiceGenerator<ThreadInfo> |
BreakGenerator.randomize() |
ChoiceGenerator<Integer> |
RandomIntIntervalGenerator.randomize() |
ChoiceGenerator<Integer> |
IntIntervalGenerator.randomize() |
ChoiceGenerator<Invocation> |
InvocationCG.randomize() |
ChoiceGenerator<Integer> |
IntIntervalGenerator.reorder(Comparator<Integer> comparator) |