org.semanticweb.HermiT.datatypes.datetime

Class DateTimeInterval

java.lang.Object

org.semanticweb.HermiT.datatypes.datetime.DateTimeInterval

public class DateTimeInterval
extends Object

DateTimeInterval

Constructor Summary

Constructors

Constructor and Description
DateTimeInterval(IntervalType intervalType, long lowerBound, BoundType lowerBoundType, long upperBound, BoundType upperBoundType)

Method Summary

Modifier and Type	Method and Description
boolean	containsDateTime(DateTime dateTime)
void	enumerateDateTimes(Collection<Object> dateTimes)
DateTimeInterval	intersectWith(DateTimeInterval that) Computes the intersection of this interval with the supplied one.
int	subtractSizeFrom(int argument) Subtracts from the given argument the number of distinct objects that are contained in this interval.
String	toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

DateTimeInterval

public DateTimeInterval(IntervalType intervalType,
                        long lowerBound,
                        BoundType lowerBoundType,
                        long upperBound,
                        BoundType upperBoundType)

Parameters:

intervalType - intervalType

lowerBound - lowerBound

lowerBoundType - lowerBoundType

upperBound - upperBound

upperBoundType - upperBoundType

Method Detail

intersectWith

public DateTimeInterval intersectWith(DateTimeInterval that)

Computes the intersection of this interval with the supplied one. If the two intervals do not intersect, the result is null.

Parameters:

that - that

Returns:

intersection

subtractSizeFrom

public int subtractSizeFrom(int argument)

Subtracts from the given argument the number of distinct objects that are contained in this interval. If the interval contains more objects than argument, the result is zero.

Parameters:

argument - argument

Returns:

subtracted size

containsDateTime

public boolean containsDateTime(DateTime dateTime)

Parameters:

dateTime - dateTime

Returns:

true if contained

enumerateDateTimes

public void enumerateDateTimes(Collection<Object> dateTimes)

Parameters:

dateTimes - dateTimes

toString

public String toString()

Overrides:

toString in class Object