forge.cfg
Interface CFGElement

All Superinterfaces:
ProgramElement
All Known Implementing Classes:
AssignStmt, BranchStmt, CallStmt, CFGStmt, CreateStmt, ExitStmt, ReferenceStmt, SpecStmt, Step, Step.Branch, Step.Call, Step.Update, StmtSet, Trace, UpdateStmt

public interface CFGElement
extends ProgramElement

Belongs to a CFG.

Author:
Greg Dennis (gdennis@mit.edu)

Method Summary
 ForgeCFG cfg()
          Returns the cfg to which this element belongs.
 
Methods inherited from interface forge.program.ProgramElement
program
 

Method Detail

cfg

ForgeCFG cfg()
Returns the cfg to which this element belongs.