Package net.hydromatic.morel.compile
Class SuchThatShuttle.FromVisitor
java.lang.Object
net.hydromatic.morel.compile.SuchThatShuttle.FromVisitor
- Enclosing class:
SuchThatShuttle
Workspace for converting unbounded variables in a particular
Core.From to bounded scans.-
Field Summary
FieldsModifier and TypeFieldDescription(package private) final FromBuilder(package private) final TypeSystem -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionprivate voidkillTemporaryScans(PairList<Core.IdPat, Core.Exp> idPats) private Core.Fromrewrite1(Core.Scan scan, List<? extends Core.FromStep> laterSteps, PairList<Core.IdPat, Core.Exp> idPats) Rewrites an unbounded scan to afromexpression, using predicates in later steps to determine the ranges of variables.(package private) Core.From
-
Field Details
-
typeSystem
-
fromBuilder
-
satisfiedFilters
-
-
Constructor Details
-
FromVisitor
FromVisitor(TypeSystem typeSystem, @Nullable Environment env)
-
-
Method Details
-
visit
-
killTemporaryScans
-
rewrite1
private Core.From rewrite1(Core.Scan scan, List<? extends Core.FromStep> laterSteps, PairList<Core.IdPat, Core.Exp> idPats) Rewrites an unbounded scan to afromexpression, using predicates in later steps to determine the ranges of variables.
-