Class Core.NamedPat

All Implemented Interfaces:
Comparable<Core.NamedPat>
Direct Known Subclasses:
Core.AsPat, Core.IdPat
Enclosing class:
Core

public abstract static class Core.NamedPat extends Core.Pat implements Comparable<Core.NamedPat>
Base class for named patterns (Core.IdPat and Core.AsPat).

Implements Comparable so that names are sorted correctly for record fields (see RecordType.ORDERING).

A Core.ValDecl must be one of these.

  • Field Details

    • ORDERING

      public static final com.google.common.collect.Ordering<Core.NamedPat> ORDERING
      Ordering that compares named patterns by their names, then by their ordinal.
    • name

      public final String name
    • i

      public final int i
  • Constructor Details

    • NamedPat

      NamedPat(Op op, Type type, String name, int i)
  • Method Details