A C D E F G H I L M N O P R S T U V W

A

actuallyLoaded - Variable in class org.daml.validator.ParseHelper
URIs that were actually loaded
add(DAMLModelImpl.Node) - Method in class org.daml.validator.model.DAMLModelImpl.NodeSet
 
add(Object) - Method in class org.daml.validator.model.DAMLModelImpl.NodeSet
 
add(Resource) - Method in class org.daml.validator.model.DAMLModelImpl.NodeSet
 
add(String) - Method in class org.daml.validator.DAMLDatatypeValidator
Add a XML Schema Datatype definition file to the validator.
addDatatypes(Collection) - Method in class org.daml.validator.model.DAMLModelImpl
 
addFromCache(String, String) - Method in class org.daml.validator.DAMLDatatypeValidator
Add a XML Schema Datatype definition file to the validator.
addModel(Model) - Method in class org.daml.validator.ValidatorAPI
Add a RDF Model to the set of models used to validate against.
addModel(Model) - Method in class org.daml.validator.Validator
Adds RDF Model to the set of models used to validate against.
addModel(Model) - Method in class org.daml.validator.model.DAMLModelImpl
Add the RDF Model to the DAML Model.
addStatement(Statement) - Method in class org.daml.validator.indications.UndefinedResourceIndication
Add to the list of statements that reference the undefined resource.
addSubstitution(String, String, boolean, boolean) - Method in class org.daml.validator.Preferences
Add substitution information for a URI.
addToCache(String, String) - Method in class org.daml.validator.Preferences
Add a URI and filename to the cache records.
addURL(String, boolean) - Method in class org.daml.validator.ValidatorAPI
Load a URL to create a RDF Model and add that to the set of models to validate against.
addURL(String, boolean) - Method in class org.daml.validator.Validator
 
addURL(URL, boolean) - Method in class org.daml.validator.ValidatorAPI
Load a URL to create a RDF Model and add that to the set of models to validate against.
addURL(URL, boolean) - Method in class org.daml.validator.Validator
Load URL to create a RDF Model and add that to the set of models to validate against.
allInstances(String) - Method in class org.daml.validator.model.DAMLModelImpl
Finds all instances of the specified class.
allPropertyClasses - Variable in class org.daml.validator.model.DAMLModelImpl
 
ancestorPredicates - Variable in class org.daml.validator.model.DAMLModelImpl
 

C

cache - Variable in class org.daml.validator.Preferences
Maps URIs to local cache filenames.
Cache - class org.daml.validator.Cache.
This Class manages the maintainence of the Validator Cache.
Cache(String[]) - Constructor for class org.daml.validator.Cache
 
CacheIndication - class org.daml.validator.indications.CacheIndication.
This indication is used to notify the user what files were substituted or loaded from the cache.
CacheIndication(Map) - Constructor for class org.daml.validator.indications.CacheIndication
Constructor for a CacheIndication.
cacheList - Variable in class org.daml.validator.Preferences
Keep a list of original cache items
cacheURI(String) - Method in class org.daml.validator.Preferences
Looks in the cache for a URI and returns a cache file or the original URI.
CardinalityIndication - class org.daml.validator.indications.CardinalityIndication.
Indication used for cardinality restriction violations.
CardinalityIndication(DAMLModelImpl.Node, DAMLModelImpl.Node, DAMLModelImpl.Restriction, Collection) - Constructor for class org.daml.validator.indications.CardinalityIndication
 
cardinalityPredicates - Variable in class org.daml.validator.model.DAMLModelImpl
 
CardinalityQIndication - class org.daml.validator.indications.CardinalityQIndication.
Indication used for cardinalityQ restriction violations.
CardinalityQIndication(DAMLModelImpl.Node, DAMLModelImpl.Node, DAMLModelImpl.Restriction, Collection) - Constructor for class org.daml.validator.indications.CardinalityQIndication
 
cardinalityQPredicates - Variable in class org.daml.validator.model.DAMLModelImpl
 
classClasses - Variable in class org.daml.validator.model.DAMLModelImpl
 
complementOfPredicates - Variable in class org.daml.validator.model.DAMLModelImpl
 
convertURLtoFile(URL) - Method in class org.daml.validator.Cache
Create a filename from the host and path.
create(Resource, Statement) - Static method in class org.daml.validator.indications.UndefinedResourceIndication
 
createCacheFile(String) - Method in class org.daml.validator.Cache
 
createNodesFromModel(Model) - Method in class org.daml.validator.model.DAMLModelImpl
 

D

DAMLDatatypeValidator - class org.daml.validator.DAMLDatatypeValidator.
 
DAMLDatatypeValidator() - Constructor for class org.daml.validator.DAMLDatatypeValidator
Creates an XML Schema Datatype Validator for the DAML Validator.
DAMLModelImpl - class org.daml.validator.model.DAMLModelImpl.
DAML model used by the validator.
DAMLModelImpl.List - class org.daml.validator.model.DAMLModelImpl.List.
 
DAMLModelImpl.Node - class org.daml.validator.model.DAMLModelImpl.Node.
A Node exists for a RDF-API Resource and contains all incoming and outgoing predicates as well as any equivalent Nodes.
DAMLModelImpl.NodeSet - class org.daml.validator.model.DAMLModelImpl.NodeSet.
 
DAMLModelImpl.NodeSet() - Constructor for class org.daml.validator.model.DAMLModelImpl.NodeSet
 
