Class MatchResult


  • public class MatchResult
    extends java.lang.Object
    The result of matching a single PatternElement against a single instruction. Specifies the PatternElement and the (possibly updated) BindingSet. The reason we need this class is because some kinds of PatternElements, such as MatchAny, may use it to indicate that a child PatternElement was the one that actually matched the instruction.
    Author:
    David Hovemeyer
    See Also:
    PatternElement, BindingSet
    • Constructor Detail

      • MatchResult

        public MatchResult​(PatternElement patternElement,
                           BindingSet bindingSet)
        Constructor.
        Parameters:
        patternElement - the PatternElement that matched the instruction
        bindingSet - the possibly updated BindingSet
    • Method Detail

      • getPatternElement

        public PatternElement getPatternElement()
        Get the PatternElement.
      • getBindingSet

        public BindingSet getBindingSet()
        Get the BindingSet.