ConForM.CoopnTools.JavaProto.Interpretor
Class ReqCollector

java.lang.Object
  |
  +--ConForM.CoopnTools.JavaProto.Interpretor.ReqCollector
All Implemented Interfaces:
StateNodeVisitor

public class ReqCollector
extends java.lang.Object
implements StateNodeVisitor


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

ReqCollector

public ReqCollector()
Method Detail

getResult

public java.lang.String getResult()

visit

public void visit(Root s)
Specified by:
visit in interface StateNodeVisitor

visit

public void visit(Sim s)
Specified by:
visit in interface StateNodeVisitor

visit

public void visit(Seq s)
Specified by:
visit in interface StateNodeVisitor

visit

public void visit(Leaf s)
Specified by:
visit in interface StateNodeVisitor