DAMLModelImpl.NodeSet(Collection) - Constructor for class org.daml.validator.model.DAMLModelImpl.NodeSet
 
DAMLModelImpl.Restriction - class org.daml.validator.model.DAMLModelImpl.Restriction.
 
DAMLModelImpl(DAMLDatatypeValidator, Preferences) - Constructor for class org.daml.validator.model.DAMLModelImpl
 
DAMLModelImpl(Model, DAMLDatatypeValidator, Preferences) - Constructor for class org.daml.validator.model.DAMLModelImpl
Create a new Node centered view from a Model.
DAMLVocabulary - Variable in class org.daml.validator.model.DAMLModelImpl
 
datatypeClasses - Variable in class org.daml.validator.model.DAMLModelImpl
 
datatypePropertyClasses - Variable in class org.daml.validator.model.DAMLModelImpl
 
datatypeRestrictionClasses - Variable in class org.daml.validator.model.DAMLModelImpl
 
defaultLevel - Static variable in class org.daml.validator.indications.URIIndication
 
defaultLevel - Static variable in class org.daml.validator.indications.UndefinedResourceIndication
 
defaultLevel - Static variable in class org.daml.validator.indications.UndefinedPropertyIndication
 
defaultLevel - Static variable in class org.daml.validator.indications.TypedLiteralValueIndication
 
defaultLevel - Static variable in class org.daml.validator.indications.TypedLiteralMismatchIndication
 
defaultLevel - Static variable in class org.daml.validator.indications.StatementIndication
The indication message.
defaultLevel - Static variable in class org.daml.validator.indications.RestrictionIndication
 
defaultLevel - Static variable in class org.daml.validator.indications.ResourceIndication
 
defaultLevel - Static variable in class org.daml.validator.indications.ParseIndication
 
defaultLevel - Static variable in class org.daml.validator.indications.OutdatedURIIndication
 
defaultLevel - Static variable in class org.daml.validator.indications.NotRDFIndication
 
defaultLevel - Static variable in class org.daml.validator.indications.LoadIndication
 
defaultLevel - Static variable in class org.daml.validator.indications.LiteralExpectedIndication
 
defaultLevel - Static variable in class org.daml.validator.indications.InvalidNamespaceIndication
 
defaultLevel - Static variable in class org.daml.validator.indications.IncorrectRangeIndication
 
defaultLevel - Static variable in class org.daml.validator.indications.IncorrectDomainIndication
 
defaultLevel - Static variable in class org.daml.validator.indications.HasValueIndication
 
defaultLevel - Static variable in class org.daml.validator.indications.HasClassIndication
 
defaultLevel - Static variable in class org.daml.validator.indications.FileExtensionIndication
 
defaultLevel - Static variable in class org.daml.validator.indications.CardinalityQIndication
 
defaultLevel - Static variable in class org.daml.validator.indications.CardinalityIndication
 
defaultLevel - Static variable in class org.daml.validator.indications.CacheIndication
 
defineGenericProperty(Resource) - Method in class org.daml.validator.model.DAMLModelImpl
Generate a generic definition for a property.
deleteCacheFile(String) - Method in class org.daml.validator.Cache
 
domainPredicates - Variable in class org.daml.validator.model.DAMLModelImpl
Collection of predicates (RDF Resources) that represent domain
dropFileExtension(String) - Method in class org.daml.validator.Validator
 

E

equals(DAMLModelImpl.Node) - Method in class org.daml.validator.model.DAMLModelImpl.Node
Returns true if the nodes are equal (refer to the same URI?).
equals(RDFNode) - Method in class org.daml.validator.model.DAMLModelImpl.Node
 
equals(Resource) - Method in class org.daml.validator.model.DAMLModelImpl.Node
 
equivalentNodes(Set) - Static method in class org.daml.validator.model.DAMLModelImpl
Given a vector of nodes, returns a vector of all equivantent nodes.
equivalentPredicates - Variable in class org.daml.validator.model.DAMLModelImpl
Collection of predicates (RDF Resources) that have an equivalence semantic.
equivalentTo(DAMLModelImpl.Node) - Method in class org.daml.validator.model.DAMLModelImpl.Node
Returns true if the nodes are equal or declared equivalent.
equivalentToPredicates - Variable in class org.daml.validator.model.DAMLModelImpl
 
ERROR - Static variable in class org.daml.validator.indications.Indication
Error level type
errors - Variable in class org.daml.validator.ParseHelper
URIs that had errors during loading
extension - Variable in class org.daml.validator.indications.FileExtensionIndication
The file extension that was found.

F

FileExtensionIndication - class org.daml.validator.indications.FileExtensionIndication.
Indication used when a namespace or imports URI contains a filename extension.
FileExtensionIndication(String, Stack, String) - Constructor for class org.daml.validator.indications.FileExtensionIndication
 
findAllInternal(String, Vector) - Method in class org.daml.validator.model.DAMLModelImpl.Node
Returns all statements that match the given query.
findAnyStatement(Model, Collection) - Method in class org.daml.validator.model.DAMLModelImpl
This version matches the complete URI of any of a set of predicates.
findAnyStatement(Model, Resource) - Method in class org.daml.validator.model.DAMLModelImpl
This version matches the complete URI of the predicate.
findAnyStatement(Model, String) - Method in class org.daml.validator.model.DAMLModelImpl
Returns the first statement from the model that uses the given predicate.

G

