Package net.sf.tweety.arg.adf.parser
Class KPPADFFormatParser.Node
- java.lang.Object
-
- net.sf.tweety.arg.adf.parser.KPPADFFormatParser.Node
-
- Direct Known Subclasses:
KPPADFFormatParser.BinaryNode,KPPADFFormatParser.IdentifierNode,KPPADFFormatParser.UnaryNode
- Enclosing class:
- KPPADFFormatParser
private abstract class KPPADFFormatParser.Node extends java.lang.ObjectRepresents a node of the parse-tree. Provides all necessary methods and throws ParserExceptions if they are called on wrong nodes. This basically outsources error-handling to the nodes and keeps the parser logic clean.
-
-
Field Summary
Fields Modifier and Type Field Description private java.lang.Stringname
-
Constructor Summary
Constructors Constructor Description Node(java.lang.String name)
-
Method Summary
Modifier and Type Method Description (package private) abstract voidaddNode(KPPADFFormatParser.Node node)java.lang.StringgetName()(package private) ArgumentparseArgument()(package private) AcceptanceConditionparseFormula()(package private) AcceptanceConditionparseSpecialFormula()(package private) voidparseStatement()java.lang.StringtoString()
-
-
-
Method Detail
-
addNode
abstract void addNode(KPPADFFormatParser.Node node) throws ParserException
- Throws:
ParserException
-
parseStatement
void parseStatement() throws ParserException- Throws:
ParserException
-
parseFormula
AcceptanceCondition parseFormula() throws ParserException
- Throws:
ParserException
-
parseSpecialFormula
AcceptanceCondition parseSpecialFormula() throws ParserException
- Throws:
ParserException
-
parseArgument
Argument parseArgument() throws ParserException
- Throws:
ParserException
-
getName
public java.lang.String getName()
-
toString
public java.lang.String toString()
- Overrides:
toStringin classjava.lang.Object
-
-