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) com.google.common.collect.ImmutableMap<String,Sat.Variable>	constructorMap
(package private) 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 Detail

dataType

final DataType dataType

constructorMap

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

Constructor Detail

DataTypeSlot

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