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()`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail
- name
```
private java.lang.String name
```

Constructor Detail
- Node
```
public Node(java.lang.String name)
```

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 class java.lang.Object