Class 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.