net.sf.tweety.preferences.io

Class UPParser

java.lang.Object

net.sf.tweety.preferences.io.UPParser

All Implemented Interfaces:

UPParserConstants

public class UPParser
extends Object
implements UPParserConstants

Update Parser for reading updates for dynamic Preference Aggregation Please note: update file syntax changed from (index, operation, amount, element) e.g. (1, WEAKEN, 2, a) to (index, operation(amount), element) e.g. (1, -2, a) where -(/+) is equal to WEAKEN(/STRENGTHEN) and 2 is the amount

Field Summary

Fields

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

Fields inherited from interface net.sf.tweety.preferences.io.UPParserConstants

DEFAULT, ELEMENT, EOF, EOL, INDEX, LBRA, OPERATION, RBRA, tokenImage

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
void	disable_tracing() Disable tracing.
void	enable_tracing() Enable tracing.
ParseException	generateParseException() Generate ParseException.
Token	getNextToken() Get the next Token.
Token	getToken(int index) Get the specific Token.
ArrayList<Update<String>>	getUpdate()
static void	main(String[] args)
static ArrayList<Update<String>>	parse(String updatefile)
void	ReInit(InputStream stream) Reinitialise.
void	ReInit(InputStream stream, String encoding) Reinitialise.
void	ReInit(Reader stream) Reinitialise.
void	ReInit(UPParserTokenManager tm) Reinitialise.

Methods inherited from class java.lang.Object

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

Field Detail

token_source

public UPParserTokenManager token_source

Generated Token Manager.

token

public Token token

Current token.

jj_nt

public Token jj_nt

Next token.

Constructor Detail

UPParser

public UPParser()

UPParser

public UPParser(InputStream stream)

Constructor with InputStream.

UPParser

public UPParser(InputStream stream,
                String encoding)

Constructor with InputStream and supplied encoding

UPParser

public UPParser(Reader stream)

Constructor.

UPParser

public UPParser(UPParserTokenManager tm)

Constructor with generated Token Manager.

Method Detail

parse

public static ArrayList<Update<String>> parse(String updatefile)
                                       throws ParseException,
                                              FileNotFoundException

Throws:

ParseException

FileNotFoundException

main

public static void main(String[] args)
                 throws ParseException

Throws:

ParseException

getUpdate

public final ArrayList<Update<String>> getUpdate()
                                          throws ParseException,
                                                 FileNotFoundException

Throws:

ParseException

FileNotFoundException

ReInit

public void ReInit(InputStream stream)

Reinitialise.

ReInit

public void ReInit(InputStream stream,
                   String encoding)

Reinitialise.

ReInit

public void ReInit(Reader stream)

Reinitialise.

ReInit

public void ReInit(UPParserTokenManager tm)

Reinitialise.

getNextToken

public final Token getNextToken()

Get the next Token.

getToken

public final Token getToken(int index)

Get the specific Token.

generateParseException

public ParseException generateParseException()

Generate ParseException.

enable_tracing

public final void enable_tracing()

Enable tracing.

disable_tracing

public final void disable_tracing()

Disable tracing.