public interface MatchCallback
GraphMatcher.setMatchCallback(MatchCallback)
Modifier and Type | Method and Description |
---|---|
boolean |
foundMatch(GraphMatcher matcher)
A routine to be called when a match is found in the graph matching.
|
boolean foundMatch(GraphMatcher matcher)
GraphMatcher.getMatchResult()
.
This match result should not be kept, however, because it may be changed
by future matching operations. To keep a copy of this result, invoke
MatchResult.clone()
and keep the cloned copy. The return value
indicates whether the match is the one looked for. If it is
true, the matching will terminate after this routine returns,
and no more match result will be reported.matcher
- The graph matcher.