模块 org.aya

程序包 org.aya.core.visitor

接口 DefConsumer<P>

所有超级接口:

Def.Visitor<P,kala.tuple.Unit>, Term.Visitor<P,kala.tuple.Unit>, TermConsumer<P>

所有已知实现类:

CallResolver

public interface DefConsumer<P>
extends Def.Visitor<P,kala.tuple.Unit>, TermConsumer<P>

方法概要

修饰符和类型	方法	说明
default kala.tuple.Unit	visitCtor(@NotNull CtorDef def, P p)
default kala.tuple.Unit	visitData(@NotNull DataDef def, P p)
default kala.tuple.Unit	visitField(@NotNull FieldDef def, P p)
default kala.tuple.Unit	visitFn(@NotNull FnDef def, P p)
default void	visitMatching(@NotNull Matching matching, P p)
default void	visitPat(@NotNull Pat pat, P p)
default kala.tuple.Unit	visitPrim(@NotNull PrimDef def, P p)
default kala.tuple.Unit	visitStruct(@NotNull StructDef def, P p)

从接口继承的方法 org.aya.core.term.Term.Visitor

traceEntrance, traceExit

从接口继承的方法 org.aya.core.visitor.TermConsumer

visitAccess, visitApp, visitArg, visitArgs, visitCall, visitConCall, visitDataCall, visitError, visitFieldRef, visitFnCall, visitHole, visitLam, visitMetaPat, visitNew, visitPi, visitPrimCall, visitProj, visitRef, visitSigma, visitStructCall, visitTup, visitUniv

方法详细资料

visitMatching

default void visitMatching(@NotNull
 @NotNull Matching matching,
 P p)

visitPat

default void visitPat(@NotNull
 @NotNull Pat pat,
 P p)

visitFn

default kala.tuple.Unit visitFn(@NotNull
 @NotNull FnDef def,
 P p)

指定者:

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

visitData

default kala.tuple.Unit visitData(@NotNull
 @NotNull DataDef def,
 P p)

指定者:

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

visitStruct

default kala.tuple.Unit visitStruct(@NotNull
 @NotNull StructDef def,
 P p)

指定者:

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

visitCtor

default kala.tuple.Unit visitCtor(@NotNull
 @NotNull CtorDef def,
 P p)

指定者:

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

visitField

default kala.tuple.Unit visitField(@NotNull
 @NotNull FieldDef def,
 P p)

指定者:

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

visitPrim

default kala.tuple.Unit visitPrim(@NotNull
 @NotNull PrimDef def,
 P p)

指定者:

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