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

Constructor Summary

Constructors

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

Method Summary

Methods

Modifier and Type	Method and 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 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.