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.