模块 org.aya

程序包 org.aya.concrete

接口 Expr.Visitor<P,R>

所有已知子接口:

ExprConsumer<P>, StmtConsumer<P>

所有已知实现类:

ExprResolver

封闭接口:

Expr

public static interface Expr.Visitor<P,R>

方法概要

修饰符和类型	方法	说明
default void	traceEntrance(@NotNull Expr expr, P p)
default void	traceExit(R r, @NotNull Expr expr, P p)
R	visitApp(@NotNull Expr.AppExpr expr, P p)
R	visitBinOpSeq(@NotNull Expr.BinOpSeq binOpSeq, P p)
R	visitError(@NotNull Expr.ErrorExpr error, P p)
R	visitHole(@NotNull Expr.HoleExpr expr, P p)
R	visitLam(@NotNull Expr.LamExpr expr, P p)
R	visitLift(@NotNull Expr.LiftExpr expr, P p)
R	visitLitInt(@NotNull Expr.LitIntExpr expr, P p)
R	visitLitString(@NotNull Expr.LitStringExpr expr, P p)
R	visitMetaPat(@NotNull Expr.MetaPat metaPat, P p)
R	visitNew(@NotNull Expr.NewExpr expr, P p)
R	visitPi(@NotNull Expr.PiExpr expr, P p)
R	visitProj(@NotNull Expr.ProjExpr expr, P p)
R	visitRawUniv(@NotNull Expr.RawUnivExpr expr, P p)
R	visitRef(@NotNull Expr.RefExpr expr, P p)
R	visitSigma(@NotNull Expr.SigmaExpr expr, P p)
R	visitTup(@NotNull Expr.TupExpr expr, P p)
R	visitUniv(@NotNull Expr.UnivExpr expr, P p)
R	visitUnresolved(@NotNull Expr.UnresolvedExpr expr, P p)

方法详细资料

traceEntrance

default void traceEntrance(@NotNull
 @NotNull Expr expr,
 P p)

traceExit

default void traceExit(R r,
 @NotNull
 @NotNull Expr expr,
 P p)

visitRef

R visitRef(@NotNull
 @NotNull Expr.RefExpr expr,
 P p)

visitUnresolved

R visitUnresolved(@NotNull
 @NotNull Expr.UnresolvedExpr expr,
 P p)

visitLam

R visitLam(@NotNull
 @NotNull Expr.LamExpr expr,
 P p)

visitPi

R visitPi(@NotNull
 @NotNull Expr.PiExpr expr,
 P p)

visitSigma

R visitSigma(@NotNull
 @NotNull Expr.SigmaExpr expr,
 P p)

visitRawUniv

R visitRawUniv(@NotNull
 @NotNull Expr.RawUnivExpr expr,
 P p)

visitLift

R visitLift(@NotNull
 @NotNull Expr.LiftExpr expr,
 P p)

visitUniv

R visitUniv(@NotNull
 @NotNull Expr.UnivExpr expr,
 P p)

visitApp

R visitApp(@NotNull
 @NotNull Expr.AppExpr expr,
 P p)

visitHole

R visitHole(@NotNull
 @NotNull Expr.HoleExpr expr,
 P p)

visitTup

R visitTup(@NotNull
 @NotNull Expr.TupExpr expr,
 P p)

visitProj

R visitProj(@NotNull
 @NotNull Expr.ProjExpr expr,
 P p)

visitNew

R visitNew(@NotNull
 @NotNull Expr.NewExpr expr,
 P p)

visitLitInt

R visitLitInt(@NotNull
 @NotNull Expr.LitIntExpr expr,
 P p)

visitLitString

R visitLitString(@NotNull
 @NotNull Expr.LitStringExpr expr,
 P p)

visitBinOpSeq

R visitBinOpSeq(@NotNull
 @NotNull Expr.BinOpSeq binOpSeq,
 P p)

visitError

R visitError(@NotNull
 @NotNull Expr.ErrorExpr error,
 P p)

visitMetaPat

R visitMetaPat(@NotNull
 @NotNull Expr.MetaPat metaPat,
 P p)