A routine to be called when a match is found in the graph matching. The
graph matcher is passed in as the parameter, and the current match can
be obtained by calling
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.