getAllStatements(Model, Collection) - Static method in class org.daml.validator.model.DAMLModelImpl
Returns a vector of from the model that match the collection of predicate resources.
getAllStatements(Model, DAMLModelImpl.Node) - Method in class org.daml.validator.model.DAMLModelImpl
 
getAllStatements(Model, Resource) - Static method in class org.daml.validator.model.DAMLModelImpl
 
getAncestors(boolean) - Method in class org.daml.validator.model.DAMLModelImpl.Node
Returns a set of ancestors for the current Node.
getBooleanProperty(String, boolean) - Method in class org.daml.validator.Preferences
 
getDatatypeInstanceType() - Method in class org.daml.validator.model.DAMLModelImpl.Node
Returns the first type Node of the instance that is a datatype.
getDistinctValues(Collection) - Method in class org.daml.validator.model.DAMLModelImpl
Determines the distinct values for a set of statements.
getDomain() - Method in class org.daml.validator.model.DAMLModelImpl.Node
 
getDomainStatements() - Method in class org.daml.validator.model.DAMLModelImpl.Node
 
getEquivalentToStatements() - Method in class org.daml.validator.model.DAMLModelImpl.Node
 
getImpliedStatements(Model) - Method in class org.daml.validator.model.DAMLModelImpl.Node
Returns a model of the implied statements for this node.
getImportedURIs(Model) - Method in class org.daml.validator.ParseHelper
Returns a set of URIs imported by the model.
getIndications() - Method in class org.daml.validator.ValidatorModelMem
 
getIntProperty(String, int) - Method in class org.daml.validator.Preferences
 
getLoad(String) - Method in class org.daml.validator.URISubstitution
Determine if the replacement URI should be loaded instead.
getLocation() - Method in class org.daml.validator.indications.URIIndication
 
getLocation() - Method in class org.daml.validator.indications.UndefinedResourceIndication
 
getLocation() - Method in class org.daml.validator.indications.UndefinedPropertyIndication
 
getLocation() - Method in class org.daml.validator.indications.TypedLiteralValueIndication
 
getLocation() - Method in class org.daml.validator.indications.TypedLiteralMismatchIndication
 
getLocation() - Method in class org.daml.validator.indications.StatementIndication
 
getLocation() - Method in class org.daml.validator.indications.RestrictionIndication
 
getLocation() - Method in class org.daml.validator.indications.ResourceIndication
 
getLocation() - Method in class org.daml.validator.indications.LoadIndication
 
getLocation() - Method in class org.daml.validator.indications.LiteralExpectedIndication
 
getLocation() - Method in class org.daml.validator.indications.Indication
Generate a location string for the indication.
getLocation() - Method in class org.daml.validator.indications.IncorrectRangeIndication
 
getLocation() - Method in class org.daml.validator.indications.IncorrectDomainIndication
 
getLocation() - Method in class org.daml.validator.indications.CacheIndication
 
getLocation(Collection) - Method in class org.daml.validator.indications.Indication
Returns a location string for a collection of statements.
getLocation(Statement) - Method in class org.daml.validator.indications.Indication
Returns a location string for a statement.
getLocation(String) - Method in class org.daml.validator.indications.Indication
Returns a location string for a URI.
getLocationXML() - Method in class org.daml.validator.indications.URIIndication
 
getLocationXML() - Method in class org.daml.validator.indications.UndefinedResourceIndication
 
getLocationXML() - Method in class org.daml.validator.indications.UndefinedPropertyIndication
 
getLocationXML() - Method in class org.daml.validator.indications.TypedLiteralValueIndication
 
getLocationXML() - Method in class org.daml.validator.indications.TypedLiteralMismatchIndication
 
getLocationXML() - Method in class org.daml.validator.indications.StatementIndication
 
getLocationXML() - Method in class org.daml.validator.indications.RestrictionIndication
 
getLocationXML() - Method in class org.daml.validator.indications.ResourceIndication
 
getLocationXML() - Method in class org.daml.validator.indications.LoadIndication
 
getLocationXML() - Method in class org.daml.validator.indications.LiteralExpectedIndication
 
getLocationXML() - Method in class org.daml.validator.indications.Indication
Generate XML for the location of an exception without any location.
getLocationXML() - Method in class org.daml.validator.indications.IncorrectRangeIndication
 
getLocationXML() - Method in class org.daml.validator.indications.IncorrectDomainIndication
 
getLocationXML() - Method in class org.daml.validator.indications.CacheIndication
 
getLocationXML(Collection) - Method in class org.daml.validator.indications.Indication
Generate a location XML string from a collection of statements.
getLocationXML(DAMLModelImpl.Node) - Method in class org.daml.validator.indications.Indication
Generate the location XML string for a node.
getLocationXML(Statement) - Method in class org.daml.validator.indications.Indication
Generate a location xml string for a statement.
getLocationXML(String) - Method in class org.daml.validator.indications.Indication
Generate a location xml string for a URI.
getLocationXMLStack(String[], String) - Method in class org.daml.validator.indications.URIIndication
 
getMessage() - Method in class org.daml.validator.indications.URIIndication
 
getMessage() - Method in class org.daml.validator.indications.UndefinedResourceIndication
 
getMessage() - Method in class org.daml.validator.indications.UndefinedPropertyIndication
 
getMessage() - Method in class org.daml.validator.indications.TypedLiteralValueIndication
 
getMessage() - Method in class org.daml.validator.indications.TypedLiteralMismatchIndication
 
getMessage() - Method in class org.daml.validator.indications.StatementIndication
 
