com.clarkparsia.pellet.datatypes.types.datetime

Class RestrictedTimelineDatatype

java.lang.Object

com.clarkparsia.pellet.datatypes.types.datetime.RestrictedTimelineDatatype

All Implemented Interfaces:

DataRange<XMLGregorianCalendar>, RestrictedDatatype<XMLGregorianCalendar>

public class RestrictedTimelineDatatype
extends Object
implements RestrictedDatatype<XMLGregorianCalendar>

Title: Restricted time line datatype

Description: A base implementation for datatypes based on the XSD 7 property date time model. Calendar objects are converted to real numbers based on the XML 1.1 datatype spec. This implementation uses two real number interval collections (one with time zone present, one with time zone absent).

Copyright: Copyright (c) 2009

Company: Clark & Parsia, LLC.

Author:

Mike Smith

Field Summary

Fields

Modifier and Type	Field and Description
protected Datatype<? extends XMLGregorianCalendar>	datatype
protected RestrictedDatatype<XMLGregorianCalendar>	empty
protected boolean	enumerable
protected boolean	finite
protected List<ContinuousRealInterval>	nzIntervals
protected QName	schemaType
protected List<ContinuousRealInterval>	wzIntervals

Constructor Summary

Constructors

Constructor and Description
RestrictedTimelineDatatype(Datatype<? extends XMLGregorianCalendar> datatype, QName schemaType, boolean requireTz)

Method Summary

Modifier and Type	Method and Description
RestrictedDatatype<XMLGregorianCalendar>	applyConstrainingFacet(aterm.ATermAppl facet, Object value) Apply a constraining facet to further restrict the value space
boolean	contains(Object value) Check if a data range contains a particular value
boolean	containsAtLeast(int n) Check that a data range contains a minimum number of elements
protected RestrictedTimelineDatatype	create(RestrictedTimelineDatatype other, List<ContinuousRealInterval> wzIntervals, List<ContinuousRealInterval> nzIntervals)
RestrictedDatatype<XMLGregorianCalendar>	exclude(Collection<?> values) Exclude specific elements from the data range.
Datatype<? extends XMLGregorianCalendar>	getDatatype() Query for the base datatype of a restricted datatype.
static DatatypeFactory	getDatatypeFactory()
XMLGregorianCalendar	getValue(int i) Return a value from an enumerable data range.
RestrictedDatatype<XMLGregorianCalendar>	intersect(RestrictedDatatype<?> other, boolean negated) Intersect this range with another range.
boolean	isEmpty() Convenience method equivalent to !containsAtLeast(0)
boolean	isEnumerable() Query if values in the data range can be enumerated.
boolean	isFinite() Query if there are a finite number of values in the data range.
protected boolean	isValidValue(XMLGregorianCalendar c)
int	size() Return the size of the data range.
String	toString()
RestrictedDatatype<XMLGregorianCalendar>	union(RestrictedDatatype<?> other) Union this range with another range.
Iterator<XMLGregorianCalendar>	valueIterator() Get a (possibly infinite) iterator over values in the data range.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

datatype

protected final Datatype<? extends XMLGregorianCalendar> datatype

empty

protected final RestrictedDatatype<XMLGregorianCalendar> empty

enumerable

protected final boolean enumerable

finite

protected final boolean finite

nzIntervals

protected final List<ContinuousRealInterval> nzIntervals

schemaType

protected final QName schemaType

wzIntervals

protected final List<ContinuousRealInterval> wzIntervals

Constructor Detail

RestrictedTimelineDatatype

public RestrictedTimelineDatatype(Datatype<? extends XMLGregorianCalendar> datatype,
                                  QName schemaType,
                                  boolean requireTz)

Method Detail

getDatatypeFactory

public static DatatypeFactory getDatatypeFactory()

applyConstrainingFacet

public RestrictedDatatype<XMLGregorianCalendar> applyConstrainingFacet(aterm.ATermAppl facet,
                                                                       Object value)
                                                                throws InvalidConstrainingFacetException

Description copied from interface: RestrictedDatatype

Apply a constraining facet to further restrict the value space

Specified by:

applyConstrainingFacet in interface RestrictedDatatype<XMLGregorianCalendar>

Parameters:

facet - the constraining facet name (typically a URI)

value - the value for the constraining facet. This is not necessarily in the value space of the base datatype (e.g., length facet values on string types are not)

Returns:

the further restricted value space

Throws:

