Package org.eclipse.rdf4j.sail.shacl.ast
Class StatementMatcher
- java.lang.Object
-
- org.eclipse.rdf4j.sail.shacl.ast.StatementMatcher
-
public class StatementMatcher extends java.lang.Object
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static classStatementMatcher.StableRandomVariableProviderstatic classStatementMatcher.Variable<T extends Value>
-
Field Summary
Fields Modifier and Type Field Description private java.util.Set<java.lang.String>inheritedVarNamesprivate static StatementMatcher.Variable<Value>NULL_OBJECTprivate static StatementMatcher.Variable<IRI>NULL_PREDICATEprivate static StatementMatcher.Variable<Resource>NULL_SUBJECTprivate StatementMatcher.Variable<? extends Value>objectprivate Targetableoriginprivate StatementMatcher.Variable<IRI>predicateprivate StatementMatcher.Variable<? extends Resource>subjectprivate java.util.List<StatementMatcher>subset
-
Constructor Summary
Constructors Constructor Description StatementMatcher(StatementMatcher.Variable<? extends Resource> subject, StatementMatcher.Variable<IRI> predicate, StatementMatcher.Variable<? extends Value> object, Targetable origin, java.util.Set<java.lang.String> inheritedVarNames)
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description private voidaddSubset(StatementMatcher s)private static java.util.Set<java.lang.String>calculateVarNames(StatementMatcher.Variable<?> subject, StatementMatcher.Variable<?> predicate, StatementMatcher.Variable<?> object)booleancovers(StatementMatcher s)private static booleancovers(StatementMatcher.Variable<?> bigger, StatementMatcher.Variable<?> smaller)booleanequals(java.lang.Object o)private static java.lang.StringformatForToString(java.lang.String field, java.lang.String name, Value value)java.lang.StringgetObjectName()ValuegetObjectValue()TargetablegetOrigin()java.lang.StringgetPredicateName()IRIgetPredicateValue()java.lang.StringgetSparqlValuesDecl(java.util.Set<java.lang.String> varNamesRestriction, boolean addInheritedVarNames, java.util.Set<java.lang.String> varNamesInQueryFragment)java.lang.StringgetSubjectName()ResourcegetSubjectValue()java.util.Set<java.lang.String>getVarNames(java.util.Set<java.lang.String> varNamesRestriction, boolean addInheritedVarNames, java.util.Set<java.lang.String> varNamesInQueryFragment)inthashCode()booleanhasObject(StatementMatcher.Variable<Value> variable)booleanhasSubject(StatementMatcher.Variable<Resource> variable)booleanhasSubset(StatementMatcher currentStatementMatcher)booleanobjectIsWildcard()booleanpredicateIsWildcard()static java.util.List<StatementMatcher>reduce(java.util.List<StatementMatcher> statementMatchers)booleansubjectIsWildcard()static java.util.List<StatementMatcher>swap(java.util.List<StatementMatcher> statementMatchers, StatementMatcher.Variable<?> existingVariable, StatementMatcher.Variable<?> newVariable)private StatementMatcherswap(StatementMatcher.Variable<?> existingVariable, StatementMatcher.Variable<?> newVariable)java.lang.StringtoString()
-
-
-
Field Detail
-
subject
private final StatementMatcher.Variable<? extends Resource> subject
-
predicate
private final StatementMatcher.Variable<IRI> predicate
-
object
private final StatementMatcher.Variable<? extends Value> object
-
origin
private final Targetable origin
-
inheritedVarNames
private final java.util.Set<java.lang.String> inheritedVarNames
-
subset
private java.util.List<StatementMatcher> subset
-
NULL_SUBJECT
private static final StatementMatcher.Variable<Resource> NULL_SUBJECT
-
NULL_PREDICATE
private static final StatementMatcher.Variable<IRI> NULL_PREDICATE
-
NULL_OBJECT
private static final StatementMatcher.Variable<Value> NULL_OBJECT
-
-
Constructor Detail
-
StatementMatcher
public StatementMatcher(StatementMatcher.Variable<? extends Resource> subject, StatementMatcher.Variable<IRI> predicate, StatementMatcher.Variable<? extends Value> object, Targetable origin, java.util.Set<java.lang.String> inheritedVarNames)
-
-
Method Detail
-
calculateVarNames
private static java.util.Set<java.lang.String> calculateVarNames(StatementMatcher.Variable<?> subject, StatementMatcher.Variable<?> predicate, StatementMatcher.Variable<?> object)
-
reduce
public static java.util.List<StatementMatcher> reduce(java.util.List<StatementMatcher> statementMatchers)
-
addSubset
private void addSubset(StatementMatcher s)
-
swap
public static java.util.List<StatementMatcher> swap(java.util.List<StatementMatcher> statementMatchers, StatementMatcher.Variable<?> existingVariable, StatementMatcher.Variable<?> newVariable)
-
formatForToString
private static java.lang.String formatForToString(java.lang.String field, java.lang.String name, Value value)
-
swap
private StatementMatcher swap(StatementMatcher.Variable<?> existingVariable, StatementMatcher.Variable<?> newVariable)
-
covers
public boolean covers(StatementMatcher s)
-
covers
private static boolean covers(StatementMatcher.Variable<?> bigger, StatementMatcher.Variable<?> smaller)
-
getSubjectName
public java.lang.String getSubjectName()
-
getSubjectValue
public Resource getSubjectValue()
-
subjectIsWildcard
public boolean subjectIsWildcard()
-
getPredicateName
public java.lang.String getPredicateName()
-
getPredicateValue
public IRI getPredicateValue()
-
predicateIsWildcard
public boolean predicateIsWildcard()
-
getObjectName
public java.lang.String getObjectName()
-
getObjectValue
public Value getObjectValue()
-
objectIsWildcard
public boolean objectIsWildcard()
-
equals
public boolean equals(java.lang.Object o)
- Overrides:
equalsin classjava.lang.Object
-
hashCode
public int hashCode()
- Overrides:
hashCodein classjava.lang.Object
-
getSparqlValuesDecl
public java.lang.String getSparqlValuesDecl(java.util.Set<java.lang.String> varNamesRestriction, boolean addInheritedVarNames, java.util.Set<java.lang.String> varNamesInQueryFragment)
-
getVarNames
public java.util.Set<java.lang.String> getVarNames(java.util.Set<java.lang.String> varNamesRestriction, boolean addInheritedVarNames, java.util.Set<java.lang.String> varNamesInQueryFragment)
-
toString
public java.lang.String toString()
- Overrides:
toStringin classjava.lang.Object
-
hasSubset
public boolean hasSubset(StatementMatcher currentStatementMatcher)
-
getOrigin
public Targetable getOrigin()
-
hasSubject
public boolean hasSubject(StatementMatcher.Variable<Resource> variable)
-
hasObject
public boolean hasObject(StatementMatcher.Variable<Value> variable)
-
-