Package net.hydromatic.morel.compile

Class Extents.Analysis

java.lang.Object

net.hydromatic.morel.compile.Extents.Analysis

Enclosing class:

Extents

public static class Extents.Analysis
extends Object

Result of analyzing the variables in a query, pulling filters into the extent expression for each variable, so that no variable is over an infinite extent.

Field Summary

Fields

Modifier and Type	Field	Description
(package private) final SortedMap<Core.NamedPat,Core.Exp>	boundPats
(package private) final Core.Exp	extentExp
(package private) final Set<Core.NamedPat>	goalPats
(package private) final List<Core.Exp>	remainingFilters
(package private) final List<Core.Exp>	satisfiedFilters

Constructor Summary

Constructors

Modifier	Constructor	Description
private	Analysis(SortedMap<Core.NamedPat,Core.Exp> boundPats, Set<Core.NamedPat> goalPats, Core.Exp extentExp, List<Core.Exp> satisfiedFilters, List<Core.Exp> remainingFilters)

Method Summary

Modifier and Type	Method	Description
(package private) Set<Core.NamedPat>	unboundPats()

Methods inherited from class java.lang.Object

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

Field Details

boundPats

final SortedMap<Core.NamedPat,Core.Exp> boundPats

goalPats

final Set<Core.NamedPat> goalPats

extentExp

final Core.Exp extentExp

satisfiedFilters

final List<Core.Exp> satisfiedFilters

remainingFilters

final List<Core.Exp> remainingFilters

Constructor Details

Analysis

private Analysis(SortedMap<Core.NamedPat,Core.Exp> boundPats,
 Set<Core.NamedPat> goalPats,
 Core.Exp extentExp,
 List<Core.Exp> satisfiedFilters,
 List<Core.Exp> remainingFilters)

Method Details

unboundPats

Set<Core.NamedPat> unboundPats()