Uses of Class
edu.ksu.cis.projects.trove.custom.ObjectIntTable

Packages that use ObjectIntTable

edu.ksu.cis.projects.bogor.module	Provide a generic framework for dataflow analysis on BIR transition systems.
edu.ksu.cis.projects.bogor.module.value	Provides for Bogor values.
edu.ksu.cis.projects.bogor.symboltable	Provides for Bogor symbol table.
edu.ksu.cis.projects.bogor.util	Provides utilities.
edu.ksu.cis.projects.trove.custom	Provides specializations of GNU Trove container types.

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

Fields in edu.ksu.cis.projects.bogor.module declared as ObjectIntTable

protected ObjectIntTable<StaticByteArray>	DefaultStateManager.compressedStateStateIdMap
protected ObjectIntTable<String>	DefaultStateExternalizer.threadInstanceMap

Methods in edu.ksu.cis.projects.bogor.module that return ObjectIntTable

protected ObjectIntTable<INonPrimitiveValue>

DefaultStateManager.getNonPrimitiveValueIdTable(IState s, ArrayList<INonPrimitiveValue> heap, IntIntTable threadOrderMap)

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

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.linearizeThreads(IState s, ObjectIntTable<INonPrimitiveValue> nonPrimitiveValueIdMap, IntIntTable threadOrderMap, BitBuffer bb)

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

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

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.
byte[][]	DefaultLockValue.linearize(int bitsPerNonPrimitiveValue, ObjectIntTable nonPrimitiveValueIdMap, int bitsPerThreadId, IntIntTable threadOrderMap)
byte[][]	ILockValue.linearize(int bitsPerNonPrimitiveValue, ObjectIntTable nonPrimitiveValueIdMap, int bitsPerThreadId, IntIntTable threadOrderMap) Linearizes this lock value.

Uses of ObjectIntTable in edu.ksu.cis.projects.bogor.symboltable

Methods in edu.ksu.cis.projects.bogor.symboltable that return ObjectIntTable

ObjectIntTable<String>	SymbolTable.getGlobalIndexTable() Gets the global identifier (String) to its index (int) mapping.
ObjectIntTable<String>	FSMSymbolTable.getLocalIndexTable() Gets the local identifier (String) to its index (int) mapping.
ObjectIntTable<String>	FSMSymbolTable.getLocationDescTable() Gets the location identifier (String) to its descriptor (int) mapping.
ObjectIntTable<String>	SymbolTable.getQLocIdLocDescTable() Gets the qualified loc id (String) to its location desc (int) mapping.

Uses of ObjectIntTable in edu.ksu.cis.projects.bogor.util

Methods in edu.ksu.cis.projects.bogor.util with parameters of type ObjectIntTable

static <K> String

Util.toString(ObjectIntTable<K> map, Class<K> keyClass, String indent) Pretty print an object to int map.

Uses of ObjectIntTable in edu.ksu.cis.projects.trove.custom

Methods in edu.ksu.cis.projects.trove.custom that return ObjectIntTable

ObjectIntTable<K>

ObjectIntTable.clone()