Class LocalSearchProfilerAdapter
- java.lang.Object
-
- org.eclipse.viatra.query.runtime.localsearch.profiler.LocalSearchProfilerAdapter
-
- All Implemented Interfaces:
ILocalSearchAdapter
public class LocalSearchProfilerAdapter extends java.lang.Object implements ILocalSearchAdapter
This is a simpleILocalSearchAdapterwhich capable of counting each search operation execution then printing it in human readably form (along with the executed plans) usingtoString()- Since:
- 1.5
-
-
Constructor Summary
Constructors Constructor Description LocalSearchProfilerAdapter()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voidoperationExecuted(SearchPlan plan, ISearchOperation operation, MatchingFrame frame, boolean isSuccessful)Callback method to indicate that an operation is executedvoidpatternMatchingStarted(LocalSearchMatcher lsMatcher)Callback method to indicate the start of a matching processjava.lang.StringtoString()-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
-
Methods inherited from interface org.eclipse.viatra.query.runtime.localsearch.matcher.ILocalSearchAdapter
adapterRegistered, adapterUnregistered, duplicateMatchFound, executorInitializing, matchFound, noMoreMatchesAvailable, operationSelected, planChanged
-
-
-
-
Method Detail
-
patternMatchingStarted
public void patternMatchingStarted(LocalSearchMatcher lsMatcher)
Description copied from interface:ILocalSearchAdapterCallback method to indicate the start of a matching process- Specified by:
patternMatchingStartedin interfaceILocalSearchAdapter- Parameters:
lsMatcher- the local search matcher that starts the matching
-
operationExecuted
public void operationExecuted(SearchPlan plan, ISearchOperation operation, MatchingFrame frame, boolean isSuccessful)
Description copied from interface:ILocalSearchAdapterCallback method to indicate that an operation is executed- Specified by:
operationExecutedin interfaceILocalSearchAdapter- Parameters:
plan- the current planframe- the current matching frameisSuccessful- if true, the operation executed successfully, or false if the execution failed and backtracking will happen
-
toString
public java.lang.String toString()
- Overrides:
toStringin classjava.lang.Object
-
-