forge.cfg
Class ForgeCFG.Spec

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

Methods inherited from class forge.cfg.ForgeCFG

checkCFG, exit, generalSpecification, implementation, 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