getMessage() - Method in class org.daml.validator.indications.RestrictionIndication
 
getMessage() - Method in class org.daml.validator.indications.ParseIndication
 
getMessage() - Method in class org.daml.validator.indications.OutdatedURIIndication
 
getMessage() - Method in class org.daml.validator.indications.NotRDFIndication
 
getMessage() - Method in class org.daml.validator.indications.LoadIndication
 
getMessage() - Method in class org.daml.validator.indications.LiteralExpectedIndication
 
getMessage() - Method in class org.daml.validator.indications.InvalidNamespaceIndication
 
getMessage() - Method in class org.daml.validator.indications.Indication
Generate a message describing the indication.
getMessage() - Method in class org.daml.validator.indications.IncorrectRangeIndication
 
getMessage() - Method in class org.daml.validator.indications.IncorrectDomainIndication
 
getMessage() - Method in class org.daml.validator.indications.HasValueIndication
 
getMessage() - Method in class org.daml.validator.indications.HasClassIndication
 
getMessage() - Method in class org.daml.validator.indications.FileExtensionIndication
 
getMessage() - Method in class org.daml.validator.indications.CardinalityQIndication
 
getMessage() - Method in class org.daml.validator.indications.CardinalityIndication
 
getMessage() - Method in class org.daml.validator.indications.CacheIndication
 
getNamespace(Resource) - Static method in class org.daml.validator.ParseHelper
 
getNode(Resource) - Method in class org.daml.validator.model.DAMLModelImpl
Find the node for the given Resource.
getNode(Resource, boolean) - Method in class org.daml.validator.model.DAMLModelImpl
Finds the Node for the given resource, possibly creating a new Node.
getNodes() - Method in class org.daml.validator.model.DAMLModelImpl
Return all the nodes in the DAML Model
getOutgoingStatements(Collection, boolean, boolean) - Method in class org.daml.validator.model.DAMLModelImpl.Node
Determine outgoing statements for the Node.
getOutgoingStatements(DAMLModelImpl.Node, boolean, boolean) - Method in class org.daml.validator.model.DAMLModelImpl.Node
 
getOutgoingStatements(Resource, boolean, boolean) - Method in class org.daml.validator.model.DAMLModelImpl.Node
 
getProperty() - Method in class org.daml.validator.model.DAMLModelImpl.Node
Returns the property that a restriction is on.
getProperty(String) - Method in class org.daml.validator.Preferences
 
getProperty(String, String) - Method in class org.daml.validator.Preferences
Get a property's value.
getRange() - Method in class org.daml.validator.model.DAMLModelImpl.Node
Returns a vector of ClassNodes for the Range of this PropertyNode (predicate)
getRangeStatements() - Method in class org.daml.validator.model.DAMLModelImpl.Node
 
getReferencedURIs(Model) - Method in class org.daml.validator.ParseHelper
Returns a set of URIs referenced by the model.
getRestriction(DAMLModelImpl.Node) - Method in class org.daml.validator.model.DAMLModelImpl
 
getRestrictions(boolean) - Method in class org.daml.validator.model.DAMLModelImpl.Node
Returns a set of restriction nodes for the class Node.
getSamePropertyAsStatements() - Method in class org.daml.validator.model.DAMLModelImpl.Node
 
getSimpleTypeSet() - Method in class org.daml.validator.DAMLDatatypeValidator
 
getStatementXML(Statement) - Method in class org.daml.validator.indications.Indication
Generate a statement xml string for Statement.
getSubPropertyOfStatements() - Method in class org.daml.validator.model.DAMLModelImpl.Node
 
getSubstitution(String) - Method in class org.daml.validator.URISubstitution
Get the substitution URI for the original URI.
getType() - Method in class org.daml.validator.model.DAMLModelImpl.Node
Returns the type of a Node if one exists.
getTypes() - Method in class org.daml.validator.model.DAMLModelImpl.Node
Returns a vector of Nodes that are the type classes of this Node.
getTypeStatement() - Method in class org.daml.validator.model.DAMLModelImpl.Node
 
getTypeStatements() - Method in class org.daml.validator.model.DAMLModelImpl.Node
Returns a set of statements that assert the type classes of this Node.
getValues() - Method in class org.daml.validator.model.DAMLModelImpl.Node
Returns a set of RDFNodes from the resource via the rdf:value predicate.
getValueStatements() - Method in class org.daml.validator.model.DAMLModelImpl.Node
 
getWarn(String) - Method in class org.daml.validator.URISubstitution
Determine if a warning needs to be generated for this URI.
getXMLSchemaSchemaURLSet() - Method in class org.daml.validator.DAMLDatatypeValidator
 

H

hasCache(String) - Method in class org.daml.validator.Preferences
Is the uri in the cache.
hasClass - Variable in class org.daml.validator.model.DAMLModelImpl.Restriction
 
HasClassIndication - class org.daml.validator.indications.HasClassIndication.
Indication used for cardinality restriction violations.
HasClassIndication(DAMLModelImpl.Node, DAMLModelImpl.Node, DAMLModelImpl.Restriction, Collection) - Constructor for class org.daml.validator.indications.HasClassIndication
 
hasClassPredicates - Variable in class org.daml.validator.model.DAMLModelImpl
 
hasClassQ - Variable in class org.daml.validator.model.DAMLModelImpl.Restriction
 
hasClassQPredicates - Variable in class org.daml.validator.model.DAMLModelImpl
 
