Package edu.umd.cs.findbugs.ba.bcp

Class MatchResult

java.lang.Object

edu.umd.cs.findbugs.ba.bcp.MatchResult

public class MatchResult
extends 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 Summary

Constructors

Constructor	Description
MatchResult(PatternElement patternElement, BindingSet bindingSet)	Constructor.

Method Summary

Modifier and Type	Method	Description
BindingSet	getBindingSet()	Get the BindingSet.
PatternElement	getPatternElement()	Get the PatternElement.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

MatchResult

public MatchResult(PatternElement patternElement,
 BindingSet bindingSet)

Constructor.

Parameters:

patternElement - the PatternElement that matched the instruction

bindingSet - the possibly updated BindingSet

Method Details

getPatternElement

public PatternElement getPatternElement()

Get the PatternElement.

getBindingSet

public BindingSet getBindingSet()

Get the BindingSet.