org.daml.validator
Class DAMLDatatypeValidator

java.lang.Object
  |
  +--org.daml.validator.DAMLDatatypeValidator

public class DAMLDatatypeValidator
extends java.lang.Object


Constructor Summary
DAMLDatatypeValidator()
          Creates an XML Schema Datatype Validator for the DAML Validator.
 
Method Summary
 void add(java.lang.String uri)
          Add a XML Schema Datatype definition file to the validator.
 void addFromCache(java.lang.String uri, java.lang.String cacheURI)
          Add a XML Schema Datatype definition file to the validator.
 java.util.HashSet getSimpleTypeSet()
           
 java.util.HashSet getXMLSchemaSchemaURLSet()
           
 boolean hasNamespace(java.lang.String uri)
          Returns true if the namespace URI is a XML Schema Datatype namespace that has already been added (or is a default XML Schema Schema URL).
 void initialize()
          Initialze or reset the DAML Datatype Validator.
 boolean isAKnownSimpleType(java.lang.String namespace, java.lang.String datatype)
          Returns true if a datatype definition exists for the given datatype.
 boolean isASchema(java.lang.String url)
          Returns true if the URL is an XML Schema file.
 boolean isAValidTypedValue(java.lang.String valueNamespace, java.lang.String valueDatatype, java.lang.String value, java.lang.String namespace, java.lang.String datatype)
          Returns true if the value and type pair is a proper instance if the given datatype.
 boolean isAValidValue(java.lang.String value, java.lang.String namespace, java.lang.String datatype)
          Returns true if the value is a proper instance of the given datatype.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

DAMLDatatypeValidator

public DAMLDatatypeValidator()
Creates an XML Schema Datatype Validator for the DAML Validator. Relies heavily of the XML Schema Datatype Validator by Mark Neighbors. XML Schema Datatype files are added to the validator. Once added datatypes can be validated against the datatype definitions.

Method Detail

initialize

public void initialize()
Initialze or reset the DAML Datatype Validator. Removes all datatype definitions.


isASchema

public boolean isASchema(java.lang.String url)
Returns true if the URL is an XML Schema file.


add

public void add(java.lang.String uri)
         throws org.daml.validator.xsd.UnknownSchemaException,
                org.daml.validator.xsd.SchemaValidationException
Add a XML Schema Datatype definition file to the validator.

org.daml.validator.xsd.UnknownSchemaException
org.daml.validator.xsd.SchemaValidationException

addFromCache

public void addFromCache(java.lang.String uri,
                         java.lang.String cacheURI)
                  throws org.daml.validator.xsd.UnknownSchemaException,
                         org.daml.validator.xsd.SchemaValidationException
Add a XML Schema Datatype definition file to the validator.

org.daml.validator.xsd.UnknownSchemaException
org.daml.validator.xsd.SchemaValidationException

hasNamespace

public boolean hasNamespace(java.lang.String uri)
Returns true if the namespace URI is a XML Schema Datatype namespace that has already been added (or is a default XML Schema Schema URL).


isAKnownSimpleType

public boolean isAKnownSimpleType(java.lang.String namespace,
                                  java.lang.String datatype)
Returns true if a datatype definition exists for the given datatype.


isAValidValue

public boolean isAValidValue(java.lang.String value,
                             java.lang.String namespace,
                             java.lang.String datatype)
                      throws org.daml.validator.xsd.UnknownSimpleTypeException
Returns true if the value is a proper instance of the given datatype.

org.daml.validator.xsd.UnknownSimpleTypeException

isAValidTypedValue

public boolean isAValidTypedValue(java.lang.String valueNamespace,
                                  java.lang.String valueDatatype,
                                  java.lang.String value,
                                  java.lang.String namespace,
                                  java.lang.String datatype)
                           throws org.daml.validator.xsd.UnknownSimpleTypeException
Returns true if the value and type pair is a proper instance if the given datatype.

org.daml.validator.xsd.UnknownSimpleTypeException

getXMLSchemaSchemaURLSet

public java.util.HashSet getXMLSchemaSchemaURLSet()

getSimpleTypeSet

public java.util.HashSet getSimpleTypeSet()