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
Methods inherited from class joeq.Compiler.BytecodeAnalysis.LiveRefAnalysis.ExactState |
allocateEmptyState, allocateInitialState, allocateLiveness, compareLiveness, getLiveLocal, getLocal, getNumberOfLocals, getStack, getStackDepth, initializeLastUses, mergeJSR, mergeLiveness |
mayChangeLocals
protected boolean[] mayChangeLocals
mustChangeLocals
protected boolean[] mustChangeLocals
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 String toString_live()
- Overrides:
toString_live
in class LiveRefAnalysis.ExactState
toString
public String toString()
- Overrides:
toString
in class LiveRefAnalysis.ExactState
Copyright © 2001-2008 John Whaley. All Rights Reserved.