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 List<? extends 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 SortedMap<String,Type.Key>	typeConstructors

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

op

Constructor Summary

Constructors

Constructor	Description
DataTypeKey(String name, List<? extends Type.Key> arguments, SortedMap<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()
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, substitute, 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 List<? extends Type.Key> arguments

typeConstructors

private final SortedMap<String,Type.Key> typeConstructors

Constructor Details

DataTypeKey

DataTypeKey(String name,
 List<? extends Type.Key> arguments,
 SortedMap<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

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