public final class CallInformation
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
static CallInformation |
create(BinaryReflexiveTransitiveClosure constraint,
java.util.Map<PVariable,java.lang.Integer> variableMapping,
java.util.Set<java.lang.Integer> bindings) |
static CallInformation |
create(BinaryTransitiveClosure constraint,
java.util.Map<PVariable,java.lang.Integer> variableMapping,
java.util.Set<java.lang.Integer> bindings) |
static CallInformation |
create(PatternCallBasedDeferred constraint,
java.util.Map<PVariable,java.lang.Integer> variableMapping,
java.util.Set<java.lang.Integer> bindings) |
static CallInformation |
create(PositivePatternCall pCall,
java.util.Map<PVariable,java.lang.Integer> variableMapping,
java.util.Set<java.lang.Integer> bindings) |
IQueryReference |
getCall() |
CallWithAdornment |
getCallWithAdornment() |
int[] |
getFreeParameterIndices()
Returns the parameter indices that are unbound before the call
|
TupleMask |
getFullFrameMask()
Returns a mask describing how all variables of a Matching Frame are mapped to parameter indexes
|
TupleMask |
getParameterMask()
Returns a mask describing the adornment the called pattern uses
|
MatcherReference |
getReference() |
TupleMask |
getThinFrameMask()
Returns a mask describing how the bound variables of a Matching Frame are mapped to parameter indexes
|
java.util.List<java.lang.Integer> |
getVariablePositions() |
java.lang.String |
toString() |
java.lang.String |
toString(java.util.function.Function<java.lang.Integer,java.lang.String> variableMapping) |
public static CallInformation create(PatternCallBasedDeferred constraint, java.util.Map<PVariable,java.lang.Integer> variableMapping, java.util.Set<java.lang.Integer> bindings)
public static CallInformation create(PositivePatternCall pCall, java.util.Map<PVariable,java.lang.Integer> variableMapping, java.util.Set<java.lang.Integer> bindings)
public static CallInformation create(BinaryTransitiveClosure constraint, java.util.Map<PVariable,java.lang.Integer> variableMapping, java.util.Set<java.lang.Integer> bindings)
public static CallInformation create(BinaryReflexiveTransitiveClosure constraint, java.util.Map<PVariable,java.lang.Integer> variableMapping, java.util.Set<java.lang.Integer> bindings)
public TupleMask getThinFrameMask()
public TupleMask getFullFrameMask()
public TupleMask getParameterMask()
public MatcherReference getReference()
public IQueryReference getCall()
public CallWithAdornment getCallWithAdornment()
public int[] getFreeParameterIndices()
public java.util.List<java.lang.Integer> getVariablePositions()
public java.lang.String toString()
toString
in class java.lang.Object
public java.lang.String toString(java.util.function.Function<java.lang.Integer,java.lang.String> variableMapping)