org.semanticweb.HermiT.datatypes.doublenum
Class DoubleDatatypeHandler

java.lang.Object
  extended by org.semanticweb.HermiT.datatypes.doublenum.DoubleDatatypeHandler
All Implemented Interfaces:
DatatypeHandler

public class DoubleDatatypeHandler
extends java.lang.Object
implements DatatypeHandler


Field Summary
protected static ValueSpaceSubset DOUBLE_ENTIRE
           
protected static ValueSpaceSubset EMPTY_SUBSET
           
protected static java.util.Set<java.lang.String> s_managedDatatypeURIs
           
protected static java.util.Set<java.lang.String> s_supportedFacetURIs
           
protected static java.lang.String XSD_DOUBLE
           
protected static java.lang.String XSD_NS
           
 
Constructor Summary
DoubleDatatypeHandler()
           
 
Method Summary
 ValueSpaceSubset conjoinWithDR(ValueSpaceSubset valueSpaceSubset, DatatypeRestriction datatypeRestriction)
           
 ValueSpaceSubset conjoinWithDRNegation(ValueSpaceSubset valueSpaceSubset, DatatypeRestriction datatypeRestriction)
           
 ValueSpaceSubset createValueSpaceSubset(DatatypeRestriction datatypeRestriction)
           
protected  DoubleInterval getIntervalFor(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_DOUBLE

protected static final java.lang.String XSD_DOUBLE

DOUBLE_ENTIRE

protected static final ValueSpaceSubset DOUBLE_ENTIRE

EMPTY_SUBSET

protected static final ValueSpaceSubset 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

DoubleDatatypeHandler

public DoubleDatatypeHandler()
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

getIntervalFor

protected DoubleInterval getIntervalFor(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