模块 org.aya

程序包 org.aya.core.term

接口 Term.Visitor<P,R>

所有已知子接口:

DefConsumer<P>, TermConsumer<P>, TermFixpoint<P>, Unfolder<P>, VarConsumer<P>

所有已知实现类:

CallResolver, LittleTyper, Normalizer, RefFinder, Serializer, Unfolder.Tracked, VarConsumer.ScopeChecker, VarConsumer.UsageCounter

封闭接口:

Term

public static interface Term.Visitor<P,R>

方法概要

修饰符和类型	方法	说明
default void	traceEntrance(@NotNull Term term, P p)
default void	traceExit(R r)
R	visitAccess(CallTerm.Access access, P p)
R	visitApp(ElimTerm.App app, P p)
R	visitConCall(@NotNull CallTerm.Con conCall, P p)
R	visitDataCall(@NotNull CallTerm.Data dataCall, P p)
R	visitError(@NotNull ErrorTerm error, P p)
R	visitFieldRef(RefTerm.Field field, P p)
R	visitFnCall(@NotNull CallTerm.Fn fnCall, P p)
R	visitHole(CallTerm.Hole hole, P p)
R	visitLam(IntroTerm.Lambda lambda, P p)
R	visitMetaPat(RefTerm.MetaPat metaPat, P p)
R	visitNew(IntroTerm.New newTerm, P p)
R	visitPi(FormTerm.Pi pi, P p)
R	visitPrimCall(CallTerm.Prim prim, P p)
R	visitProj(ElimTerm.Proj proj, P p)
R	visitRef(@NotNull RefTerm ref, P p)
R	visitSigma(FormTerm.Sigma sigma, P p)
R	visitStructCall(@NotNull CallTerm.Struct structCall, P p)
R	visitTup(IntroTerm.Tuple tuple, P p)
R	visitUniv(FormTerm.Univ univ, P p)

方法详细资料

traceEntrance

default void traceEntrance(@NotNull
 @NotNull Term term,
 P p)

traceExit

default void traceExit(R r)

visitRef

R visitRef(@NotNull
 @NotNull RefTerm ref,
 P p)

visitLam

R visitLam(@NotNull
 IntroTerm.Lambda lambda,
 P p)

visitPi

R visitPi(@NotNull
 FormTerm.Pi pi,
 P p)

visitSigma

R visitSigma(@NotNull
 FormTerm.Sigma sigma,
 P p)

visitUniv

R visitUniv(@NotNull
 FormTerm.Univ univ,
 P p)

visitApp

R visitApp(@NotNull
 ElimTerm.App app,
 P p)

visitFnCall

R visitFnCall(@NotNull CallTerm.Fn fnCall,
 P p)

visitDataCall

R visitDataCall(@NotNull CallTerm.Data dataCall,
 P p)

visitConCall

R visitConCall(@NotNull CallTerm.Con conCall,
 P p)

visitStructCall

R visitStructCall(@NotNull CallTerm.Struct structCall,
 P p)

visitPrimCall

R visitPrimCall(@NotNull
 CallTerm.Prim prim,
 P p)

visitTup

R visitTup(@NotNull
 IntroTerm.Tuple tuple,
 P p)

visitNew

R visitNew(@NotNull
 IntroTerm.New newTerm,
 P p)

visitProj

R visitProj(@NotNull
 ElimTerm.Proj proj,
 P p)

visitAccess

R visitAccess(@NotNull
 CallTerm.Access access,
 P p)

visitHole

R visitHole(@NotNull
 CallTerm.Hole hole,
 P p)

visitFieldRef

R visitFieldRef(@NotNull
 RefTerm.Field field,
 P p)

visitError

R visitError(@NotNull
 @NotNull ErrorTerm error,
 P p)

visitMetaPat

R visitMetaPat(@NotNull
 RefTerm.MetaPat metaPat,
 P p)