net.sf.tweety.arg.aspic.parser

Class AspicParser<T extends Invertable>

java.lang.Object

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

net.sf.tweety.arg.aspic.parser.AspicParser<T>

Type Parameters:

T - is the type of the language that the ASPIC theory's rules range over

public class AspicParser<T extends Invertable>
extends Parser<AspicArgumentationTheory<T>>

Author:

Nils Geilen Parses a Aspic Argumentation System out of an input text. Every line contains one of the following: ::= ( '<' )+ ::= '=>' '-'? ::= '->' '-'? ::= ( ':' )? ( ',' )* '=>' (-)? ::= ( ',' )* '->' (-)?

Field Summary

Fields

Modifier and Type	Field and Description
private Parser<? extends BeliefBase>	formulaparser Used to parse formulae
private RuleFormulaGenerator<T>	rfg
private java.lang.String	symbolComma
private java.lang.String	symbolDefeasible
private java.lang.String	symbolStrict

Constructor Summary

Constructors

Constructor and Description
AspicParser(Parser<? extends BeliefBase> formulaparser, RuleFormulaGenerator<T> rfg) Constructs a new instance

Method Summary

Modifier and Type	Method and Description
AspicArgumentationTheory<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.
SimpleAspicOrder<T>	parseSimpleOrder(java.lang.String line) Extracts and Constructs a SimpleAspicOrder out of a string
void	setSymbolComma(java.lang.String symbolComma) Sets a new symbol used for parsing parameter separators
void	setSymbolDefeasible(java.lang.String symbolDefeasible) Sets a new symbol used for parsing defeasible function arrows
void	setSymbolStrict(java.lang.String symbolStrict) Sets a new symbol used for parsing strict function arrows

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

rfg

private RuleFormulaGenerator<T extends Invertable> rfg

symbolStrict

private java.lang.String symbolStrict

symbolDefeasible

private java.lang.String symbolDefeasible

symbolComma

private java.lang.String symbolComma

Constructor Detail

AspicParser

public AspicParser(Parser<? extends BeliefBase> formulaparser,
                   RuleFormulaGenerator<T> rfg)

Constructs a new instance

Parameters:

formulaparser - parses the bodies and the heads of the ASPIC argumentation systems rules

rfg - a generator, that transforms InferenceRule into T

Method Detail

setSymbolStrict

public void setSymbolStrict(java.lang.String symbolStrict)

Sets a new symbol used for parsing strict function arrows

Parameters:

symbolStrict - is the new symbol

setSymbolDefeasible

public void setSymbolDefeasible(java.lang.String symbolDefeasible)

Sets a new symbol used for parsing defeasible function arrows

Parameters:

symbolStrict - is the new symbol

setSymbolComma

public void setSymbolComma(java.lang.String symbolComma)

Sets a new symbol used for parsing parameter separators

Parameters:

symbolStrict - is the new symbol

parseBeliefBase

public AspicArgumentationTheory<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<AspicArgumentationTheory<T extends Invertable>>

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<AspicArgumentationTheory<T extends Invertable>>

Parameters:

reader - a reader

Returns:

a formula

Throws:

java.io.IOException

ParserException

parseSimpleOrder

public SimpleAspicOrder<T> parseSimpleOrder(java.lang.String line)

Extracts and Constructs a SimpleAspicOrder out of a string

Parameters:

line - the source string

Returns:

the parsed order