Package net.hydromatic.morel.compile

Class TypeResolver.Resolved

java.lang.Object

net.hydromatic.morel.compile.TypeResolver.Resolved

Enclosing class:

TypeResolver

public static class TypeResolver.Resolved
extends Object

Result of validating a declaration.

Field Summary

Fields

Modifier and Type	Field	Description
final Environment	env
final Ast.Decl	node
final Ast.Decl	originalNode
final TypeMap	typeMap

Constructor Summary

Constructors

Modifier	Constructor	Description
private	Resolved(Environment env, Ast.Decl originalNode, Ast.Decl node, TypeMap typeMap)

Method Summary

Modifier and Type	Method	Description
Ast.Exp	exp()
(package private) static TypeResolver.Resolved	of(Environment env, Ast.Decl originalNode, Ast.Decl node, TypeMap typeMap)

Methods inherited from class java.lang.Object

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

Field Details

env

public final Environment env

originalNode

public final Ast.Decl originalNode

node

public final Ast.Decl node

typeMap

public final TypeMap typeMap

Constructor Details

Resolved

private Resolved(Environment env,
 Ast.Decl originalNode,
 Ast.Decl node,
 TypeMap typeMap)

Method Details

of

static TypeResolver.Resolved of(Environment env,
 Ast.Decl originalNode,
 Ast.Decl node,
 TypeMap typeMap)

exp

public Ast.Exp exp()