gov.nasa.jpf.vm.choice

Class ExposureCG

java.lang.Object

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

gov.nasa.jpf.vm.choice.ThreadChoiceFromSet

gov.nasa.jpf.vm.choice.ExposureCG

All Implemented Interfaces:

ChoiceGenerator<ThreadInfo>, ThreadChoiceGenerator, java.lang.Cloneable

public class ExposureCG
extends ThreadChoiceFromSet

a scheduling point for exposure of objects that might become shared by having their reference stored in a shared object

Field Summary

Fields

Modifier and Type	Field and Description
protected int	exposedObjRef

Fields inherited from class gov.nasa.jpf.vm.choice.ThreadChoiceFromSet

count, isSchedulingPoint, values

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
ExposureCG(java.lang.String id, ThreadInfo[] set, ElementInfo eiExposed)

Method Summary

Methods inherited from class gov.nasa.jpf.vm.choice.ThreadChoiceFromSet

advance, contains, getAllThreadChoices, getChoice, getChoices, getChoiceType, getNextChoice, getNextChoiceObject, getProcessedNumberOfChoices, getTotalNumberOfChoices, hasMoreChoices, isSchedulingPoint, printOn, randomize, reorder, reset, supportsReordering

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, removeAttr, replaceAttr, select, setAttr, setCascaded, setContext, setCurrent, setDone, setId, setIdRef, setInsn, setPreviousChoiceGenerator, setStateId, setThreadInfo, 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

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, isCascaded, isDone, isProcessed, removeAttr, replaceAttr, select, setAttr, setCascaded, setContext, setCurrent, setDone, setId, setIdRef, setInsn, setPreviousChoiceGenerator, setStateId, setThreadInfo

Field Detail

exposedObjRef

protected int exposedObjRef

Constructor Detail

ExposureCG

public ExposureCG(java.lang.String id,
                  ThreadInfo[] set,
                  ElementInfo eiExposed)