InvalidConstrainingFacetException

contains

public boolean contains(Object value)

Description copied from interface: DataRange

Check if a data range contains a particular value

Specified by:

contains in interface DataRange<XMLGregorianCalendar>

Parameters:

value - the value to check

Returns:

true if the data range contains value, false else

containsAtLeast

public boolean containsAtLeast(int n)

Description copied from interface: DataRange

Check that a data range contains a minimum number of elements

Specified by:

containsAtLeast in interface DataRange<XMLGregorianCalendar>

Parameters:

n - the number of elements

Returns:

true if the data range contains n or more elements, false otherwise

create

protected RestrictedTimelineDatatype create(RestrictedTimelineDatatype other,
                                            List<ContinuousRealInterval> wzIntervals,
                                            List<ContinuousRealInterval> nzIntervals)

exclude

public RestrictedDatatype<XMLGregorianCalendar> exclude(Collection<?> values)

Description copied from interface: RestrictedDatatype

Exclude specific elements from the data range. Used when a restricted data range is in a conjunction with a negative enumeration. Elements in values that are not contained in the restriction are ignored.

Specified by:

exclude in interface RestrictedDatatype<XMLGregorianCalendar>

Parameters:

values - The values to exclude

Returns:

A new RestrictedDatatype

getDatatype

public Datatype<? extends XMLGregorianCalendar> getDatatype()

Description copied from interface: RestrictedDatatype

Query for the base datatype of a restricted datatype. This is not necessarily a primitive datatype.

Specified by:

getDatatype in interface RestrictedDatatype<XMLGregorianCalendar>

Returns:

the base datatype

getValue

public XMLGregorianCalendar getValue(int i)

Description copied from interface: DataRange

Return a value from an enumerable data range. Necessary to support LiteralValueBranch shiftTryNext

Specified by:

getValue in interface DataRange<XMLGregorianCalendar>

Parameters:

i - the index of the value in the data range

Returns:

the value

intersect

public RestrictedDatatype<XMLGregorianCalendar> intersect(RestrictedDatatype<?> other,
                                                          boolean negated)

Description copied from interface: RestrictedDatatype

Intersect this range with another range. It must be the case that getDatatype().getPrimitiveDatatype().equals( other.getDatatype.getPrimiveDatatype()

Specified by:

intersect in interface RestrictedDatatype<XMLGregorianCalendar>

Parameters:

other - restricted datatype to merge into this

negated - true if other is negated, false else

Returns:

a new RestrictedDatatype, representing the intersection of this and other

isEmpty

public boolean isEmpty()

Description copied from interface: DataRange

Convenience method equivalent to !containsAtLeast(0)

Specified by:

isEmpty in interface DataRange<XMLGregorianCalendar>

Returns:

true if the data range contains no elements, false otherwise

isEnumerable

public boolean isEnumerable()

Description copied from interface: DataRange

Query if values in the data range can be enumerated.

Specified by:

isEnumerable in interface DataRange<XMLGregorianCalendar>

Returns:

true if the data range is enumerable, false otherwise

isFinite

public boolean isFinite()

Description copied from interface: DataRange

Query if there are a finite number of values in the data range.

Specified by:

isFinite in interface DataRange<XMLGregorianCalendar>

Returns:

true if the data range is finite, false otherwise

isValidValue

protected boolean isValidValue(XMLGregorianCalendar c)

size

public int size()

Description copied from interface: DataRange

Return the size of the data range. Necessary to support LiteralValueBranch constructor

Specified by:

size in interface DataRange<XMLGregorianCalendar>

Returns:

the size of the data range

toString

public String toString()

Overrides:

toString in class Object

union

public RestrictedDatatype<XMLGregorianCalendar> union(RestrictedDatatype<?> other)

Description copied from interface: RestrictedDatatype

Union this range with another range. It must be the case that getDatatype().getPrimitiveDatatype().equals( other.getDatatype.getPrimiveDatatype()

Specified by:

union in interface RestrictedDatatype<XMLGregorianCalendar>

Parameters:

other - restricted datatype to merge with this

Returns:

a new RestrictedDatatype, representing the intersection of this and other

valueIterator

public Iterator<XMLGregorianCalendar> valueIterator()

Description copied from interface: DataRange

Get a (possibly infinite) iterator over values in the data range.

Specified by:

valueIterator in interface DataRange<XMLGregorianCalendar>

Returns:

an Iterator