Package net.hydromatic.morel.compile

Class PatternCoverageChecker.SubPath

java.lang.Object

net.hydromatic.morel.compile.PatternCoverageChecker.Path

net.hydromatic.morel.compile.PatternCoverageChecker.SubPath

Enclosing class:

PatternCoverageChecker

private static class PatternCoverageChecker.SubPath
extends PatternCoverageChecker.Path

Path that is a child of a given parent path. The ordinal makes it unique within its parent. For tuple and record patterns, ordinal is the field ordinal.

Field Summary

Fields

Modifier and Type	Field	Description
(package private) final int	ordinal
(package private) final PatternCoverageChecker.Path	parent

Fields inherited from class net.hydromatic.morel.compile.PatternCoverageChecker.Path

ROOT

Constructor Summary

Constructors

Constructor	Description
SubPath(PatternCoverageChecker.Path parent, int ordinal)

Method Summary

Modifier and Type	Method	Description
protected void	path(StringBuilder b)

Methods inherited from class net.hydromatic.morel.compile.PatternCoverageChecker.Path

sub, toString, toVar

Methods inherited from class java.lang.Object

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

Field Details

parent

final PatternCoverageChecker.Path parent

ordinal

final int ordinal

Constructor Details

SubPath

SubPath(PatternCoverageChecker.Path parent,
 int ordinal)

Method Details

path

protected void path(StringBuilder b)

Specified by:

path in class PatternCoverageChecker.Path