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.