edu.umd.cs.findbugs.ba.bcp
Class MatchResult
java.lang.Object
edu.umd.cs.findbugs.ba.bcp.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
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
patternElement
private PatternElement patternElement
bindingSet
private BindingSet bindingSet
MatchResult
public MatchResult(PatternElement patternElement,
BindingSet bindingSet)
- Constructor.
- Parameters:
patternElement
- the PatternElement that matched the instructionbindingSet
- the possibly updated BindingSet
getPatternElement
public PatternElement getPatternElement()
- Get the PatternElement.
getBindingSet
public BindingSet getBindingSet()
- Get the BindingSet.