Module aya.base
Package org.aya.resolve.salt

Class PatternBinParser

java.lang.Object
org.aya.util.binop.BinOpParser<AyaBinOpSet,org.aya.util.error.WithPos<org.aya.syntax.concrete.Pattern>,org.aya.util.Arg<org.aya.util.error.WithPos<org.aya.syntax.concrete.Pattern>>>
org.aya.resolve.salt.PatternBinParser
All Implemented Interfaces:
Problematic
public final class PatternBinParser extends org.aya.util.binop.BinOpParser<AyaBinOpSet,org.aya.util.error.WithPos<org.aya.syntax.concrete.Pattern>,org.aya.util.Arg<org.aya.util.error.WithPos<org.aya.syntax.concrete.Pattern>>> implements Problematic

  • Field Summary

    Fields inherited from class org.aya.util.binop.BinOpParser

    opSet

  • Constructor Summary

    Constructors
    Constructor
    Description
    PatternBinParser(@NotNull ResolveInfo resolveInfo, @NotNull kala.collection.SeqView<@NotNull org.aya.util.Arg<org.aya.util.error.WithPos<org.aya.syntax.concrete.Pattern>>> seq)
     

  • Method Summary

    Modifier and Type
    Method
    Description
    protected @NotNull org.aya.util.Arg<org.aya.util.error.WithPos<org.aya.syntax.concrete.Pattern>>
    appOp()
     
    protected @NotNull org.aya.util.error.WithPos<org.aya.syntax.concrete.Pattern>
    createErrorExpr(@NotNull org.aya.util.error.SourcePos sourcePos)
     
    protected @NotNull org.aya.util.Arg<org.aya.util.error.WithPos<org.aya.syntax.concrete.Pattern>>
    makeArg(@NotNull org.aya.util.error.SourcePos pos, @NotNull org.aya.util.error.WithPos<org.aya.syntax.concrete.Pattern> func, @NotNull org.aya.util.Arg<org.aya.util.error.WithPos<org.aya.syntax.concrete.Pattern>> arg, boolean explicit)
     
    @NotNull org.aya.util.Arg<org.aya.util.error.WithPos<org.aya.syntax.concrete.Pattern>>
    makeSectionApp(@NotNull org.aya.util.error.SourcePos pos, @NotNull org.aya.util.Arg<org.aya.util.error.WithPos<org.aya.syntax.concrete.Pattern>> op, @NotNull Function<org.aya.util.Arg<org.aya.util.error.WithPos<org.aya.syntax.concrete.Pattern>>,org.aya.util.error.WithPos<org.aya.syntax.concrete.Pattern>> lamBody)
     
    protected @NotNull org.aya.util.binop.BinOpParser<AyaBinOpSet,org.aya.util.error.WithPos<org.aya.syntax.concrete.Pattern>,org.aya.util.Arg<org.aya.util.error.WithPos<org.aya.syntax.concrete.Pattern>>>
    replicate(@NotNull kala.collection.SeqView<@NotNull org.aya.util.Arg<org.aya.util.error.WithPos<org.aya.syntax.concrete.Pattern>>> seq)
     
    protected void
    reportAmbiguousPred(String op1, String op2, org.aya.util.error.SourcePos pos)
     
    @NotNull org.aya.util.reporter.Reporter
    reporter()
     
    protected void
    reportFixityError(org.aya.util.binop.Assoc top, org.aya.util.binop.Assoc current, String topOp, String currentOp, org.aya.util.error.SourcePos pos)
     
    protected void
    reportMissingOperand(String op, org.aya.util.error.SourcePos pos)
     
    protected @Nullable org.aya.util.binop.OpDecl
    underlyingOpDecl(@NotNull org.aya.util.Arg<org.aya.util.error.WithPos<org.aya.syntax.concrete.Pattern>> elem)
     

    Methods inherited from class org.aya.util.binop.BinOpParser

    build, isOperand, toSetElem

    Methods inherited from class java.lang.Object

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

    Methods inherited from interface org.aya.tyck.tycker.Problematic

    fail, fail, fail

  • Constructor Details

    • PatternBinParser

      public PatternBinParser(@NotNull @NotNull ResolveInfo resolveInfo, @NotNull @NotNull kala.collection.SeqView<@NotNull org.aya.util.Arg<org.aya.util.error.WithPos<org.aya.syntax.concrete.Pattern>>> seq)

  • Method Details

    • replicate

      @NotNull protected @NotNull org.aya.util.binop.BinOpParser<AyaBinOpSet,org.aya.util.error.WithPos<org.aya.syntax.concrete.Pattern>,org.aya.util.Arg<org.aya.util.error.WithPos<org.aya.syntax.concrete.Pattern>>> replicate(@NotNull @NotNull kala.collection.SeqView<@NotNull org.aya.util.Arg<org.aya.util.error.WithPos<org.aya.syntax.concrete.Pattern>>> seq)
      Specified by:
      replicate in class org.aya.util.binop.BinOpParser<AyaBinOpSet,org.aya.util.error.WithPos<org.aya.syntax.concrete.Pattern>,org.aya.util.Arg<org.aya.util.error.WithPos<org.aya.syntax.concrete.Pattern>>>

    • appOp

      @NotNull protected @NotNull org.aya.util.Arg<org.aya.util.error.WithPos<org.aya.syntax.concrete.Pattern>> appOp()
      Specified by:
      appOp in class org.aya.util.binop.BinOpParser<AyaBinOpSet,org.aya.util.error.WithPos<org.aya.syntax.concrete.Pattern>,org.aya.util.Arg<org.aya.util.error.WithPos<org.aya.syntax.concrete.Pattern>>>

    • makeSectionApp

      @NotNull public @NotNull org.aya.util.Arg<org.aya.util.error.WithPos<org.aya.syntax.concrete.Pattern>> makeSectionApp(@NotNull @NotNull org.aya.util.error.SourcePos pos, @NotNull @NotNull org.aya.util.Arg<org.aya.util.error.WithPos<org.aya.syntax.concrete.Pattern>> op, @NotNull @NotNull Function<org.aya.util.Arg<org.aya.util.error.WithPos<org.aya.syntax.concrete.Pattern>>,org.aya.util.error.WithPos<org.aya.syntax.concrete.Pattern>> lamBody)
      Specified by:
      makeSectionApp in class org.aya.util.binop.BinOpParser<AyaBinOpSet,org.aya.util.error.WithPos<org.aya.syntax.concrete.Pattern>,org.aya.util.Arg<org.aya.util.error.WithPos<org.aya.syntax.concrete.Pattern>>>

    • reportAmbiguousPred

      protected void reportAmbiguousPred(String op1, String op2, org.aya.util.error.SourcePos pos)
      Specified by:
      reportAmbiguousPred in class org.aya.util.binop.BinOpParser<AyaBinOpSet,org.aya.util.error.WithPos<org.aya.syntax.concrete.Pattern>,org.aya.util.Arg<org.aya.util.error.WithPos<org.aya.syntax.concrete.Pattern>>>

    • reportFixityError

      protected void reportFixityError(org.aya.util.binop.Assoc top, org.aya.util.binop.Assoc current, String topOp, String currentOp, org.aya.util.error.SourcePos pos)
      Specified by:
      reportFixityError in class org.aya.util.binop.BinOpParser<AyaBinOpSet,org.aya.util.error.WithPos<org.aya.syntax.concrete.Pattern>,org.aya.util.Arg<org.aya.util.error.WithPos<org.aya.syntax.concrete.Pattern>>>

    • reportMissingOperand

      protected void reportMissingOperand(String op, org.aya.util.error.SourcePos pos)
      Specified by:
      reportMissingOperand in class org.aya.util.binop.BinOpParser<AyaBinOpSet,org.aya.util.error.WithPos<org.aya.syntax.concrete.Pattern>,org.aya.util.Arg<org.aya.util.error.WithPos<org.aya.syntax.concrete.Pattern>>>

    • createErrorExpr

      @NotNull protected @NotNull org.aya.util.error.WithPos<org.aya.syntax.concrete.Pattern> createErrorExpr(@NotNull @NotNull org.aya.util.error.SourcePos sourcePos)
      Specified by:
      createErrorExpr in class org.aya.util.binop.BinOpParser<AyaBinOpSet,org.aya.util.error.WithPos<org.aya.syntax.concrete.Pattern>,org.aya.util.Arg<org.aya.util.error.WithPos<org.aya.syntax.concrete.Pattern>>>

    • underlyingOpDecl

      @Nullable protected @Nullable org.aya.util.binop.OpDecl underlyingOpDecl(@NotNull @NotNull org.aya.util.Arg<org.aya.util.error.WithPos<org.aya.syntax.concrete.Pattern>> elem)
      Specified by:
      underlyingOpDecl in class org.aya.util.binop.BinOpParser<AyaBinOpSet,org.aya.util.error.WithPos<org.aya.syntax.concrete.Pattern>,org.aya.util.Arg<org.aya.util.error.WithPos<org.aya.syntax.concrete.Pattern>>>

    • makeArg

      @NotNull protected @NotNull org.aya.util.Arg<org.aya.util.error.WithPos<org.aya.syntax.concrete.Pattern>> makeArg(@NotNull @NotNull org.aya.util.error.SourcePos pos, @NotNull @NotNull org.aya.util.error.WithPos<org.aya.syntax.concrete.Pattern> func, @NotNull @NotNull org.aya.util.Arg<org.aya.util.error.WithPos<org.aya.syntax.concrete.Pattern>> arg, boolean explicit)
      Specified by:
      makeArg in class org.aya.util.binop.BinOpParser<AyaBinOpSet,org.aya.util.error.WithPos<org.aya.syntax.concrete.Pattern>,org.aya.util.Arg<org.aya.util.error.WithPos<org.aya.syntax.concrete.Pattern>>>

    • reporter

      @NotNull public @NotNull org.aya.util.reporter.Reporter reporter()
      Specified by:
      reporter in interface Problematic