net.sf.tweety.arg.aba.parser

Class ABAParser<T extends Formula>

java.lang.Object

net.sf.tweety.commons.Parser<ABATheory<T>>

net.sf.tweety.arg.aba.parser.ABAParser<T>

Type Parameters:

T - is the type of the language that the ABA theory ranges over

public class ABAParser<T extends Formula>
extends Parser<ABATheory<T>>

Author:

Nils Geilen Parses a Assumption Based Argumentation System out of an input text. With standard symbols, every line contains one of the following: ::= '<-' ? ::= ::= 'true' | (',' )* ::= ::= '{' (',' )* '}' with in the theory's language.

Field Summary

Fields

Modifier and Type	Field and Description
private Parser<? extends BeliefBase>	formulaparser Used to parse formulae
private java.lang.String	symbolArrow Symbols used for parsing rules
private java.lang.String	symbolComma Symbols used for parsing rules
private java.lang.String	symbolTrue Symbols used for parsing rules

Constructor Summary

Constructors

Constructor and Description
ABAParser(Parser<? extends BeliefBase> formulaparser) Create a new ABA parser

Method Summary

Modifier and Type	Method and Description
java.lang.String	getSymbolArrow()
java.lang.String	getSymbolComma()
java.lang.String	getSymbolTrue()
ABATheory<T>	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.
void	setSymbolArrow(java.lang.String symbolArrow)
void	setSymbolComma(java.lang.String symbolComma)
void	setSymbolTrue(java.lang.String symbolTrue)

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

Field Detail

formulaparser

private final Parser<? extends BeliefBase> formulaparser

Used to parse formulae

symbolTrue

private java.lang.String symbolTrue

Symbols used for parsing rules

symbolArrow

private java.lang.String symbolArrow

Symbols used for parsing rules

symbolComma

private java.lang.String symbolComma

Symbols used for parsing rules

Constructor Detail

ABAParser

public ABAParser(Parser<? extends BeliefBase> formulaparser)

Create a new ABA parser

Parameters:

formulaparser - parses formulae of the language

Method Detail

parseBeliefBase

public ABATheory<T> 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<ABATheory<T extends Formula>>

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<ABATheory<T extends Formula>>

Parameters:

reader - a reader

Returns:

a formula

Throws:

java.io.IOException

ParserException

getSymbolTrue

public java.lang.String getSymbolTrue()

Returns:

the symbolTrue

setSymbolTrue

public void setSymbolTrue(java.lang.String symbolTrue)

Parameters:

symbolTrue - the symbolTrue to set

getSymbolArrow

public java.lang.String getSymbolArrow()

Returns:

the symbolArrow

setSymbolArrow

public void setSymbolArrow(java.lang.String symbolArrow)

Parameters:

symbolArrow - the symbolArrow to set

getSymbolComma

public java.lang.String getSymbolComma()

Returns:

the symbolComma

setSymbolComma

public void setSymbolComma(java.lang.String symbolComma)

Parameters:

symbolComma - the symbolComma to set