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

Packages that use IntIntTable

edu.ksu.cis.projects.bogor.module	Provide a generic framework for dataflow analysis on BIR transition systems.
edu.ksu.cis.projects.bogor.module.state	Provides for Bogor state.
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.

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

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

protected IntIntTable

DefaultStateExternalizer.nonPrimitiveTypeInstanceMap

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

protected IntIntTable	DefaultStateExternalizer.getThreadOrderMap()
protected IntIntTable	DefaultStateManager.getThreadOrderMap(IState s)

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

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

Uses of IntIntTable in edu.ksu.cis.projects.bogor.module.state

Fields in edu.ksu.cis.projects.bogor.module.state declared as IntIntTable

protected IntIntTable

DefaultState.threadLockCountMap Holds the mapping of thread id (int) to its lock count (int) when waiting.

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

void	StateValueVisitor.visit(IState s, IntIntTable threadOrderMap) Visits values reachable from a particular state.

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

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

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 IntIntTable in edu.ksu.cis.projects.bogor.symboltable

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

IntIntTable

SymbolTable.getTypeIdCreatedTypeIdTable() Gets the type id (int) to its created type id (int) mapping.

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

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

static String

Util.toString(IntIntTable map, String indent) Pretty print an int to int map.