Package net.hydromatic.morel.compile

Enum TypeResolver.EmptyTypeEnv

java.lang.Object

java.lang.Enum<TypeResolver.EmptyTypeEnv>

net.hydromatic.morel.compile.TypeResolver.EmptyTypeEnv

All Implemented Interfaces:

Serializable, Comparable<TypeResolver.EmptyTypeEnv>, java.lang.constant.Constable, TypeResolver.TypeEnv

Enclosing class:

TypeResolver

static enum TypeResolver.EmptyTypeEnv
extends Enum<TypeResolver.EmptyTypeEnv>
implements TypeResolver.TypeEnv

Empty type environment.

Nested Class Summary

Nested classes/interfaces inherited from class java.lang.Enum

Enum.EnumDesc<E extends Enum<E>>

Enum Constant Summary

Enum Constants

Enum Constant	Description
INSTANCE

Constructor Summary

Constructors

Modifier	Constructor	Description
private	EmptyTypeEnv()

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.
String	toString()
static TypeResolver.EmptyTypeEnv	valueOf(String name)	Returns the enum constant of this type with the specified name.
static TypeResolver.EmptyTypeEnv[]	values()	Returns an array containing the constants of this enum type, in the order they are declared.

Methods inherited from class java.lang.Enum

clone, compareTo, describeConstable, equals, finalize, getDeclaringClass, hashCode, name, ordinal, valueOf

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

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

bind, bind, bind, collectInstances, count, getKind, hasOverloaded

Enum Constant Details

INSTANCE

public static final TypeResolver.EmptyTypeEnv INSTANCE

Constructor Details

EmptyTypeEnv

private EmptyTypeEnv()

Method Details

values

public static TypeResolver.EmptyTypeEnv[] values()

Returns an array containing the constants of this enum type, in the order they are declared.

Returns:

an array containing the constants of this enum type, in the order they are declared

valueOf

public static TypeResolver.EmptyTypeEnv valueOf(String name)

Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)

Parameters:

name - the name of the enum constant to be returned.

Returns:

the enum constant with the specified name

Throws:

IllegalArgumentException - if this enum type has no constant with the specified name

NullPointerException - if the argument is null

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

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

toString

public String toString()

Overrides:

toString in class Enum<TypeResolver.EmptyTypeEnv>