gov.nasa.jpf.vm

Class BooleanChoiceGenerator

java.lang.Object

gov.nasa.jpf.vm.ChoiceGeneratorBase<java.lang.Boolean>

gov.nasa.jpf.vm.BooleanChoiceGenerator

All Implemented Interfaces:

ChoiceGenerator<java.lang.Boolean>, java.lang.Cloneable

public class BooleanChoiceGenerator
extends ChoiceGeneratorBase<java.lang.Boolean>

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

Field Summary

Fields

Modifier and Type	Field and Description
protected int	count
protected boolean	falseFirst
protected boolean	next

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

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

Constructor Summary

Constructors

Constructor and Description
BooleanChoiceGenerator(Config conf, java.lang.String id)
BooleanChoiceGenerator(java.lang.String id)
BooleanChoiceGenerator(java.lang.String id, boolean falseFirst)

Method Summary

Modifier and Type	Method and Description
void	advance() advance to the next choice.
java.lang.Boolean	getChoice(int idx) explicit choice enumeration.
java.lang.Class<java.lang.Boolean>	getChoiceType()
java.lang.Boolean	getNextChoice()
int	getProcessedNumberOfChoices()
int	getTotalNumberOfChoices()
boolean	hasMoreChoices()
boolean	isFalseFirst()
BooleanChoiceGenerator	randomize() turn the order of choices random (if it isn't already).
void	reset() this has to reset the CG to its initial state, which includes resetting 'isDone'
void	reverse() note this should only be called before the first advance since it resets the enumeration state
java.lang.String	toString()

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

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

Methods inherited from class java.lang.Object

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

Field Detail

falseFirst

protected boolean falseFirst

count

protected int count

next

protected boolean next

Constructor Detail

BooleanChoiceGenerator

public BooleanChoiceGenerator(Config conf,
                              java.lang.String id)

BooleanChoiceGenerator

public BooleanChoiceGenerator(java.lang.String id)

BooleanChoiceGenerator

public BooleanChoiceGenerator(java.lang.String id,
                              boolean falseFirst)

Method Detail

hasMoreChoices

public boolean hasMoreChoices()

getNextChoice

public java.lang.Boolean getNextChoice()

getChoiceType

public java.lang.Class<java.lang.Boolean> getChoiceType()

advance

public void advance()

Description copied from interface: ChoiceGenerator

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

getChoice

public java.lang.Boolean getChoice(int idx)

Description copied from class: ChoiceGeneratorBase

explicit choice enumeration. Override if supported

Specified by:

getChoice in interface ChoiceGenerator<java.lang.Boolean>

Overrides:

getChoice in class ChoiceGeneratorBase<java.lang.Boolean>

Returns:

choice value or null if not supported

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()

isFalseFirst

public boolean isFalseFirst()

reverse

public void reverse()

note this should only be called before the first advance since it resets the enumeration state

toString

public java.lang.String toString()

Overrides:

toString in class ChoiceGeneratorBase<java.lang.Boolean>

randomize

public BooleanChoiceGenerator randomize()

Description copied from interface: ChoiceGenerator

turn the order of choices random (if it isn't already). Only drawback of this generic method (which might be a decorator factory) is that our type layer (e.g. IntChoiceGenerator) has to guarantee type safety. But hey - this is the first case where we can use covariant return types! NOTES: - this method may alter this ChoiceGenerator and return that or return a new "decorated" version. - random data can be read from the "Random random" field in this class.

Specified by:

randomize in interface ChoiceGenerator<java.lang.Boolean>

Overrides:

randomize in class ChoiceGeneratorBase<java.lang.Boolean>