Uses of Interface
edu.ksu.cis.projects.bogor.module.value.INonPrimitiveValue

Packages that use INonPrimitiveValue

edu.ksu.cis.projects.bogor.module	Provide a generic framework for dataflow analysis on BIR transition systems.
edu.ksu.cis.projects.bogor.module.backtrack	Provides types and factories for "undo" operations.
edu.ksu.cis.projects.bogor.module.value	Provides for Bogor values.

Uses of INonPrimitiveValue in edu.ksu.cis.projects.bogor.module

Fields in edu.ksu.cis.projects.bogor.module with type parameters of type INonPrimitiveValue

protected HashMap<INonPrimitiveValue,String>

DefaultStateExternalizer.nonPrimitiveValueIdMap

Methods in edu.ksu.cis.projects.bogor.module that return types with arguments of type INonPrimitiveValue

protected ArrayList<INonPrimitiveValue>	DefaultStateExternalizer.getHeapElements()
protected ObjectIntTable<INonPrimitiveValue>	DefaultStateManager.getNonPrimitiveValueIdTable(IState s, ArrayList<INonPrimitiveValue> heap, IntIntTable threadOrderMap)

Methods in edu.ksu.cis.projects.bogor.module with parameters of type INonPrimitiveValue

IValue	DefaultExpEvaluator.evaluateBinaryOp(BinaryOp binop, INonPrimitiveValue value1, INonPrimitiveValue value2)
IValue	IExpEvaluator.evaluateBinaryOp(BinaryOp binop, INonPrimitiveValue value1, INonPrimitiveValue value2)
void	DefaultStateExternalizer.externalizeHeapElement(INonPrimitiveValue element)
String	DefaultStateExternalizer.getNonPrimitiveValueId(INonPrimitiveValue value)

Method parameters in edu.ksu.cis.projects.bogor.module with type arguments of type INonPrimitiveValue

protected ObjectIntTable<INonPrimitiveValue>	DefaultStateManager.getNonPrimitiveValueIdTable(IState s, ArrayList<INonPrimitiveValue> heap, IntIntTable threadOrderMap)
protected void	DefaultStateManager.linearizeGlobals(IState s, ObjectIntTable<INonPrimitiveValue> nonPrimitiveValueIdMap, IntIntTable threadOrderMap, BitBuffer bb)
protected void	DefaultStateManager.linearizeHeap(ArrayList<INonPrimitiveValue> heap, ObjectIntTable<INonPrimitiveValue> nonPrimitiveValueIdMap, IntIntTable threadOrderMap, BitBuffer bb) Flatten the heap to a bit-vector representation.
protected void	DefaultStateManager.linearizeHeap(ArrayList<INonPrimitiveValue> heap, ObjectIntTable<INonPrimitiveValue> nonPrimitiveValueIdMap, IntIntTable threadOrderMap, BitBuffer bb) Flatten the heap to a bit-vector representation.
protected void	DefaultStateManager.linearizeThreads(IState s, ObjectIntTable<INonPrimitiveValue> nonPrimitiveValueIdMap, IntIntTable threadOrderMap, BitBuffer bb)

Uses of INonPrimitiveValue in edu.ksu.cis.projects.bogor.module.backtrack

Methods in edu.ksu.cis.projects.bogor.module.backtrack with parameters of type INonPrimitiveValue

IGlobalBacktrackingInfo	DefaultBacktrackingInfoFactory.createGlobalBacktrackingInfo(int stateId, int threadId, Action action, int globalIndex, INonPrimitiveValue oldValue, ISchedulingStrategyInfo ssi)
ILocalBacktrackingInfo	DefaultBacktrackingInfoFactory.createLocalBacktrackingInfo(int stateId, int threadId, Node node, int localIndex, INonPrimitiveValue oldValue, ISchedulingStrategyInfo ssi)

Uses of INonPrimitiveValue in edu.ksu.cis.projects.bogor.module.value

Subinterfaces of INonPrimitiveValue in edu.ksu.cis.projects.bogor.module.value

interface	IArrayValue Represents an array value.
interface	IExpASTValue Represents an exp AST value.
interface	ILockValue Represents a lock value.
interface	INonPrimitiveExtValue Represents an instance of a new type declared through the extension mechanism.
interface	INullValue Represents a null value.
interface	IRecordValue Represents a record value.
interface	IStringValue Represents a string value.

Classes in edu.ksu.cis.projects.bogor.module.value that implement INonPrimitiveValue

