forge.solve
Class Step.Call

java.lang.Object
  extended by forge.solve.Step
      extended by forge.solve.Step.Update
          extended by forge.solve.Step.Call
All Implemented Interfaces:
CFGElement, ProgramElement
Enclosing class:
Step

public static final class Step.Call
extends Step.Update

A call step: an CallStmt with its own trace.


Nested Class Summary
 
Nested classes/interfaces inherited from class forge.solve.Step
Step.Branch, Step.Call, Step.Update
 
Method Summary
 boolean isCall()
           
 CallStmt stmt()
           
 java.lang.String toString()
           
 Trace trace()
           
 
Methods inherited from class forge.solve.Step.Update
isBranch, post
 
Methods inherited from class forge.solve.Step
cfg, program
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Method Detail

isCall

public boolean isCall()
Specified by:
isCall in class Step.Update

stmt

public CallStmt stmt()
Overrides:
stmt in class Step.Update

trace

public Trace trace()

toString

public java.lang.String toString()
Overrides:
toString in class Step.Update