forge.solve
Class Step.Update

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

public abstract static class Step.Update
extends Step

An update step: an UpdateStmt and an effect.


Nested Class Summary
 
Nested classes/interfaces inherited from class forge.solve.Step
Step.Branch, Step.Call, Step.Update
 
Method Summary
 boolean isBranch()
           
abstract  boolean isCall()
           
 Binding post()
           
 UpdateStmt stmt()
           
 java.lang.String toString()
           
 
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

isBranch

public final boolean isBranch()
Specified by:
isBranch in class Step

stmt

public UpdateStmt stmt()
Specified by:
stmt in class Step

post

public final Binding post()

isCall

public abstract boolean isCall()

toString

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