模块 org.aya

程序包 org.aya.concrete.visitor

接口 ExprConsumer<P>

所有超级接口:

Expr.Visitor<P,kala.tuple.Unit>

所有已知子接口:

StmtConsumer<P>

public interface ExprConsumer<P>
extends Expr.Visitor<P,kala.tuple.Unit>

方法概要

修饰符和类型	方法	说明
default kala.tuple.Unit	visitApp(@NotNull Expr.AppExpr expr, P p)
default kala.tuple.Unit	visitBinOpSeq(@NotNull Expr.BinOpSeq binOpSeq, P p)
default kala.tuple.Unit	visitError(@NotNull Expr.ErrorExpr error, P p)
default kala.tuple.Unit	visitHole(@NotNull Expr.HoleExpr holeExpr, P p)
default kala.tuple.Unit	visitLam(@NotNull Expr.LamExpr expr, P p)
default kala.tuple.Unit	visitLift(@NotNull Expr.LiftExpr expr, P p)
default kala.tuple.Unit	visitLitInt(@NotNull Expr.LitIntExpr expr, P p)
default kala.tuple.Unit	visitLitString(@NotNull Expr.LitStringExpr expr, P p)
default kala.tuple.Unit	visitMetaPat(@NotNull Expr.MetaPat metaPat, P p)
default kala.tuple.Unit	visitNew(@NotNull Expr.NewExpr expr, P p)
default void	visitParams(@NotNull kala.collection.immutable.ImmutableSeq<@NotNull Expr.Param> params, P p)
default kala.tuple.Unit	visitPi(@NotNull Expr.PiExpr expr, P p)
default kala.tuple.Unit	visitProj(@NotNull Expr.ProjExpr expr, P p)
default kala.tuple.Unit	visitRawUniv(@NotNull Expr.RawUnivExpr expr, P p)
default kala.tuple.Unit	visitRef(@NotNull Expr.RefExpr expr, P p)
default kala.tuple.Unit	visitSigma(@NotNull Expr.SigmaExpr expr, P p)
default kala.tuple.Unit	visitTup(@NotNull Expr.TupExpr expr, P p)
default kala.tuple.Unit	visitUniv(@NotNull Expr.UnivExpr expr, P p)
default kala.tuple.Unit	visitUnresolved(@NotNull Expr.UnresolvedExpr expr, P p)

从接口继承的方法 org.aya.concrete.Expr.Visitor

traceEntrance, traceExit

方法详细资料

visitRef

default kala.tuple.Unit visitRef(@NotNull Expr.RefExpr expr,
 P p)

指定者:

visitRef 在接口中 Expr.Visitor<P,kala.tuple.Unit>

visitUnresolved

default kala.tuple.Unit visitUnresolved(@NotNull Expr.UnresolvedExpr expr,
 P p)

指定者:

visitUnresolved 在接口中 Expr.Visitor<P,kala.tuple.Unit>

visitError

default kala.tuple.Unit visitError(@NotNull Expr.ErrorExpr error,
 P p)

指定者:

visitError 在接口中 Expr.Visitor<P,kala.tuple.Unit>

visitHole

default kala.tuple.Unit visitHole(@NotNull Expr.HoleExpr holeExpr,
 P p)

指定者:

visitHole 在接口中 Expr.Visitor<P,kala.tuple.Unit>

visitBinOpSeq

default kala.tuple.Unit visitBinOpSeq(@NotNull Expr.BinOpSeq binOpSeq,
 P p)

指定者:

visitBinOpSeq 在接口中 Expr.Visitor<P,kala.tuple.Unit>

visitNew

default kala.tuple.Unit visitNew(@NotNull Expr.NewExpr expr,
 P p)

指定者:

visitNew 在接口中 Expr.Visitor<P,kala.tuple.Unit>

visitUniv

default kala.tuple.Unit visitUniv(@NotNull Expr.UnivExpr expr,
 P p)

指定者:

visitUniv 在接口中 Expr.Visitor<P,kala.tuple.Unit>

visitMetaPat

default kala.tuple.Unit visitMetaPat(@NotNull Expr.MetaPat metaPat,
 P p)

指定者:

visitMetaPat 在接口中 Expr.Visitor<P,kala.tuple.Unit>

visitLift

default kala.tuple.Unit visitLift(@NotNull Expr.LiftExpr expr,
 P p)

指定者:

visitLift 在接口中 Expr.Visitor<P,kala.tuple.Unit>

visitRawUniv

default kala.tuple.Unit visitRawUniv(@NotNull Expr.RawUnivExpr expr,
 P p)

指定者:

visitRawUniv 在接口中 Expr.Visitor<P,kala.tuple.Unit>

visitApp

default kala.tuple.Unit visitApp(@NotNull Expr.AppExpr expr,
 P p)

指定者:

visitApp 在接口中 Expr.Visitor<P,kala.tuple.Unit>

visitParams

default void visitParams(@NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<@NotNull Expr.Param> params,
 P p)

visitLam

default kala.tuple.Unit visitLam(@NotNull Expr.LamExpr expr,
 P p)

指定者:

visitLam 在接口中 Expr.Visitor<P,kala.tuple.Unit>

visitPi

default kala.tuple.Unit visitPi(@NotNull Expr.PiExpr expr,
 P p)

指定者:

visitPi 在接口中 Expr.Visitor<P,kala.tuple.Unit>

visitSigma

default kala.tuple.Unit visitSigma(@NotNull Expr.SigmaExpr expr,
 P p)

指定者:

visitSigma 在接口中 Expr.Visitor<P,kala.tuple.Unit>

visitTup

default kala.tuple.Unit visitTup(@NotNull Expr.TupExpr expr,
 P p)

指定者:

visitTup 在接口中 Expr.Visitor<P,kala.tuple.Unit>

visitProj

default kala.tuple.Unit visitProj(@NotNull Expr.ProjExpr expr,
 P p)

指定者:

visitProj 在接口中 Expr.Visitor<P,kala.tuple.Unit>

visitLitInt

default kala.tuple.Unit visitLitInt(@NotNull Expr.LitIntExpr expr,
 P p)

指定者:

visitLitInt 在接口中 Expr.Visitor<P,kala.tuple.Unit>

visitLitString

default kala.tuple.Unit visitLitString(@NotNull Expr.LitStringExpr expr,
 P p)

指定者:

visitLitString 在接口中 Expr.Visitor<P,kala.tuple.Unit>