Package net.hydromatic.morel.type

Class Keys.ApplyKey

java.lang.Object

net.hydromatic.morel.type.Type.Key

net.hydromatic.morel.type.Keys.ApplyKey

Enclosing class:

Keys

private static class Keys.ApplyKey
extends Type.Key

Key of a type that applies a parameterized type to specific type arguments.

Field Summary

Fields

Modifier and Type	Field	Description
(package private) final com.google.common.collect.ImmutableList<Type.Key>	args
(package private) final Type.Key	key

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

op

Constructor Summary

Constructors

Constructor	Description
ApplyKey(Type.Key key, com.google.common.collect.ImmutableList<Type.Key> args)

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

key

final Type.Key key

args

final com.google.common.collect.ImmutableList<Type.Key> args

Constructor Details

ApplyKey

ApplyKey(Type.Key key,
 com.google.common.collect.ImmutableList<Type.Key> args)

Method Details

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

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