public class SLUnparser extends VisitorBase
Modifier and Type | Class and Description |
---|---|
static class |
SLUnparser.InvalidSLExpressionException |
Modifier and Type | Field and Description |
---|---|
(package private) String |
_invalidSLExpr |
(package private) String |
_nextChar |
(package private) PrintWriter |
_out |
(package private) boolean |
_trueSL |
(package private) static String |
NULL_CHAR |
(package private) static String |
WHITE_CHAR |
Constructor and Description |
---|
SLUnparser(OutputStream out) |
SLUnparser(Writer out) |
visitListOfContentExpression, visitListOfFormula, visitListOfParameter, visitListOfTerm, visitListOfVariable
PrintWriter _out
boolean _trueSL
String _invalidSLExpr
static final String WHITE_CHAR
static final String NULL_CHAR
String _nextChar
public SLUnparser(Writer out)
public SLUnparser(OutputStream out)
void _outputLiteralExp(Object exp)
void _outputNoTaggedExp(Node node)
public void flush()
public void unparse(Node node)
public void unparseTrueSL(Node node) throws SLUnparser.InvalidSLExpressionException
public void visitFactNode(FactNode node)
visitFactNode
in interface Visitor
visitFactNode
in class VisitorBase
public void visitContentNode(ContentNode node)
visitContentNode
in interface Visitor
visitContentNode
in class VisitorBase
public void visitActionContentExpressionNode(ActionContentExpressionNode node)
visitActionContentExpressionNode
in interface Visitor
visitActionContentExpressionNode
in class VisitorBase
public void visitFormulaContentExpressionNode(FormulaContentExpressionNode node)
visitFormulaContentExpressionNode
in interface Visitor
visitFormulaContentExpressionNode
in class VisitorBase
public void visitIdentifyingContentExpressionNode(IdentifyingContentExpressionNode node)
visitIdentifyingContentExpressionNode
in interface Visitor
visitIdentifyingContentExpressionNode
in class VisitorBase
public void visitActionExpressionNode(ActionExpressionNode node)
visitActionExpressionNode
in interface Visitor
visitActionExpressionNode
in class VisitorBase
public void visitAlternativeActionExpressionNode(AlternativeActionExpressionNode node)
visitAlternativeActionExpressionNode
in interface Visitor
visitAlternativeActionExpressionNode
in class VisitorBase
public void visitSequenceActionExpressionNode(SequenceActionExpressionNode node)
visitSequenceActionExpressionNode
in interface Visitor
visitSequenceActionExpressionNode
in class VisitorBase
public void visitMetaFormulaReferenceNode(MetaFormulaReferenceNode node)
visitMetaFormulaReferenceNode
in interface Visitor
visitMetaFormulaReferenceNode
in class VisitorBase
public void visitMetaTermReferenceNode(MetaTermReferenceNode node)
visitMetaTermReferenceNode
in interface Visitor
visitMetaTermReferenceNode
in class VisitorBase
public void visitMetaSymbolReferenceNode(MetaSymbolReferenceNode node)
visitMetaSymbolReferenceNode
in interface Visitor
visitMetaSymbolReferenceNode
in class VisitorBase
public void visitMetaVariableReferenceNode(MetaVariableReferenceNode node)
visitMetaVariableReferenceNode
in interface Visitor
visitMetaVariableReferenceNode
in class VisitorBase
public void visitMetaContentExpressionReferenceNode(MetaContentExpressionReferenceNode node)
visitMetaContentExpressionReferenceNode
in interface Visitor
visitMetaContentExpressionReferenceNode
in class VisitorBase
public void visitDoneNode(DoneNode node)
visitDoneNode
in interface Visitor
visitDoneNode
in class VisitorBase
public void visitFeasibleNode(FeasibleNode node)
visitFeasibleNode
in interface Visitor
visitFeasibleNode
in class VisitorBase
public void visitPropositionSymbolNode(PropositionSymbolNode node)
visitPropositionSymbolNode
in interface Visitor
visitPropositionSymbolNode
in class VisitorBase
public void visitResultNode(ResultNode node)
visitResultNode
in interface Visitor
visitResultNode
in class VisitorBase
public void visitPredicateNode(PredicateNode node)
visitPredicateNode
in interface Visitor
visitPredicateNode
in class VisitorBase
public void visitTrueNode(TrueNode node)
visitTrueNode
in interface Visitor
visitTrueNode
in class VisitorBase
public void visitFalseNode(FalseNode node)
visitFalseNode
in interface Visitor
visitFalseNode
in class VisitorBase
public void visitIntegerConstantNode(IntegerConstantNode node)
visitIntegerConstantNode
in interface Visitor
visitIntegerConstantNode
in class VisitorBase
public void visitRelativeTimeConstantNode(RelativeTimeConstantNode node)
visitRelativeTimeConstantNode
in interface Visitor
visitRelativeTimeConstantNode
in class VisitorBase
public void visitRealConstantNode(RealConstantNode node)
visitRealConstantNode
in interface Visitor
visitRealConstantNode
in class VisitorBase
public void visitWordConstantNode(WordConstantNode node)
visitWordConstantNode
in interface Visitor
visitWordConstantNode
in class VisitorBase
public void visitByteConstantNode(ByteConstantNode node)
visitByteConstantNode
in interface Visitor
visitByteConstantNode
in class VisitorBase
public void visitStringConstantNode(StringConstantNode node)
visitStringConstantNode
in interface Visitor
visitStringConstantNode
in class VisitorBase
public void visitDateTimeConstantNode(DateTimeConstantNode node)
visitDateTimeConstantNode
in interface Visitor
visitDateTimeConstantNode
in class VisitorBase
public void visitTermSetNode(TermSetNode node)
visitTermSetNode
in interface Visitor
visitTermSetNode
in class VisitorBase
public void visitTermSequenceNode(TermSequenceNode node)
visitTermSequenceNode
in interface Visitor
visitTermSequenceNode
in class VisitorBase
public void visitFunctionalTermNode(FunctionalTermNode node)
visitFunctionalTermNode
in interface Visitor
visitFunctionalTermNode
in class VisitorBase
public void visitFunctionalTermParamNode(FunctionalTermParamNode node)
visitFunctionalTermParamNode
in interface Visitor
visitFunctionalTermParamNode
in class VisitorBase
public void visitParameterNode(ParameterNode node)
visitParameterNode
in interface Visitor
visitParameterNode
in class VisitorBase
public void visitSymbolNode(SymbolNode node)
visitSymbolNode
in interface Visitor
visitSymbolNode
in class VisitorBase
public void visitVariableNode(VariableNode node)
visitVariableNode
in interface Visitor
visitVariableNode
in class VisitorBase
public void visitNotNode(NotNode node)
visitNotNode
in interface Visitor
visitNotNode
in class VisitorBase
public void visitAndNode(AndNode node)
visitAndNode
in interface Visitor
visitAndNode
in class VisitorBase
public void visitOrNode(OrNode node)
visitOrNode
in interface Visitor
visitOrNode
in class VisitorBase
public void visitImpliesNode(ImpliesNode node)
visitImpliesNode
in interface Visitor
visitImpliesNode
in class VisitorBase
public void visitEquivNode(EquivNode node)
visitEquivNode
in interface Visitor
visitEquivNode
in class VisitorBase
public void visitAnyNode(AnyNode node)
visitAnyNode
in interface Visitor
visitAnyNode
in class VisitorBase
public void visitIotaNode(IotaNode node)
visitIotaNode
in interface Visitor
visitIotaNode
in class VisitorBase
public void visitAllNode(AllNode node)
visitAllNode
in interface Visitor
visitAllNode
in class VisitorBase
public void visitSomeNode(SomeNode node)
visitSomeNode
in interface Visitor
visitSomeNode
in class VisitorBase
public void visitEqualsNode(EqualsNode node)
visitEqualsNode
in interface Visitor
visitEqualsNode
in class VisitorBase
public void visitForallNode(ForallNode node)
visitForallNode
in interface Visitor
visitForallNode
in class VisitorBase
public void visitExistsNode(ExistsNode node)
visitExistsNode
in interface Visitor
visitExistsNode
in class VisitorBase
public void visitCountAsNode(CountAsNode node)
visitCountAsNode
in interface Visitor
visitCountAsNode
in class VisitorBase
public void visitInstitutionalFactNode(InstitutionalFactNode node)
visitInstitutionalFactNode
in interface Visitor
visitInstitutionalFactNode
in class VisitorBase
public void visitObligationNode(ObligationNode node)
visitObligationNode
in interface Visitor
visitObligationNode
in class VisitorBase
public void visitBelieveNode(BelieveNode node)
visitBelieveNode
in interface Visitor
visitBelieveNode
in class VisitorBase
public void visitUncertaintyNode(UncertaintyNode node)
visitUncertaintyNode
in interface Visitor
visitUncertaintyNode
in class VisitorBase
public void visitIntentionNode(IntentionNode node)
visitIntentionNode
in interface Visitor
visitIntentionNode
in class VisitorBase
public void visitPersistentGoalNode(PersistentGoalNode node)
visitPersistentGoalNode
in interface Visitor
visitPersistentGoalNode
in class VisitorBase