- 所有超级接口:
Term.Visitor<P,@NotNull Term>
- 所有已知子接口:
Unfolder<P>
- 所有已知实现类:
Normalizer,Unfolder.Tracked
-
方法概要
修饰符和类型方法说明default intulift()default @NotNull TermvisitAccess(CallTerm.Access term, P p) default @NotNull TermvisitApp(ElimTerm.App term, P p) default @NotNull TermvisitConCall(CallTerm.Con conCall, P p) default @NotNull TermvisitDataCall(CallTerm.Data dataCall, P p) default @NotNull ErrorTermvisitError(@NotNull ErrorTerm term, P p) default @NotNull TermvisitFieldRef(RefTerm.Field term, P p) default @NotNull TermvisitFnCall(@NotNull CallTerm.Fn fnCall, P p) default @NotNull TermvisitHole(CallTerm.Hole term, P p) default @NotNull TermvisitLam(IntroTerm.Lambda term, P p) default @NotNull TermvisitMetaPat(@NotNull RefTerm.MetaPat metaPat, P p) default @NotNull TermvisitNew(IntroTerm.New struct, P p) default @NotNull TermvisitPi(FormTerm.Pi term, P p) default @NotNull TermvisitPrimCall(@NotNull CallTerm.Prim prim, P p) default @NotNull TermvisitProj(ElimTerm.Proj term, P p) default @NotNull Termdefault @NotNull TermvisitSigma(FormTerm.Sigma term, P p) default @NotNull TermvisitStructCall(CallTerm.Struct structCall, P p) default @NotNull TermvisitTup(IntroTerm.Tuple term, P p) default @NotNull TermvisitUniv(FormTerm.Univ term, P p) 从接口继承的方法 org.aya.core.term.Term.Visitor
traceEntrance, traceExit
-
方法详细资料
-
visitHole
- 指定者:
visitHole在接口中Term.Visitor<P,@NotNull Term>
-
visitFieldRef
- 指定者:
visitFieldRef在接口中Term.Visitor<P,@NotNull Term>
-
ulift
default int ulift() -
visitDataCall
- 指定者:
visitDataCall在接口中Term.Visitor<P,@NotNull Term>
-
visitError
- 指定者:
visitError在接口中Term.Visitor<P,@NotNull Term>
-
visitMetaPat
- 指定者:
visitMetaPat在接口中Term.Visitor<P,@NotNull Term>
-
visitConCall
- 指定者:
visitConCall在接口中Term.Visitor<P,@NotNull Term>
-
visitStructCall
- 指定者:
visitStructCall在接口中Term.Visitor<P,@NotNull Term>
-
visitLam
- 指定者:
visitLam在接口中Term.Visitor<P,@NotNull Term>
-
visitUniv
- 指定者:
visitUniv在接口中Term.Visitor<P,@NotNull Term>
-
visitPi
- 指定者:
visitPi在接口中Term.Visitor<P,@NotNull Term>
-
visitSigma
- 指定者:
visitSigma在接口中Term.Visitor<P,@NotNull Term>
-
visitRef
- 指定者:
visitRef在接口中Term.Visitor<P,@NotNull Term>
-
visitArg
-
visitApp
- 指定者:
visitApp在接口中Term.Visitor<P,@NotNull Term>
-
visitFnCall
- 指定者:
visitFnCall在接口中Term.Visitor<P,@NotNull Term>
-
visitPrimCall
- 指定者:
visitPrimCall在接口中Term.Visitor<P,@NotNull Term>
-
visitTup
- 指定者:
visitTup在接口中Term.Visitor<P,@NotNull Term>
-
visitNew
- 指定者:
visitNew在接口中Term.Visitor<P,@NotNull Term>
-
visitProj
- 指定者:
visitProj在接口中Term.Visitor<P,@NotNull Term>
-
visitAccess
- 指定者:
visitAccess在接口中Term.Visitor<P,@NotNull Term>
-