Package net.hydromatic.morel.compile

Class SuchThatShuttle.FromVisitor

java.lang.Object

net.hydromatic.morel.compile.SuchThatShuttle.FromVisitor

Enclosing class:

SuchThatShuttle

static class SuchThatShuttle.FromVisitor
extends Object

Workspace for converting unbounded variables in a particular Core.From to bounded scans.

Field Summary

Fields

Modifier and Type	Field	Description
(package private) final FromBuilder	fromBuilder
(package private) final List<Core.Exp>	satisfiedFilters
(package private) final TypeSystem	typeSystem

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
private void	killTemporaryScans(PairList<Core.IdPat,Core.Exp> idPats)
private Core.From	rewrite1(Core.Scan scan, List<? extends Core.FromStep> laterSteps, PairList<Core.IdPat,Core.Exp> idPats)	Rewrites an unbounded scan to a from expression, using predicates in later steps to determine the ranges of variables.
(package private) Core.From	visit(Core.From from)

Methods inherited from class java.lang.Object

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

Field Details

typeSystem

final TypeSystem typeSystem

fromBuilder

final FromBuilder fromBuilder

satisfiedFilters

final List<Core.Exp> satisfiedFilters

Constructor Details

FromVisitor

FromVisitor(TypeSystem typeSystem,
 @Nullable Environment env)

Method Details

visit

Core.From visit(Core.From from)

killTemporaryScans

private void killTemporaryScans(PairList<Core.IdPat,Core.Exp> idPats)

rewrite1

private Core.From rewrite1(Core.Scan scan,
 List<? extends Core.FromStep> laterSteps,
 PairList<Core.IdPat,Core.Exp> idPats)

Rewrites an unbounded scan to a from expression, using predicates in later steps to determine the ranges of variables.