net.sf.tweety.arg.dung.parser

Class DungParser

java.lang.Object

net.sf.tweety.commons.Parser

net.sf.tweety.arg.dung.parser.DungParser

All Implemented Interfaces:

DungParserConstants

public class DungParser
extends net.sf.tweety.commons.Parser
implements DungParserConstants

This class implements a parser for dung argumentation theories. The BNF for dung abstract argumentation theory files is given by (start symbol is THEORY)

THEORY ::== (EXPRESSION)*
EXPRESSION ::== ARGUMENT | ATTACK
ARGUMENT ::== "argument(" + ARGUMENT_NAME + ")."
ATTACK ::== "attack(" + ARGUMENT_NAME + "," + ARGUMENT_NAME + ")."

ARGUMENT_NAME is a sequence of symbols from {a,...,z,A,...,Z,0,...,9,_,-,(,),[,],{,},~,<,>,.} with a letter at the beginning.

Field Summary

Fields

Modifier and Type	Field and Description
static Token	jj_nt Next token.
static Token	token Current token.
static DungParserTokenManager	token_source Generated Token Manager.

Fields inherited from interface net.sf.tweety.arg.dung.parser.DungParserConstants

ARGUMENT_NAME, DEFAULT, EOF, tokenImage

Constructor Summary

Constructors

Constructor and Description
DungParser()
DungParser(DungParserTokenManager tm) Constructor with generated Token Manager.
DungParser(InputStream stream) Constructor with InputStream.
DungParser(InputStream stream, String encoding) Constructor with InputStream and supplied encoding
DungParser(Reader stream) Constructor.

Method Summary

Modifier and Type	Method and Description
static void	Argument(DungTheory dungTheory)
static void	Attack(DungTheory dungTheory)
static void	disable_tracing() Disable tracing.
static void	enable_tracing() Enable tracing.
static void	Expression(DungTheory dungTheory)
static ParseException	generateParseException() Generate ParseException.
static Token	getNextToken() Get the next Token.
static Token	getToken(int index) Get the specific Token.
DungTheory	parseBeliefBase(Reader reader)
net.sf.tweety.commons.Formula	parseFormula(Reader reader)
void	ReInit(DungParserTokenManager tm) Reinitialise.
static void	ReInit(InputStream stream) Reinitialise.
static void	ReInit(InputStream stream, String encoding) Reinitialise.
static void	ReInit(Reader stream) Reinitialise.
static Argument	SingleArgument()
static Attack	SingleAttack()
static net.sf.tweety.commons.Formula	SingleFormula()
static DungTheory	Theory()

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

token_source

public static DungParserTokenManager token_source

Generated Token Manager.

token

public static Token token

Current token.

jj_nt

public static Token jj_nt

Next token.

Constructor Detail

DungParser

public DungParser()

DungParser

public DungParser(InputStream stream)

Constructor with InputStream.

DungParser

public DungParser(InputStream stream,
                  String encoding)

Constructor with InputStream and supplied encoding

DungParser

public DungParser(Reader stream)

Constructor.

DungParser

public DungParser(DungParserTokenManager tm)

Constructor with generated Token Manager.

Method Detail

parseBeliefBase

public DungTheory parseBeliefBase(Reader reader)
                           throws net.sf.tweety.commons.ParserException

Specified by:

parseBeliefBase in class net.sf.tweety.commons.Parser

Throws:

net.sf.tweety.commons.ParserException

parseFormula

public net.sf.tweety.commons.Formula parseFormula(Reader reader)
                                           throws net.sf.tweety.commons.ParserException

Specified by:

parseFormula in class net.sf.tweety.commons.Parser

Throws:

net.sf.tweety.commons.ParserException

Theory

public static final DungTheory Theory()
                               throws ParseException

Throws:

ParseException

SingleFormula

public static final net.sf.tweety.commons.Formula SingleFormula()
                                                         throws ParseException

Throws:

ParseException

Expression

public static final void Expression(DungTheory dungTheory)
                             throws ParseException

Throws:

ParseException

Argument

public static final void Argument(DungTheory dungTheory)
                           throws ParseException

Throws:

ParseException

SingleArgument

public static final Argument SingleArgument()
                                     throws ParseException

Throws:

ParseException

SingleAttack

public static final Attack SingleAttack()
                                 throws ParseException

Throws:

ParseException

Attack

public static final void Attack(DungTheory dungTheory)
                         throws ParseException

Throws:

ParseException

ReInit

public static void ReInit(InputStream stream)

Reinitialise.

ReInit

public static void ReInit(InputStream stream,
                          String encoding)

Reinitialise.

ReInit

public static void ReInit(Reader stream)

Reinitialise.

ReInit

public void ReInit(DungParserTokenManager tm)

Reinitialise.

getNextToken

public static final Token getNextToken()

Get the next Token.

getToken

public static final Token getToken(int index)

Get the specific Token.

generateParseException

public static ParseException generateParseException()

Generate ParseException.

enable_tracing

public static final void enable_tracing()

Enable tracing.

disable_tracing

public static final void disable_tracing()

Disable tracing.