forge.cfg
Class ForgeCFG.Spec

java.lang.Object
  extended by forge.cfg.ForgeCFG
      extended by forge.cfg.ForgeCFG.Spec
All Implemented Interfaces:
ProgramElement
Enclosing class:
ForgeCFG

public static final class ForgeCFG.Spec
extends ForgeCFG

A specification CFG containing only a single specification statement.


Nested Class Summary
 
Nested classes/interfaces inherited from class forge.cfg.ForgeCFG
ForgeCFG.Impl, ForgeCFG.Spec
 
Method Summary
 SpecStmt entry()
          Returns the entry stmt of the cfg.
 boolean jmlHack()
           
 
Methods inherited from class forge.cfg.ForgeCFG
checkCFG, exit, generalSpecification, implementation, jmlSpecification, procedure, program, specification, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Method Detail

entry

public SpecStmt entry()
Description copied from class: ForgeCFG
Returns the entry stmt of the cfg.

Specified by:
entry in class ForgeCFG

jmlHack

public boolean jmlHack()