edu.toronto.cs.ctl
Class CTLPrettyPrinter
java.lang.Object
edu.toronto.cs.ctl.AbstractCTLVisitor
edu.toronto.cs.ctl.CTLPrettyPrinter
- All Implemented Interfaces:
- CTLVisitor
public class CTLPrettyPrinter
- extends AbstractCTLVisitor
Prints CTL in as much parsable form as possible
Method Summary |
static CTLPrettyPrinter |
getPrettyPrinter()
|
static void |
main(java.lang.String[] args)
|
java.lang.String |
stringValue(CTLNode node)
|
static java.lang.String |
toString(CTLNode node)
|
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 |
visitConstantNode(CTLConstantNode node,
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 |
visitImplNode(CTLImplNode node,
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 |
visitOrNode(CTLOrNode node,
java.lang.Object o)
|
java.lang.Object |
visitPlaceholderNode(CTLPlaceholderNode node,
java.lang.Object o)
|
Methods inherited from class edu.toronto.cs.ctl.AbstractCTLVisitor |
visit, visitAbstractNode, visitBinaryNode, visitCTLNode, visitIffNode, visitLeafNode, visitNode, visitOverNode, visitPreEXNode, visitUnaryNode, visitUnderNode |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
CTLPrettyPrinter
public CTLPrettyPrinter()
toString
public static java.lang.String toString(CTLNode node)
stringValue
public java.lang.String stringValue(CTLNode node)
getPrettyPrinter
public static CTLPrettyPrinter getPrettyPrinter()
visitAndNode
public java.lang.Object visitAndNode(CTLAndNode node,
java.lang.Object o)
- Specified by:
visitAndNode
in interface CTLVisitor
- Overrides:
visitAndNode
in class AbstractCTLVisitor
visitOrNode
public java.lang.Object visitOrNode(CTLOrNode node,
java.lang.Object o)
- Specified by:
visitOrNode
in interface CTLVisitor
- Overrides:
visitOrNode
in class AbstractCTLVisitor
visitAtomPropNode
public java.lang.Object visitAtomPropNode(CTLAtomPropNode node,
java.lang.Object o)
- Specified by:
visitAtomPropNode
in interface CTLVisitor
- Overrides:
visitAtomPropNode
in class AbstractCTLVisitor
visitConstantNode
public java.lang.Object visitConstantNode(CTLConstantNode node,
java.lang.Object o)
- Specified by:
visitConstantNode
in interface CTLVisitor
- Overrides:
visitConstantNode
in class AbstractCTLVisitor
visitMvSetNode
public java.lang.Object visitMvSetNode(CTLMvSetNode node,
java.lang.Object o)
- Specified by:
visitMvSetNode
in interface CTLVisitor
- Overrides:
visitMvSetNode
in class AbstractCTLVisitor
visitEqualsNode
public java.lang.Object visitEqualsNode(CTLEqualsNode node,
java.lang.Object o)
- Specified by:
visitEqualsNode
in interface CTLVisitor
- Overrides:
visitEqualsNode
in class AbstractCTLVisitor
visitImplNode
public java.lang.Object visitImplNode(CTLImplNode node,
java.lang.Object o)
- Specified by:
visitImplNode
in interface CTLVisitor
- Overrides:
visitImplNode
in class AbstractCTLVisitor
visitAFNode
public java.lang.Object visitAFNode(CTLAFNode node,
java.lang.Object o)
- Specified by:
visitAFNode
in interface CTLVisitor
- Overrides:
visitAFNode
in class AbstractCTLVisitor
visitEFNode
public java.lang.Object visitEFNode(CTLEFNode node,
java.lang.Object o)
- Specified by:
visitEFNode
in interface CTLVisitor
- Overrides:
visitEFNode
in class AbstractCTLVisitor
visitAGNode
public java.lang.Object visitAGNode(CTLAGNode node,
java.lang.Object o)
- Specified by:
visitAGNode
in interface CTLVisitor
- Overrides:
visitAGNode
in class AbstractCTLVisitor
visitEGNode
public java.lang.Object visitEGNode(CTLEGNode node,
java.lang.Object o)
- Specified by:
visitEGNode
in interface CTLVisitor
- Overrides:
visitEGNode
in class AbstractCTLVisitor
visitAXNode
public java.lang.Object visitAXNode(CTLAXNode node,
java.lang.Object o)
- Specified by:
visitAXNode
in interface CTLVisitor
- Overrides:
visitAXNode
in class AbstractCTLVisitor
visitEXNode
public java.lang.Object visitEXNode(CTLEXNode node,
java.lang.Object o)
- Specified by:
visitEXNode
in interface CTLVisitor
- Overrides:
visitEXNode
in class AbstractCTLVisitor
visitNegNode
public java.lang.Object visitNegNode(CTLNegNode node,
java.lang.Object o)
- Specified by:
visitNegNode
in interface CTLVisitor
- Overrides:
visitNegNode
in class AbstractCTLVisitor
visitPlaceholderNode
public java.lang.Object visitPlaceholderNode(CTLPlaceholderNode node,
java.lang.Object o)
- Specified by:
visitPlaceholderNode
in interface CTLVisitor
- Overrides:
visitPlaceholderNode
in class AbstractCTLVisitor
visitEUNode
public java.lang.Object visitEUNode(CTLEUNode node,
java.lang.Object o)
- Specified by:
visitEUNode
in interface CTLVisitor
- Overrides:
visitEUNode
in class AbstractCTLVisitor
visitAUNode
public java.lang.Object visitAUNode(CTLAUNode node,
java.lang.Object o)
- Specified by:
visitAUNode
in interface CTLVisitor
- Overrides:
visitAUNode
in class AbstractCTLVisitor
visitARNode
public java.lang.Object visitARNode(CTLARNode node,
java.lang.Object o)
- Specified by:
visitARNode
in interface CTLVisitor
- Overrides:
visitARNode
in class AbstractCTLVisitor
visitERNode
public java.lang.Object visitERNode(CTLERNode node,
java.lang.Object o)
- Specified by:
visitERNode
in interface CTLVisitor
- Overrides:
visitERNode
in class AbstractCTLVisitor
visitEWNode
public java.lang.Object visitEWNode(CTLEWNode node,
java.lang.Object o)
- Specified by:
visitEWNode
in interface CTLVisitor
- Overrides:
visitEWNode
in class AbstractCTLVisitor
visitAWNode
public java.lang.Object visitAWNode(CTLAWNode node,
java.lang.Object o)
- Specified by:
visitAWNode
in interface CTLVisitor
- Overrides:
visitAWNode
in class AbstractCTLVisitor
visitEUiNode
public java.lang.Object visitEUiNode(CTLEUiNode node,
java.lang.Object o)
- Specified by:
visitEUiNode
in interface CTLVisitor
- Overrides:
visitEUiNode
in class AbstractCTLVisitor
visitAUiNode
public java.lang.Object visitAUiNode(CTLAUiNode node,
java.lang.Object o)
- Specified by:
visitAUiNode
in interface CTLVisitor
- Overrides:
visitAUiNode
in class AbstractCTLVisitor
main
public static void main(java.lang.String[] args)
throws java.lang.Exception
- Throws:
java.lang.Exception