Package net.hydromatic.morel.compile

Class SuchThatShuttle

java.lang.Object

net.hydromatic.morel.ast.Shuttle

net.hydromatic.morel.compile.SuchThatShuttle

class SuchThatShuttle
extends Shuttle

Converts unbounded variables to bounded variables.

For example, converts

 from e
   where e elem #emps scott
 

to

 from e in #emps scott
 

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
(package private) static class	SuchThatShuttle.DeferredStepList	Maintains a list of steps that have not been applied yet.
private static class	SuchThatShuttle.FreeFinder	Finds free variables in an expression.
(package private) static class	SuchThatShuttle.FromVisitor	Workspace for converting unbounded variables in a particular Core.From to bounded scans.

Field Summary

Fields

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

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

typeSystem

Constructor Summary

Constructors

Constructor	Description
SuchThatShuttle(TypeSystem typeSystem, @Nullable Environment env)

Method Summary

Modifier and Type	Method	Description
(package private) static boolean	containsUnbounded(Core.Decl decl)
protected Core.Exp	visit(Core.From from)

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, 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 @Nullable Environment env

Constructor Details

SuchThatShuttle

SuchThatShuttle(TypeSystem typeSystem,
 @Nullable Environment env)

Method Details

containsUnbounded

static boolean containsUnbounded(Core.Decl decl)

visit

protected Core.Exp visit(Core.From from)

Overrides:

visit in class Shuttle