Package net.hydromatic.morel.type

Class Keys.DataTypeKey

java.lang.Object

net.hydromatic.morel.type.Type.Key

net.hydromatic.morel.type.Keys.DataTypeKey

Enclosing class:

Keys

public static class Keys.DataTypeKey
extends Type.Key

Key that identifies a datatype scheme.

Field Summary

Fields

Modifier and Type	Field	Description
private final com.google.common.collect.ImmutableList<Type.Key>	arguments
private final String	name	Ideally, a datatype would not have a name, just a list of named type constructors, and the name would be associated later.
private final com.google.common.collect.ImmutableMap<String,Type.Key>	typeConstructors

Fields inherited from class net.hydromatic.morel.type.Type.Key

op

Constructor Summary

Constructors

Constructor	Description
DataTypeKey(String name, com.google.common.collect.ImmutableList<Type.Key> arguments, com.google.common.collect.ImmutableMap<String,Type.Key> typeConstructors)

Method Summary

Modifier and Type	Method	Description
StringBuilder	describe(StringBuilder buf, int left, int right)	Writes a description of this key to a string builder.
boolean	equals(Object obj)
int	hashCode()
(package private) Type.Key	substitute(List<? extends Type> types)	If this is a type variable ordinal, returns the ordinalth type in the list, otherwise this.
DataType	toType(TypeSystem typeSystem)	Converts this key to a type, and ensures that it is registered in the type system.

Methods inherited from class net.hydromatic.morel.type.Type.Key

copy, toString

Methods inherited from class java.lang.Object

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

Field Details

name

private final String name

Ideally, a datatype would not have a name, just a list of named type constructors, and the name would be associated later. When that happens, we can remove the name field from this key.

arguments

private final com.google.common.collect.ImmutableList<Type.Key> arguments

typeConstructors

private final com.google.common.collect.ImmutableMap<String,Type.Key> typeConstructors

Constructor Details

DataTypeKey

DataTypeKey(String name,
 com.google.common.collect.ImmutableList<Type.Key> arguments,
 com.google.common.collect.ImmutableMap<String,Type.Key> typeConstructors)

Method Details

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

substitute

Type.Key substitute(List<? extends Type> types)

Description copied from class: Type.Key

If this is a type variable ordinal, returns the ordinalth type in the list, otherwise this.

Overrides:

substitute in class Type.Key

describe

public StringBuilder describe(StringBuilder buf,
 int left,
 int right)

Writes a description of this key to a string builder.

Prints the name of this datatype along with any type arguments. Examples:

• order
• 'a option
• (int * int) option
• bool option option
• ('a,'b) tree

Specified by:

describe in class Type.Key

See Also:

• ParameterizedType.computeMoniker(String, List)

toType

public DataType toType(TypeSystem typeSystem)

Description copied from class: Type.Key

Converts this key to a type, and ensures that it is registered in the type system.

Specified by:

toType in class Type.Key