edu.toronto.cs.ctl
Class AbstractCTLVisitor
java.lang.Object
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.
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 |
AbstractCTLVisitor
public AbstractCTLVisitor()
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