Package net.hydromatic.morel.compile

Class TypeResolver.BindTypeEnv

java.lang.Object

net.hydromatic.morel.compile.TypeResolver.BindTypeEnv

All Implemented Interfaces:

TypeResolver.TypeEnv

Enclosing class:

TypeResolver

private static class TypeResolver.BindTypeEnv
extends Object
implements TypeResolver.TypeEnv

A type environment that consists of a type environment plus one binding.

Field Summary

Fields

Modifier and Type	Field	Description
private final String	definedName
private final Binding.Kind	kind
private final TypeResolver.TypeEnv	parent
private final Function<TypeSystem,Unifier.Term>	termFactory

Constructor Summary

Constructors

Constructor	Description
BindTypeEnv(String definedName, Binding.Kind kind, Function<TypeSystem,Unifier.Term> termFactory, TypeResolver.TypeEnv parent)

Method Summary

Modifier and Type	Method	Description
void	collectInstances(TypeSystem typeSystem, String name, Consumer<Unifier.Term> consumer)	Collects terms that are instance of name.
int	count(String name)	Returns the number of times a name is bound.
Unifier.Term	get(TypeSystem typeSystem, String name, Function<String,RuntimeException> exceptionFactory)	Returns a term for the variable with a given name, creating if necessary.
private TypeResolver.TypeEnv	getAncestor()	Returns the nearest ancestor of this environment that is not a TypeResolver.BindTypeEnv.
@Nullable Type	getTypeOpt(String name)	Returns the datatype of a variable, or null if no type is known.
boolean	has(String name)	Returns whether a variable of the given name is defined in this environment.
boolean	hasOverloaded(String name)	Returns whether a given name is overloaded in this environment.
String	toString()

Methods inherited from class java.lang.Object

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

Methods inherited from interface net.hydromatic.morel.compile.TypeResolver.TypeEnv

bind, bind, bind, getKind

Field Details

definedName

private final String definedName

kind

private final Binding.Kind kind

termFactory

private final Function<TypeSystem,Unifier.Term> termFactory

parent

private final TypeResolver.TypeEnv parent

Constructor Details

BindTypeEnv

BindTypeEnv(String definedName,
 Binding.Kind kind,
 Function<TypeSystem,Unifier.Term> termFactory,
 TypeResolver.TypeEnv parent)

Method Details

count

public int count(String name)

Description copied from interface: TypeResolver.TypeEnv

Returns the number of times a name is bound.

Specified by:

count in interface TypeResolver.TypeEnv

get

public Unifier.Term get(TypeSystem typeSystem,
 String name,
 Function<String,RuntimeException> exceptionFactory)

Description copied from interface: TypeResolver.TypeEnv

Returns a term for the variable with a given name, creating if necessary.

Specified by:

get in interface TypeResolver.TypeEnv

getTypeOpt

public @Nullable Type getTypeOpt(String name)

Description copied from interface: TypeResolver.TypeEnv

Returns the datatype of a variable, or null if no type is known.

Generally, type is known for built-in values but not for values in this compilation unit.

Specified by:

getTypeOpt in interface TypeResolver.TypeEnv

getAncestor

private TypeResolver.TypeEnv getAncestor()

Returns the nearest ancestor of this environment that is not a TypeResolver.BindTypeEnv.

has

public boolean has(String name)

Description copied from interface: TypeResolver.TypeEnv

Returns whether a variable of the given name is defined in this environment.

Specified by:

has in interface TypeResolver.TypeEnv

hasOverloaded

public boolean hasOverloaded(String name)

Description copied from interface: TypeResolver.TypeEnv

Returns whether a given name is overloaded in this environment.

Specified by:

hasOverloaded in interface TypeResolver.TypeEnv

collectInstances

public void collectInstances(TypeSystem typeSystem,
 String name,
 Consumer<Unifier.Term> consumer)

Description copied from interface: TypeResolver.TypeEnv

Collects terms that are instance of name.

Specified by:

collectInstances in interface TypeResolver.TypeEnv

toString

public String toString()

Overrides:

toString in class Object