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

Class BinExprParser

java.lang.Object
org.aya.util.binop.BinOpParser<AyaBinOpSet,Expr,Expr.NamedArg>
org.aya.concrete.desugar.BinExprParser
public final class BinExprParser extends org.aya.util.binop.BinOpParser<AyaBinOpSet,Expr,Expr.NamedArg>

  • Constructor Details

    • BinExprParser

      public BinExprParser(@NotNull @NotNull ResolveInfo resolveInfo, @NotNull @NotNull kala.collection.SeqView<@NotNull Expr.NamedArg> seq)

  • Method Details

    • appOp

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

    • replicate

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

    • 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,Expr,Expr.NamedArg>

    • createErrorExpr

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

    • 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,Expr,Expr.NamedArg>

    • reportMissingOperand

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

    • underlyingOpDecl

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

    • makeArg

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

    • makeSectionApp

      @NotNull public Expr.NamedArg makeSectionApp(@NotNull @NotNull org.aya.util.error.SourcePos pos, @NotNull Expr.NamedArg op, @NotNull @NotNull Function<Expr.NamedArg,Expr> lamBody)
      Specified by:
      makeSectionApp in class org.aya.util.binop.BinOpParser<AyaBinOpSet,Expr,Expr.NamedArg>