java.lang.Object
java.lang.Record
org.aya.core.visitor.RefFinder
- 所有已实现的接口:
Def.Visitor<@NotNull kala.collection.mutable.MutableList<Def>,,kala.tuple.Unit> Term.Visitor<@NotNull kala.collection.mutable.MutableList<Def>,,kala.tuple.Unit> TermConsumer<@NotNull kala.collection.mutable.MutableList<Def>>,VarConsumer<@NotNull kala.collection.mutable.MutableList<Def>>
public record RefFinder(boolean withBody)
extends Record
implements Def.Visitor<@NotNull kala.collection.mutable.MutableList<Def>,kala.tuple.Unit>, VarConsumer<@NotNull kala.collection.mutable.MutableList<Def>>
- 另请参阅:
-
嵌套类概要
从接口继承的嵌套类/接口 org.aya.core.visitor.VarConsumer
VarConsumer.ScopeChecker, VarConsumer.UsageCounter -
字段概要
字段 -
构造器概要
构造器 -
方法概要
修饰符和类型方法说明final boolean指示某个其他对象是否“等于”此对象。final inthashCode()返回此对象的哈希代码值。voidfinal StringtoString()返回此记录的字符串表示形式。kala.tuple.Unitkala.tuple.Unitkala.tuple.UnitvisitField(@NotNull FieldDef def, @NotNull kala.collection.mutable.MutableList<Def> references) kala.tuple.Unitkala.tuple.Unitkala.tuple.UnitvisitStruct(@NotNull StructDef def, @NotNull kala.collection.mutable.MutableList<Def> references) voidbooleanwithBody()返回withBody记录组件的值。从接口继承的方法 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从接口继承的方法 org.aya.core.visitor.VarConsumer
visitConCall, visitDataCall, visitFieldRef, visitFnCall, visitHole, visitPrimCall, visitRef, visitStructCall
-
字段详细资料
-
HEADER_ONLY
-
HEADER_AND_BODY
-
-
构造器详细资料
-
RefFinder
public RefFinder(boolean withBody) 创建RefFinder记录的实例。- 参数:
withBody-withBody记录组件的值
-
-
方法详细资料
-
visitVar
- 指定者:
visitVar在接口中VarConsumer<@NotNull kala.collection.mutable.MutableList<Def>>
-
visitFn
public kala.tuple.Unit visitFn(@NotNull @NotNull FnDef fn, @NotNull @NotNull kala.collection.mutable.MutableList<Def> references) - 指定者:
visitFn在接口中Def.Visitor<@NotNull kala.collection.mutable.MutableList<Def>,kala.tuple.Unit>
-
visitCtor
public kala.tuple.Unit visitCtor(@NotNull @NotNull CtorDef def, @NotNull @NotNull kala.collection.mutable.MutableList<Def> references) - 指定者:
visitCtor在接口中Def.Visitor<@NotNull kala.collection.mutable.MutableList<Def>,kala.tuple.Unit>
-
visitStruct
public kala.tuple.Unit visitStruct(@NotNull @NotNull StructDef def, @NotNull @NotNull kala.collection.mutable.MutableList<Def> references) - 指定者:
visitStruct在接口中Def.Visitor<@NotNull kala.collection.mutable.MutableList<Def>,kala.tuple.Unit>
-
visitField
public kala.tuple.Unit visitField(@NotNull @NotNull FieldDef def, @NotNull @NotNull kala.collection.mutable.MutableList<Def> references) - 指定者:
visitField在接口中Def.Visitor<@NotNull kala.collection.mutable.MutableList<Def>,kala.tuple.Unit>
-
visitPrim
public kala.tuple.Unit visitPrim(@NotNull @NotNull PrimDef def, @NotNull @NotNull kala.collection.mutable.MutableList<Def> defs) - 指定者:
visitPrim在接口中Def.Visitor<@NotNull kala.collection.mutable.MutableList<Def>,kala.tuple.Unit>
-
visitData
public kala.tuple.Unit visitData(@NotNull @NotNull DataDef def, @NotNull @NotNull kala.collection.mutable.MutableList<Def> references) - 指定者:
visitData在接口中Def.Visitor<@NotNull kala.collection.mutable.MutableList<Def>,kala.tuple.Unit>
-
matchy
-
toString
返回此记录的字符串表示形式。此表示形式包含类型的名称,后跟每个记录组件的名称和值。 -
hashCode
public final int hashCode()返回此对象的哈希代码值。此值派生自每个记录组件的哈希代码。 -
equals
指示某个其他对象是否“等于”此对象。如果两个对象属于同一个类,而且所有记录组件都相等,则这两个对象相等。 此记录中的所有组件都使用 '==' 进行比较。 -
withBody
public boolean withBody()返回withBody记录组件的值。- 返回:
withBody记录组件的值
-