|
Protégé-OWL 3.4.1 | ||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.stanford.smi.protegex.owl.swrl.bridge.builtins.temporal.DatetimeStringProcessor
public abstract class DatetimeStringProcessor
A class supporting processing of datetime strings. This class will be specialized by subclasses to deal with different datetimes formats, e.g., XSD and JDBC datetimes.
Field Summary | |
---|---|
protected SimpleDateFormat |
dateFormat
|
protected String[] |
datetimeRoundDownPadding
|
protected String[] |
datetimeRoundUpPadding
|
protected String |
delimiters
|
protected int[] |
gTokenIndex
|
Constructor Summary | |
---|---|
DatetimeStringProcessor(SimpleDateFormat dateFormat,
String delimiters,
int[] gTokenIndex,
String[] datetimeRoundDownPadding,
String[] datetimeRoundUpPadding)
|
Method Summary | |
---|---|
void |
checkDatetimeString(String datetimeString)
|
protected abstract String |
constructDatetimeString(long milliseconds)
|
String |
expressDatetimeStringAtGranularity(String datetimeString,
int granularity)
|
String |
expressDatetimeStringAtGranularity(String datetimeString,
int granularity,
boolean roundUp)
Take a full-specification datetime string (which will have the granularity of milliseconds), discard any information that is finer than the supplied granularity, and return a full-specification datetime string, e.g., Converting the JDBC datetime '1988-02-03 10:10:11.433' to a granularity of MONTHS will produce '1988-02-01 00:00:00.000'. |
long |
getDays(String datetimeString)
|
long |
getHours(String datetimeString)
|
long |
getMilliseconds(String datetimeString)
|
long |
getMinutes(String datetimeString)
|
long |
getMonths(String datetimeString)
|
long |
getSeconds(String datetimeString)
|
long |
getYears(String datetimeString)
|
String |
granuleCount2DatetimeString(long granuleCount,
int granularity)
Take a granule count (from the beginning of calendar time, i.e., January 1st 1 C.E) at any granularity and convert it to a datetime string. |
String |
normalizeDatetimeString(String datetime,
int granularity)
|
String |
normalizeDatetimeString(String datetimeString,
int granularity,
boolean roundUp)
Take a possibly incomplete datetime string and cast it to a valid datetime string, discarding any information finer than the supplied granularity, and round up or down. |
String |
padDatetimeString(String datetimeString,
boolean roundUp)
Take a possibly incomplete datetime string and pad it to a full specification datetime string rounding up or down, e.g., the JDBC datetime '1988-10-10 12' becomes '1988-10-10 12:59:59:999' when rounded up and '1988-10-10 12:00:00.000' when rounded down. |
String |
stripDatetimeString(String datetimeString,
int granularity)
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
protected SimpleDateFormat dateFormat
protected String delimiters
protected int[] gTokenIndex
protected String[] datetimeRoundDownPadding
protected String[] datetimeRoundUpPadding
Constructor Detail |
---|
public DatetimeStringProcessor(SimpleDateFormat dateFormat, String delimiters, int[] gTokenIndex, String[] datetimeRoundDownPadding, String[] datetimeRoundUpPadding)
Method Detail |
---|
protected abstract String constructDatetimeString(long milliseconds) throws TemporalException
TemporalException
public String granuleCount2DatetimeString(long granuleCount, int granularity) throws TemporalException
TemporalException
public String expressDatetimeStringAtGranularity(String datetimeString, int granularity, boolean roundUp) throws TemporalException
TemporalException
public String expressDatetimeStringAtGranularity(String datetimeString, int granularity) throws TemporalException
TemporalException
public void checkDatetimeString(String datetimeString) throws TemporalException
TemporalException
public String normalizeDatetimeString(String datetimeString, int granularity, boolean roundUp) throws TemporalException
TemporalException
public String normalizeDatetimeString(String datetime, int granularity) throws TemporalException
TemporalException
public String padDatetimeString(String datetimeString, boolean roundUp) throws TemporalException
TemporalException
public String stripDatetimeString(String datetimeString, int granularity) throws TemporalException
TemporalException
public long getYears(String datetimeString) throws TemporalException
TemporalException
public long getMonths(String datetimeString) throws TemporalException
TemporalException
public long getDays(String datetimeString) throws TemporalException
TemporalException
public long getHours(String datetimeString) throws TemporalException
TemporalException
public long getMinutes(String datetimeString) throws TemporalException
TemporalException
public long getSeconds(String datetimeString) throws TemporalException
TemporalException
public long getMilliseconds(String datetimeString) throws TemporalException
TemporalException
|
Protégé-OWL 3.4.1 | ||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |