Package net.hydromatic.morel.compile

Class EnvShuttle

java.lang.Object

net.hydromatic.morel.ast.Shuttle

net.hydromatic.morel.compile.EnvShuttle

Direct Known Subclasses:

Inliner, Relationalizer

abstract class EnvShuttle
extends Shuttle

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

Field Summary

Fields

Modifier and Type	Field	Description
(package private) final Environment	env

Fields inherited from class net.hydromatic.morel.ast.Shuttle

typeSystem

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	EnvShuttle(TypeSystem typeSystem, Environment env)	Creates an EnvShuttle.

Method Summary

Modifier and Type	Method	Description
protected EnvShuttle	bind(List<Binding> bindingList)	Creates a shuttle the same as this but with overriding bindings.
protected EnvShuttle	bind(Binding binding)	Creates a shuttle the same as this but overriding a binding.
protected abstract EnvShuttle	push(Environment env)	Creates a shuttle the same as this but with a new environment.
protected Core.Fn	visit(Core.Fn fn)
Core.Exp	visit(Core.From from)
Core.Exp	visit(Core.Let let)
Core.Exp	visit(Core.Local local)
protected Core.Match	visit(Core.Match match)
Core.RecValDecl	visit(Core.RecValDecl recValDecl)

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

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, visit, visitList, visitMap, visitSortedMap

Methods inherited from class java.lang.Object

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

Field Details

env

final Environment env

Constructor Details

EnvShuttle

protected EnvShuttle(TypeSystem typeSystem,
 Environment env)

Creates an EnvShuttle.

Method Details

push

protected abstract EnvShuttle push(Environment env)

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

bind

protected EnvShuttle bind(Binding binding)

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

bind

protected EnvShuttle bind(List<Binding> bindingList)

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

visit

protected Core.Fn visit(Core.Fn fn)

Overrides:

visit in class Shuttle

visit

protected Core.Match visit(Core.Match match)

Overrides:

visit in class Shuttle

visit

public Core.Exp visit(Core.Let let)

Overrides:

visit in class Shuttle

visit

public Core.Exp visit(Core.Local local)

Overrides:

visit in class Shuttle

visit

public Core.RecValDecl visit(Core.RecValDecl recValDecl)

Overrides:

visit in class Shuttle

visit

public Core.Exp visit(Core.From from)

Overrides:

visit in class Shuttle