gov.nasa.jpf.vm.choice

Class CompoundChoiceGenerator<T>

java.lang.Object

gov.nasa.jpf.vm.ChoiceGeneratorBase<T>

gov.nasa.jpf.vm.choice.CompoundChoiceGenerator<T>

All Implemented Interfaces:

ChoiceGenerator<T>, java.lang.Cloneable

public abstract class CompoundChoiceGenerator<T>
extends ChoiceGeneratorBase<T>

an abstract choice generator that is just a list of choice generators

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected class	CompoundChoiceGenerator.Entry

Field Summary

Fields

Modifier and Type	Field and Description
protected CompoundChoiceGenerator.Entry	base
protected CompoundChoiceGenerator.Entry	cur

Fields inherited from class gov.nasa.jpf.vm.ChoiceGeneratorBase

attr, id, idRef, insn, isCascaded, isDone, MARKER, prev, random, stateId, ti

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	CompoundChoiceGenerator(java.lang.String id)

Method Summary

Modifier and Type	Method and Description
protected void	add(ChoiceGenerator<T> cg)
void	advance() advance to the next choice.
T	getNextChoice()
int	getProcessedNumberOfChoices()
int	getTotalNumberOfChoices()
boolean	hasMoreChoices()
void	reset() this has to reset the CG to its initial state, which includes resetting 'isDone'
protected void	setBase(ChoiceGenerator<T> cg)

Methods inherited from class gov.nasa.jpf.vm.ChoiceGeneratorBase

addAttr, advance, attrIterator, attrIterator, clone, deepClone, getAll, getAllChoices, getAllOfType, getAttr, getAttr, getCascade, getCascadedParent, getChoice, getId, getIdRef, getInsn, getNextAttr, getNumberOfParents, getPreviousChoiceGenerator, getPreviousChoiceGeneratorOfType, getProcessedChoices, getSourceLocation, getStateId, getThreadInfo, getUnprocessedChoices, hasAttr, hasAttr, hasAttrValue, init, isCascaded, isDone, isProcessed, isSchedulingPoint, randomize, removeAttr, reorder, replaceAttr, select, setAttr, setCascaded, setContext, setCurrent, setDone, setId, setIdRef, setInsn, setPreviousChoiceGenerator, setStateId, setThreadInfo, supportsReordering, toString, useRandomization

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface gov.nasa.jpf.vm.ChoiceGenerator

getChoiceType

Field Detail

base

protected CompoundChoiceGenerator.Entry base

cur

protected CompoundChoiceGenerator.Entry cur

Constructor Detail

CompoundChoiceGenerator

protected CompoundChoiceGenerator(java.lang.String id)

Method Detail

setBase

protected void setBase(ChoiceGenerator<T> cg)

add

protected void add(ChoiceGenerator<T> cg)

getNextChoice

public T getNextChoice()

hasMoreChoices

public boolean hasMoreChoices()

advance

public void advance()

Description copied from interface: ChoiceGenerator

advance to the next choice. This is the only method that really advances our enumeration

reset

public void reset()

Description copied from interface: ChoiceGenerator

this has to reset the CG to its initial state, which includes resetting 'isDone'

getTotalNumberOfChoices

public int getTotalNumberOfChoices()

getProcessedNumberOfChoices

public int getProcessedNumberOfChoices()