joeq.Compiler.BytecodeAnalysis
Class LiveRefAnalysis.ExactJSRState

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

Enclosing class:

LiveRefAnalysis

public static class LiveRefAnalysis.ExactJSRState
extends LiveRefAnalysis.ExactState

Method Summary

LiveRefAnalysis.ExactState	copy()
LiveRefAnalysis.ExactJSRState	copyAsJSR()
LiveRefAnalysis.ExactState	copyHandler(jq_Type t)
LiveRefAnalysis.ExactState	copyJSR(LiveRefAnalysis.ExactJSRState jsr_state)
boolean	merge(LiveRefAnalysis.ExactState that)
boolean	mergeBeforeJSR(LiveRefAnalysis.ExactState that)
boolean	mergeWithHandler(LiveRefAnalysis.ExactState that)
java.lang.String	toString_live()
java.lang.String	toString()

Methods inherited from class joeq.Compiler.BytecodeAnalysis.LiveRefAnalysis.ExactState

allocateEmptyState, allocateInitialState, allocateLiveness, compareLiveness, getLiveLocal, getLocal, getNumberOfLocals, getStack, getStackDepth, initializeLastUses, mergeJSR, mergeLiveness

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Detail

copy

public LiveRefAnalysis.ExactState copy()

Overrides:

copy in class LiveRefAnalysis.ExactState

copyAsJSR

public LiveRefAnalysis.ExactJSRState copyAsJSR()

Overrides:

copyAsJSR in class LiveRefAnalysis.ExactState

copyJSR

public LiveRefAnalysis.ExactState copyJSR(LiveRefAnalysis.ExactJSRState jsr_state)

Overrides:

copyJSR in class LiveRefAnalysis.ExactState

copyHandler

public LiveRefAnalysis.ExactState copyHandler(jq_Type t)

Overrides:

copyHandler in class LiveRefAnalysis.ExactState

mergeBeforeJSR

public boolean mergeBeforeJSR(LiveRefAnalysis.ExactState that)

merge

public boolean merge(LiveRefAnalysis.ExactState that)

Overrides:

merge in class LiveRefAnalysis.ExactState

mergeWithHandler

public boolean mergeWithHandler(LiveRefAnalysis.ExactState that)

Overrides:

mergeWithHandler in class LiveRefAnalysis.ExactState

toString_live

public java.lang.String toString_live()

Overrides:

toString_live in class LiveRefAnalysis.ExactState

toString

public java.lang.String toString()

Overrides:

toString in class LiveRefAnalysis.ExactState