Uses of Class
net.hydromatic.morel.compile.PatternCoverageChecker.Path

Packages that use PatternCoverageChecker.Path

Package	Description
net.hydromatic.morel.compile	Validates programs (represented as AstNode), deduces their type, and compiles them into code that can be evaluated.

Uses of PatternCoverageChecker.Path in net.hydromatic.morel.compile

Subclasses of PatternCoverageChecker.Path in net.hydromatic.morel.compile

Modifier and Type	Class	Description
private static class	PatternCoverageChecker.SubPath	Path that is a child of a given parent path.

Fields in net.hydromatic.morel.compile declared as PatternCoverageChecker.Path

Modifier and Type	Field	Description
(package private) final PatternCoverageChecker.Path	PatternCoverageChecker.SubPath.parent
(package private) static final PatternCoverageChecker.Path	PatternCoverageChecker.Path.ROOT	Root path.

Fields in net.hydromatic.morel.compile with type parameters of type PatternCoverageChecker.Path

Modifier and Type	Field	Description
(package private) final Map<PatternCoverageChecker.Path,PatternCoverageChecker.DataTypeSlot>	PatternCoverageChecker.pathSlots

Methods in net.hydromatic.morel.compile that return PatternCoverageChecker.Path

Modifier and Type	Method	Description
(package private) PatternCoverageChecker.Path	PatternCoverageChecker.Path.sub(int i)	Creates a sub-path.

Methods in net.hydromatic.morel.compile with parameters of type PatternCoverageChecker.Path

Modifier and Type	Method	Description
private void	PatternCoverageChecker.addConsTerms(PatternCoverageChecker.Path path, List<Sat.Term> terms, Core.TuplePat tuplePat)
private void	PatternCoverageChecker.toTerm(Core.Pat pat, PatternCoverageChecker.Path path, List<Sat.Term> terms)
private Sat.Variable	PatternCoverageChecker.typeConstructorTerm(PatternCoverageChecker.Path path, String con)

Constructors in net.hydromatic.morel.compile with parameters of type PatternCoverageChecker.Path

Modifier	Constructor	Description
(package private)	DataTypeSlot(DataType dataType, PatternCoverageChecker.Path path, Sat sat)
(package private)	SubPath(PatternCoverageChecker.Path parent, int ordinal)