Package net.hydromatic.morel.compile

Class Extents.ExtentMap

java.lang.Object

net.hydromatic.morel.compile.Extents.ExtentMap

Enclosing class:

Extents

static class Extents.ExtentMap
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
(package private) final Map<Core.Pat,PairList<Core.Exp,Core.Exp>>	map

Constructor Summary

Constructors

Constructor	Description
ExtentMap()

Method Summary

Modifier and Type	Method	Description
(package private) boolean	canGet(Core.Pat pat)
PairList<Core.Exp,Core.Exp>	get(TypeSystem typeSystem, Core.Pat pat)
private @NonNull PairList<Core.Exp,Core.Exp>	get_(TypeSystem typeSystem, Core.Pat pat)	Constructs an expression for the extent of a pattern.

Methods inherited from class java.lang.Object

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

Field Details

map

final Map<Core.Pat,PairList<Core.Exp,Core.Exp>> map

Constructor Details

ExtentMap

ExtentMap()

Method Details

get

public PairList<Core.Exp,Core.Exp> get(TypeSystem typeSystem,
 Core.Pat pat)

get_

private @NonNull PairList<Core.Exp,Core.Exp> get_(TypeSystem typeSystem,
 Core.Pat pat)

Constructs an expression for the extent of a pattern. You must have called canGet(net.hydromatic.morel.ast.Core.Pat) first.

canGet

boolean canGet(Core.Pat pat)