Package fr.inria.lille.shexjava.validation

Interface Summary

Interface	Description
ComputationController
Typing	A simpler version of a shape map that associates a Status to pairs of a node and a label.
ValidationAlgorithm	Allows to validate a graph against a ShEx schema.

Class Summary

Class	Description
Bag
BagIterator	Starting from a map that with every Triple associates a set of matching TripleConstraints, allows to iterate over all possible ways to match every triple with a unique constraint.
DataExtractor
DataView
DynamicCollectorOfTripleConstraints	Allows to compute the triple constraints that appear in a shape.
IntervalComputation	Allows to compute the interval for a triple expression and a bag.
LocalMatching	Data structure.
Matcher	Defines a custom condition on whether a neighbor triple matches a triple constraint.
MatchingCollector
PreMatching	A data structure.
RecursiveValidation	Implements the Recursive validation algorithm.
RecursiveValidationWithMemorization	Implements the Recursive validation algorithm with memorization of the result by recursive call if they are correct.
RefineValidation
SORBEBasedValidation	This class implement the algorithm to find a matching based on SORBE.
SORBEGenerator	Allows to compute a SORBE version of a triple expression.
TypingForValidation	An implementation of Typing used during validation.
ValidationAlgorithmAbstract	An implementation of ValidationAlgorithm that offers some common utilities.
ValidationUtils	Contains static methods useful in the different validation alogorithms.

Enum Summary

Enum	Description
Status	Used to represent the status of node w.r.t. its validity for an expression in some schema.