fr.inria.lille.shexjava.validation

Class IntervalComputation

java.lang.Object

fr.inria.lille.shexjava.schema.analysis.TripleExpressionVisitor<Interval>

fr.inria.lille.shexjava.validation.IntervalComputation

public class IntervalComputation
extends TripleExpressionVisitor<Interval>

Allows to compute the interval for a triple expression and a bag. The Interval Algorithm is defined only for shape expressions that satisfy the following constraints: - Arbitrary cardinalities are allowed only on triple constraints. An "arbitrary" cardinality is one different from Interval.OPT, Interval.PLUS, Interval.STAR. - A Interval.PLUS cardinality is allowed only if the sub expression does not contain the empty bag. If the expression does not satisfy one of these, a IllegalArgumentException is thrown.

Author:

Iovka Boneva

Constructor Summary

Constructors

Constructor and Description
IntervalComputation(DynamicCollectorOfTripleConstraints collectorTC)

Method Summary

Modifier and Type	Method and Description
Interval	getResult()
void	visitEachOf(EachOf expr, Object... arguments)
void	visitEmpty(EmptyTripleExpression emptyTripleExpression, Object[] arguments)
void	visitOneOf(OneOf expr, Object... arguments)
void	visitRepeated(RepeatedTripleExpression expression, Object[] arguments)
void	visitTripleConstraint(TripleConstraint tc, Object... arguments)
void	visitTripleExprReference(TripleExprRef expr, Object... arguments)

Methods inherited from class java.lang.Object

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

Constructor Detail

IntervalComputation

public IntervalComputation(DynamicCollectorOfTripleConstraints collectorTC)

Method Detail

getResult

public Interval getResult()

Specified by:

getResult in class TripleExpressionVisitor<Interval>

visitTripleConstraint

public void visitTripleConstraint(TripleConstraint tc,
                                  Object... arguments)

Specified by:

visitTripleConstraint in class TripleExpressionVisitor<Interval>

visitEmpty

public void visitEmpty(EmptyTripleExpression emptyTripleExpression,
                       Object[] arguments)

Specified by:

visitEmpty in class TripleExpressionVisitor<Interval>

visitOneOf

public void visitOneOf(OneOf expr,
                       Object... arguments)

Overrides:

visitOneOf in class TripleExpressionVisitor<Interval>

visitEachOf

public void visitEachOf(EachOf expr,
                        Object... arguments)

Overrides:

visitEachOf in class TripleExpressionVisitor<Interval>

visitRepeated

public void visitRepeated(RepeatedTripleExpression expression,
                          Object[] arguments)

Overrides:

visitRepeated in class TripleExpressionVisitor<Interval>

visitTripleExprReference

public void visitTripleExprReference(TripleExprRef expr,
                                     Object... arguments)

Specified by:

visitTripleExprReference in class TripleExpressionVisitor<Interval>