public class AnimTimeParser extends Object implements AnimTimeParserTreeConstants, AnimTimeParserConstants
| Modifier and Type | Field and Description |
|---|---|
Token |
jj_nt
Next token.
|
protected JJTAnimTimeParserState |
jjtree |
Token |
token
Current token.
|
AnimTimeParserTokenManager |
token_source
Generated Token Manager.
|
JJTEVENTTIME, JJTEXPR, JJTINDEFINITETIME, JJTINTEGER, JJTLITERALTIME, JJTLOOKUPTIME, jjtNodeName, JJTNUMBER, JJTPARAMLIST, JJTSUM, JJTTERMDEFAULT, DIGIT, EOF, FLOAT, IDENTIFIER, INDEFINITE, INTEGER, LETTER, MOUSE_OVER, tokenImage, UNITS, WHEN_NOT_ACTIVE| Constructor and Description |
|---|
AnimTimeParser(AnimTimeParserTokenManager tm)
Constructor with generated Token Manager.
|
AnimTimeParser(InputStream stream)
Constructor with InputStream.
|
AnimTimeParser(InputStream stream,
Charset encoding)
Constructor with InputStream and supplied encoding
|
AnimTimeParser(Reader stream)
Constructor with InputStream.
|
| Modifier and Type | Method and Description |
|---|---|
void |
disable_tracing()
Disable tracing.
|
void |
enable_tracing()
Enable tracing.
|
TimeDiscrete |
EventTime() |
TimeBase |
Expr()
Expression structure
|
ParseException |
generateParseException()
Generate ParseException.
|
Token |
getNextToken() |
Token |
getToken(int index) |
TimeIndefinite |
IndefiniteTime() |
int |
Integer() |
TimeDiscrete |
LiteralTime() |
TimeLookup |
LookupTime() |
static void |
main(String[] args)
Test the parser
|
double |
Number() |
double |
ParamList() |
void |
ReInit(AnimTimeParserTokenManager tm)
Reinitialise
|
void |
ReInit(InputStream stream)
Reinitialise
|
void |
ReInit(InputStream stream,
Charset encoding)
Reinitialise
|
void |
ReInit(Reader stream)
Reinitialise
|
TimeBase |
Sum() |
TimeBase |
Term() |
boolean |
trace_enabled() |
protected JJTAnimTimeParserState jjtree
public AnimTimeParserTokenManager token_source
public Token token
public Token jj_nt
public AnimTimeParser(InputStream stream)
stream - input streampublic AnimTimeParser(InputStream stream, Charset encoding)
stream - input streamencoding - charset to be usedpublic AnimTimeParser(Reader stream)
stream - char streampublic AnimTimeParser(AnimTimeParserTokenManager tm)
tm - Token manager to usepublic static void main(String[] args) throws ParseException
ParseExceptionpublic final TimeBase Expr() throws ParseException
ParseExceptionpublic final TimeBase Sum() throws ParseException
ParseExceptionpublic final TimeBase Term() throws ParseException
ParseExceptionpublic final TimeIndefinite IndefiniteTime() throws ParseException
ParseExceptionpublic final TimeDiscrete EventTime() throws ParseException
ParseExceptionpublic final TimeDiscrete LiteralTime() throws ParseException
ParseExceptionpublic final TimeLookup LookupTime() throws ParseException
ParseExceptionpublic final double ParamList()
throws ParseException
ParseExceptionpublic final double Number()
throws ParseException
ParseExceptionpublic final int Integer()
throws ParseException
ParseExceptionpublic void ReInit(InputStream stream)
stream - input streampublic void ReInit(InputStream stream, Charset encoding)
stream - input streamencoding - charset to be usedpublic void ReInit(Reader stream)
stream - char streampublic void ReInit(AnimTimeParserTokenManager tm)
tm - Token manager to usepublic final Token getNextToken()
public final Token getToken(int index)
index - index to be retrievedpublic ParseException generateParseException()
nullpublic final boolean trace_enabled()
false.public final void enable_tracing()
public final void disable_tracing()
Copyright © 2020. All rights reserved.