joeq.Compiler.BytecodeAnalysis
Class LiveRefAnalysis.ExactState

java.lang.Object
  joeq.Compiler.BytecodeAnalysis.LiveRefAnalysis.ExactState

Direct Known Subclasses:

LiveRefAnalysis.ExactJSRState

Enclosing class:

LiveRefAnalysis

public static class LiveRefAnalysis.ExactState
extends Object

Field Summary

protected Set	last_uses
protected boolean[]	liveness
protected LiveRefAnalysis.Type[]	locals
protected LiveRefAnalysis.Type[]	stack
protected int	stackDepth

Method Summary

static LiveRefAnalysis.ExactState	allocateEmptyState(jq_Method m)
static LiveRefAnalysis.ExactState	allocateInitialState(jq_Method m)
void	allocateLiveness()
boolean	compareLiveness(LiveRefAnalysis.ExactState that)
LiveRefAnalysis.ExactState	copy()
LiveRefAnalysis.ExactJSRState	copyAsJSR()
LiveRefAnalysis.ExactState	copyHandler(jq_Type t)
LiveRefAnalysis.ExactState	copyJSR(LiveRefAnalysis.ExactJSRState jsr_state)
LiveRefAnalysis.Type	getLiveLocal(int i)
LiveRefAnalysis.Type	getLocal(int i)
int	getNumberOfLocals()
LiveRefAnalysis.Type	getStack(int i)
int	getStackDepth()
void	initializeLastUses()
boolean	merge(LiveRefAnalysis.ExactState that)
boolean	mergeJSR(LiveRefAnalysis.ExactState that, LiveRefAnalysis.ExactJSRState jsr_state)
boolean	mergeLiveness(LiveRefAnalysis.ExactState that)
boolean	mergeWithHandler(LiveRefAnalysis.ExactState that)
String	toString_live()
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

stackDepth

protected int stackDepth

stack

protected LiveRefAnalysis.Type[] stack

locals

protected LiveRefAnalysis.Type[] locals

liveness

protected boolean[] liveness

last_uses

protected Set last_uses

Method Detail

allocateEmptyState

public static LiveRefAnalysis.ExactState allocateEmptyState(jq_Method m)

allocateInitialState

public static LiveRefAnalysis.ExactState allocateInitialState(jq_Method m)

allocateLiveness

public void allocateLiveness()

initializeLastUses

public void initializeLastUses()

compareLiveness

public boolean compareLiveness(LiveRefAnalysis.ExactState that)

copy

public LiveRefAnalysis.ExactState copy()

copyAsJSR

public LiveRefAnalysis.ExactJSRState copyAsJSR()

copyJSR

public LiveRefAnalysis.ExactState copyJSR(LiveRefAnalysis.ExactJSRState jsr_state)

copyHandler

public LiveRefAnalysis.ExactState copyHandler(jq_Type t)

mergeLiveness

public boolean mergeLiveness(LiveRefAnalysis.ExactState that)

merge

public boolean merge(LiveRefAnalysis.ExactState that)

mergeJSR

public boolean mergeJSR(LiveRefAnalysis.ExactState that,
                        LiveRefAnalysis.ExactJSRState jsr_state)

mergeWithHandler

public boolean mergeWithHandler(LiveRefAnalysis.ExactState that)

getStackDepth

public int getStackDepth()

getStack

public LiveRefAnalysis.Type getStack(int i)

getLocal

public LiveRefAnalysis.Type getLocal(int i)

getLiveLocal

public LiveRefAnalysis.Type getLiveLocal(int i)

getNumberOfLocals

public int getNumberOfLocals()

toString_live

public String toString_live()

toString

public String toString()

Overrides:

toString in class Object