模块 org.aya

程序包 org.aya.core.visitor

接口 TermConsumer<P>

所有超级接口:

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

所有已知子接口:

DefConsumer<P>, VarConsumer<P>

所有已知实现类:

CallResolver, RefFinder, VarConsumer.ScopeChecker, VarConsumer.UsageCounter

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

方法概要

修饰符和类型	方法	说明
default kala.tuple.Unit	visitAccess(CallTerm.Access term, P p)
default kala.tuple.Unit	visitApp(ElimTerm.App term, P p)
default void	visitArg(@NotNull Arg<? extends Term> arg, P p)
default void	visitArgs(P p, kala.collection.SeqLike<Arg<@NotNull Term>> args)
default void	visitCall(@NotNull CallTerm call, P p)
default kala.tuple.Unit	visitConCall(CallTerm.Con conCall, P p)
default kala.tuple.Unit	visitDataCall(CallTerm.Data dataCall, P p)
default kala.tuple.Unit	visitError(@NotNull ErrorTerm term, P p)
default kala.tuple.Unit	visitFieldRef(RefTerm.Field term, P p)
default kala.tuple.Unit	visitFnCall(CallTerm.Fn fnCall, P p)
default kala.tuple.Unit	visitHole(CallTerm.Hole term, P p)
default kala.tuple.Unit	visitLam(IntroTerm.Lambda term, P p)
default kala.tuple.Unit	visitMetaPat(@NotNull RefTerm.MetaPat metaPat, P p)
default kala.tuple.Unit	visitNew(IntroTerm.New newTerm, P p)
default kala.tuple.Unit	visitPi(FormTerm.Pi term, P p)
default kala.tuple.Unit	visitPrimCall(@NotNull CallTerm.Prim prim, P p)
default kala.tuple.Unit	visitProj(ElimTerm.Proj term, P p)
default kala.tuple.Unit	visitRef(@NotNull RefTerm term, P p)
default kala.tuple.Unit	visitSigma(FormTerm.Sigma term, P p)
default kala.tuple.Unit	visitStructCall(CallTerm.Struct structCall, P p)
default kala.tuple.Unit	visitTup(IntroTerm.Tuple term, P p)
default kala.tuple.Unit	visitUniv(FormTerm.Univ term, P p)

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

traceEntrance, traceExit

方法详细资料

visitCall

default void visitCall(@NotNull
 @NotNull CallTerm call,
 P p)

visitHole

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

指定者:

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

visitFieldRef

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

指定者:

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

visitLam

default kala.tuple.Unit visitLam(@NotNull
 IntroTerm.Lambda term,
 P p)

指定者:

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

visitUniv

default kala.tuple.Unit visitUniv(@NotNull
 FormTerm.Univ term,
 P p)

指定者:

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

visitPi

default kala.tuple.Unit visitPi(@NotNull
 FormTerm.Pi term,
 P p)

指定者:

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

visitSigma

default kala.tuple.Unit visitSigma(@NotNull
 FormTerm.Sigma term,
 P p)

指定者:

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

visitRef

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

指定者:

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

visitArg

default void visitArg(@NotNull
 @NotNull Arg<? extends Term> arg,
 P p)

visitApp

default kala.tuple.Unit visitApp(@NotNull
 ElimTerm.App term,
 P p)

指定者:

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

visitFnCall

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

指定者:

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

visitPrimCall

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

指定者:

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

visitDataCall

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

指定者:

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

visitConCall

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

指定者:

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

visitStructCall

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

指定者:

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

visitTup

default kala.tuple.Unit visitTup(@NotNull
 IntroTerm.Tuple term,
 P p)

指定者:

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

visitArgs

default void visitArgs(P p,
 kala.collection.SeqLike<Arg<@NotNull Term>> args)

visitNew

default kala.tuple.Unit visitNew(@NotNull
 IntroTerm.New newTerm,
 P p)

指定者:

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

visitError

default kala.tuple.Unit visitError(@NotNull
 @NotNull ErrorTerm term,
 P p)

指定者:

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

visitMetaPat

default kala.tuple.Unit visitMetaPat(@NotNull RefTerm.MetaPat metaPat,
 P p)

指定者:

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

visitProj

default kala.tuple.Unit visitProj(@NotNull
 ElimTerm.Proj term,
 P p)

指定者:

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

visitAccess

default kala.tuple.Unit visitAccess(@NotNull
 CallTerm.Access term,
 P p)

指定者:

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