|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectforge.cfg.ForgeCFG
forge.cfg.ForgeCFG.Spec
public static final class ForgeCFG.Spec
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 |
---|
public SpecStmt entry()
ForgeCFG
entry
in class ForgeCFG
public boolean jmlHack()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |