edu.toronto.cs.ctl
Class CTLStyledPrinter
java.lang.Object
edu.toronto.cs.ctl.AbstractCTLVisitor
edu.toronto.cs.ctl.CTLStyledPrinter
- All Implemented Interfaces:
- CTLVisitor
public class CTLStyledPrinter
- extends AbstractCTLVisitor
Prints CTL in as much parsable form as possible
Method Summary |
static CTLStyledPrinter |
getStyledPrinter()
|
static void |
print(CTLNode node,
StyledDocumentPrinter styledPrinter)
|
protected void |
printNode(CTLNode node,
java.lang.Object o)
|
void |
printNode(CTLNode node,
StyledDocumentPrinter styledPrinter)
|
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 |
CTLStyledPrinter
public CTLStyledPrinter()
print
public static void print(CTLNode node,
StyledDocumentPrinter styledPrinter)
printNode
public void printNode(CTLNode node,
StyledDocumentPrinter styledPrinter)
printNode
protected void printNode(CTLNode node,
java.lang.Object o)
getStyledPrinter
public static CTLStyledPrinter getStyledPrinter()
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
visitAWNode
public java.lang.Object visitAWNode(CTLAWNode node,
java.lang.Object o)
- Specified by:
visitAWNode
in interface CTLVisitor
- Overrides:
visitAWNode
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
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