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

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) Environment	env
(package private) Deque<EnvVisitor.FromContext>	fromStack
(package private) 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 abstract EnvVisitor	bind(List<Binding> bindingList)	Creates a shuttle the same as this but with overriding bindings.
protected abstract EnvVisitor	bind(Binding binding)	Creates a shuttle the same as this but overriding a binding.
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

Methods inherited from class java.lang.Object

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

Field Detail

typeSystem

final TypeSystem typeSystem

env

final Environment env

fromStack

final Deque<EnvVisitor.FromContext> fromStack

Constructor Detail

EnvVisitor

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

Creates an EnvVisitor.

Method Detail

bind

protected abstract EnvVisitor bind(Binding binding)

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

bind

protected abstract EnvVisitor bind(List<Binding> bindingList)

Creates a shuttle 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