edu.toronto.cs.ctl
Class CTLVisitorDefaulterAncestor
java.lang.Object
edu.toronto.cs.ctl.CTLVisitorDefaulterAncestor
- All Implemented Interfaces:
- CTLVisitor
- Direct Known Subclasses:
- DepthVisitor
public abstract class CTLVisitorDefaulterAncestor
- extends java.lang.Object
- implements CTLVisitor
This is an abstract CTL node.
Method Summary |
java.lang.Object |
visit(CTLNode n,
java.lang.Object stateinfo)
|
java.lang.Object |
visitAbstractNode(CTLAbstractNode node,
java.lang.Object stateinfo)
|
java.lang.Object |
visitAFNode(CTLAFNode node,
java.lang.Object stateinfo)
|
java.lang.Object |
visitAGNode(CTLAGNode node,
java.lang.Object stateinfo)
|
java.lang.Object |
visitAndNode(CTLAndNode node,
java.lang.Object stateinfo)
|
java.lang.Object |
visitARNode(CTLARNode node,
java.lang.Object stateinfo)
|
java.lang.Object |
visitAtomPropNode(CTLAtomPropNode node,
java.lang.Object stateinfo)
|
java.lang.Object |
visitAUiNode(CTLAUiNode node,
java.lang.Object stateinfo)
|
java.lang.Object |
visitAUNode(CTLAUNode node,
java.lang.Object stateinfo)
|
java.lang.Object |
visitAWNode(CTLAWNode node,
java.lang.Object stateinfo)
|
java.lang.Object |
visitAXNode(CTLAXNode node,
java.lang.Object stateinfo)
|
java.lang.Object |
visitConstantNode(CTLConstantNode node,
java.lang.Object stateinfo)
|
java.lang.Object |
visitCTLNode(CTLNode node,
java.lang.Object stateinfo)
|
java.lang.Object |
visitEFNode(CTLEFNode node,
java.lang.Object stateinfo)
|
java.lang.Object |
visitEGNode(CTLEGNode node,
java.lang.Object stateinfo)
|
java.lang.Object |
visitEqualsNode(CTLEqualsNode node,
java.lang.Object stateinfo)
|
java.lang.Object |
visitERNode(CTLERNode node,
java.lang.Object stateinfo)
|
java.lang.Object |
visitEUiNode(CTLEUiNode node,
java.lang.Object stateinfo)
|
java.lang.Object |
visitEUNode(CTLEUNode node,
java.lang.Object stateinfo)
|
java.lang.Object |
visitEWNode(CTLEWNode node,
java.lang.Object stateinfo)
|
java.lang.Object |
visitEXNode(CTLEXNode node,
java.lang.Object stateinfo)
|
java.lang.Object |
visitIffNode(CTLIffNode node,
java.lang.Object stateinfo)
|
java.lang.Object |
visitImplNode(CTLImplNode node,
java.lang.Object stateinfo)
|
java.lang.Object |
visitMvSetNode(CTLMvSetNode node,
java.lang.Object stateinfo)
|
java.lang.Object |
visitNegNode(CTLNegNode node,
java.lang.Object stateinfo)
|
java.lang.Object |
visitNode(CTLNode node,
java.lang.Object stateinfo)
|
java.lang.Object |
visitOrNode(CTLOrNode node,
java.lang.Object stateinfo)
|
java.lang.Object |
visitOverNode(CTLOverNode node,
java.lang.Object stateinfo)
|
java.lang.Object |
visitPlaceholderNode(CTLPlaceholderNode node,
java.lang.Object o)
|
java.lang.Object |
visitPreEXNode(CTLPreEXNode node,
java.lang.Object stateinfo)
|
java.lang.Object |
visitUnderNode(CTLUnderNode node,
java.lang.Object stateinfo)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
CTLVisitorDefaulterAncestor
public CTLVisitorDefaulterAncestor()
visit
public java.lang.Object visit(CTLNode n,
java.lang.Object stateinfo)
- Specified by:
visit
in interface CTLVisitor
visitCTLNode
public java.lang.Object visitCTLNode(CTLNode node,
java.lang.Object stateinfo)
visitAbstractNode
public java.lang.Object visitAbstractNode(CTLAbstractNode node,
java.lang.Object stateinfo)
- Specified by:
visitAbstractNode
in interface CTLVisitor
visitAFNode
public java.lang.Object visitAFNode(CTLAFNode node,
java.lang.Object stateinfo)
- Specified by:
visitAFNode
in interface CTLVisitor
visitAGNode
public java.lang.Object visitAGNode(CTLAGNode node,
java.lang.Object stateinfo)
- Specified by:
visitAGNode
in interface CTLVisitor
visitAUNode
public java.lang.Object visitAUNode(CTLAUNode node,
java.lang.Object stateinfo)
- Specified by:
visitAUNode
in interface CTLVisitor
visitAUiNode
public java.lang.Object visitAUiNode(CTLAUiNode node,
java.lang.Object stateinfo)
- Specified by:
visitAUiNode
in interface CTLVisitor
visitAWNode
public java.lang.Object visitAWNode(CTLAWNode node,
java.lang.Object stateinfo)
- Specified by:
visitAWNode
in interface CTLVisitor
visitAXNode
public java.lang.Object visitAXNode(CTLAXNode node,
java.lang.Object stateinfo)
- Specified by:
visitAXNode
in interface CTLVisitor
visitAndNode
public java.lang.Object visitAndNode(CTLAndNode node,
java.lang.Object stateinfo)
- Specified by:
visitAndNode
in interface CTLVisitor
visitAtomPropNode
public java.lang.Object visitAtomPropNode(CTLAtomPropNode node,
java.lang.Object stateinfo)
- Specified by:
visitAtomPropNode
in interface CTLVisitor
visitEFNode
public java.lang.Object visitEFNode(CTLEFNode node,
java.lang.Object stateinfo)
- Specified by:
visitEFNode
in interface CTLVisitor
visitARNode
public java.lang.Object visitARNode(CTLARNode node,
java.lang.Object stateinfo)
- Specified by:
visitARNode
in interface CTLVisitor
visitERNode
public java.lang.Object visitERNode(CTLERNode node,
java.lang.Object stateinfo)
- Specified by:
visitERNode
in interface CTLVisitor
visitEGNode
public java.lang.Object visitEGNode(CTLEGNode node,
java.lang.Object stateinfo)
- Specified by:
visitEGNode
in interface CTLVisitor
visitEUNode
public java.lang.Object visitEUNode(CTLEUNode node,
java.lang.Object stateinfo)
- Specified by:
visitEUNode
in interface CTLVisitor
visitEUiNode
public java.lang.Object visitEUiNode(CTLEUiNode node,
java.lang.Object stateinfo)
- Specified by:
visitEUiNode
in interface CTLVisitor
visitEWNode
public java.lang.Object visitEWNode(CTLEWNode node,
java.lang.Object stateinfo)
- Specified by:
visitEWNode
in interface CTLVisitor
visitEXNode
public java.lang.Object visitEXNode(CTLEXNode node,
java.lang.Object stateinfo)
- Specified by:
visitEXNode
in interface CTLVisitor
visitEqualsNode
public java.lang.Object visitEqualsNode(CTLEqualsNode node,
java.lang.Object stateinfo)
- Specified by:
visitEqualsNode
in interface CTLVisitor
visitIffNode
public java.lang.Object visitIffNode(CTLIffNode node,
java.lang.Object stateinfo)
- Specified by:
visitIffNode
in interface CTLVisitor
visitImplNode
public java.lang.Object visitImplNode(CTLImplNode node,
java.lang.Object stateinfo)
- Specified by:
visitImplNode
in interface CTLVisitor
visitConstantNode
public java.lang.Object visitConstantNode(CTLConstantNode node,
java.lang.Object stateinfo)
- Specified by:
visitConstantNode
in interface CTLVisitor
visitMvSetNode
public java.lang.Object visitMvSetNode(CTLMvSetNode node,
java.lang.Object stateinfo)
- Specified by:
visitMvSetNode
in interface CTLVisitor
visitNegNode
public java.lang.Object visitNegNode(CTLNegNode node,
java.lang.Object stateinfo)
- Specified by:
visitNegNode
in interface CTLVisitor
visitNode
public java.lang.Object visitNode(CTLNode node,
java.lang.Object stateinfo)
- Specified by:
visitNode
in interface CTLVisitor
visitOrNode
public java.lang.Object visitOrNode(CTLOrNode node,
java.lang.Object stateinfo)
- Specified by:
visitOrNode
in interface CTLVisitor
visitOverNode
public java.lang.Object visitOverNode(CTLOverNode node,
java.lang.Object stateinfo)
- Specified by:
visitOverNode
in interface CTLVisitor
visitPreEXNode
public java.lang.Object visitPreEXNode(CTLPreEXNode node,
java.lang.Object stateinfo)
- Specified by:
visitPreEXNode
in interface CTLVisitor
visitUnderNode
public java.lang.Object visitUnderNode(CTLUnderNode node,
java.lang.Object stateinfo)
- Specified by:
visitUnderNode
in interface CTLVisitor
visitPlaceholderNode
public java.lang.Object visitPlaceholderNode(CTLPlaceholderNode node,
java.lang.Object o)
- Specified by:
visitPlaceholderNode
in interface CTLVisitor