Module aya.base
Package org.aya.tyck.pat

Record Class ClauseTycker.Worker

java.lang.Object
java.lang.Record
org.aya.tyck.pat.ClauseTycker.Worker
Enclosing class:
ClauseTycker
public static record ClauseTycker.Worker(@NotNull ClauseTycker parent, @NotNull kala.collection.immutable.ImmutableSeq<org.aya.syntax.ref.LocalVar> vars, @NotNull org.aya.syntax.core.def.Signature signature, @NotNull kala.collection.immutable.ImmutableSeq<org.aya.syntax.concrete.Pattern.Clause> clauses, @NotNull kala.collection.immutable.ImmutableSeq<org.aya.util.error.WithPos<org.aya.syntax.ref.LocalVar>> elims, boolean isFn) extends Record

  • Constructor Summary

    Constructors
    Constructor
    Description
    Worker(@NotNull ClauseTycker parent, @NotNull kala.collection.immutable.ImmutableSeq<org.aya.syntax.ref.LocalVar> vars, @NotNull org.aya.syntax.core.def.Signature signature, @NotNull kala.collection.immutable.ImmutableSeq<org.aya.syntax.concrete.Pattern.Clause> clauses, @NotNull kala.collection.immutable.ImmutableSeq<org.aya.util.error.WithPos<org.aya.syntax.ref.LocalVar>> elims, boolean isFn)
    Creates an instance of a Worker record class.

  • Method Summary

    Modifier and Type
    Method
    Description
    @NotNull ClauseTycker.TyckResult
    check(@NotNull org.aya.util.error.SourcePos overallPos)
     
    @NotNull ClauseTycker.TyckResult
    checkNoClassify()
     
    @NotNull kala.collection.immutable.ImmutableSeq<org.aya.syntax.concrete.Pattern.Clause>
    clauses()
    Returns the value of the clauses record component.
    @NotNull kala.collection.immutable.ImmutableSeq<org.aya.util.error.WithPos<org.aya.syntax.ref.LocalVar>>
    elims()
    Returns the value of the elims record component.
    final boolean
    equals(Object o)
    Indicates whether some other object is "equal to" this one.
    final int
    hashCode()
    Returns a hash code value for this object.
    boolean
    isFn()
    Returns the value of the isFn record component.
    @NotNull ClauseTycker
    parent()
    Returns the value of the parent record component.
    @NotNull org.aya.syntax.core.def.Signature
    signature()
    Returns the value of the signature record component.
    final String
    toString()
    Returns a string representation of this record class.
    @NotNull kala.collection.immutable.ImmutableSeq<org.aya.syntax.ref.LocalVar>
    vars()
    Returns the value of the vars record component.

    Methods inherited from class java.lang.Object

    clone, finalize, getClass, notify, notifyAll, wait, wait, wait

  • Constructor Details

    • Worker

      public Worker(@NotNull @NotNull ClauseTycker parent, @NotNull @NotNull kala.collection.immutable.ImmutableSeq<org.aya.syntax.ref.LocalVar> vars, @NotNull @NotNull org.aya.syntax.core.def.Signature signature, @NotNull @NotNull kala.collection.immutable.ImmutableSeq<org.aya.syntax.concrete.Pattern.Clause> clauses, @NotNull @NotNull kala.collection.immutable.ImmutableSeq<org.aya.util.error.WithPos<org.aya.syntax.ref.LocalVar>> elims, boolean isFn)
      Creates an instance of a Worker record class.
      Parameters:
      parent - the value for the parent record component
      vars - the value for the vars record component
      signature - the value for the signature record component
      clauses - the value for the clauses record component
      elims - the value for the elims record component
      isFn - the value for the isFn record component

  • Method Details

    • check

      @NotNull public @NotNull ClauseTycker.TyckResult check(@NotNull @NotNull org.aya.util.error.SourcePos overallPos)

    • checkNoClassify

      @NotNull public @NotNull ClauseTycker.TyckResult checkNoClassify()

    • toString

      public final String toString()
      Returns a string representation of this record class. The representation contains the name of the class, followed by the name and value of each of the record components.
      Specified by:
      toString in class Record
      Returns:
      a string representation of this object

    • hashCode

      public final int hashCode()
      Returns a hash code value for this object. The value is derived from the hash code of each of the record components.
      Specified by:
      hashCode in class Record
      Returns:
      a hash code value for this object

    • equals

      public final boolean equals(Object o)
      Indicates whether some other object is "equal to" this one. The objects are equal if the other object is of the same class and if all the record components are equal. Reference components are compared with Objects::equals(Object,Object); primitive components are compared with '=='.
      Specified by:
      equals in class Record
      Parameters:
      o - the object with which to compare
      Returns:
      true if this object is the same as the o argument; false otherwise.

    • parent

      @NotNull public @NotNull ClauseTycker parent()
      Returns the value of the parent record component.
      Returns:
      the value of the parent record component

    • vars

      @NotNull public @NotNull kala.collection.immutable.ImmutableSeq<org.aya.syntax.ref.LocalVar> vars()
      Returns the value of the vars record component.
      Returns:
      the value of the vars record component

    • signature

      @NotNull public @NotNull org.aya.syntax.core.def.Signature signature()
      Returns the value of the signature record component.
      Returns:
      the value of the signature record component

    • clauses

      @NotNull public @NotNull kala.collection.immutable.ImmutableSeq<org.aya.syntax.concrete.Pattern.Clause> clauses()
      Returns the value of the clauses record component.
      Returns:
      the value of the clauses record component

    • elims

      @NotNull public @NotNull kala.collection.immutable.ImmutableSeq<org.aya.util.error.WithPos<org.aya.syntax.ref.LocalVar>> elims()
      Returns the value of the elims record component.
      Returns:
      the value of the elims record component

    • isFn

      public boolean isFn()
      Returns the value of the isFn record component.
      Returns:
      the value of the isFn record component