Package net.hydromatic.morel.compile

Class PatternCoverageChecker.DataTypeSlot

java.lang.Object

net.hydromatic.morel.compile.PatternCoverageChecker.DataTypeSlot

Enclosing class:

PatternCoverageChecker

private static class PatternCoverageChecker.DataTypeSlot
extends Object

Payload of a Sat.Variable that is an algebraic type. There are sub-variables representing whether the tag holds each of its allowed values (each of which is a constructor).

Field Summary

Fields

Modifier and Type	Field	Description
(package private) final com.google.common.collect.ImmutableMap<String,Sat.Variable>	constructorMap
(package private) final DataType	dataType

Constructor Summary

Constructors

Constructor	Description
DataTypeSlot(DataType dataType, PatternCoverageChecker.Path path, Sat sat)

Method Summary

Methods inherited from class java.lang.Object

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

Field Details

dataType

final DataType dataType

constructorMap

final com.google.common.collect.ImmutableMap<String,Sat.Variable> constructorMap

Constructor Details

DataTypeSlot

DataTypeSlot(DataType dataType,
 PatternCoverageChecker.Path path,
 Sat sat)