forge.cfg
Class ReferenceStmt

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

public abstract class ReferenceStmt
extends CFGStmt

A statement in the control-flow graph that may reference the current value of modifiables.

Author:
Greg Dennis (gdennis@mit.edu)

Method Summary
abstract  java.util.Set<ForgeExpression.Modifiable> referenced()
          Returns the set of variables and instance domains referenced by the statement.
abstract  StmtSet succs()
          Returns an unmodifiable view of the successor stmts.
 
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

referenced

public abstract java.util.Set<ForgeExpression.Modifiable> referenced()
Returns the set of variables and instance domains referenced by the statement. The "used" modifiables, in the def-use meaning.


succs

public abstract StmtSet succs()
Returns an unmodifiable view of the successor stmts.

Specified by:
succs in class CFGStmt