Package net.hydromatic.morel.type

Class Keys.OrdinalKey

java.lang.Object

net.hydromatic.morel.type.Type.Key

net.hydromatic.morel.type.Keys.OrdinalKey

Enclosing class:

Keys

private static class Keys.OrdinalKey
extends Type.Key

Key that identifies a type by ordinal.

Field Summary

Fields

Modifier and Type	Field	Description
(package private) final int	ordinal

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

op

Constructor Summary

Constructors

Constructor	Description
OrdinalKey(int ordinal)

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()
Type.Key	substitute(List<? extends Type> types)	If this is a type variable ordinal, returns the ordinalth type in the list, otherwise this.
String	toString()	Returns a description of this key.
Type	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

Methods inherited from class java.lang.Object

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

Field Details

ordinal

final int ordinal

Constructor Details

OrdinalKey

OrdinalKey(int ordinal)

Method Details

toString

public String toString()

Description copied from class: Type.Key

Returns a description of this key.

The default implementation calls Type.Key.describe(StringBuilder, int, int), but subclasses may override to provide a more efficient implementation.

Overrides:

toString in class Type.Key

describe

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

Description copied from class: Type.Key

Writes a description of this key to a string builder.

Specified by:

describe in class Type.Key

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

substitute

public 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

toType

public Type 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