Package net.hydromatic.morel.compile

Class TypeResolver.EmptySubst

java.lang.Object

net.hydromatic.morel.compile.TypeResolver.Subst

net.hydromatic.morel.compile.TypeResolver.EmptySubst

Enclosing class:

TypeResolver

private static class TypeResolver.EmptySubst
extends TypeResolver.Subst

Empty substitution.

Field Summary

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

EMPTY

Constructor Summary

Constructors

Modifier	Constructor	Description
private	EmptySubst()

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

Constructor Details

EmptySubst

private EmptySubst()

Method Details

toString

public String toString()

Overrides:

toString in class Object

get

Unifier.Variable get(TypeVar typeVar)

Specified by:

get in class TypeResolver.Subst