Package 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	Description
Token	jj_nt
Token	token
POParserTokenManager	token_source

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

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

Constructor Summary

Constructors

Constructor	Description
POParser()
POParser(java.io.InputStream stream)
POParser(java.io.InputStream stream, java.lang.String encoding)
POParser(java.io.Reader stream)
POParser(POParserTokenManager tm)

Method Summary

Modifier and Type	Method	Description
void	disable_tracing()
void	enable_tracing()
ParseException	generateParseException()
Token	getNextToken()
Token	getToken(int index)
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)
void	ReInit(java.io.InputStream stream, java.lang.String encoding)
void	ReInit(java.io.Reader stream)
void	ReInit(POParserTokenManager tm)
PreferenceOrder<java.lang.String>	StringPreferenceOrder()

Methods inherited from class java.lang.Object

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

Field Detail

token_source

public POParserTokenManager token_source

token

public Token token

jj_nt

public Token jj_nt

Constructor Detail

POParser

public POParser()

POParser

public POParser(java.io.InputStream stream)

POParser

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

POParser

public POParser(java.io.Reader stream)

POParser

public POParser(POParserTokenManager tm)

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

ReInit

public void ReInit(java.io.InputStream stream)

ReInit

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

ReInit

public void ReInit(java.io.Reader stream)

ReInit

public void ReInit(POParserTokenManager tm)

getNextToken

public final Token getNextToken()

getToken

public final Token getToken(int index)

generateParseException

public ParseException generateParseException()

enable_tracing

public final void enable_tracing()

disable_tracing

public final void disable_tracing()