Class MatchResultRecorder

  • All Implemented Interfaces:
    MatchCallback

    public class MatchResultRecorder
    extends java.lang.Object
    implements MatchCallback
    Since:
    Ptolemy II 8.0
    Version:
    $Id$
    Author:
    Thomas Huining Feng
    Pt.AcceptedRating:
    Red (tfeng)
    Pt.ProposedRating:
    Red (tfeng)
    • Constructor Detail

      • MatchResultRecorder

        public MatchResultRecorder()
    • Method Detail

      • foundMatch

        public boolean foundMatch​(GraphMatcher matcher)
        Description copied from interface: MatchCallback
        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.
        Specified by:
        foundMatch in interface MatchCallback
        Parameters:
        matcher - The graph matcher.
        Returns:
        Whether the matching should terminate right away.
      • getResults

        public java.util.List<MatchResult> getResults()