org.semanticweb.HermiT.datatypes.datetime
Class DateTimeDatatypeHandler

java.lang.Object
  extended by org.semanticweb.HermiT.datatypes.datetime.DateTimeDatatypeHandler
All Implemented Interfaces:
DatatypeHandler

public class DateTimeDatatypeHandler
extends java.lang.Object
implements DatatypeHandler

Implements a handler for xsd:dateTime.


Field Summary
protected static DateTimeValueSpaceSubset EMPTY_SUBSET
           
protected static DateTimeValueSpaceSubset ENTIRE_SUBSET
           
protected static DateTimeInterval INTERVAL_ALL_WITH_TIMEZONE
           
protected static DateTimeInterval INTERVAL_ALL_WITHOUT_TIMEZONE
           
protected static java.util.Set<java.lang.String> s_managedDatatypeURIs
           
protected static java.util.Set<java.lang.String> s_supportedFacetURIs
           
protected static DateTimeValueSpaceSubset WITH_TIMEZONE_SUBSET
           
protected static java.lang.String XSD_DATE_TIME
           
protected static java.lang.String XSD_DATE_TIME_STAMP
           
protected static java.lang.String XSD_NS
           
 
Constructor Summary
DateTimeDatatypeHandler()
           
 
Method Summary
 ValueSpaceSubset conjoinWithDR(ValueSpaceSubset valueSpaceSubset, DatatypeRestriction datatypeRestriction)
           
 ValueSpaceSubset conjoinWithDRNegation(ValueSpaceSubset valueSpaceSubset, DatatypeRestriction datatypeRestriction)
           
 ValueSpaceSubset createValueSpaceSubset(DatatypeRestriction datatypeRestriction)
           
protected  DateTimeInterval[] getIntervalsFor(DatatypeRestriction datatypeRestriction)
           
 java.util.Set<java.lang.String> getManagedDatatypeURIs()
           
 boolean isDisjointWith(java.lang.String datatypeURI1, java.lang.String datatypeURI2)
           
 boolean isSubsetOf(java.lang.String subsetDatatypeURI, java.lang.String supersetDatatypeURI)
           
 java.lang.Object parseLiteral(java.lang.String lexicalForm, java.lang.String datatypeURI)
           
 void validateDatatypeRestriction(DatatypeRestriction datatypeRestriction)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

XSD_NS

protected static final java.lang.String XSD_NS

XSD_DATE_TIME

protected static final java.lang.String XSD_DATE_TIME

XSD_DATE_TIME_STAMP

protected static final java.lang.String XSD_DATE_TIME_STAMP

INTERVAL_ALL_WITH_TIMEZONE

protected static final DateTimeInterval INTERVAL_ALL_WITH_TIMEZONE

INTERVAL_ALL_WITHOUT_TIMEZONE

protected static final DateTimeInterval INTERVAL_ALL_WITHOUT_TIMEZONE

ENTIRE_SUBSET

protected static final DateTimeValueSpaceSubset ENTIRE_SUBSET

WITH_TIMEZONE_SUBSET

protected static final DateTimeValueSpaceSubset WITH_TIMEZONE_SUBSET

EMPTY_SUBSET

protected static final DateTimeValueSpaceSubset EMPTY_SUBSET

s_managedDatatypeURIs

protected static final java.util.Set<java.lang.String> s_managedDatatypeURIs

s_supportedFacetURIs

protected static final java.util.Set<java.lang.String> s_supportedFacetURIs
Constructor Detail

DateTimeDatatypeHandler

public DateTimeDatatypeHandler()
Method Detail

getManagedDatatypeURIs

public java.util.Set<java.lang.String> getManagedDatatypeURIs()
Specified by:
getManagedDatatypeURIs in interface DatatypeHandler

parseLiteral

public java.lang.Object parseLiteral(java.lang.String lexicalForm,
                                     java.lang.String datatypeURI)
                              throws MalformedLiteralException
Specified by:
parseLiteral in interface DatatypeHandler
Throws:
MalformedLiteralException

validateDatatypeRestriction

public void validateDatatypeRestriction(DatatypeRestriction datatypeRestriction)
                                 throws UnsupportedFacetException
Specified by:
validateDatatypeRestriction in interface DatatypeHandler
Throws:
UnsupportedFacetException

createValueSpaceSubset

public ValueSpaceSubset createValueSpaceSubset(DatatypeRestriction datatypeRestriction)
Specified by:
createValueSpaceSubset in interface DatatypeHandler

conjoinWithDR

public ValueSpaceSubset conjoinWithDR(ValueSpaceSubset valueSpaceSubset,
                                      DatatypeRestriction datatypeRestriction)
Specified by:
conjoinWithDR in interface DatatypeHandler

conjoinWithDRNegation

public ValueSpaceSubset conjoinWithDRNegation(ValueSpaceSubset valueSpaceSubset,
                                              DatatypeRestriction datatypeRestriction)
Specified by:
conjoinWithDRNegation in interface DatatypeHandler

getIntervalsFor

protected DateTimeInterval[] getIntervalsFor(DatatypeRestriction datatypeRestriction)

isSubsetOf

public boolean isSubsetOf(java.lang.String subsetDatatypeURI,
                          java.lang.String supersetDatatypeURI)
Specified by:
isSubsetOf in interface DatatypeHandler

isDisjointWith

public boolean isDisjointWith(java.lang.String datatypeURI1,
                              java.lang.String datatypeURI2)
Specified by:
isDisjointWith in interface DatatypeHandler