Package net.hydromatic.morel.compile

Class TypeResolver.PlusSubst

java.lang.Object

net.hydromatic.morel.compile.TypeResolver.Subst

net.hydromatic.morel.compile.TypeResolver.PlusSubst

Enclosing class:

TypeResolver

private static class TypeResolver.PlusSubst
extends TypeResolver.Subst

Substitution that adds one (type, variable) assignment to a parent substitution.

Field Summary

Fields

Modifier and Type	Field	Description
(package private) final TypeResolver.Subst	parent
(package private) final TypeVar	typeVar
(package private) final Unifier.Variable	variable

Fields inherited from class net.hydromatic.morel.compile.TypeResolver.Subst

EMPTY

Constructor Summary

Constructors

Constructor	Description
PlusSubst(TypeResolver.Subst parent, TypeVar typeVar, Unifier.Variable variable)

Method Summary

Modifier and Type	Method	Description
(package private) Unifier.Variable	get(TypeVar typeVar)
String	toString()

Methods inherited from class net.hydromatic.morel.compile.TypeResolver.Subst

plus

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Details

parent

final TypeResolver.Subst parent

typeVar

final TypeVar typeVar

variable

final Unifier.Variable variable

Constructor Details

PlusSubst

PlusSubst(TypeResolver.Subst parent,
 TypeVar typeVar,
 Unifier.Variable variable)

Method Details

get

Unifier.Variable get(TypeVar typeVar)

Specified by:

get in class TypeResolver.Subst

toString

public String toString()

Overrides:

toString in class Object