gov.nasa.jpf.vm

Interface AllocationContext

All Known Implementing Classes:

HashedAllocationContext, PreciseAllocationContext

public interface AllocationContext

abstract type that captures the context (class, thread id and callstack) of an allocation Used for SGOID computation

Method Summary

Modifier and Type	Method and Description
AllocationContext	extend(ClassInfo ci, int anchor)

Method Detail

extend

AllocationContext extend(ClassInfo ci,
                         int anchor)