Package | Description |
---|---|
gov.nasa.jpf.vm |
Modifier and Type | Class and Description |
---|---|
class |
HashedAllocationContext
an AllocationContext that uses a hash value for comparison.
|
class |
PreciseAllocationContext
class that captures execution context consisting of executing thread and
pc's of ti's current StackFrames
note that we pool (i.e.
|
Modifier and Type | Field and Description |
---|---|
protected IntTable<AllocationContext> |
GenericSGOIDHeap.allocCounts |
Modifier and Type | Method and Description |
---|---|
AllocationContext |
HashedAllocationContext.extend(ClassInfo ci,
int anchor) |
AllocationContext |
AllocationContext.extend(ClassInfo ci,
int anchor) |
AllocationContext |
PreciseAllocationContext.extend(ClassInfo ci,
int anchor) |
protected abstract AllocationContext |
GenericHeap.getSUTAllocationContext(ClassInfo ci,
ThreadInfo ti) |
static AllocationContext |
HashedAllocationContext.getSUTAllocationContext(ClassInfo ci,
ThreadInfo ti)
this one is for allocations that should depend on the SUT thread context (such as all
explicit NEW executions)
|
protected AllocationContext |
GenericSGOIDHeap.getSUTAllocationContext(ClassInfo ci,
ThreadInfo ti) |
protected abstract AllocationContext |
GenericHeap.getSystemAllocationContext(ClassInfo ci,
ThreadInfo ti,
int anchor) |
static AllocationContext |
HashedAllocationContext.getSystemAllocationContext(ClassInfo ci,
ThreadInfo ti,
int anchor)
this one is for allocations that should NOT depend on the SUT thread context (such as
automatic allocation of java.lang.Class objects by the VM)
|
protected AllocationContext |
GenericSGOIDHeap.getSystemAllocationContext(ClassInfo ci,
ThreadInfo ti,
int anchor) |
Modifier and Type | Method and Description |
---|---|
protected abstract int |
GenericHeap.getNewElementInfoIndex(AllocationContext ctx)
this is called for newXX(..) allocations that are SUT thread specific, i.e.
|
protected int |
GenericSGOIDHeap.getNewElementInfoIndex(AllocationContext ctx) |
protected ElementInfo |
GenericHeap.newString(ClassInfo ciString,
ClassInfo ciChars,
String str,
ThreadInfo ti,
AllocationContext ctx) |
Constructor and Description |
---|
Allocation(AllocationContext context,
int count) |