forge.solve
Class Step.Call

java.lang.Object
  forge.solve.Step
      forge.solve.Step.Update
          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