|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use BitBuffer | |
---|---|
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.util | Provides utilities. |
Uses of BitBuffer in edu.ksu.cis.projects.bogor.module |
---|
Methods in edu.ksu.cis.projects.bogor.module with parameters of type BitBuffer | |
---|---|
void |
IStateAugmenter.augmentState(IState s,
BitBuffer bb)
Manipulate the bit vector to encode some extra information. |
void |
IStateFactory.augmentState(IState state,
BitBuffer bb)
Write extra components of state space into bitwise representation. |
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 BitBuffer in edu.ksu.cis.projects.bogor.module.state |
---|
Methods in edu.ksu.cis.projects.bogor.module.state with parameters of type BitBuffer | |
---|---|
void |
DefaultStateFactory.augmentState(IState state,
BitBuffer bb)
|
Uses of BitBuffer in edu.ksu.cis.projects.bogor.module.value |
---|
Methods in edu.ksu.cis.projects.bogor.module.value with parameters of type BitBuffer | |
---|---|
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)
|
Uses of BitBuffer in edu.ksu.cis.projects.bogor.util |
---|
Methods in edu.ksu.cis.projects.bogor.util with parameters of type BitBuffer | |
---|---|
void |
BitBuffer.append(BitBuffer other)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |