forge.cfg
Class UpdateStmt

java.lang.Object
  extended by forge.cfg.CFGStmt
      extended by forge.cfg.ReferenceStmt
          extended by forge.cfg.UpdateStmt
All Implemented Interfaces:
CFGElement, ProgramElement
Direct Known Subclasses:
AssignStmt, CallStmt, CreateStmt, SpecStmt

public abstract class UpdateStmt
extends ReferenceStmt

A stmt in the control flow graph that may change the state of the execution and which has exactly one successor.

Author:
Greg Dennis (gdennis@mit.edu)

Method Summary
 CFGStmt getNext()
           
abstract  java.util.Set<? extends ForgeExpression.Modifiable> modified()
          Returns the set of variables and instance domains that may be modified by the statement.
 void setNext(CFGStmt nextNode)
           
 StmtSet succs()
          Returns an unmodifiable view of the successor stmts.
 
Methods inherited from class forge.cfg.ReferenceStmt
referenced
 
Methods inherited from class forge.cfg.CFGStmt
accept, cfg, id, preds, program, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Method Detail

modified

public abstract java.util.Set<? extends ForgeExpression.Modifiable> modified()
Returns the set of variables and instance domains that may be modified by the statement. The "defined" modifiables, in the def-use meaning.


succs

public final StmtSet succs()
Description copied from class: ReferenceStmt
Returns an unmodifiable view of the successor stmts.

Specified by:
succs in class ReferenceStmt

getNext

public final CFGStmt getNext()

setNext

public final void setNext(CFGStmt nextNode)