gov.nasa.jpf.vm.choice

Class PermutationCG

java.lang.Object

gov.nasa.jpf.vm.ChoiceGeneratorBase<int[]>

gov.nasa.jpf.vm.choice.PermutationCG

All Implemented Interfaces:

ChoiceGenerator<int[]>, java.lang.Cloneable

public class PermutationCG
extends ChoiceGeneratorBase<int[]>

a CG that creates permutation choices since PermutationCGs have a potentially huge number of choices, we don't compute and store them upfront, but rather keep the enumeration state in a low level pull-based generator

Field Summary

Fields

Modifier and Type	Field and Description
protected int[]	permutation
protected PermutationGenerator	pg

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
PermutationCG(PermutationGenerator pg)
PermutationCG(java.lang.String id, PermutationGenerator pg)

Method Summary

Modifier and Type	Method and Description
void	advance() advance to the next choice.
java.lang.Class<int[]>	getChoiceType()
int[]	getNextChoice()
int	getProcessedNumberOfChoices()
int	getTotalNumberOfChoices()
boolean	hasMoreChoices()
void	reset() this has to reset the CG to its initial state, which includes resetting 'isDone'

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

Field Detail

pg

protected PermutationGenerator pg

permutation

protected int[] permutation

Constructor Detail

PermutationCG

public PermutationCG(PermutationGenerator pg)

PermutationCG

public PermutationCG(java.lang.String id,
                     PermutationGenerator pg)

Method Detail

getNextChoice

public int[] getNextChoice()

getChoiceType

public java.lang.Class<int[]> getChoiceType()

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