forge.cfg
Class ExitStmt

java.lang.Object
  extended by forge.cfg.CFGStmt
      extended by forge.cfg.ExitStmt
All Implemented Interfaces:
CFGElement, ProgramElement

public final class ExitStmt
extends CFGStmt

A terminal stmt of a control flow graph.

Author:
Greg Dennis (gdennis@mit.edu)

Method Summary
 void accept(CFGVisitor visitor)
          Applies a CFG visitor to this stmt.
 StmtSet succs()
          Returns an unmodifiable view of the successor stmts.
 
Methods inherited from class forge.cfg.CFGStmt
cfg, id, preds, program, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Method Detail

succs

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

Specified by:
succs in class CFGStmt

accept

public void accept(CFGVisitor visitor)
Description copied from class: CFGStmt
Applies a CFG visitor to this stmt.

Specified by:
accept in class CFGStmt