TypeMap (morel 0.3.0 API)

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 Map<AstNode,Unifier.Term>`	`nodeTypeTerms`
`(package private) Unifier.Substitution`	`substitution`
`TypeSystem`	`typeSystem`
`private Map<String,TypeVar>`	`typeVars`

Constructor Summary

Constructors
Constructor Description

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

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`Type`	`getType(AstNode node)`	Returns the type of an AST node.
`Type`	`getTypeOpt(AstNode node)`	Returns the type of an AST node, 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()`
`boolean`	`typeIsVariable(AstNode node)`	Returns whether the type of an AST node will be a type variable.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

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

Constructor Detail

TypeMap

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

Method Detail
- toString
```
public String toString()
```
  Overrides:
  
  toString in class Object
- termToType
```
Type termToType(Unifier.Term term)
```
- getType
```
public Type getType(AstNode node)
```
  Returns the type of an AST node.
- getTypeOpt
```
@Nullable
public Type getTypeOpt(AstNode node)
```
  Returns the type of an AST node, or null if no type is known.
- typeIsVariable
```
public boolean typeIsVariable(AstNode node)
```
  Returns whether the type of an AST node 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.