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.Object
Represents 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.String
name
-
Constructor Summary
Constructors Constructor Description Node(java.lang.String name)
-
Method Summary
Modifier and Type Method Description (package private) abstract void
addNode(KPPADFFormatParser.Node node)
java.lang.String
getName()
(package private) Argument
parseArgument()
(package private) AcceptanceCondition
parseFormula()
(package private) AcceptanceCondition
parseSpecialFormula()
(package private) void
parseStatement()
java.lang.String
toString()
-
-
-
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:
toString
in classjava.lang.Object
-
-