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 privateEmptySubst()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description (package private) Unifier.Variableget(TypeVar typeVar)java.lang.StringtoString()-
Methods inherited from class net.hydromatic.morel.compile.TypeResolver.Subst
plus
-
-
-
-
Method Detail
-
toString
public java.lang.String toString()
- Overrides:
toStringin classjava.lang.Object
-
get
Unifier.Variable get(TypeVar typeVar)
- Specified by:
getin classTypeResolver.Subst
-
-