public class CountOperation extends ExtendOperation<java.lang.Integer> implements IPatternMatcherOperation
it, position
Constructor and Description |
---|
CountOperation(CallInformation information,
int position) |
Modifier and Type | Method and Description |
---|---|
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 CountOperation(CallInformation information, int position)
public void onInitialize(MatchingFrame frame, ISearchContext context) throws LocalSearchException
ISearchOperation
onInitialize
in interface ISearchOperation
LocalSearchException
public java.util.List<java.lang.Integer> getVariablePositions()
getVariablePositions
in interface ISearchOperation
public java.lang.String toString()
toString
in class java.lang.Object