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>>

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>>