Package net.hydromatic.morel.compile

Class TypeResolver.FieldExpander

java.lang.Object

net.hydromatic.morel.ast.Visitor

net.hydromatic.morel.compile.EnvVisitor

net.hydromatic.morel.compile.TypeResolver.FieldExpander

Enclosing class:

TypeResolver

static class TypeResolver.FieldExpander
extends EnvVisitor

Visitor that expands progressive types if they are used in field references.

Nested Class Summary

Nested classes/interfaces inherited from class net.hydromatic.morel.compile.EnvVisitor

EnvVisitor.FromContext

Field Summary

Fields inherited from class net.hydromatic.morel.compile.EnvVisitor

env, fromStack, typeSystem

Constructor Summary

Constructors

Modifier	Constructor	Description
private	FieldExpander(TypeSystem typeSystem, Environment env, Deque<EnvVisitor.FromContext> fromStack)

Method Summary

Modifier and Type	Method	Description
(package private) static TypeResolver.FieldExpander	create(TypeSystem typeSystem, Environment env)
private @Nullable TypedValue	expandField(Environment env, Ast.Exp exp)
protected EnvVisitor	push(Environment env)	Creates a visitor the same as this but with a new environment.
protected void	visit(Ast.Apply apply)
protected void	visit(Ast.Id id)

Methods inherited from class net.hydromatic.morel.compile.EnvVisitor

bind, bind, visit, visit, visit, visit, visit, visit, visit, visitStep

Methods inherited from class net.hydromatic.morel.ast.Visitor

accept, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit

Methods inherited from class java.lang.Object

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

Constructor Details

FieldExpander

private FieldExpander(TypeSystem typeSystem,
 Environment env,
 Deque<EnvVisitor.FromContext> fromStack)

Method Details

create

static TypeResolver.FieldExpander create(TypeSystem typeSystem,
 Environment env)

push

protected EnvVisitor push(Environment env)

Description copied from class: EnvVisitor

Creates a visitor the same as this but with a new environment.

Specified by:

push in class EnvVisitor

visit

protected void visit(Ast.Apply apply)

Overrides:

visit in class Visitor

visit

protected void visit(Ast.Id id)

Overrides:

visit in class Visitor

expandField

private @Nullable TypedValue expandField(Environment env,
 Ast.Exp exp)