Package net.hydromatic.morel.compile
Class TypeResolver.TermToTypeConverter
- java.lang.Object
-
- net.hydromatic.morel.compile.TypeResolver.TermToTypeConverter
-
- All Implemented Interfaces:
Unifier.TermVisitor<Type>
- Enclosing class:
- TypeResolver
private static class TypeResolver.TermToTypeConverter extends java.lang.Object implements Unifier.TermVisitor<Type>
Visitor that converts type terms into actual types.
-
-
Field Summary
Fields Modifier and Type Field Description private TypeResolver.TypeMaptypeMap
-
Constructor Summary
Constructors Constructor Description TermToTypeConverter(TypeResolver.TypeMap typeMap)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Typevisit(Unifier.Sequence sequence)Typevisit(Unifier.Variable variable)
-
-
-
Field Detail
-
typeMap
private final TypeResolver.TypeMap typeMap
-
-
Constructor Detail
-
TermToTypeConverter
TermToTypeConverter(TypeResolver.TypeMap typeMap)
-
-
Method Detail
-
visit
public Type visit(Unifier.Sequence sequence)
- Specified by:
visitin interfaceUnifier.TermVisitor<Type>
-
visit
public Type visit(Unifier.Variable variable)
- Specified by:
visitin interfaceUnifier.TermVisitor<Type>
-
-