Package net.sf.tweety.arg.adf.parser
Class KPPADFFormatParser.IdentifierNode
- java.lang.Object
-
- net.sf.tweety.arg.adf.parser.KPPADFFormatParser.Node
-
- net.sf.tweety.arg.adf.parser.KPPADFFormatParser.IdentifierNode
-
- Enclosing class:
- KPPADFFormatParser
private class KPPADFFormatParser.IdentifierNode extends KPPADFFormatParser.Node
-
-
Field Summary
Fields Modifier and Type Field Description private java.util.Map<java.lang.String,Argument>
statements
-
Constructor Summary
Constructors Constructor Description IdentifierNode(java.lang.String name, java.util.Map<java.lang.String,Argument> statements)
-
Method Summary
Modifier and Type Method Description void
addNode(KPPADFFormatParser.Node node)
Argument
parseArgument()
(package private) AcceptanceCondition
parseFormula()
(package private) AcceptanceCondition
parseSpecialFormula()
-
Methods inherited from class net.sf.tweety.arg.adf.parser.KPPADFFormatParser.Node
getName, parseStatement, toString
-
-
-
-
Field Detail
-
statements
private java.util.Map<java.lang.String,Argument> statements
-
-
Constructor Detail
-
IdentifierNode
public IdentifierNode(java.lang.String name, java.util.Map<java.lang.String,Argument> statements)
-
-
Method Detail
-
addNode
public void addNode(KPPADFFormatParser.Node node) throws ParserException
- Specified by:
addNode
in classKPPADFFormatParser.Node
- Throws:
ParserException
-
parseArgument
public Argument parseArgument() throws ParserException
- Overrides:
parseArgument
in classKPPADFFormatParser.Node
- Throws:
ParserException
-
parseFormula
AcceptanceCondition parseFormula() throws ParserException
- Overrides:
parseFormula
in classKPPADFFormatParser.Node
- Throws:
ParserException
-
parseSpecialFormula
AcceptanceCondition parseSpecialFormula() throws ParserException
- Overrides:
parseSpecialFormula
in classKPPADFFormatParser.Node
- Throws:
ParserException
-
-