public class BinaryTransitiveClosureCheck extends java.lang.Object implements ISearchOperation, IPatternMatcherOperation
ISearchOperation.ISearchOperationExecutor| Constructor and Description |
|---|
BinaryTransitiveClosureCheck(CallInformation information,
int sourcePosition,
int targetPosition,
boolean reflexive)
The source position will be matched in the called pattern to the first parameter; while target to the second.
|
| Modifier and Type | Method and Description |
|---|---|
ISearchOperation.ISearchOperationExecutor |
createExecutor()
Initializes a new operation executor for the given operation.
|
CallInformation |
getCallInformation()
Returns the precomputed call information associated with the current operation
|
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)
Creates a string representation of the search operation by replacing the variable numbers according to the
parameter function.
|
public BinaryTransitiveClosureCheck(CallInformation information, int sourcePosition, int targetPosition, boolean reflexive)
public ISearchOperation.ISearchOperationExecutor createExecutor()
ISearchOperationcreateExecutor in interface ISearchOperationpublic java.lang.String toString()
toString in class java.lang.Objectpublic java.lang.String toString(java.util.function.Function<java.lang.Integer,java.lang.String> variableMapping)
ISearchOperationISearchOperation.getVariablePositions(); otherwise a NullPointerException will be
thrown during the calculation of the string.toString in interface ISearchOperationpublic java.util.List<java.lang.Integer> getVariablePositions()
getVariablePositions in interface ISearchOperationpublic CallInformation getCallInformation()
IPatternMatcherOperationgetCallInformation in interface IPatternMatcherOperation