gov.nasa.jpf.vm

Class PreciseAllocationContext

java.lang.Object

gov.nasa.jpf.vm.PreciseAllocationContext

All Implemented Interfaces:

AllocationContext

public class PreciseAllocationContext
extends java.lang.Object
implements AllocationContext

class that captures execution context consisting of executing thread and pc's of ti's current StackFrames note that we pool (i.e. use static factory methods) in order to avoid creating a myriad of redundant objects

Field Summary

Fields

Modifier and Type	Field and Description
protected Instruction[]	cc
protected int	hashCode
protected ThreadInfo	ti

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	PreciseAllocationContext()

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object o)
AllocationContext	extend(ClassInfo ci, int anchor)
int	getStackDepth()
static PreciseAllocationContext	getSUTExecutionContext(ClassInfo ci, ThreadInfo ti)
int	hashCode()
java.lang.String	toString() mostly for debugging purposes

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

ti

protected ThreadInfo ti

cc

protected Instruction[] cc

hashCode

protected int hashCode

Constructor Detail

PreciseAllocationContext

protected PreciseAllocationContext()

Method Detail

getSUTExecutionContext

public static PreciseAllocationContext getSUTExecutionContext(ClassInfo ci,
                                                              ThreadInfo ti)

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

getStackDepth

public int getStackDepth()

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

extend

public AllocationContext extend(ClassInfo ci,
                                int anchor)

Specified by:

extend in interface AllocationContext

toString

public java.lang.String toString()

mostly for debugging purposes

Overrides:

toString in class java.lang.Object