public class DateTimeParser extends java.lang.Object implements DateTimeParserConstants
| Modifier and Type | Class and Description |
|---|---|
private static class |
DateTimeParser.Date |
private static class |
DateTimeParser.Time |
| Modifier and Type | Field and Description |
|---|---|
private static boolean |
ignoreMilitaryZoneOffset |
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 |
private static int[] |
jj_la1_1 |
Token |
jj_nt
Next token.
|
private int |
jj_ntk |
Token |
token
Current token.
|
DateTimeParserTokenManager |
token_source
Generated Token Manager.
|
private boolean |
trace_enabled |
private int |
trace_indent |
ANY, COMMENT, DEFAULT, DIGITS, EOF, INCOMMENT, MILITARY_ZONE, NESTED_COMMENT, OFFSETDIR, QUOTEDPAIR, tokenImage, WS| Constructor and Description |
|---|
DateTimeParser(DateTimeParserTokenManager tm)
Constructor with generated Token Manager.
|
DateTimeParser(java.io.InputStream stream)
Constructor with InputStream.
|
DateTimeParser(java.io.InputStream stream,
java.lang.String encoding)
Constructor with InputStream and supplied encoding
|
DateTimeParser(java.io.Reader stream)
Constructor.
|
| Modifier and Type | Method and Description |
|---|---|
DateTime |
date_time() |
DateTimeParser.Date |
date() |
java.lang.String |
day_of_week() |
int |
day() |
void |
disable_tracing()
Disable tracing.
|
void |
enable_tracing()
Enable tracing.
|
ParseException |
generateParseException()
Generate ParseException.
|
private static int |
getMilitaryZoneOffset(char c) |
Token |
getNextToken()
Get the next Token.
|
Token |
getToken(int index)
Get the specific Token.
|
int |
hour() |
private Token |
jj_consume_token(int kind) |
private static void |
jj_la1_init_0() |
private static void |
jj_la1_init_1() |
private int |
jj_ntk_f() |
static void |
main(java.lang.String[] args) |
int |
minute() |
int |
month() |
int |
obs_zone() |
DateTime |
parseAll() |
private static int |
parseDigits(Token token) |
DateTime |
parseLine() |
void |
ReInit(DateTimeParserTokenManager tm)
Reinitialise.
|
void |
ReInit(java.io.InputStream stream)
Reinitialise.
|
void |
ReInit(java.io.InputStream stream,
java.lang.String encoding)
Reinitialise.
|
void |
ReInit(java.io.Reader stream)
Reinitialise.
|
int |
second() |
DateTimeParser.Time |
time() |
boolean |
trace_enabled()
Trace enabled.
|
java.lang.String |
year() |
int |
zone() |
private static final boolean ignoreMilitaryZoneOffset
public DateTimeParserTokenManager token_source
SimpleCharStream jj_input_stream
public Token token
public Token jj_nt
private int jj_ntk
private int jj_gen
private final int[] jj_la1
private static int[] jj_la1_0
private static int[] jj_la1_1
private java.util.List<int[]> jj_expentries
private int[] jj_expentry
private int jj_kind
private int trace_indent
private boolean trace_enabled
public DateTimeParser(java.io.InputStream stream)
public DateTimeParser(java.io.InputStream stream,
java.lang.String encoding)
public DateTimeParser(java.io.Reader stream)
public DateTimeParser(DateTimeParserTokenManager tm)
public static void main(java.lang.String[] args)
throws ParseException
ParseExceptionprivate static int parseDigits(Token token)
private static int getMilitaryZoneOffset(char c)
public final DateTime parseLine() throws ParseException
ParseExceptionpublic final DateTime parseAll() throws ParseException
ParseExceptionpublic final DateTime date_time() throws ParseException
ParseExceptionpublic final java.lang.String day_of_week()
throws ParseException
ParseExceptionpublic final DateTimeParser.Date date() throws ParseException
ParseExceptionpublic final int day()
throws ParseException
ParseExceptionpublic final int month()
throws ParseException
ParseExceptionpublic final java.lang.String year()
throws ParseException
ParseExceptionpublic final DateTimeParser.Time time() throws ParseException
ParseExceptionpublic final int hour()
throws ParseException
ParseExceptionpublic final int minute()
throws ParseException
ParseExceptionpublic final int second()
throws ParseException
ParseExceptionpublic final int zone()
throws ParseException
ParseExceptionpublic final int obs_zone()
throws ParseException
ParseExceptionprivate static void jj_la1_init_0()
private static void jj_la1_init_1()
public void ReInit(java.io.InputStream stream)
public void ReInit(java.io.InputStream stream,
java.lang.String encoding)
public void ReInit(java.io.Reader stream)
public void ReInit(DateTimeParserTokenManager tm)
private Token jj_consume_token(int kind) throws ParseException
ParseExceptionpublic final Token getNextToken()
public final Token getToken(int index)
private int jj_ntk_f()
public ParseException generateParseException()
public final boolean trace_enabled()
public final void enable_tracing()
public final void disable_tracing()