org.semanticweb.HermiT.datatypes.datetime
Class DateTime
java.lang.Object
org.semanticweb.HermiT.datatypes.datetime.DateTime
public class DateTime
- extends java.lang.Object
Constructor Summary |
DateTime(int year,
int month,
int day,
int hour,
int minute,
int second,
int millisecond,
int timeZoneOffset)
|
DateTime(long timeOnTimeline,
boolean lastDayInstant,
int timeZoneOffset)
|
Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
NO_TIMEZONE
public static final int NO_TIMEZONE
- See Also:
- Constant Field Values
MAX_TIME_ZONE_CORRECTION
public static final long MAX_TIME_ZONE_CORRECTION
- See Also:
- Constant Field Values
s_dateTimePattern
protected static final java.util.regex.Pattern s_dateTimePattern
YEAR_GROUP
protected static final int YEAR_GROUP
- See Also:
- Constant Field Values
MONTH_GROUP
protected static final int MONTH_GROUP
- See Also:
- Constant Field Values
DAY_GROUP
protected static final int DAY_GROUP
- See Also:
- Constant Field Values
HOUR_GROUP
protected static final int HOUR_GROUP
- See Also:
- Constant Field Values
MINUTE_GROUP
protected static final int MINUTE_GROUP
- See Also:
- Constant Field Values
SECOND_WHOLE_GROUP
protected static final int SECOND_WHOLE_GROUP
- See Also:
- Constant Field Values
SECOND_FRACTION_GROUP
protected static final int SECOND_FRACTION_GROUP
- See Also:
- Constant Field Values
TZ_OFFSET_GROUP
protected static final int TZ_OFFSET_GROUP
- See Also:
- Constant Field Values
TZ_OFFSET_Z_GROUP
protected static final int TZ_OFFSET_Z_GROUP
- See Also:
- Constant Field Values
TZ_OFFSET_SIGN_GROUP
protected static final int TZ_OFFSET_SIGN_GROUP
- See Also:
- Constant Field Values
TZ_OFFSET_HOUR_GROUP
protected static final int TZ_OFFSET_HOUR_GROUP
- See Also:
- Constant Field Values
TZ_OFFSET_MINUTE_GROUP
protected static final int TZ_OFFSET_MINUTE_GROUP
- See Also:
- Constant Field Values
m_timeOnTimeline
protected final long m_timeOnTimeline
m_lastDayInstant
protected final boolean m_lastDayInstant
m_timeZoneOffset
protected final int m_timeZoneOffset
DateTime
public DateTime(int year,
int month,
int day,
int hour,
int minute,
int second,
int millisecond,
int timeZoneOffset)
DateTime
public DateTime(long timeOnTimeline,
boolean lastDayInstant,
int timeZoneOffset)
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object
getTimeOnTimeline
public long getTimeOnTimeline()
hasTimeZoneOffset
public boolean hasTimeZoneOffset()
getTimeZoneOffset
public int getTimeZoneOffset()
appendPadded
protected void appendPadded(java.lang.StringBuffer buffer,
int value,
int digits)
parse
public static DateTime parse(java.lang.String lexicalForm)
equals
public boolean equals(java.lang.Object that)
- Overrides:
equals
in class java.lang.Object
hashCode
public int hashCode()
- Overrides:
hashCode
in class java.lang.Object
getTimeOnTimelineRaw
protected long getTimeOnTimelineRaw(int year,
int month,
int day,
int hour,
int minute,
int second,
int millisecond)
daysToYearStart
protected static long daysToYearStart(int year)
daysInMonth
protected static int daysInMonth(int year,
int month)
isLastDayInstant
public static boolean isLastDayInstant(long timeOnTimeline)
secondsAreZero
public static boolean secondsAreZero(long timeOnTimeline)
getMinutesInDay
public static int getMinutesInDay(long timeOnTimeline)