net.sf.tweety.arg.dung.parser

Class ApxParser

java.lang.Object

net.sf.tweety.commons.Parser<DungTheory>

net.sf.tweety.arg.dung.parser.ApxParser

public class ApxParser
extends Parser<DungTheory>

Parses abstract argumentation frameworks in the logic programming format which is given by the following BNF (start symbol is S):

S ::== "" | "arg" "(" ARGUMENT ")" "\n" S | "att" "(" ARGUMENT "," ARGUMENT ")" "\n" S
where "ARGUMENT" represents any string (without blanks) as a terminal symbol.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor and Description
ApxParser()

Method Summary

Modifier and Type	Method and Description
DungTheory	parseBeliefBase(java.io.Reader reader) Parses the given reader into a belief base of the given type.
Formula	parseFormula(java.io.Reader reader) Parses the given reader into a formula of the given type.

Methods inherited from class net.sf.tweety.commons.Parser

isNumeric, parseBeliefBase, parseBeliefBaseFromFile, parseFormula, parseFormulaFromFile

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ApxParser

public ApxParser()

Method Detail

parseBeliefBase

public DungTheory parseBeliefBase(java.io.Reader reader)
                           throws java.io.IOException,
                                  ParserException

Description copied from class: Parser

Parses the given reader into a belief base of the given type.

Specified by:

parseBeliefBase in class Parser<DungTheory>

Parameters:

reader - a reader

Returns:

a belief base

Throws:

java.io.IOException

ParserException

parseFormula

public Formula parseFormula(java.io.Reader reader)
                     throws java.io.IOException,
                            ParserException

Description copied from class: Parser

Parses the given reader into a formula of the given type.

Specified by:

parseFormula in class Parser<DungTheory>

Parameters:

reader - a reader

Returns:

a formula

Throws:

java.io.IOException

ParserException