Package net.hydromatic.morel.compile

Class Extents.Extent

java.lang.Object

net.hydromatic.morel.compile.Extents.Extent

Enclosing class:

Extents

private static class Extents.Extent
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
(package private) final SortedMap<Core.NamedPat,Core.Exp>	boundPats
(package private) final Map<Core.NamedPat,Core.Exp>	definitions	Contains definitions, such as "name = d.dname".
(package private) final Set<Core.NamedPat>	goalPats
(package private) final PairList<Core.IdPat,Core.Exp>	idPats	New variables introduced as scans over an existing relation (list of records).
private final TypeSystem	typeSystem

Constructor Summary

Constructors

Constructor	Description
Extent(TypeSystem typeSystem, Core.Pat pat, SortedMap<Core.NamedPat,Core.Exp> boundPats, PairList<Core.IdPat,Core.Exp> idPats)

Method Summary

Modifier and Type	Method	Description
private Core.Exp	baz(BuiltIn builtIn, Core.Exp arg)
private Core.IdPat	createId(Type type, Core.Exp extent)
(package private) void	g3(Map<Core.Pat,PairList<Core.Exp,Core.Exp>> map, Core.Exp filter)
private void	g4(BuiltIn builtIn, Core.Exp arg0, Core.Exp arg1, TriConsumer<Core.Pat,Core.Exp,Core.Exp> consumer)
private void	g5(BuiltIn builtIn, Core.Exp arg0, Core.Exp arg1, TriConsumer<Core.Pat,Core.Exp,Core.Exp> consumer)

Methods inherited from class java.lang.Object

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

Field Details

typeSystem

private final TypeSystem typeSystem

goalPats

final Set<Core.NamedPat> goalPats

boundPats

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

idPats

final PairList<Core.IdPat,Core.Exp> idPats

New variables introduced as scans over an existing relation (list of records). Other variables, which are goals of this extent, are typically fields of this variable.

definitions

final Map<Core.NamedPat,Core.Exp> definitions

Contains definitions, such as "name = d.dname". With such a definition, "name" won't need an extent, because we can define it (or inline it) as the expression "d.dname".

Constructor Details

Extent

Extent(TypeSystem typeSystem,
 Core.Pat pat,
 SortedMap<Core.NamedPat,Core.Exp> boundPats,
 PairList<Core.IdPat,Core.Exp> idPats)

Method Details

g3

void g3(Map<Core.Pat,PairList<Core.Exp,Core.Exp>> map,
 Core.Exp filter)

g4

private void g4(BuiltIn builtIn,
 Core.Exp arg0,
 Core.Exp arg1,
 TriConsumer<Core.Pat,Core.Exp,Core.Exp> consumer)

g5

private void g5(BuiltIn builtIn,
 Core.Exp arg0,
 Core.Exp arg1,
 TriConsumer<Core.Pat,Core.Exp,Core.Exp> consumer)

baz

private Core.Exp baz(BuiltIn builtIn,
 Core.Exp arg)

createId

private Core.IdPat createId(Type type,
 Core.Exp extent)