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 class
StatementMatcher.StableRandomVariableProvider
static class
StatementMatcher.Variable<T extends Value>
-
Field Summary
Fields Modifier and Type Field Description private java.util.Set<java.lang.String>
inheritedVarNames
private static StatementMatcher.Variable<Value>
NULL_OBJECT
private static StatementMatcher.Variable<IRI>
NULL_PREDICATE
private static StatementMatcher.Variable<Resource>
NULL_SUBJECT
private StatementMatcher.Variable<? extends Value>
object
private Targetable
origin
private StatementMatcher.Variable<IRI>
predicate
private StatementMatcher.Variable<? extends Resource>
subject
private 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 void
addSubset(StatementMatcher s)
private static java.util.Set<java.lang.String>
calculateVarNames(StatementMatcher.Variable<?> subject, StatementMatcher.Variable<?> predicate, StatementMatcher.Variable<?> object)
boolean
covers(StatementMatcher s)
private static boolean
covers(StatementMatcher.Variable<?> bigger, StatementMatcher.Variable<?> smaller)
boolean
equals(java.lang.Object o)
private static java.lang.String
formatForToString(java.lang.String field, java.lang.String name, Value value)
java.lang.String
getObjectName()
Value
getObjectValue()
Targetable
getOrigin()
java.lang.String
getPredicateName()
IRI
getPredicateValue()
java.lang.String
getSparqlValuesDecl(java.util.Set<java.lang.String> varNamesRestriction, boolean addInheritedVarNames, java.util.Set<java.lang.String> varNamesInQueryFragment)
java.lang.String
getSubjectName()
Resource
getSubjectValue()
java.util.Set<java.lang.String>
getVarNames(java.util.Set<java.lang.String> varNamesRestriction, boolean addInheritedVarNames, java.util.Set<java.lang.String> varNamesInQueryFragment)
int
hashCode()
boolean
hasObject(StatementMatcher.Variable<Value> variable)
boolean
hasSubject(StatementMatcher.Variable<Resource> variable)
boolean
hasSubset(StatementMatcher currentStatementMatcher)
boolean
objectIsWildcard()
boolean
predicateIsWildcard()
static java.util.List<StatementMatcher>
reduce(java.util.List<StatementMatcher> statementMatchers)
boolean
subjectIsWildcard()
static java.util.List<StatementMatcher>
swap(java.util.List<StatementMatcher> statementMatchers, StatementMatcher.Variable<?> existingVariable, StatementMatcher.Variable<?> newVariable)
private StatementMatcher
swap(StatementMatcher.Variable<?> existingVariable, StatementMatcher.Variable<?> newVariable)
java.lang.String
toString()
-
-
-
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:
equals
in classjava.lang.Object
-
hashCode
public int hashCode()
- Overrides:
hashCode
in 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:
toString
in 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)
-
-