Package net.hydromatic.morel.type

Class Keys.ForallKey

java.lang.Object

net.hydromatic.morel.type.Type.Key

net.hydromatic.morel.type.Keys.ForallKey

Enclosing class:

Keys

private static class Keys.ForallKey
extends Type.Key

Key of a forall type.

Field Summary

Fields

Modifier and Type	Field	Description
(package private) final int	parameterCount
(package private) final Type	type

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

op

Constructor Summary

Constructors

Constructor	Description
ForallKey(Type type, int parameterCount)

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

type

final Type type

parameterCount

final int parameterCount

Constructor Details

ForallKey

ForallKey(Type type,
 int parameterCount)

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)

Description copied from class: Type.Key

Writes a description of this key to a string builder.

Specified by:

describe 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