Module aya.base
Package org.aya.concrete.desugar

Class BinPatternParser

java.lang.Object
org.aya.util.binop.BinOpParser<AyaBinOpSet,Pattern,org.aya.util.Arg<Pattern>>
org.aya.concrete.desugar.BinPatternParser
public final class BinPatternParser extends org.aya.util.binop.BinOpParser<AyaBinOpSet,Pattern,org.aya.util.Arg<Pattern>>

  • Nested Class Summary

    Nested classes/interfaces inherited from class org.aya.util.binop.BinOpParser

    org.aya.util.binop.BinOpParser.Elem<Expr>

  • Field Summary

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

    opSet

  • Constructor Summary

    Constructors
    Constructor
    Description
    BinPatternParser(@NotNull ResolveInfo resolveInfo, @NotNull kala.collection.SeqView<org.aya.util.Arg<@NotNull Pattern>> seq)
     

  • Method Summary

    Modifier and Type
    Method
    Description
    protected @NotNull org.aya.util.Arg<Pattern>
    appOp()
     
    protected @NotNull Pattern
    createErrorExpr(@NotNull org.aya.util.error.SourcePos sourcePos)
     
    protected @NotNull org.aya.util.Arg<Pattern>
    makeArg(@NotNull org.aya.util.error.SourcePos pos, @NotNull Pattern func, @NotNull org.aya.util.Arg<@NotNull Pattern> arg, boolean explicit)
     
    @NotNull org.aya.util.Arg<Pattern>
    makeSectionApp(@NotNull org.aya.util.error.SourcePos pos, @NotNull org.aya.util.Arg<@NotNull Pattern> op, @NotNull Function<org.aya.util.Arg<Pattern>,Pattern> lamBody)
     
    protected @NotNull org.aya.util.binop.BinOpParser<AyaBinOpSet,Pattern,org.aya.util.Arg<Pattern>>
    replicate(@NotNull kala.collection.SeqView<org.aya.util.Arg<@NotNull Pattern>> seq)
     
    protected void
    reportAmbiguousPred(String op1, String op2, org.aya.util.error.SourcePos pos)
     
    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<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

  • Constructor Details

    • BinPatternParser

      public BinPatternParser(@NotNull @NotNull ResolveInfo resolveInfo, @NotNull @NotNull kala.collection.SeqView<org.aya.util.Arg<@NotNull Pattern>> seq)

  • Method Details

    • replicate

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

    • appOp

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

    • makeSectionApp

      @NotNull public @NotNull org.aya.util.Arg<Pattern> makeSectionApp(@NotNull @NotNull org.aya.util.error.SourcePos pos, @NotNull @NotNull org.aya.util.Arg<@NotNull Pattern> op, @NotNull @NotNull Function<org.aya.util.Arg<Pattern>,Pattern> lamBody)
      Specified by:
      makeSectionApp in class org.aya.util.binop.BinOpParser<AyaBinOpSet,Pattern,org.aya.util.Arg<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,Pattern,org.aya.util.Arg<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,Pattern,org.aya.util.Arg<Pattern>>

    • reportMissingOperand

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

    • createErrorExpr

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

    • underlyingOpDecl

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

    • makeArg

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