edu.toronto.cs.ctl
Class AbstractCTLVisitor

java.lang.Object
  extended by edu.toronto.cs.ctl.AbstractCTLVisitor
All Implemented Interfaces:
CTLVisitor
Direct Known Subclasses:
CloningRewriter, CTLPrettyPrinter, CTLStyledPrinter, NormalFormRewriter, SyntaxChecker

public class AbstractCTLVisitor
extends java.lang.Object
implements CTLVisitor

This is an abstract CTL node.


Constructor Summary
AbstractCTLVisitor()
           
 
Method Summary
 java.lang.Object visit(CTLNode n, java.lang.Object o)
           
 java.lang.Object visitAbstractNode(CTLAbstractNode n, java.lang.Object o)
           
 java.lang.Object visitAFNode(CTLAFNode node, java.lang.Object o)
           
 java.lang.Object visitAGNode(CTLAGNode node, java.lang.Object o)
           
 java.lang.Object visitAndNode(CTLAndNode node, java.lang.Object o)
           
 java.lang.Object visitARNode(CTLARNode node, java.lang.Object o)
           
 java.lang.Object visitAtomPropNode(CTLAtomPropNode node, java.lang.Object o)
           
 java.lang.Object visitAUiNode(CTLAUiNode node, java.lang.Object o)
           
 java.lang.Object visitAUNode(CTLAUNode node, java.lang.Object o)
           
 java.lang.Object visitAWNode(CTLAWNode node, java.lang.Object o)
           
 java.lang.Object visitAXNode(CTLAXNode node, java.lang.Object o)
           
 java.lang.Object visitBinaryNode(CTLBinaryNode n, java.lang.Object o)
           
 java.lang.Object visitConstantNode(CTLConstantNode node, java.lang.Object o)
           
 java.lang.Object visitCTLNode(CTLNode n, java.lang.Object o)
           
 java.lang.Object visitEFNode(CTLEFNode node, java.lang.Object o)
           
 java.lang.Object visitEGNode(CTLEGNode node, java.lang.Object o)
           
 java.lang.Object visitEqualsNode(CTLEqualsNode node, java.lang.Object o)
           
 java.lang.Object visitERNode(CTLERNode node, java.lang.Object o)
           
 java.lang.Object visitEUiNode(CTLEUiNode node, java.lang.Object o)
           
 java.lang.Object visitEUNode(CTLEUNode node, java.lang.Object o)
           
 java.lang.Object visitEWNode(CTLEWNode node, java.lang.Object o)
           
 java.lang.Object visitEXNode(CTLEXNode node, java.lang.Object o)
           
 java.lang.Object visitIffNode(CTLIffNode node, java.lang.Object o)
           
 java.lang.Object visitImplNode(CTLImplNode node, java.lang.Object o)
           
 java.lang.Object visitLeafNode(CTLLeafNode n, java.lang.Object o)
           
 java.lang.Object visitMvSetNode(CTLMvSetNode node, java.lang.Object o)
           
 java.lang.Object visitNegNode(CTLNegNode node, java.lang.Object o)
           
 java.lang.Object visitNode(CTLNode node, java.lang.Object o)
           
 java.lang.Object visitOrNode(CTLOrNode node, java.lang.Object o)
           
 java.lang.Object visitOverNode(CTLOverNode node, java.lang.Object o)
           
 java.lang.Object visitPlaceholderNode(CTLPlaceholderNode node, java.lang.Object o)
           
 java.lang.Object visitPreEXNode(CTLPreEXNode node, java.lang.Object o)
           
 java.lang.Object visitUnaryNode(CTLUnaryNode n, java.lang.Object o)
           
 java.lang.Object visitUnderNode(CTLUnderNode node, java.lang.Object o)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

AbstractCTLVisitor

public AbstractCTLVisitor()
Method Detail

visit

public java.lang.Object visit(CTLNode n,
                              java.lang.Object o)
Specified by:
visit in interface CTLVisitor

visitCTLNode

public java.lang.Object visitCTLNode(CTLNode n,
                                     java.lang.Object o)

visitAbstractNode

public java.lang.Object visitAbstractNode(CTLAbstractNode n,
                                          java.lang.Object o)
Specified by:
visitAbstractNode in interface CTLVisitor

visitLeafNode

public java.lang.Object visitLeafNode(CTLLeafNode n,
                                      java.lang.Object o)

visitUnaryNode

public java.lang.Object visitUnaryNode(CTLUnaryNode n,
                                       java.lang.Object o)

visitBinaryNode

public java.lang.Object visitBinaryNode(CTLBinaryNode n,
                                        java.lang.Object o)

visitAFNode

public java.lang.Object visitAFNode(CTLAFNode node,
                                    java.lang.Object o)
Specified by:
visitAFNode in interface CTLVisitor

