Package net.hydromatic.morel.type

Class Binding

java.lang.Object

net.hydromatic.morel.type.Binding

public class Binding
extends Object

Binding of a name to a type and a value.

Used in Environment.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static enum	Binding.Kind	What kind of binding?

Field Summary

Fields

Modifier and Type	Field	Description
final Core.Exp	exp
final Core.NamedPat	id
final Binding.Kind	kind	Distinguishes between regular and overloaded values.
final @Nullable Core.IdPat	overloadId
final boolean	parameter	If true, the binding is ignored by inlining.
final Object	value

Constructor Summary

Constructors

Modifier	Constructor	Description
private	Binding(Core.NamedPat id, @Nullable Core.IdPat overloadId, Core.Exp exp, Object value, boolean parameter, Binding.Kind kind)

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object o)
int	hashCode()
static Binding	inst(Core.NamedPat id, Core.IdPat overloadId, Object value)
static Binding	inst(Core.NamedPat id, Core.IdPat overloadId, Core.Exp exp)
boolean	isInst()	Returns whether this binding is an instance of an overloaded name.
static Binding	of(Core.NamedPat id)
static Binding	of(Core.NamedPat id, Object value)
static Binding	of(Core.NamedPat id, Core.Exp exp)
static Binding	over(Core.NamedPat id)
static Binding	over(Core.NamedPat id, Object value)
String	toString()
Binding	withFlattenedName()	Used by Environment.renumber().
Binding	withKind(Binding.Kind kind)
Binding	withParameter(boolean parameter)

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Details

id

public final Core.NamedPat id

exp

public final Core.Exp exp

value

public final Object value

parameter

public final boolean parameter

If true, the binding is ignored by inlining.

kind

public final Binding.Kind kind

Distinguishes between regular and overloaded values.

overloadId

public final @Nullable Core.IdPat overloadId

Constructor Details

Binding

private Binding(Core.NamedPat id,
 @Nullable Core.IdPat overloadId,
 Core.Exp exp,
 Object value,
 boolean parameter,
 Binding.Kind kind)

Method Details

of

public static Binding of(Core.NamedPat id)

over

public static Binding over(Core.NamedPat id,
 Object value)

over

public static Binding over(Core.NamedPat id)

of

public static Binding of(Core.NamedPat id,
 Core.Exp exp)

inst

public static Binding inst(Core.NamedPat id,
 Core.IdPat overloadId,
 Core.Exp exp)

of

public static Binding of(Core.NamedPat id,
 Object value)

inst

public static Binding inst(Core.NamedPat id,
 Core.IdPat overloadId,
 Object value)

withFlattenedName

public Binding withFlattenedName()

Used by Environment.renumber().

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object o)

Overrides:

equals in class Object

withParameter

public Binding withParameter(boolean parameter)

withKind

public Binding withKind(Binding.Kind kind)

isInst

public boolean isInst()

Returns whether this binding is an instance of an overloaded name.

toString

public String toString()

Overrides:

toString in class Object