模块 org.aya

程序包 org.aya.concrete.visitor

接口 StmtOps<P>

所有超级接口:

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

所有已知实现类:

Desugarer

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

方法概要

修饰符和类型	方法	说明
default @NotNull Pattern	visitBinOpPattern(Pattern.BinOpSeq seq, P pp)
default Pattern.Clause	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 @NotNull Expr	visitExpr(@NotNull Expr expr, 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 @NotNull Pattern	visitPattern(@NotNull Pattern pattern, P pp)
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.stmt.Stmt.Visitor

visitAll

方法详细资料

visitSignatured

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

visitRemark

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

指定者:

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

visitDecl

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

visitExpr

@NotNull
default @NotNull Expr visitExpr(@NotNull
 @NotNull Expr expr,
 P pp)

visitClause

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

visitPattern

@NotNull
default @NotNull Pattern visitPattern(@NotNull
 @NotNull Pattern pattern,
 P pp)

visitBinOpPattern

@NotNull
default @NotNull Pattern visitBinOpPattern(@NotNull
 Pattern.BinOpSeq seq,
 P pp)

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>

visitGeneralize

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

指定者:

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