Package net.hydromatic.morel.compile

Class TypeResolver.EnvironmentTypeEnv

java.lang.Object

net.hydromatic.morel.compile.TypeResolver.EnvironmentTypeEnv

All Implemented Interfaces:

TypeResolver.TypeEnv

Enclosing class:

TypeResolver

private class TypeResolver.EnvironmentTypeEnv
extends Object
implements TypeResolver.TypeEnv

Type environment based on an Environment.

Field Summary

Fields

Modifier and Type	Field	Description
private final Environment	env
private final TypeResolver.TypeEnv	parent

Constructor Summary

Constructors

Constructor	Description
EnvironmentTypeEnv(Environment env, TypeResolver.TypeEnv parent)

Method Summary

Modifier and Type	Method	Description
Unifier.Term	get(TypeSystem typeSystem, String name, Function<String,RuntimeException> exceptionFactory)	Returns a term for the variable with a given name, creating if necessary.
@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.

Methods inherited from class java.lang.Object

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

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

bind, bind, bind, collectInstances, count, getKind

Field Details

env

private final Environment env

parent

private final TypeResolver.TypeEnv parent

Constructor Details

EnvironmentTypeEnv

EnvironmentTypeEnv(Environment env,
 TypeResolver.TypeEnv parent)

Method Details

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

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

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