Package net.hydromatic.morel.compile

Class SuchThatShuttle.FreeFinder

java.lang.Object

net.hydromatic.morel.ast.Visitor

net.hydromatic.morel.compile.EnvVisitor

net.hydromatic.morel.compile.SuchThatShuttle.FreeFinder

Enclosing class:

SuchThatShuttle

private static class SuchThatShuttle.FreeFinder
extends EnvVisitor

Finds free variables in an expression.

Nested Class Summary

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

EnvVisitor.FromContext

Field Summary

Fields

Modifier and Type	Field	Description
(package private) final Consumer<Core.NamedPat>	consumer

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

env, fromStack, typeSystem

Constructor Summary

Constructors

Constructor	Description
FreeFinder(TypeSystem typeSystem, Environment env, Deque<EnvVisitor.FromContext> fromStack, Consumer<Core.NamedPat> consumer)

Method Summary

Modifier and Type	Method	Description
protected EnvVisitor	push(Environment env)	Creates a visitor the same as this but with a new environment.
protected void	visit(Core.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, 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

consumer

final Consumer<Core.NamedPat> consumer

Constructor Details

FreeFinder

FreeFinder(TypeSystem typeSystem,
 Environment env,
 Deque<EnvVisitor.FromContext> fromStack,
 Consumer<Core.NamedPat> consumer)

Method Details

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(Core.Id id)

Overrides:

visit in class Visitor