模块 org.aya

程序包 org.aya.core.visitor

接口 VarConsumer<P>

所有超级接口:

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

所有已知实现类:

RefFinder, VarConsumer.ScopeChecker, VarConsumer.UsageCounter

public interface VarConsumer<P>
extends TermConsumer<P>

嵌套类概要

嵌套类

修饰符和类型	接口	说明
static final class	VarConsumer.ScopeChecker
static final class	VarConsumer.UsageCounter

方法概要

修饰符和类型	方法	说明
default kala.tuple.Unit	visitConCall(CallTerm.Con conCall, P p)
default kala.tuple.Unit	visitDataCall(CallTerm.Data dataCall, P p)
default kala.tuple.Unit	visitFieldRef(RefTerm.Field term, P p)
default kala.tuple.Unit	visitFnCall(@NotNull CallTerm.Fn fnCall, P p)
default kala.tuple.Unit	visitHole(CallTerm.Hole term, P p)
default kala.tuple.Unit	visitPrimCall(CallTerm.Prim prim, P p)
default kala.tuple.Unit	visitRef(@NotNull RefTerm term, P p)
default kala.tuple.Unit	visitStructCall(CallTerm.Struct structCall, P p)
void	visitVar(Var usage, P p)

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

traceEntrance, traceExit

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

visitAccess, visitApp, visitArg, visitArgs, visitCall, visitError, visitLam, visitMetaPat, visitNew, visitPi, visitProj, visitSigma, visitTup, visitUniv

方法详细资料

visitRef

default kala.tuple.Unit visitRef(@NotNull
 @NotNull RefTerm term,
 P p)

指定者:

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

指定者:

visitRef 在接口中 TermConsumer<P>

visitFieldRef

default kala.tuple.Unit visitFieldRef(@NotNull
 RefTerm.Field term,
 P p)

指定者:

visitFieldRef 在接口中 Term.Visitor<P,kala.tuple.Unit>

指定者:

visitFieldRef 在接口中 TermConsumer<P>

visitHole

default kala.tuple.Unit visitHole(@NotNull
 CallTerm.Hole term,
 P p)

指定者:

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

指定者:

visitHole 在接口中 TermConsumer<P>

visitFnCall

default kala.tuple.Unit visitFnCall(@NotNull CallTerm.Fn fnCall,
 P p)

指定者:

visitFnCall 在接口中 Term.Visitor<P,kala.tuple.Unit>

指定者:

visitFnCall 在接口中 TermConsumer<P>

visitPrimCall

default kala.tuple.Unit visitPrimCall(@NotNull
 CallTerm.Prim prim,
 P p)

指定者:

visitPrimCall 在接口中 Term.Visitor<P,kala.tuple.Unit>

指定者:

visitPrimCall 在接口中 TermConsumer<P>

visitDataCall

default kala.tuple.Unit visitDataCall(@NotNull
 CallTerm.Data dataCall,
 P p)

指定者:

visitDataCall 在接口中 Term.Visitor<P,kala.tuple.Unit>

指定者:

visitDataCall 在接口中 TermConsumer<P>

visitConCall

default kala.tuple.Unit visitConCall(@NotNull
 CallTerm.Con conCall,
 P p)

指定者:

visitConCall 在接口中 Term.Visitor<P,kala.tuple.Unit>

指定者:

visitConCall 在接口中 TermConsumer<P>

visitStructCall

default kala.tuple.Unit visitStructCall(@NotNull
 CallTerm.Struct structCall,
 P p)

指定者:

visitStructCall 在接口中 Term.Visitor<P,kala.tuple.Unit>

指定者:

visitStructCall 在接口中 TermConsumer<P>

visitVar

@Contract(mutates="this,param2")
void visitVar(Var usage,
 P p)