forge.solve
Class Step.Update

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