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 Set<Core.NamedPat>	goalPats
private final TypeSystem	typeSystem

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
private Core.Exp	baz(BuiltIn builtIn, Core.Exp arg)
private void	extent(Core.Pat pat, Core.Exp exp, List<Core.Exp> extents, List<Core.Exp> filters)
(package private) Extents.ExtentFilter	extent(Core.Scan scan)
(package private) void	g3(com.google.common.collect.Multimap<Core.Pat,Core.Exp> map, Core.Exp exp)
private void	g4(com.google.common.collect.Multimap<Core.Pat,Core.Exp> map, BuiltIn builtIn, Core.Exp arg0, Core.Exp arg1)
private static boolean	matches(Core.Exp exp, Core.Pat pat)	Returns whether an expression corresponds exactly to a pattern.

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

Constructor Details

Extent

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

Method Details

g3

void g3(com.google.common.collect.Multimap<Core.Pat,Core.Exp> map,
 Core.Exp exp)

g4

private void g4(com.google.common.collect.Multimap<Core.Pat,Core.Exp> map,
 BuiltIn builtIn,
 Core.Exp arg0,
 Core.Exp arg1)

baz

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

extent

Extents.ExtentFilter extent(Core.Scan scan)

extent

private void extent(Core.Pat pat,
 Core.Exp exp,
 List<Core.Exp> extents,
 List<Core.Exp> filters)

matches

private static boolean matches(Core.Exp exp,
 Core.Pat pat)

Returns whether an expression corresponds exactly to a pattern. For example "x" matches the pattern "x", and "(z, y)" matches the pattern "(x, y)".