hasNamespace(String) - Method in class org.daml.validator.DAMLDatatypeValidator
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).
hasNext() - Method in class org.daml.validator.model.DAMLModelImpl.List
 
hasSubstitution(String) - Method in class org.daml.validator.URISubstitution
Determine if a URI has a substitution.
hasValue - Variable in class org.daml.validator.model.DAMLModelImpl.Restriction
 
HasValueIndication - class org.daml.validator.indications.HasValueIndication.
Indication used for cardinality restriction violations.
HasValueIndication(DAMLModelImpl.Node, DAMLModelImpl.Node, DAMLModelImpl.Restriction, Collection) - Constructor for class org.daml.validator.indications.HasValueIndication
 
hasValuePredicates - Variable in class org.daml.validator.model.DAMLModelImpl
 

I

implies(DAMLModelImpl.Node, Model) - Method in class org.daml.validator.model.DAMLModelImpl.Node
 
importsPredicates - Variable in class org.daml.validator.ParseHelper
List of Predicates with the DAML imports semantics.
importsPredicates - Variable in class org.daml.validator.model.DAMLModelImpl
Collection of predicates (RDF Resources) that represent the imports predicate
incoming - Variable in class org.daml.validator.model.DAMLModelImpl.Node
All Statements where this node is the object.
IncorrectDomainIndication - class org.daml.validator.indications.IncorrectDomainIndication.
Indication used for domain restriction violations.
IncorrectDomainIndication(Statement, DAMLModelImpl.Node, Collection) - Constructor for class org.daml.validator.indications.IncorrectDomainIndication
Constuctor function.
IncorrectDomainIndication(Statement, Resource, Collection) - Constructor for class org.daml.validator.indications.IncorrectDomainIndication
 
IncorrectRangeIndication - class org.daml.validator.indications.IncorrectRangeIndication.
Indication used for range restriction violations.
IncorrectRangeIndication(Statement, Collection, Collection) - Constructor for class org.daml.validator.indications.IncorrectRangeIndication
 
IncorrectRangeIndication(Statement, DAMLModelImpl.Node, Collection) - Constructor for class org.daml.validator.indications.IncorrectRangeIndication
Constuctor function.
IncorrectRangeIndication(Statement, Resource, Collection) - Constructor for class org.daml.validator.indications.IncorrectRangeIndication
 
Indication - class org.daml.validator.indications.Indication.
Basic validator Indication object used to specify problems found by the validator.
Indication() - Constructor for class org.daml.validator.indications.Indication
Generic indication constructor without message.
Indication(String) - Constructor for class org.daml.validator.indications.Indication
Generic indication constructor with message.
Indication(String, int) - Constructor for class org.daml.validator.indications.Indication
 
indicationCount() - Static method in class org.daml.validator.indications.Indication
Return the number of indications created since the id counter was last reset.
indications - Variable in class org.daml.validator.ParseHelper
Indications generated during parsing.
INFORMATION - Static variable in class org.daml.validator.indications.Indication
Information level type
initialize() - Method in class org.daml.validator.ValidatorAPI
Initialize the validator.
initialize() - Method in class org.daml.validator.Validator
Initialize the validator by clearing out any previously loaded models.
initialize() - Method in class org.daml.validator.DAMLDatatypeValidator
Initialze or reset the DAML Datatype Validator.
initializeDAMLModel(DAMLModelImpl) - Static method in class org.daml.validator.Validator
Associate predicates with the semantics of the DAML model
instance - Variable in class org.daml.validator.indications.RestrictionIndication
The instance that violates the restriction
intersectionOfPredicates - Variable in class org.daml.validator.model.DAMLModelImpl
 
InvalidNamespaceIndication - class org.daml.validator.indications.InvalidNamespaceIndication.
Used when the parser is unable to find a namespace URI.
InvalidNamespaceIndication(String, Stack, Exception) - Constructor for class org.daml.validator.indications.InvalidNamespaceIndication
Constructor for an InvalidNamespaceIndication.
isAKnownSimpleType(String, String) - Method in class org.daml.validator.DAMLDatatypeValidator
Returns true if a datatype definition exists for the given datatype.
isASchema(String) - Method in class org.daml.validator.DAMLDatatypeValidator
Returns true if the URL is an XML Schema file.
isAValidTypedValue(String, String, String, String, String) - Method in class org.daml.validator.DAMLDatatypeValidator
Returns true if the value and type pair is a proper instance if the given datatype.
isAValidValue(String, String, String) - Method in class org.daml.validator.DAMLDatatypeValidator
Returns true if the value is a proper instance of the given datatype.
isClassNode() - Method in class org.daml.validator.model.DAMLModelImpl.Node
Returns true if the Node is a class node.
isDatatypeInstance() - Method in class org.daml.validator.model.DAMLModelImpl.Node
Returns true if the node has a type that is a Datatype.
isDatatypeNode() - Method in class org.daml.validator.model.DAMLModelImpl.Node
Returns true if this Node is a XML Schema Simple Datatype.
isInstanceOf(DAMLModelImpl.Node) - Method in class org.daml.validator.model.DAMLModelImpl.Node
Returns true if this Node is an instance of the class
isInstanceOf(RDFNode, DAMLModelImpl.Node) - Method in class org.daml.validator.model.DAMLModelImpl
 
