Package org.tweetyproject.arg.dung.parser

Class TgfParser

java.lang.Object

org.tweetyproject.commons.Parser<DungTheory,Formula>

org.tweetyproject.arg.dung.parser.AbstractDungParser

org.tweetyproject.arg.dung.parser.TgfParser

public class TgfParser
extends AbstractDungParser

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

S ::== ARGUMENTS "#" "\n" ATTACKS
ARGUMENTS ::== "" | ARGUMENT "\n" ARGUMENTS
ATTACKS ::== "" | ATTACK "\n" ATTACKS
ATTACK ::== ARGUMENT ARGUMENT
where "ARGUMENT" represents any string (without blanks) as a terminal symbol.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
TgfParser()

Method Summary

Modifier and Type	Method	Description
DungTheory	parse(Reader reader)	Parses the given file into an abstract argumentation framework

Methods inherited from class org.tweetyproject.arg.dung.parser.AbstractDungParser

getParser, parseArgumentList, parseBeliefBase, parseBoolean, parseExtensionList, parseFormula, parseJavaStringRepresentation, parseLabeling, parseLabelingList

Methods inherited from class org.tweetyproject.commons.Parser

isNumeric, parseBeliefBase, parseBeliefBaseFromFile, parseFormula, parseFormulaFromFile, parseListOfBeliefBases, parseListOfBeliefBases, parseListOfBeliefBasesFromFile, parseListOfBeliefBasesFromFile

Methods inherited from class java.lang.Object

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

Constructor Details

TgfParser

public TgfParser()

Method Details

parse

public DungTheory parse(Reader reader)
                 throws IOException

Description copied from class: AbstractDungParser

Parses the given file into an abstract argumentation framework

Specified by:

parse in class AbstractDungParser

Parameters:

reader - some reader

Returns:

an abstract argumentation framework

Throws:

IOException - for all errors concerning file reading.