org.semanticweb.HermiT.datatypes.bool
Class BooleanDatatypeHandler

java.lang.Object
  extended by org.semanticweb.HermiT.datatypes.bool.BooleanDatatypeHandler
All Implemented Interfaces:
DatatypeHandler

public class BooleanDatatypeHandler
extends java.lang.Object
implements DatatypeHandler


Nested Class Summary
protected static class BooleanDatatypeHandler.BooleanAll
           
protected static class BooleanDatatypeHandler.BooleanNone
           
 
Field Summary
protected static ValueSpaceSubset BOOLEAN_ALL
           
protected static ValueSpaceSubset EMPTY
           
protected static java.util.Set<java.lang.String> s_managedDatatypeURIs
           
protected static java.lang.String XSD_BOOLEAN
           
 
Constructor Summary
BooleanDatatypeHandler()
           
 
Method Summary
 ValueSpaceSubset conjoinWithDR(ValueSpaceSubset valueSpaceSubset, DatatypeRestriction datatypeRestriction)
           
 ValueSpaceSubset conjoinWithDRNegation(ValueSpaceSubset valueSpaceSubset, DatatypeRestriction datatypeRestriction)
           
 ValueSpaceSubset createValueSpaceSubset(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_BOOLEAN

protected static final java.lang.String XSD_BOOLEAN

BOOLEAN_ALL

protected static final ValueSpaceSubset BOOLEAN_ALL

EMPTY

protected static final ValueSpaceSubset EMPTY

s_managedDatatypeURIs

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

BooleanDatatypeHandler

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

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