Package net.hydromatic.morel.compile

Class EnvVisitor

java.lang.Object

net.hydromatic.morel.ast.Visitor

net.hydromatic.morel.compile.EnvVisitor

Direct Known Subclasses:

Analyzer, RefChecker, Resolver.ReferenceFinder, TypeResolver.FieldExpander

abstract class EnvVisitor
extends Visitor

Shuttle that keeps an environment of what variables are in scope.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	EnvVisitor.FromContext	Where we are in an iteration through the steps of a from.

Field Summary

Fields

Modifier and Type	Field	Description
(package private) final Environment	env
(package private) final Deque<EnvVisitor.FromContext>	fromStack
(package private) final TypeSystem	typeSystem

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	EnvVisitor(TypeSystem typeSystem, Environment env, Deque<EnvVisitor.FromContext> fromStack)	Creates an EnvVisitor.

Method Summary

Modifier and Type	Method	Description
protected EnvVisitor	bind(Iterable<Binding> bindingList)	Creates a visitor the same as this but with overriding bindings.
protected EnvVisitor	bind(Binding binding)	Creates a visitor the same as this but overriding a binding.
protected abstract EnvVisitor	push(Environment env)	Creates a visitor the same as this but with a new environment.
protected void	visit(Core.Aggregate aggregate)
protected void	visit(Core.Fn fn)
protected void	visit(Core.From from)
protected void	visit(Core.Let let)
protected void	visit(Core.Local local)
protected void	visit(Core.Match match)
protected void	visit(Core.RecValDecl recValDecl)
void	visitStep(Core.FromStep step, List<Binding> bindings)

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, visit, visit

Methods inherited from class java.lang.Object

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

Field Details

typeSystem

final TypeSystem typeSystem

env

final Environment env

fromStack

final Deque<EnvVisitor.FromContext> fromStack

Constructor Details

EnvVisitor

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

Creates an EnvVisitor.

Method Details

push

protected abstract EnvVisitor push(Environment env)

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

bind

protected EnvVisitor bind(Binding binding)

Creates a visitor the same as this but overriding a binding.

bind

protected EnvVisitor bind(Iterable<Binding> bindingList)

Creates a visitor the same as this but with overriding bindings.

visit

protected void visit(Core.Fn fn)

Overrides:

visit in class Visitor

visit

protected void visit(Core.Match match)

Overrides:

visit in class Visitor

visit

protected void visit(Core.Let let)

Overrides:

visit in class Visitor

visit

protected void visit(Core.Local local)

Overrides:

visit in class Visitor

visit

protected void visit(Core.RecValDecl recValDecl)

Overrides:

visit in class Visitor

visit

protected void visit(Core.From from)

Overrides:

visit in class Visitor

visitStep

public void visitStep(Core.FromStep step,
 List<Binding> bindings)

visit

protected void visit(Core.Aggregate aggregate)

Overrides:

visit in class Visitor