模块 org.aya

程序包 org.aya.concrete.visitor

接口 StmtConsumer<P>

所有超级接口:

Decl.Visitor<P,kala.tuple.Unit>, Expr.Visitor<P,kala.tuple.Unit>, ExprConsumer<P>, Stmt.Visitor<P,kala.tuple.Unit>

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

方法概要

修饰符和类型	方法	说明
default void	visitClause(Pattern.Clause c, P pp)
default kala.tuple.Unit	visitCtor(@NotNull Decl.DataCtor ctor, P p)
default kala.tuple.Unit	visitData(Decl.DataDecl decl, P p)
default void	visitDecl(@NotNull Decl decl, P pp)
default kala.tuple.Unit	visitField(@NotNull Decl.StructField field, P p)
default kala.tuple.Unit	visitFn(Decl.FnDecl decl, P p)
default kala.tuple.Unit	visitGeneralize(@NotNull Generalize variables, P p)
default kala.tuple.Unit	visitImport(@NotNull Command.Import cmd, P p)
default kala.tuple.Unit	visitModule(@NotNull Command.Module mod, P p)
default kala.tuple.Unit	visitOpen(@NotNull Command.Open cmd, P p)
default void	visitPattern(@NotNull Pattern pattern, P p)
default kala.tuple.Unit	visitPrim(Decl.PrimDecl decl, P p)
default kala.tuple.Unit	visitRemark(@NotNull Remark remark, P p)
default void	visitSignatured(@NotNull Signatured signatured, P pp)
default kala.tuple.Unit	visitStruct(Decl.StructDecl decl, P p)

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

traced, traceEntrance, traceExit

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

traceEntrance, traceExit

从接口继承的方法 org.aya.concrete.visitor.ExprConsumer

visitApp, visitBinOpSeq, visitError, visitHole, visitLam, visitLift, visitLitInt, visitLitString, visitMetaPat, visitNew, visitParams, visitPi, visitProj, visitRawUniv, visitRef, visitSigma, visitTup, visitUniv, visitUnresolved

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

visitAll

方法详细资料

visitSignatured

default void visitSignatured(@NotNull
 @NotNull Signatured signatured,
 P pp)

visitDecl

default void visitDecl(@NotNull
 @NotNull Decl decl,
 P pp)

visitClause

default void visitClause(@NotNull
 Pattern.Clause c,
 P pp)

visitPattern

default void visitPattern(@NotNull
 @NotNull Pattern pattern,
 P p)

visitData

default kala.tuple.Unit visitData(@NotNull
 Decl.DataDecl decl,
 P p)

指定者:

visitData 在接口中 Decl.Visitor<P,kala.tuple.Unit>

visitStruct

default kala.tuple.Unit visitStruct(@NotNull
 Decl.StructDecl decl,
 P p)

指定者:

visitStruct 在接口中 Decl.Visitor<P,kala.tuple.Unit>

visitFn

default kala.tuple.Unit visitFn(@NotNull
 Decl.FnDecl decl,
 P p)

指定者:

visitFn 在接口中 Decl.Visitor<P,kala.tuple.Unit>

visitPrim

default kala.tuple.Unit visitPrim(@NotNull
 Decl.PrimDecl decl,
 P p)

指定者:

visitPrim 在接口中 Decl.Visitor<P,kala.tuple.Unit>

visitImport

default kala.tuple.Unit visitImport(@NotNull Command.Import cmd,
 P p)

指定者:

visitImport 在接口中 Stmt.Visitor<P,kala.tuple.Unit>

visitOpen

default kala.tuple.Unit visitOpen(@NotNull Command.Open cmd,
 P p)

指定者:

visitOpen 在接口中 Stmt.Visitor<P,kala.tuple.Unit>

visitModule

default kala.tuple.Unit visitModule(@NotNull Command.Module mod,
 P p)

指定者:

visitModule 在接口中 Stmt.Visitor<P,kala.tuple.Unit>

visitCtor

default kala.tuple.Unit visitCtor(@NotNull Decl.DataCtor ctor,
 P p)

指定者:

visitCtor 在接口中 Decl.Visitor<P,kala.tuple.Unit>

visitField

default kala.tuple.Unit visitField(@NotNull Decl.StructField field,
 P p)

指定者:

visitField 在接口中 Decl.Visitor<P,kala.tuple.Unit>

visitRemark

default kala.tuple.Unit visitRemark(@NotNull
 @NotNull Remark remark,
 P p)

指定者:

visitRemark 在接口中 Stmt.Visitor<P,kala.tuple.Unit>

visitGeneralize

default kala.tuple.Unit visitGeneralize(@NotNull
 @NotNull Generalize variables,
 P p)

指定者:

visitGeneralize 在接口中 Stmt.Visitor<P,kala.tuple.Unit>