Bindings

public class Bindings
extends java.lang.Object

Fields
Modifier and Type	Field and Description
`static Bindings`	`NONE`

Constructors
Constructor and Description
`Bindings(BindingPattern[] bindings)`
`Bindings(int count)`

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`void`	`checkAllBound(IScope scope)`
`void`	`checkEquals(Bindings other, IScope scope)` signals an error if one has a binding and other doesn't
`Bindings`	`copy()`
`int[]`	`getUsedFormals()`
`UnresolvedType[]`	`getUsedFormalTypes()`
`void`	`mergeIn(Bindings other, IScope scope)`
`void`	`register(BindingPattern binding, IScope scope)`
`int`	`size()`
`java.lang.String`	`toString()`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

public Bindings(BindingPattern[] bindings)

public void register(BindingPattern binding,
                     IScope scope)

public void mergeIn(Bindings other,
                    IScope scope)

public void checkEquals(Bindings other,
                        IScope scope)

signals an error if one has a binding and other doesn't

public UnresolvedType[] getUsedFormalTypes()

public void checkAllBound(IScope scope)

Class Bindings