Package net.hydromatic.morel.type

Class Keys.RecordKey

java.lang.Object

net.hydromatic.morel.type.Type.Key

net.hydromatic.morel.type.Keys.RecordKey

Enclosing class:

Keys

private static class Keys.RecordKey
extends Type.Key

Key of a record type.

Field Summary

Fields

Modifier and Type	Field	Description
(package private) final com.google.common.collect.ImmutableSortedMap<String,Type.Key>	argNameTypes

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

op

Constructor Summary

Constructors

Constructor	Description
RecordKey(com.google.common.collect.ImmutableSortedMap<String,Type.Key> argNameTypes)

Method Summary

Modifier and Type	Method	Description
Type.Key	copy(UnaryOperator<Type.Key> transform)	Copies this key, applying a transform to constituent keys.
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	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

substitute, toString

Methods inherited from class java.lang.Object

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

Field Details

argNameTypes

final com.google.common.collect.ImmutableSortedMap<String,Type.Key> argNameTypes

Constructor Details

RecordKey

RecordKey(com.google.common.collect.ImmutableSortedMap<String,Type.Key> argNameTypes)

Method Details

copy

public Type.Key copy(UnaryOperator<Type.Key> transform)

Description copied from class: Type.Key

Copies this key, applying a transform to constituent keys.

Overrides:

copy 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

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