class	DefaultArrayValue The default implementation of IArrayValue.
class	DefaultExpASTValue The default implementation of IExpASTValue.
class	DefaultLockValue The default implementation of ILockValue.
class	DefaultNullValue The default implementation of INullValue.
class	DefaultRecordValue The default implementation of IRecordValue.
class	DefaultStringValue The default implementation of IStringValue.

Fields in edu.ksu.cis.projects.bogor.module.value declared as INonPrimitiveValue

protected INonPrimitiveValue[]	UniformValueArray.nonPrimitiveElementValues Holds the values of this array value's non-primitive value elements.
protected INonPrimitiveValue[]	VariedValueArray.nonPrimitiveElementValues Holds the values of this array value's non-primitive value elements.

Methods in edu.ksu.cis.projects.bogor.module.value that return INonPrimitiveValue

INonPrimitiveValue

INonPrimitiveValue.clone(Map<Object,Object> cloneMap) Override to specialize return type

Methods in edu.ksu.cis.projects.bogor.module.value with parameters of type INonPrimitiveValue

String

INonPrimitiveValueIdTracker.getNonPrimitiveValueId(INonPrimitiveValue value) Gets the non-primitive value id of a non-primitive value.

Method parameters in edu.ksu.cis.projects.bogor.module.value with type arguments of type INonPrimitiveValue

void	IPrimitiveExtValue.linearize(BitBuffer bb, int bitsPerNonPrimitiveValue, ObjectIntTable<INonPrimitiveValue> nonPrimitiveValueIdMap, int bitsPerThreadId, IntIntTable threadOrderMap) Linearizes the contained values.
void	IValueArray.linearize(boolean isMapDefaultValues, int bitsPerNonPrimitiveValue, ObjectIntTable<INonPrimitiveValue> nonPrimitiveValueIdMap, int bitsPerThreadId, IntIntTable threadOrderMap, BitSet elidedPositions, BitBuffer bb) Linearizes the contained values.
void	UniformValueArray.linearize(boolean isMapDefaultValues, int bitsPerNonPrimitiveValue, ObjectIntTable<INonPrimitiveValue> nonPrimitiveValueIdMap, int bitsPerThreadId, IntIntTable threadOrderMap, BitSet elidedPositions, BitBuffer bb)
void	VariedValueArray.linearize(boolean isMapDefaultValues, int bitsPerNonPrimitiveValue, ObjectIntTable<INonPrimitiveValue> nonPrimitiveValueIdMap, int bitsPerThreadId, IntIntTable threadOrderMap, BitSet elidedPositions, BitBuffer bb)
void	IValueArray.linearize(boolean isMapDefaultValues, int bitsPerNonPrimitiveValue, ObjectIntTable<INonPrimitiveValue> nonPrimitiveValueIdMap, int bitsPerThreadId, IntIntTable threadOrderMap, BitSet elidedPositions, BitBuffer bb, int fromIndex, int toIndex) Linearizes the contained values.
void	UniformValueArray.linearize(boolean isMapDefaultValues, int bitsPerNonPrimitiveValue, ObjectIntTable<INonPrimitiveValue> nonPrimitiveValueIdMap, int bitsPerThreadId, IntIntTable threadOrderMap, BitSet elidedPositions, BitBuffer bb, int fromIndex, int toIndex)
void	VariedValueArray.linearize(boolean isMapDefaultValues, int bitsPerNonPrimitiveValue, ObjectIntTable<INonPrimitiveValue> nonPrimitiveValueIdMap, int bitsPerThreadId, IntIntTable threadOrderMap, BitSet elidedPositions, BitBuffer bb, int fromIndex, int toIndex)
byte[][]	DefaultArrayValue.linearize(int bitsPerNonPrimitiveValue, ObjectIntTable<INonPrimitiveValue> nonPrimitiveValueIdMap, int bitsPerThreadId, IntIntTable threadOrderMap)
byte[][]	DefaultRecordValue.linearize(int bitsPerNonPrimitiveValue, ObjectIntTable<INonPrimitiveValue> nonPrimitiveValueIdMap, int bitsPerThreadId, IntIntTable threadOrderMap)
byte[][]	INonPrimitiveExtValue.linearize(int bitsPerNonPrimitiveValue, ObjectIntTable<INonPrimitiveValue> nonPrimitiveValueIdMap, int bitsPerThreadId, IntIntTable threadOrderMap) Linearizes the contained values.
byte[][]	IRecordValue.linearize(int bitsPerNonPrimitiveValue, ObjectIntTable<INonPrimitiveValue> nonPrimitiveValueIdMap, int bitsPerThreadId, IntIntTable threadOrderMap) Linearizes this record value.