Overview
Package
Class
Tree
Deprecated
Index
Help
PREV NEXT
FRAMES
NO FRAMES
All Classes
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
Overview
Package
Class
Tree
Deprecated
Index
Help
PREV NEXT
FRAMES
NO FRAMES
All Classes