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

Class ExprBinParser

java.lang.Object
org.aya.util.binop.BinOpParser<AyaBinOpSet,org.aya.util.error.WithPos<org.aya.syntax.concrete.Expr>,org.aya.syntax.concrete.Expr.NamedArg>
org.aya.resolve.salt.ExprBinParser
public class ExprBinParser extends org.aya.util.binop.BinOpParser<AyaBinOpSet,org.aya.util.error.WithPos<org.aya.syntax.concrete.Expr>,org.aya.syntax.concrete.Expr.NamedArg>

  • Field Summary

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

    opSet

  • Constructor Summary

    Constructors
    Constructor
    Description
    ExprBinParser(@NotNull ResolveInfo resolveInfo, @NotNull kala.collection.SeqView<@NotNull org.aya.syntax.concrete.Expr.NamedArg> seq)
     

  • Method Summary

    Modifier and Type
    Method
    Description
    protected org.aya.syntax.concrete.Expr.NamedArg
    appOp()
     
    protected @NotNull org.aya.util.error.WithPos<org.aya.syntax.concrete.Expr>
    createErrorExpr(@NotNull org.aya.util.error.SourcePos sourcePos)
     
    protected org.aya.syntax.concrete.Expr.NamedArg
    makeArg(@NotNull org.aya.util.error.SourcePos pos, @NotNull org.aya.util.error.WithPos<org.aya.syntax.concrete.Expr> func, @NotNull org.aya.syntax.concrete.Expr.NamedArg arg, boolean explicit)
     
    org.aya.syntax.concrete.Expr.NamedArg
    makeSectionApp(@NotNull org.aya.util.error.SourcePos pos, @NotNull org.aya.syntax.concrete.Expr.NamedArg op, @NotNull Function<org.aya.syntax.concrete.Expr.NamedArg,org.aya.util.error.WithPos<org.aya.syntax.concrete.Expr>> lamBody)
     
    protected @NotNull org.aya.util.binop.BinOpParser<AyaBinOpSet,org.aya.util.error.WithPos<org.aya.syntax.concrete.Expr>,org.aya.syntax.concrete.Expr.NamedArg>
    replicate(@NotNull kala.collection.SeqView<@NotNull org.aya.syntax.concrete.Expr.NamedArg> 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(org.aya.syntax.concrete.Expr.NamedArg 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

    • ExprBinParser

      public ExprBinParser(@NotNull @NotNull ResolveInfo resolveInfo, @NotNull @NotNull kala.collection.SeqView<@NotNull org.aya.syntax.concrete.Expr.NamedArg> seq)

  • Method Details

    • appOp

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

    • replicate

      @NotNull protected @NotNull org.aya.util.binop.BinOpParser<AyaBinOpSet,org.aya.util.error.WithPos<org.aya.syntax.concrete.Expr>,org.aya.syntax.concrete.Expr.NamedArg> replicate(@NotNull @NotNull kala.collection.SeqView<@NotNull org.aya.syntax.concrete.Expr.NamedArg> seq)
      Specified by:
      replicate in class org.aya.util.binop.BinOpParser<AyaBinOpSet,org.aya.util.error.WithPos<org.aya.syntax.concrete.Expr>,org.aya.syntax.concrete.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,org.aya.util.error.WithPos<org.aya.syntax.concrete.Expr>,org.aya.syntax.concrete.Expr.NamedArg>

    • createErrorExpr

      @NotNull protected @NotNull org.aya.util.error.WithPos<org.aya.syntax.concrete.Expr> 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.Expr>,org.aya.syntax.concrete.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,org.aya.util.error.WithPos<org.aya.syntax.concrete.Expr>,org.aya.syntax.concrete.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,org.aya.util.error.WithPos<org.aya.syntax.concrete.Expr>,org.aya.syntax.concrete.Expr.NamedArg>

    • underlyingOpDecl

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

    • makeArg

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

    • makeSectionApp

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