org.semanticweb.HermiT.datatypes.datetime
Class DateTime

java.lang.Object
  extended by org.semanticweb.HermiT.datatypes.datetime.DateTime

public class DateTime
extends java.lang.Object


Field Summary
protected static int DAY_GROUP
           
protected static int HOUR_GROUP
           
protected  boolean m_lastDayInstant
           
protected  long m_timeOnTimeline
           
protected  int m_timeZoneOffset
           
static long MAX_TIME_ZONE_CORRECTION
           
protected static int MINUTE_GROUP
           
protected static int MONTH_GROUP
           
static int NO_TIMEZONE
           
protected static java.util.regex.Pattern s_dateTimePattern
           
protected static int SECOND_FRACTION_GROUP
           
protected static int SECOND_WHOLE_GROUP
           
protected static int TZ_OFFSET_GROUP
           
protected static int TZ_OFFSET_HOUR_GROUP
           
protected static int TZ_OFFSET_MINUTE_GROUP
           
protected static int TZ_OFFSET_SIGN_GROUP
           
protected static int TZ_OFFSET_Z_GROUP
           
protected static int YEAR_GROUP
           
 
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)
           
 
Method Summary
protected  void appendPadded(java.lang.StringBuffer buffer, int value, int digits)
           
protected static int daysInMonth(int year, int month)
           
protected static long daysToYearStart(int year)
           
 boolean equals(java.lang.Object that)
           
static int getMinutesInDay(long timeOnTimeline)
           
 long getTimeOnTimeline()
           
protected  long getTimeOnTimelineRaw(int year, int month, int day, int hour, int minute, int second, int millisecond)
           
 int getTimeZoneOffset()
           
 int hashCode()
           
 boolean hasTimeZoneOffset()
           
static boolean isLastDayInstant(long timeOnTimeline)
           
static DateTime parse(java.lang.String lexicalForm)
           
static boolean secondsAreZero(long timeOnTimeline)
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Field Detail

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
Constructor Detail

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)
Method Detail

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)