forge.cfg
Class ReferenceStmt

java.lang.Object
  forge.cfg.CFGStmt
      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