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 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
private static java.util.List<int[]>	jj_expentries
private static int[]	jj_expentry
private static int	jj_gen
private static boolean	jj_initialized_once
(package private) static SimpleCharStream	jj_input_stream
private static int	jj_kind
private static int[]	jj_la1
private static int[]	jj_la1_0
static Token	jj_nt Next token.
private static int	jj_ntk
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(java.io.InputStream stream) Constructor with InputStream.
DungParser(java.io.InputStream stream, java.lang.String encoding) Constructor with InputStream and supplied encoding
DungParser(java.io.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.
private static Token	jj_consume_token(int kind)
private static void	jj_la1_init_0()
private static int	jj_ntk()
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.
void	ReInit(DungParserTokenManager tm) Reinitialise.
static void	ReInit(java.io.InputStream stream) Reinitialise.
static void	ReInit(java.io.InputStream stream, java.lang.String encoding) Reinitialise.
static void	ReInit(java.io.Reader stream) Reinitialise.
static Argument	SingleArgument()
static Attack	SingleAttack()
static 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

jj_initialized_once

private static boolean jj_initialized_once

token_source

public static DungParserTokenManager token_source

Generated Token Manager.

jj_input_stream

static SimpleCharStream jj_input_stream

token

public static Token token

Current token.

jj_nt

public static Token jj_nt

Next token.

jj_ntk

private static int jj_ntk

jj_gen

private static int jj_gen

jj_la1

private static final int[] jj_la1

jj_la1_0

private static int[] jj_la1_0

jj_expentries

private static java.util.List<int[]> jj_expentries

jj_expentry

private static int[] jj_expentry

jj_kind

private static int jj_kind

Constructor Detail

DungParser

public DungParser()

DungParser

public DungParser(java.io.InputStream stream)

Constructor with InputStream.

DungParser

public DungParser(java.io.InputStream stream,
                  java.lang.String encoding)

Constructor with InputStream and supplied encoding

DungParser

public DungParser(java.io.Reader stream)

Constructor.

DungParser

public DungParser(DungParserTokenManager tm)

Constructor with generated Token Manager.

Method Detail

parseBeliefBase

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

Description copied from class: Parser

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

Specified by:

parseBeliefBase in class Parser

Parameters:

reader - a reader

Returns:

a belief base

Throws:

ParserException

parseFormula

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

Description copied from class: Parser

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

Specified by:

parseFormula in class Parser

Parameters:

reader - a reader

Returns:

a formula

Throws:

ParserException

Theory

public static final DungTheory Theory()
                               throws ParseException

Throws:

ParseException

SingleFormula

public static final 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

jj_la1_init_0

private static void jj_la1_init_0()

ReInit

public static void ReInit(java.io.InputStream stream)

Reinitialise.

ReInit

public static void ReInit(java.io.InputStream stream,
                          java.lang.String encoding)

Reinitialise.

ReInit

public static void ReInit(java.io.Reader stream)

Reinitialise.

ReInit

public void ReInit(DungParserTokenManager tm)

Reinitialise.

jj_consume_token

private static Token jj_consume_token(int kind)
                               throws ParseException

Throws:

ParseException

getNextToken

public static final Token getNextToken()

Get the next Token.

getToken

public static final Token getToken(int index)

Get the specific Token.

jj_ntk

private static int jj_ntk()

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.