isInstanceOfResources(Collection) - Method in class org.daml.validator.model.DAMLModelImpl.Node
Returns true of this Node is an instance of one of the superclasses.
isType(Collection) - Method in class org.daml.validator.model.DAMLModelImpl.Node
 
iterator() - Method in class org.daml.validator.URISubstitution
Returns an Iterator over the URIs that have substitutions.
iterator() - Method in class org.daml.validator.model.DAMLModelImpl.NodeSet
 

L

listClasses - Variable in class org.daml.validator.model.DAMLModelImpl
 
literalClasses - Variable in class org.daml.validator.model.DAMLModelImpl
 
LiteralExpectedIndication - class org.daml.validator.indications.LiteralExpectedIndication.
Indication used for typed literals whose value does not match the datatype.
LiteralExpectedIndication(Resource, RDFNode, Set) - Constructor for class org.daml.validator.indications.LiteralExpectedIndication
Constructor function.
loaded - Variable in class org.daml.validator.ParseHelper
URIs that have been loaded
LoadIndication - class org.daml.validator.indications.LoadIndication.
This indication is used to notify the user what files were substituted or loaded from the cache.
LoadIndication(Collection, boolean, int, boolean, int) - Constructor for class org.daml.validator.indications.LoadIndication
Constructor for a CacheIndication.

M

main(String[]) - Static method in class org.daml.validator.ValidatorAPI
Shows and example of how to use the ValidatorAPI.
main(String[]) - Static method in class org.daml.validator.Validator
Main method for running the Validator as an application.
main(String[]) - Static method in class org.daml.validator.Transform
 
main(String[]) - Static method in class org.daml.validator.Cache
Main method for cache maintence functions.
maxCardinality - Variable in class org.daml.validator.model.DAMLModelImpl.Restriction
 
maxCardinalityPredicates - Variable in class org.daml.validator.model.DAMLModelImpl
 
maxCardinalityQ - Variable in class org.daml.validator.model.DAMLModelImpl.Restriction
 
maxCardinalityQPredicates - Variable in class org.daml.validator.model.DAMLModelImpl
 
maxIndications - Variable in class org.daml.validator.Validator
The maximum number of indications to show.
maxRecurseImports - Variable in class org.daml.validator.ParseHelper
The number of levels deep to recursively load imported files.
maxRecurseNS - Variable in class org.daml.validator.ParseHelper
The number of levels deep to recursively load -1 means infinite.
mergeEquivalenceSets(DAMLModelImpl.Node, DAMLModelImpl.Node) - Method in class org.daml.validator.model.DAMLModelImpl
Merge the equivalence relations between the two nodes (and all equivalent nodes).
minCardinality - Variable in class org.daml.validator.model.DAMLModelImpl.Restriction
 
minCardinalityPredicates - Variable in class org.daml.validator.model.DAMLModelImpl
 
minCardinalityQ - Variable in class org.daml.validator.model.DAMLModelImpl.Restriction
 
minCardinalityQPredicates - Variable in class org.daml.validator.model.DAMLModelImpl
 
model - Variable in class org.daml.validator.model.DAMLModelImpl
The Model this DAMLModel is based on.

N

next() - Method in class org.daml.validator.model.DAMLModelImpl.List
 
node - Variable in class org.daml.validator.model.DAMLModelImpl.List
 
node - Variable in class org.daml.validator.model.DAMLModelImpl.Restriction
 