visitAGNode

public java.lang.Object visitAGNode(CTLAGNode node,
                                    java.lang.Object o)
Specified by:
visitAGNode in interface CTLVisitor

visitAUNode

public java.lang.Object visitAUNode(CTLAUNode node,
                                    java.lang.Object o)
Specified by:
visitAUNode in interface CTLVisitor

visitARNode

public java.lang.Object visitARNode(CTLARNode node,
                                    java.lang.Object o)
Specified by:
visitARNode in interface CTLVisitor

visitERNode

public java.lang.Object visitERNode(CTLERNode node,
                                    java.lang.Object o)
Specified by:
visitERNode in interface CTLVisitor

visitAUiNode

public java.lang.Object visitAUiNode(CTLAUiNode node,
                                     java.lang.Object o)
Specified by:
visitAUiNode in interface CTLVisitor

visitAWNode

public java.lang.Object visitAWNode(CTLAWNode node,
                                    java.lang.Object o)
Specified by:
visitAWNode in interface CTLVisitor

visitAXNode

public java.lang.Object visitAXNode(CTLAXNode node,
                                    java.lang.Object o)
Specified by:
visitAXNode in interface CTLVisitor

visitAndNode

public java.lang.Object visitAndNode(CTLAndNode node,
                                     java.lang.Object o)
Specified by:
visitAndNode in interface CTLVisitor

visitAtomPropNode

public java.lang.Object visitAtomPropNode(CTLAtomPropNode node,
                                          java.lang.Object o)
Specified by:
visitAtomPropNode in interface CTLVisitor

visitEFNode

public java.lang.Object visitEFNode(CTLEFNode node,
                                    java.lang.Object o)
Specified by:
visitEFNode in interface CTLVisitor

visitEGNode

public java.lang.Object visitEGNode(CTLEGNode node,
                                    java.lang.Object o)
Specified by:
visitEGNode in interface CTLVisitor

visitEUNode

public java.lang.Object visitEUNode(CTLEUNode node,
                                    java.lang.Object o)
Specified by:
visitEUNode in interface CTLVisitor

visitEUiNode

public java.lang.Object visitEUiNode(CTLEUiNode node,
                                     java.lang.Object o)
Specified by:
visitEUiNode in interface CTLVisitor

visitEWNode

public java.lang.Object visitEWNode(CTLEWNode node,
                                    java.lang.Object o)
Specified by:
visitEWNode in interface CTLVisitor

visitEXNode

public java.lang.Object visitEXNode(CTLEXNode node,
                                    java.lang.Object o)
Specified by:
visitEXNode in interface CTLVisitor

visitEqualsNode

public java.lang.Object visitEqualsNode(CTLEqualsNode node,
                                        java.lang.Object o)
Specified by:
visitEqualsNode in interface CTLVisitor

visitIffNode

public java.lang.Object visitIffNode(CTLIffNode node,
                                     java.lang.Object o)
Specified by:
visitIffNode in interface CTLVisitor

visitImplNode

public java.lang.Object visitImplNode(CTLImplNode node,
                                      java.lang.Object o)
Specified by:
visitImplNode in interface CTLVisitor

visitConstantNode

public java.lang.Object visitConstantNode(CTLConstantNode node,
                                          java.lang.Object o)
Specified by:
visitConstantNode in interface CTLVisitor

visitMvSetNode

public java.lang.Object visitMvSetNode(CTLMvSetNode node,
                                       java.lang.Object o)
Specified by:
visitMvSetNode in interface CTLVisitor

visitPlaceholderNode

public java.lang.Object visitPlaceholderNode(CTLPlaceholderNode node,
                                             java.lang.Object o)
Specified by:
visitPlaceholderNode in interface CTLVisitor

visitNegNode

public java.lang.Object visitNegNode(CTLNegNode node,
                                     java.lang.Object o)
Specified by:
visitNegNode in interface CTLVisitor

visitNode

public java.lang.Object visitNode(CTLNode node,
                                  java.lang.Object o)
Specified by:
visitNode in interface CTLVisitor

visitOrNode

public java.lang.Object visitOrNode(CTLOrNode node,
                                    java.lang.Object o)
Specified by:
visitOrNode in interface CTLVisitor

visitOverNode

public java.lang.Object visitOverNode(CTLOverNode node,
                                      java.lang.Object o)
Specified by:
visitOverNode in interface CTLVisitor

visitPreEXNode

public java.lang.Object visitPreEXNode(CTLPreEXNode node,
                                       java.lang.Object o)
Specified by:
visitPreEXNode in interface CTLVisitor

visitUnderNode

public java.lang.Object visitUnderNode(CTLUnderNode node,
                                       java.lang.Object o)
Specified by:
visitUnderNode in interface CTLVisitor