Package org.tweetyproject.preferences.io
Class POParser
java.lang.Object
org.tweetyproject.preferences.io.POParser
- All Implemented Interfaces:
POParserConstants
-
Field Summary
Fields inherited from interface org.tweetyproject.preferences.io.POParserConstants
DEFAULT, ELEMENT, EOF, EOL, LBRA, RBRA, REL, tokenImage
-
Constructor Summary
ConstructorDescriptionPOParser()
POParser(InputStream stream)
POParser(InputStream stream, String encoding)
-
Method Summary
Modifier and TypeMethodDescriptionvoid
void
getToken(int index)
static void
static PreferenceOrder<String>
static PreferenceOrder<String>
void
ReInit(InputStream stream)
void
ReInit(InputStream stream, String encoding)
void
void
-
Field Details
-
token_source
-
token
-
jj_nt
-
-
Constructor Details
-
POParser
public POParser() -
POParser
-
POParser
-
POParser
-
POParser
-
-
Method Details
-
parse
public static PreferenceOrder<String> parse(File file) throws ParseException, FileNotFoundException- Throws:
ParseException
FileNotFoundException
-
parse
public static PreferenceOrder<String> parse(String filename) throws ParseException, FileNotFoundException- Throws:
ParseException
FileNotFoundException
-
main
-
StringPreferenceOrder
- Throws:
ParseException
-
ReInit
-
ReInit
-
ReInit
-
ReInit
-
getNextToken
-
getToken
-
generateParseException
-
enable_tracing
public final void enable_tracing() -
disable_tracing
public final void disable_tracing()
-