Package net.hydromatic.morel.compile

Class TypeMap

java.lang.Object

net.hydromatic.morel.compile.TypeMap

public class TypeMap
extends Object

The result of type resolution, a map from AST nodes to types.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
private static class	TypeMap.TermToTypeConverter	Visitor that converts type terms into actual types.

Field Summary

Fields

Modifier and Type	Field	Description
private final Map<AstNode,Unifier.Term>	nodeTypeTerms
(package private) final Unifier.Substitution	substitution
final TypeSystem	typeSystem
private final Map<String,TypeVar>	typeVars	Map from type variable name to type variable.

Constructor Summary

Constructors

Constructor	Description
TypeMap(TypeSystem typeSystem, Map<AstNode,Unifier.Term> nodeTypeTerms, Unifier.Substitution substitution)

Method Summary

Modifier and Type	Method	Description
Type	getType(AstNode node)	Returns an AST node's data type.
@Nullable Type	getTypeOpt(AstNode node)	Returns an AST node's data type, or null if no type is known.
boolean	hasType(AstNode node)	Returns whether an AST node has a type.
(package private) Type	termToType(Unifier.Term term)
String	toString()
(package private) @Nullable SortedSet<String>	typeFieldNames(AstNode node)	Returns the field names if an AST node has a type that is a record or a tuple, otherwise null.
boolean	typeIsVariable(AstNode node)	Returns whether an AST node's type will be a type variable.

Methods inherited from class java.lang.Object

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

Field Details

typeSystem

public final TypeSystem typeSystem

nodeTypeTerms

private final Map<AstNode,Unifier.Term> nodeTypeTerms

substitution

final Unifier.Substitution substitution

typeVars

private final Map<String,TypeVar> typeVars

Map from type variable name to type variable. The ordinal of the variable is the size of the map at the time it is registered.

This map is never iterated over, and therefore the deterministic iteration provided by LinkedHashMap is not necessary, and HashMap is sufficient.

Constructor Details

TypeMap

TypeMap(TypeSystem typeSystem,
 Map<AstNode,Unifier.Term> nodeTypeTerms,
 Unifier.Substitution substitution)

Method Details

toString

public String toString()

Overrides:

toString in class Object

termToType

Type termToType(Unifier.Term term)

getType

public Type getType(AstNode node)

Returns an AST node's data type.

getTypeOpt

public @Nullable Type getTypeOpt(AstNode node)

Returns an AST node's data type, or null if no type is known.

typeIsVariable

public boolean typeIsVariable(AstNode node)

Returns whether an AST node's type will be a type variable.

hasType

public boolean hasType(AstNode node)

Returns whether an AST node has a type.

If it does not, perhaps it was ignored by the unification algorithm because it is not relevant to the program.

typeFieldNames

@Nullable SortedSet<String> typeFieldNames(AstNode node)

Returns the field names if an AST node has a type that is a record or a tuple, otherwise null.