joeq.Compiler.BytecodeAnalysis
Class LiveRefAnalysis.ExactJSRState

java.lang.Object
  extended by joeq.Compiler.BytecodeAnalysis.LiveRefAnalysis.ExactState
      extended by joeq.Compiler.BytecodeAnalysis.LiveRefAnalysis.ExactJSRState
Enclosing class:
LiveRefAnalysis

public static class LiveRefAnalysis.ExactJSRState
extends LiveRefAnalysis.ExactState


Field Summary
protected  boolean[] mayChangeLocals
           
protected  boolean[] mustChangeLocals
           
 
Fields inherited from class joeq.Compiler.BytecodeAnalysis.LiveRefAnalysis.ExactState
last_uses, liveness, locals, stack, stackDepth
 
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)
           
 String toString_live()
           
 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
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

mayChangeLocals

protected boolean[] mayChangeLocals

mustChangeLocals

protected boolean[] mustChangeLocals
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 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.