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

Packages that use IntObjectTable

edu.ksu.cis.projects.bogor.analyses	Provides for Bogor modules.
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.state	Provides for Bogor state.
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 IntObjectTable in edu.ksu.cis.projects.bogor.analyses

Fields in edu.ksu.cis.projects.bogor.analyses declared as IntObjectTable

protected IntObjectTable<Set<L>>	IntraFSMAnalysis.analysisTable Mapping of a label (CFG location) to the working set of the "thing" being calculated (live variables, available expressions, etc).
protected IntObjectTable<IntSet>	CFG.predTable
protected IntObjectTable<Set<String>>	LiveVariableAnalysis.result
protected IntObjectTable<IntSet>	CFG.succTable

Methods in edu.ksu.cis.projects.bogor.analyses that return IntObjectTable

IntObjectTable<Set<String>>

LiveVariableAnalysis.getResult()

Methods in edu.ksu.cis.projects.bogor.analyses with parameters of type IntObjectTable

protected void

CFG.addToTable(IntObjectTable<IntSet> table, int fromLocDesc, int toLocDesc)

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

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

protected IntObjectTable<String>	DefaultStateExternalizer.arrayFieldNameMap
protected IntObjectTable<String>	DefaultStateExternalizer.globalNameMap
protected IntObjectTable<List<String>>	DefaultStateExternalizer.recordFieldNameMap
protected IntObjectTable<String>	DefaultStateExternalizer.threadIdMap

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

IntObjectTable<ArrayList<Transformation>>	DefaultCounterExampleWriter.GuidedSchedulingStrategistProxy.getEnabledTransformations(IEnabledTransformationsContext etc) [Document Pending]
IntObjectTable<ArrayList<Transformation>>	DefaultSchedulingStrategist.getEnabledTransformations(IEnabledTransformationsContext etc)
IntObjectTable<ArrayList<Transformation>>	ISchedulingStrategist.getEnabledTransformations(IEnabledTransformationsContext etc) Find all the enabled FSM transitions.
IntObjectTable<ArrayList<Transformation>>	DefaultCounterExampleWriter.GuidedSchedulingStrategistProxy.getEnabledTransformations(IEnabledTransformationsContext etc, Set<Transformation> ignoredTransformations)
IntObjectTable<ArrayList<Transformation>>	DefaultSchedulingStrategist.getEnabledTransformations(IEnabledTransformationsContext etc, Set<Transformation> ignoredTransformations)
IntObjectTable<ArrayList<Transformation>>	ISchedulingStrategist.getEnabledTransformations(IEnabledTransformationsContext etc, Set<Transformation> ignoredTransformations) Find all the enabled FSM transitions except those given in ignoredTransformations.
static IntObjectTable<ErrorType>	DefaultCounterExampleWriter.getErrorTraceDescriptions(File trailsFile)
IntObjectTable	DefaultStateExternalizer.getThreadIdMap()
IntObjectTable<ArrayList<Transformation>>	DefaultCounterExampleWriter.GuidedSchedulingStrategistProxy.getWorkSet(IEnabledTransformationsContext etc) [Document Pending]
IntObjectTable<ArrayList<Transformation>>	DefaultSchedulingStrategist.getWorkSet(IEnabledTransformationsContext etc)
IntObjectTable<ArrayList<Transformation>>	ISchedulingStrategist.getWorkSet(IEnabledTransformationsContext etc) Find a reduced set of transitions whose executions will suffice to represent the execution of all enabled transformations.
IntObjectTable<ArrayList<Transformation>>	DefaultCounterExampleWriter.GuidedSchedulingStrategistProxy.getWorkSet(IEnabledTransformationsContext etc, Set<Transformation> ignoredTransformations)
IntObjectTable<ArrayList<Transformation>>	DefaultSchedulingStrategist.getWorkSet(IEnabledTransformationsContext etc, Set<Transformation> ignoredTransformations)
IntObjectTable<ArrayList<Transformation>>	ISchedulingStrategist.getWorkSet(IEnabledTransformationsContext etc, Set<Transformation> ignoredTransformations) Find a reduced set of transitions whose executions will suffice to represent the execution of all enabled transformations.

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

IControlTransferBacktrackingInfo	IBacktrackingInfoFactory.createControlTransferBacktrackingInfo(int stateId, int threadId, int locDesc, IntObjectTable<IValue> deadLocalValues, Transformation t, ISchedulingStrategyInfo ssi)
void	ITransformationFilter.filter(IntObjectTable<ArrayList<Transformation>> set, IEnabledTransformationsContext etc)
protected void	DefaultSearcher.makeChoices(IntObjectTable<ArrayList<Transformation>> ets, int[] threadIds, Transformation[] transformations)

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

Methods in edu.ksu.cis.projects.bogor.module.backtrack that return IntObjectTable

IntObjectTable<IValue>

IControlTransferBacktrackingInfo.getDeadLocalValues()

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

IControlTransferBacktrackingInfo

DefaultBacktrackingInfoFactory.createControlTransferBacktrackingInfo(int stateId, int threadId, int locDesc, IntObjectTable<IValue> deadLocalValues, Transformation t, ISchedulingStrategyInfo ssi)

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

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

protected IntObjectTable<IntList>	DefaultState.threadLocationStackMap Holds the mapping of thread id (int) to its location stack (TIntArrayList).
protected IntObjectTable<DefaultThreadStore>	DefaultState.threadStoreMap Holds the mapping of thread id (int) to thread store (DefaultThreadStore).
protected IntObjectTable<IntList>	DefaultState.threadTransformationIndexStackMap Holds the mapping of thread id (int) to its transformation index stack (TIntArrayList).

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

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

IntObjectTable<ArrayList<Object>>	FSMSymbolTable.getCatchTable() Gets the location desc (int) to the throwables that it can catch (ArrayList<RecordType::String::NextState>) mapping.
IntObjectTable<BitSet>	FSMSymbolTable.getLiveSetTable() Gets the location desc (int) to its live set (int[]) mapping.
IntObjectTable<Type>	SymbolTable.getTypeIdTypeTable() Gets the type id (int) to its type (Type) mapping.

Methods in edu.ksu.cis.projects.bogor.symboltable that return types with arguments of type IntObjectTable

Map<String,IntObjectTable<String>>

SymbolTable.getVirtualTable() Gets the virtual table identifier (String) to function mapping (Map<Integer, String>) mapping.

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

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

static <V> String

Util.toString(IntObjectTable<V> map, String indent) Pretty print an int to object map.

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

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

IntObjectTable<V>

IntObjectTable.clone()