org.semanticweb.HermiT.datatypes.datetime

Class DateTime

java.lang.Object

org.semanticweb.HermiT.datatypes.datetime.DateTime

public class DateTime
extends Object

DateTime.

Field Summary

Fields

Modifier and Type	Field and Description
static long	MAX_TIME_ZONE_CORRECTION Max time zone.
static int	NO_TIMEZONE No timezone.

Constructor Summary

Constructors

Constructor and Description
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

Modifier and Type	Method and Description
boolean	equals(Object that)
static int	getMinutesInDay(long timeOnTimeline)
long	getTimeOnTimeline()
int	getTimeZoneOffset()
int	hashCode()
boolean	hasTimeZoneOffset()
static boolean	isLastDayInstant(long timeOnTimeline)
static DateTime	parse(String lexicalForm)
static boolean	secondsAreZero(long timeOnTimeline)
String	toString()

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Field Detail

NO_TIMEZONE

public static final int NO_TIMEZONE

No timezone.

See Also:

Constant Field Values

MAX_TIME_ZONE_CORRECTION

public static final long MAX_TIME_ZONE_CORRECTION

Max time zone.

See Also:

Constant Field Values

Constructor Detail

DateTime

public DateTime(int year,
                int month,
                int day,
                int hour,
                int minute,
                int second,
                int millisecond,
                int timeZoneOffset)

Parameters:

year - year

month - month

day - day

hour - hour

minute - minute

second - second

millisecond - millisecond

timeZoneOffset - timeZoneOffset

DateTime

public DateTime(long timeOnTimeline,
                boolean lastDayInstant,
                int timeZoneOffset)

Parameters:

timeOnTimeline - timeOnTimeline

lastDayInstant - lastDayInstant

timeZoneOffset - timeZoneOffset

Method Detail

toString

public String toString()

Overrides:

toString in class Object

getTimeOnTimeline

public long getTimeOnTimeline()

Returns:

timeline

hasTimeZoneOffset

public boolean hasTimeZoneOffset()

Returns:

true if offset

getTimeZoneOffset

public int getTimeZoneOffset()

Returns:

offset

parse

public static DateTime parse(String lexicalForm)

Parameters:

lexicalForm - lexicalForm

Returns:

datetime

equals

public boolean equals(Object that)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

isLastDayInstant

public static boolean isLastDayInstant(long timeOnTimeline)

Parameters:

timeOnTimeline - timeOnTimeline

Returns:

true if last instant

secondsAreZero

public static boolean secondsAreZero(long timeOnTimeline)

Parameters:

timeOnTimeline - timeOnTimeline

Returns:

true if no seconds

getMinutesInDay

public static int getMinutesInDay(long timeOnTimeline)

Parameters:

timeOnTimeline - timeOnTimeline

Returns:

minutes