normalizeURI(String) - Method in class org.daml.validator.Preferences
Given a URI, convert it to a namespace string (ie, strip file extension and add ending #).
NotRDFIndication - class org.daml.validator.indications.NotRDFIndication.
Indication for when the parsed URI contains no valid RDF/DAML statements.
NotRDFIndication(String) - Constructor for class org.daml.validator.indications.NotRDFIndication
 

O

objectPropertyClasses - Variable in class org.daml.validator.model.DAMLModelImpl
 
objectRestrictionClasses - Variable in class org.daml.validator.model.DAMLModelImpl
 
onClass - Variable in class org.daml.validator.indications.RestrictionIndication
The instance type to which this restriction applies
oneOfPredicates - Variable in class org.daml.validator.model.DAMLModelImpl
 
onProperty - Variable in class org.daml.validator.model.DAMLModelImpl.Restriction
 
onPropertyPredicates - Variable in class org.daml.validator.model.DAMLModelImpl
 
org.daml.validator - package org.daml.validator
 
org.daml.validator.indications - package org.daml.validator.indications
 
org.daml.validator.model - package org.daml.validator.model
 
OutdatedURIIndication - class org.daml.validator.indications.OutdatedURIIndication.
Indication used when a namespace or imports URI is out of date.
OutdatedURIIndication(String, Stack, String) - Constructor for class org.daml.validator.indications.OutdatedURIIndication
 
outdatedURIs - Variable in class org.daml.validator.Preferences
URISubstitution structure that store the mapping from old to new URIs.
outgoing - Variable in class org.daml.validator.model.DAMLModelImpl.Node
All Statements where this node is the subject.

P

parentNodes(Set) - Static method in class org.daml.validator.model.DAMLModelImpl
Given a vector of nodes, returns a vector of all parent classes for those nodes.
parse(String) - Static method in class org.daml.validator.Preferences
 
parseArguments(String[]) - Method in class org.daml.validator.Cache
 
ParseHelper - class org.daml.validator.ParseHelper.
 
ParseHelper(Preferences, Vector, DAMLDatatypeValidator) - Constructor for class org.daml.validator.ParseHelper
 
ParseIndication - class org.daml.validator.indications.ParseIndication.
A ParseIndication is created if the parser encounters a problem while parsing the URI to validate or a referenced namespace.
ParseIndication(String, Stack, Throwable) - Constructor for class org.daml.validator.indications.ParseIndication
Constructor for a ParseIndication.
parseURI(String, Model, boolean) - Method in class org.daml.validator.ParseHelper
Parses a URI into a model.
parseURIs(Collection, Model, boolean) - Method in class org.daml.validator.ParseHelper
Parses a list of URIs into a model.
Preferences - class org.daml.validator.Preferences.
Parse the preference file
Preferences() - Constructor for class org.daml.validator.Preferences
Parse the given prefernces file and return the results in a new Preference object.
printInfo() - Method in class org.daml.validator.model.DAMLModelImpl.Node
Prints out information about this node.
printwarnings - Variable in class org.daml.validator.ParseHelper
Flag for having the namespace parser to print namespace indications as they are encountered.
propertyClasses - Variable in class org.daml.validator.model.DAMLModelImpl
 
propertyList - Variable in class org.daml.validator.Preferences
Properties
put(String, String, boolean, boolean) - Method in class org.daml.validator.URISubstitution
Add a substitution to the set.

R

rangePredicates - Variable in class org.daml.validator.model.DAMLModelImpl
Collection of predicates (RDF Resources) that represent range
recurseImports - Variable in class org.daml.validator.ParseHelper
Flag denoting if imported ontologies should be loaded.
recurseNS - Variable in class org.daml.validator.ParseHelper
Flag denoting if referenced namespaces should be loaded.
recurseStack - Variable in class org.daml.validator.ParseHelper
Reference Stack for URIs in recurse mode
remove() - Method in class org.daml.validator.model.DAMLModelImpl.List
 
removeFromCache(String) - Method in class org.daml.validator.Preferences
Delete a URI from the cache records.
reset() - Method in class org.daml.validator.Validator
Resets the indications and clears the backing model used to validate against.
reset() - Static method in class org.daml.validator.indications.UndefinedResourceIndication
 
resetIdCounter() - Static method in class org.daml.validator.indications.Indication
Reset the counter used to assign indication ids to 0.
resource - Variable in class org.daml.validator.model.DAMLModelImpl.Node
Resource from RDF-API model.
resourceClasses - Variable in class org.daml.validator.model.DAMLModelImpl
 
ResourceIndication - class org.daml.validator.indications.ResourceIndication.
This is a general indication used when the indication pertains to a resource and the location is a list of statements.
ResourceIndication(Resource, Collection, String, String) - Constructor for class org.daml.validator.indications.ResourceIndication
 
restriction - Variable in class org.daml.validator.indications.RestrictionIndication
The restriction being violated
restrictionClasses - Variable in class org.daml.validator.model.DAMLModelImpl
Collection of classes (RDF Resources) that represent the Restriction class
RestrictionIndication - class org.daml.validator.indications.RestrictionIndication.
Indication used for general restriction violations.
RestrictionIndication(DAMLModelImpl.Node, DAMLModelImpl.Node, DAMLModelImpl.Restriction, Collection) - Constructor for class org.daml.validator.indications.RestrictionIndication
 
run() - Method in class org.daml.validator.Validator
Starts the validation process.

S

samePropertyAsPredicates - Variable in class org.daml.validator.model.DAMLModelImpl
 
save(String) - Method in class org.daml.validator.Preferences
Save the preferences file to the specified filename.
setDAMLVocabulary(String) - Method in class org.daml.validator.model.DAMLModelImpl
 
setLevel(int) - Method in class org.daml.validator.indications.Indication
Set the level of the indication
setMaxIndications(int) - Method in class org.daml.validator.ValidatorAPI
Set the upper limit on the number of indications reported.
setProperty(String, String) - Method in class org.daml.validator.Preferences
Set a property value
size() - Method in class org.daml.validator.model.DAMLModelImpl.NodeSet
 
stack - Variable in class org.daml.validator.indications.URIIndication
The call stack as an array, from the indication URI to the file being verified.
startElement(String, String, String, Attributes) - Method in class org.daml.validator.Preferences
 
StatementIndication - class org.daml.validator.indications.StatementIndication.
Indication used for general indications about statements.
StatementIndication(Statement, String) - Constructor for class org.daml.validator.indications.StatementIndication
Constuctor function.
StatementIndication(Statement, String, String) - Constructor for class org.daml.validator.indications.StatementIndication
Constuctor function.
statements - Variable in class org.daml.validator.indications.RestrictionIndication
The collection of statements for this class and property;
subClassOf(Collection) - Method in class org.daml.validator.model.DAMLModelImpl.Node
Returns true if the node is a subclass of the given collection of Resources.
subClassOf(DAMLModelImpl.Node) - Method in class org.daml.validator.model.DAMLModelImpl.Node
Returns true if the node is a subclass of the given node.
subClassOf(Resource) - Method in class org.daml.validator.model.DAMLModelImpl.Node
Returns true if the node is a subclass of the given Resource.
subClassOfPredicates - Variable in class org.daml.validator.model.DAMLModelImpl
Collection of predicates (RDF Resources) that have a subClass semantic.
subList - Variable in class org.daml.validator.Preferences
Keep a list of original substitution items
subPropertyOfPredicates - Variable in class org.daml.validator.model.DAMLModelImpl
 
substitute - Variable in class org.daml.validator.indications.OutdatedURIIndication
The file extension that was found.

T

testNamespace(String, Stack) - Method in class org.daml.validator.ParseHelper
Tests URI for the existance of a filename extension.
thingClasses - Variable in class org.daml.validator.model.DAMLModelImpl
 
toClass - Variable in class org.daml.validator.model.DAMLModelImpl.Restriction
 
toClassPredicates - Variable in class org.daml.validator.model.DAMLModelImpl
 
toComparableString() - Method in class org.daml.validator.indications.Indication
Generate a string that can be used to compare indications.
toString() - Method in class org.daml.validator.URISubstitution
 
toString() - Method in class org.daml.validator.indications.Indication
Generate a string representation of the indication.
toString() - Method in class org.daml.validator.model.DAMLModelImpl.Node
Returns the string representation of the contained Resource.
toString() - Method in class org.daml.validator.model.DAMLModelImpl.Restriction
 
totalIndications - Static variable in class org.daml.validator.indications.Indication
The number of individual indications.
toXML() - Method in class org.daml.validator.indications.Indication
Generate the XML representation of the indication.
Transform - class org.daml.validator.Transform.
 
Transform() - Constructor for class org.daml.validator.Transform
 
TypedLiteralMismatchIndication - class org.daml.validator.indications.TypedLiteralMismatchIndication.
Indication used for typed literals whose value does not match the datatype.
TypedLiteralMismatchIndication(Resource, Literal, Set) - Constructor for class org.daml.validator.indications.TypedLiteralMismatchIndication
Constructor function.
TypedLiteralValueIndication - class org.daml.validator.indications.TypedLiteralValueIndication.
Indication used for typed literals whose value does not match the datatype.
TypedLiteralValueIndication(Resource, Collection, Set) - Constructor for class org.daml.validator.indications.TypedLiteralValueIndication
Constructor function.
typePredicates - Variable in class org.daml.validator.model.DAMLModelImpl
 

U

UndefinedPropertyIndication - class org.daml.validator.indications.UndefinedPropertyIndication.
This indication is used when there is a resource that is referenced but does not exist.
UndefinedPropertyIndication(Resource, Collection) - Constructor for class org.daml.validator.indications.UndefinedPropertyIndication
Constructor for an UndefinedPropertyIndication.
UndefinedPropertyIndication(Resource, Statement) - Constructor for class org.daml.validator.indications.UndefinedPropertyIndication
Constructor for an UndefinedPropertyIndication.
UndefinedResourceIndication - class org.daml.validator.indications.UndefinedResourceIndication.
This indication is used when there is a resource that is referenced but does not exist.
UndefinedResourceIndication(Resource, Collection) - Constructor for class org.daml.validator.indications.UndefinedResourceIndication
Constructor for an UndefinedResourceIndication.
UndefinedResourceIndication(Resource, Statement) - Constructor for class org.daml.validator.indications.UndefinedResourceIndication
Constructor for an UndefinedResourceIndication.
unionOfPredicates - Variable in class org.daml.validator.model.DAMLModelImpl
 
uri - Variable in class org.daml.validator.indications.URIIndication
URI the indication applies to.
URIIndication - class org.daml.validator.indications.URIIndication.
Generic Indication for URI based Indications.
URIIndication(String, Stack) - Constructor for class org.daml.validator.indications.URIIndication
 
URISubstitution - class org.daml.validator.URISubstitution.
Store and process URI substitutions.
URISubstitution() - Constructor for class org.daml.validator.URISubstitution
Generate a new URI Substitution set.
usage() - Static method in class org.daml.validator.Validator
 
usage() - Static method in class org.daml.validator.Cache
 

V

validate(Model, String) - Method in class org.daml.validator.Validator
Starts the validation process.
validateConsistentNamespaces(Model, DAMLModelImpl) - Method in class org.daml.validator.Validator
Check the namespaces in the validateModel to see if they are identical to other namespaces with or without the file extension.
validateModel(Model, String) - Method in class org.daml.validator.ValidatorAPI
Validate an RDF model against the models previously added.
validateURL(String) - Method in class org.daml.validator.ValidatorAPI
Validate a daml file located at a URL against the previously stored models.
validateURL(URL) - Method in class org.daml.validator.ValidatorAPI
Validate a daml file located at a URL against the previously stored models.
Validator - class org.daml.validator.Validator.
 
Validator() - Constructor for class org.daml.validator.Validator
 
Validator(String) - Constructor for class org.daml.validator.Validator
 
Validator(String[]) - Constructor for class org.daml.validator.Validator
Create Validator and parse arguments.
ValidatorAPI - class org.daml.validator.ValidatorAPI.
Implements an API to the DAML validator.
ValidatorAPI() - Constructor for class org.daml.validator.ValidatorAPI
Generate a Validator API instance using the default preferences file.
ValidatorAPI(String) - Constructor for class org.daml.validator.ValidatorAPI
Generate a Validator API instance using a specified preferences file.
ValidatorModelMem - class org.daml.validator.ValidatorModelMem.
Jena model with a reader that records errors/warnings as Validator indications and suppresses output of ARP warnings.
valuePredicates - Variable in class org.daml.validator.model.DAMLModelImpl
 
VERBOSE - Variable in class org.daml.validator.ParseHelper
 
version - Static variable in class org.daml.validator.Validator
Version of the validator

W

WARNING - Static variable in class org.daml.validator.indications.Indication
Warning level type

A C D E F G H I L M N O P R S T U V W