Package net.hydromatic.morel.compile

Class SuchThatShuttle.DeferredStepList

java.lang.Object

net.hydromatic.morel.compile.SuchThatShuttle.DeferredStepList

Enclosing class:

SuchThatShuttle

static class SuchThatShuttle.DeferredStepList
extends Object

Maintains a list of steps that have not been applied yet.

Holds the state necessary for a classic topological sort algorithm: For each node, keep the list of unresolved forward references. After each reference is resolved, remove it from each node's list. Output each node as its unresolved list becomes empty. The topological sort is stable.

Field Summary

Fields

Modifier and Type	Field	Description
(package private) final SuchThatShuttle.FreeFinder	freeFinder
(package private) final List<Core.NamedPat>	refs
(package private) final PairList<Set<Core.Pat>,Consumer<FromBuilder>>	steps

Constructor Summary

Constructors

Constructor	Description
DeferredStepList(SuchThatShuttle.FreeFinder freeFinder, List<Core.NamedPat> refs)

Method Summary

Modifier and Type	Method	Description
(package private) static SuchThatShuttle.DeferredStepList	create(TypeSystem typeSystem, List<Core.FromStep> steps)
(package private) void	flush(FromBuilder fromBuilder)
(package private) void	resolve(Core.Pat pat)	Marks that a pattern has now been defined.
(package private) void	scan(Environment env, Core.Pat pat, Core.Exp exp)
(package private) void	scan(Environment env, Core.Pat pat, Core.Exp exp, Core.Exp condition)
private Set<Core.Pat>	unresolvedRefs(Environment env, Core.Exp exp)
(package private) void	where(Environment env, Core.Exp condition)

Methods inherited from class java.lang.Object

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

Field Details

steps

final PairList<Set<Core.Pat>,Consumer<FromBuilder>> steps

freeFinder

final SuchThatShuttle.FreeFinder freeFinder

refs

final List<Core.NamedPat> refs

Constructor Details

DeferredStepList

DeferredStepList(SuchThatShuttle.FreeFinder freeFinder,
 List<Core.NamedPat> refs)

Method Details

create

static SuchThatShuttle.DeferredStepList create(TypeSystem typeSystem,
 List<Core.FromStep> steps)

scan

void scan(Environment env,
 Core.Pat pat,
 Core.Exp exp,
 Core.Exp condition)

scan

void scan(Environment env,
 Core.Pat pat,
 Core.Exp exp)

where

void where(Environment env,
 Core.Exp condition)

unresolvedRefs

private Set<Core.Pat> unresolvedRefs(Environment env,
 Core.Exp exp)

resolve

void resolve(Core.Pat pat)

Marks that a pattern has now been defined.

After this method, it is possible that some steps might have no unresolved references. Those steps are now ready to add to the builder.

flush

void flush(FromBuilder fromBuilder)