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
Environment	env
Ast.Decl	node
Ast.Decl	originalNode
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 Detail

env

public final Environment env

originalNode

public final Ast.Decl originalNode

node

public final Ast.Decl node

typeMap

public final TypeMap typeMap

Constructor Detail

Resolved

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

Method Detail

of

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

exp

public Ast.Exp exp()