net.sf.tweety.preferences.io

Class POParser

java.lang.Object

net.sf.tweety.preferences.io.POParser

All Implemented Interfaces:

POParserConstants

public class POParser
extends java.lang.Object
implements POParserConstants

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.List<int[]>	jj_expentries
private int[]	jj_expentry
private int	jj_gen
(package private) SimpleCharStream	jj_input_stream
private int	jj_kind
private int[]	jj_la1
private static int[]	jj_la1_0
Token	jj_nt Next token.
private int	jj_ntk
Token	token Current token.
POParserTokenManager	token_source Generated Token Manager.

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

DEFAULT, ELEMENT, EOF, EOL, LBRA, RBRA, REL, tokenImage

Constructor Summary

Constructors

Constructor and Description
POParser()
POParser(java.io.InputStream stream) Constructor with InputStream.
POParser(java.io.InputStream stream, java.lang.String encoding) Constructor with InputStream and supplied encoding
POParser(POParserTokenManager tm) Constructor with generated Token Manager.
POParser(java.io.Reader stream) Constructor.

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.
private Token	jj_consume_token(int kind)
private static void	jj_la1_init_0()
private int	jj_ntk()
static void	main(java.lang.String[] args)
static PreferenceOrder<java.lang.String>	parse(java.io.File file)
static PreferenceOrder<java.lang.String>	parse(java.lang.String filename)
void	ReInit(java.io.InputStream stream) Reinitialise.
void	ReInit(java.io.InputStream stream, java.lang.String encoding) Reinitialise.
void	ReInit(POParserTokenManager tm) Reinitialise.
void	ReInit(java.io.Reader stream) Reinitialise.
PreferenceOrder<java.lang.String>	StringPreferenceOrder()

Methods inherited from class java.lang.Object

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

Field Detail

token_source

public POParserTokenManager token_source

Generated Token Manager.

jj_input_stream

SimpleCharStream jj_input_stream

token

public Token token

Current token.

jj_nt

public Token jj_nt

Next token.

jj_ntk

private int jj_ntk

jj_gen

private int jj_gen

jj_la1

private final int[] jj_la1

jj_la1_0

private static int[] jj_la1_0

jj_expentries

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

jj_expentry

private int[] jj_expentry

jj_kind

private int jj_kind

Constructor Detail

POParser

public POParser()

POParser

public POParser(java.io.InputStream stream)

Constructor with InputStream.

POParser

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

Constructor with InputStream and supplied encoding

POParser

public POParser(java.io.Reader stream)

Constructor.

POParser

public POParser(POParserTokenManager tm)

Constructor with generated Token Manager.

Method Detail

parse

public static PreferenceOrder<java.lang.String> parse(java.io.File file)
                                               throws ParseException,
                                                      java.io.FileNotFoundException

Throws:

ParseException

java.io.FileNotFoundException

parse

public static PreferenceOrder<java.lang.String> parse(java.lang.String filename)
                                               throws ParseException,
                                                      java.io.FileNotFoundException

Throws:

ParseException

java.io.FileNotFoundException

main

public static void main(java.lang.String[] args)

StringPreferenceOrder

public final PreferenceOrder<java.lang.String> StringPreferenceOrder()
                                                              throws ParseException

Throws:

ParseException

jj_la1_init_0

private static void jj_la1_init_0()

ReInit

public void ReInit(java.io.InputStream stream)

Reinitialise.

ReInit

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

Reinitialise.

ReInit

public void ReInit(java.io.Reader stream)

Reinitialise.

ReInit

public void ReInit(POParserTokenManager tm)

Reinitialise.

jj_consume_token

private Token jj_consume_token(int kind)
                        throws ParseException

Throws:

ParseException

getNextToken

public final Token getNextToken()

Get the next Token.

getToken

public final Token getToken(int index)

Get the specific Token.

jj_ntk

private int jj_ntk()

generateParseException

public ParseException generateParseException()

Generate ParseException.

enable_tracing

public final void enable_tracing()

Enable tracing.

disable_tracing

public final void disable_tracing()

Disable tracing.