edu.umd.cs.findbugs.ba.bcp

Class BindingSet

public class BindingSet extends Object

A set of Bindings, which are definitions of variables occuring in a ByteCodePattern. BindingSets are immutable; to add a binding, a new cell is allocated. (Are we CONSING yet?)

Author: David Hovemeyer

See Also: Binding

Constructor Summary
	BindingSet(Binding binding, BindingSet parent) Constructor; creates a new BindingSet as an extension of an existing one.

Method Summary
Binding	lookup(String varName) Look for a Binding for given variable.

Constructor Detail

BindingSet

public BindingSet(Binding binding, BindingSet parent)

Constructor; creates a new BindingSet as an extension of an existing one.

Parameters: binding a variable binding parent the parent BindingSet, containing other bindings

Method Detail

lookup

public Binding lookup(String varName)

Look for a Binding for given variable.

Parameters: varName name of the variable

Returns: the Binding, or null if no such Binding is present in the set