Class ResolvedRecPtn

java.lang.Object
org.torqlang.klvm.ResolvedRecPtn
All Implemented Interfaces:
Kernel, ResolvedPtn, ValueOrResolvedPtn

public final class ResolvedRecPtn extends Object implements ResolvedPtn
Record patterns have to be resolved for each pattern matching case. Patterns are not memory values, but are declarations that change meaning depending on the environment mapping of identifiers to variables.
  • Field Details

    • label

      public final Value label
    • fields

      public final List<ResolvedFieldPtn> fields
    • partialArity

      public final boolean partialArity
  • Constructor Details

  • Method Details

    • accept

      public final <T,R> R accept(KernelVisitor<T,R> visitor, T state)
      Specified by:
      accept in interface Kernel
    • fieldCount

      public final int fieldCount()
    • toString

      public final String toString()
      Overrides:
      toString in class Object