Class MatchingResult


  • public class MatchingResult
    extends Object
    Class representing the result from type matching done by a MatchingRoutine. Contains the original candidates which match the types specified by OpRequest and the final matches that match all inputs, outputs, and arguments.
    Author:
    David Kolb
    • Method Detail

      • getOriginalQueries

        public List<OpRequest> getOriginalQueries()
      • matchInfo

        public static String matchInfo​(MatchingResult res)
        Gets a string with an analysis of a particular match request failure.

        This method is used to generate informative exception messages when no matches, or too many matches, are found.

        Parameters:
        res - The result of type matching
        Returns:
        A multi-line string describing the situation: 1) the type of match failure; 2) the list of matching ops (if any); 3) the request itself; and 4) the list of candidates including status (i.e., whether it matched, and if not, why not).