|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--ConForM.CoopnTools.JavaProto.Interpretor.ReqCollector
Constructor Summary | |
ReqCollector()
|
Method Summary | |
java.lang.String |
getResult()
|
void |
visit(Leaf s)
|
void |
visit(Root s)
|
void |
visit(Seq s)
|
void |
visit(Sim s)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public ReqCollector()
Method Detail |
public java.lang.String getResult()
public void visit(Root s)
visit
in interface StateNodeVisitor
public void visit(Sim s)
visit
in interface StateNodeVisitor
public void visit(Seq s)
visit
in interface StateNodeVisitor
public void visit(Leaf s)
visit
in interface StateNodeVisitor
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |