fr.inria.lille.shexjava.validation

Class ValidationAlgorithmAbstract

java.lang.Object

fr.inria.lille.shexjava.validation.ValidationAlgorithmAbstract

All Implemented Interfaces:

ValidationAlgorithm

Direct Known Subclasses:

SORBEBasedValidation

public abstract class ValidationAlgorithmAbstract
extends Object
implements ValidationAlgorithm

An implementation of ValidationAlgorithm that offers some common utilities.

Author:

Iovka Boneva 2 août 2018

Field Summary

Fields

Modifier and Type	Field and Description
protected DynamicCollectorOfTripleConstraints	collectorTC
protected ComputationController	compController
protected org.apache.commons.rdf.api.Graph	graph
protected ShexSchema	schema

Constructor Summary

Constructors

Constructor and Description
ValidationAlgorithmAbstract(ShexSchema schema, org.apache.commons.rdf.api.Graph graph)

Method Summary

Modifier and Type	Method and Description
void	addMatchingObserver(MatchingCollector o)
protected ComputationController	getCompController()
void	notifyMatchingFound(org.apache.commons.rdf.api.RDFTerm focusNode, Label label, LocalMatching matching) Notifies all observers that a matching was found, or that no matching is known for the given focusNode and label.
void	notifyStartValidation() Notifies all observers that a validation just started.
void	notifyValidationComplete() Notifies all observers that a validation just ended.
protected abstract boolean	performValidation(org.apache.commons.rdf.api.RDFTerm focusNode, Label label)
void	removeMatchingObserver(MatchingCollector o)
ResultShapeMap	validate(BaseShapeMap shapeMap) Constructs a shape map that allows to validate a focus node against a type.
ResultShapeMap	validate(BaseShapeMap shapeMap, ComputationController compController) Constructs a shape map that allows to validate a focus node against a type.
boolean	validate(org.apache.commons.rdf.api.RDFTerm focusNode, Label label) (non-Javadoc)
boolean	validate(org.apache.commons.rdf.api.RDFTerm focusNode, Label label, ComputationController compController) Constructs a shape map that allows to validate a focus node against a type.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface fr.inria.lille.shexjava.validation.ValidationAlgorithm

getTyping, resetTyping

Field Detail

graph

protected org.apache.commons.rdf.api.Graph graph

schema

protected ShexSchema schema

compController

protected ComputationController compController

collectorTC

protected DynamicCollectorOfTripleConstraints collectorTC

Constructor Detail

ValidationAlgorithmAbstract

public ValidationAlgorithmAbstract(ShexSchema schema,
                                   org.apache.commons.rdf.api.Graph graph)

Method Detail

performValidation

protected abstract boolean performValidation(org.apache.commons.rdf.api.RDFTerm focusNode,
                                             Label label)
                                      throws Exception

Throws:

Exception

validate

public boolean validate(org.apache.commons.rdf.api.RDFTerm focusNode,
                        Label label)

(non-Javadoc)

Specified by:

validate in interface ValidationAlgorithm

Parameters:

focusNode - The focus node for which the shape map is to be complete. The node must belong to the graph.

label - The label against which the node is being tested.

Returns:

true iff the subsequent call to Typing#getStatus returns Status.CONFORMANT

See Also:

ValidationAlgorithm.validate(org.apache.commons.rdf.api.RDFTerm, fr.inria.lille.shexjava.schema.Label)

validate

public boolean validate(org.apache.commons.rdf.api.RDFTerm focusNode,
                        Label label,
                        ComputationController compController)
                 throws Exception

Description copied from interface: ValidationAlgorithm

Constructs a shape map that allows to validate a focus node against a type. Returns true if the focus node is conformant with the expression which label is given, and returns false otherwise.

Specified by:

validate in interface ValidationAlgorithm

Parameters:

focusNode - The focus node for which the shape map is to be complete. The node must belong to the graph.

label - The label against which the node is being tested.

Returns:

true iff the subsequent call to Typing#getStatus returns Status.CONFORMANT

Throws:

IllegalArgumentException - if the label does not belong to the schema

Exception

validate

public ResultShapeMap validate(BaseShapeMap shapeMap)

Description copied from interface: ValidationAlgorithm

Constructs a shape map that allows to validate a focus node against a type. Returns a shape map with the results of the associations found in the shapeMap passed to the function.

Specified by:

validate in interface ValidationAlgorithm

Parameters:

shapeMap - The shapeMap with the asociations requested.

Returns:

a shape map with the result

validate

public ResultShapeMap validate(BaseShapeMap shapeMap,
                               ComputationController compController)
                        throws Exception

Description copied from interface: ValidationAlgorithm

Constructs a shape map that allows to validate a focus node against a type. Returns a shape map with the results of the associations found in the shapeMap passed to the function.

Specified by:

validate in interface ValidationAlgorithm

Parameters:

shapeMap - The shapeMap with the asociations requested.

Returns:

a shape map with the result

Throws:

IllegalArgumentException - if the label does not belong to the schema

Exception

notifyMatchingFound

public void notifyMatchingFound(org.apache.commons.rdf.api.RDFTerm focusNode,
                                Label label,
                                LocalMatching matching)

Description copied from interface: ValidationAlgorithm

Notifies all observers that a matching was found, or that no matching is known for the given focusNode and label. The matching provided by this notification is not guaranteed to be valid w.r.t. the eventually computed correct typing that will be returned by ValidationAlgorithm.getTyping(). The ValidationAlgorithm guarantees however that for any given focusNode and label, the notification regarding these focusNode and label that is the last one between two consecutive calls of ValidationAlgorithm.notifyStartValidation() and ValidationAlgorithm.notifyValidationComplete(), contains a matching that is valid within the typing returned by ValidationAlgorithm.getTyping().

Specified by:

notifyMatchingFound in interface ValidationAlgorithm

matching - null means that no matching is known

notifyStartValidation

public void notifyStartValidation()

Description copied from interface: ValidationAlgorithm

Notifies all observers that a validation just started. Is called at the begining of ValidationAlgorithm.validate(RDFTerm, Label)

Specified by:

notifyStartValidation in interface ValidationAlgorithm

notifyValidationComplete

public void notifyValidationComplete()

Description copied from interface: ValidationAlgorithm

Notifies all observers that a validation just ended.

Specified by:

notifyValidationComplete in interface ValidationAlgorithm

addMatchingObserver

public void addMatchingObserver(MatchingCollector o)

Specified by:

addMatchingObserver in interface ValidationAlgorithm

removeMatchingObserver

public void removeMatchingObserver(MatchingCollector o)

Specified by:

removeMatchingObserver in interface ValidationAlgorithm

getCompController

protected ComputationController getCompController()