- 所有超级接口:
Term.Visitor<P,,kala.tuple.Unit> TermConsumer<P>
-
嵌套类概要
嵌套类修饰符和类型接口说明static final classstatic final class -
方法概要
修饰符和类型方法说明default kala.tuple.UnitvisitConCall(CallTerm.Con conCall, P p) default kala.tuple.UnitvisitDataCall(CallTerm.Data dataCall, P p) default kala.tuple.UnitvisitFieldRef(RefTerm.Field term, P p) default kala.tuple.UnitvisitFnCall(@NotNull CallTerm.Fn fnCall, P p) default kala.tuple.UnitvisitHole(CallTerm.Hole term, P p) default kala.tuple.UnitvisitPrimCall(CallTerm.Prim prim, P p) default kala.tuple.Unitdefault kala.tuple.UnitvisitStructCall(CallTerm.Struct structCall, P p) void从接口继承的方法 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
- 指定者:
visitRef在接口中Term.Visitor<P,kala.tuple.Unit> - 指定者:
visitRef在接口中TermConsumer<P>
-
visitFieldRef
- 指定者:
visitFieldRef在接口中Term.Visitor<P,kala.tuple.Unit> - 指定者:
visitFieldRef在接口中TermConsumer<P>
-
visitHole
- 指定者:
visitHole在接口中Term.Visitor<P,kala.tuple.Unit> - 指定者:
visitHole在接口中TermConsumer<P>
-
visitFnCall
- 指定者:
visitFnCall在接口中Term.Visitor<P,kala.tuple.Unit> - 指定者:
visitFnCall在接口中TermConsumer<P>
-
visitPrimCall
- 指定者:
visitPrimCall在接口中Term.Visitor<P,kala.tuple.Unit> - 指定者:
visitPrimCall在接口中TermConsumer<P>
-
visitDataCall
- 指定者:
visitDataCall在接口中Term.Visitor<P,kala.tuple.Unit> - 指定者:
visitDataCall在接口中TermConsumer<P>
-
visitConCall
- 指定者:
visitConCall在接口中Term.Visitor<P,kala.tuple.Unit> - 指定者:
visitConCall在接口中TermConsumer<P>
-
visitStructCall
- 指定者:
visitStructCall在接口中Term.Visitor<P,kala.tuple.Unit> - 指定者:
visitStructCall在接口中TermConsumer<P>
-
visitVar
-