public class CheckPositivePatternCall extends CheckOperation
Constructor and Description |
---|
CheckPositivePatternCall(MatcherReference calledQuery,
java.util.Map<PParameter,java.lang.Integer> frameMapping) |
Modifier and Type | Method and Description |
---|---|
boolean |
check(MatchingFrame frame)
Executes the checking operation
|
java.util.List<java.lang.Integer> |
getVariablePositions() |
void |
onInitialize(MatchingFrame frame,
ISearchContext context)
During the execution of the corresponding plan, the onInitialize callback is evaluated before the execution of
the operation may begin.
|
java.lang.String |
toString() |
execute, onBacktrack
public CheckPositivePatternCall(MatcherReference calledQuery, java.util.Map<PParameter,java.lang.Integer> frameMapping)
public void onInitialize(MatchingFrame frame, ISearchContext context) throws LocalSearchException
ISearchOperation
onInitialize
in interface ISearchOperation
onInitialize
in class CheckOperation
LocalSearchException
public boolean check(MatchingFrame frame) throws LocalSearchException
CheckOperation
check
in class CheckOperation
LocalSearchException
public java.util.List<java.lang.Integer> getVariablePositions()
public java.lang.String toString()
toString
in class java.lang.Object