模块 org.aya

程序包 org.aya.terck

Record Class CallResolver

java.lang.Object

java.lang.Record

org.aya.terck.CallResolver

记录组件：

targets - only search calls to those definitions

所有已实现的接口:

Def.Visitor<CallGraph<Def,Term.Param>,kala.tuple.Unit>, Term.Visitor<CallGraph<Def,Term.Param>,kala.tuple.Unit>, DefConsumer<CallGraph<Def,Term.Param>>, TermConsumer<CallGraph<Def,Term.Param>>

public record CallResolver(@NotNull FnDef caller, @NotNull kala.collection.mutable.MutableSet<Def> targets, @NotNull kala.value.Ref<Matching> currentMatching)
extends Record
implements DefConsumer<CallGraph<Def,Term.Param>>

Resolve calls and build call graph of recursive functions, after StmtTycker.

构造器概要

构造器

构造器	说明
CallResolver(@NotNull FnDef fn, @NotNull kala.collection.mutable.MutableSet<Def> targets)
CallResolver(@NotNull FnDef caller, @NotNull kala.collection.mutable.MutableSet<Def> targets, @NotNull kala.value.Ref<Matching> currentMatching)	创建 CallResolver 记录的实例。

方法概要

修饰符和类型	方法	说明
@NotNull FnDef	caller()	返回 caller 记录组件的值。
@NotNull kala.value.Ref<Matching>	currentMatching()	返回 currentMatching 记录组件的值。
final boolean	equals(Object o)	指示某个其他对象是否“等于”此对象。
final int	hashCode()	返回此对象的哈希代码值。
@NotNull kala.collection.mutable.MutableSet<Def>	targets()	返回 targets 记录组件的值。
final String	toString()	返回此记录的字符串表示形式。
kala.tuple.Unit	visitAccess(@NotNull CallTerm.Access term, CallGraph<Def,Term.Param> defCallGraph)
kala.tuple.Unit	visitConCall(@NotNull CallTerm.Con conCall, CallGraph<Def,Term.Param> graph)
kala.tuple.Unit	visitDataCall(@NotNull CallTerm.Data dataCall, CallGraph<Def,Term.Param> graph)
kala.tuple.Unit	visitFnCall(@NotNull CallTerm.Fn fnCall, CallGraph<Def,Term.Param> graph)
void	visitMatching(@NotNull Matching matching, CallGraph<Def,Term.Param> graph)
kala.tuple.Unit	visitPrimCall(CallTerm.Prim prim, CallGraph<Def,Term.Param> graph)
kala.tuple.Unit	visitStructCall(@NotNull CallTerm.Struct structCall, CallGraph<Def,Term.Param> graph)

从类继承的方法 java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

从接口继承的方法 org.aya.core.visitor.DefConsumer

visitCtor, visitData, visitField, visitFn, visitPat, visitPrim, visitStruct

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

traceEntrance, traceExit

从接口继承的方法 org.aya.core.visitor.TermConsumer

visitApp, visitArg, visitArgs, visitCall, visitError, visitFieldRef, visitHole, visitLam, visitMetaPat, visitNew, visitPi, visitProj, visitRef, visitSigma, visitTup, visitUniv

构造器详细资料

CallResolver

public CallResolver(@NotNull
 @NotNull FnDef fn,
 @NotNull
 @NotNull kala.collection.mutable.MutableSet<Def> targets)

CallResolver

public CallResolver(@NotNull
 @NotNull FnDef caller,
 @NotNull
 @NotNull kala.collection.mutable.MutableSet<Def> targets,
 @NotNull
 @NotNull kala.value.Ref<Matching> currentMatching)

创建 CallResolver 记录的实例。

参数:

caller - caller 记录组件的值

targets - targets 记录组件的值

currentMatching - currentMatching 记录组件的值

方法详细资料

visitMatching

public void visitMatching(@NotNull
 @NotNull Matching matching,
 CallGraph<Def,Term.Param> graph)

指定者:

visitMatching 在接口中 DefConsumer<CallGraph<Def,Term.Param>>

visitFnCall

public kala.tuple.Unit visitFnCall(@NotNull CallTerm.Fn fnCall,
 CallGraph<Def,Term.Param> graph)

指定者:

visitFnCall 在接口中 Term.Visitor<CallGraph<Def,Term.Param>,kala.tuple.Unit>

指定者:

visitFnCall 在接口中 TermConsumer<CallGraph<Def,Term.Param>>

visitConCall

public kala.tuple.Unit visitConCall(@NotNull CallTerm.Con conCall,
 CallGraph<Def,Term.Param> graph)

指定者:

visitConCall 在接口中 Term.Visitor<CallGraph<Def,Term.Param>,kala.tuple.Unit>

指定者:

visitConCall 在接口中 TermConsumer<CallGraph<Def,Term.Param>>

visitDataCall

public kala.tuple.Unit visitDataCall(@NotNull CallTerm.Data dataCall,
 CallGraph<Def,Term.Param> graph)

指定者:

visitDataCall 在接口中 Term.Visitor<CallGraph<Def,Term.Param>,kala.tuple.Unit>

指定者:

visitDataCall 在接口中 TermConsumer<CallGraph<Def,Term.Param>>

visitStructCall

public kala.tuple.Unit visitStructCall(@NotNull CallTerm.Struct structCall,
 CallGraph<Def,Term.Param> graph)

指定者:

visitStructCall 在接口中 Term.Visitor<CallGraph<Def,Term.Param>,kala.tuple.Unit>

指定者:

visitStructCall 在接口中 TermConsumer<CallGraph<Def,Term.Param>>

visitAccess

public kala.tuple.Unit visitAccess(@NotNull CallTerm.Access term,
 CallGraph<Def,Term.Param> defCallGraph)

指定者:

visitAccess 在接口中 Term.Visitor<CallGraph<Def,Term.Param>,kala.tuple.Unit>

指定者:

visitAccess 在接口中 TermConsumer<CallGraph<Def,Term.Param>>

visitPrimCall

public kala.tuple.Unit visitPrimCall(@NotNull
 CallTerm.Prim prim,
 CallGraph<Def,Term.Param> graph)

指定者:

visitPrimCall 在接口中 Term.Visitor<CallGraph<Def,Term.Param>,kala.tuple.Unit>

指定者:

visitPrimCall 在接口中 TermConsumer<CallGraph<Def,Term.Param>>

toString

public final String toString()

返回此记录的字符串表示形式。此表示形式包含类型的名称，后跟每个记录组件的名称和值。

指定者:

toString 在类中 Record

返回:

此对象的字符串表示形式

hashCode

public final int hashCode()

返回此对象的哈希代码值。此值派生自每个记录组件的哈希代码。

指定者:

hashCode 在类中 Record

返回:

此对象的哈希代码值

equals

public final boolean equals(Object o)

指示某个其他对象是否“等于”此对象。如果两个对象属于同一个类，而且所有记录组件都相等，则这两个对象相等。 此记录中的所有组件都使用 Objects::equals(Object,Object) 进行比较。

指定者:

equals 在类中 Record

参数:

o - 要与之进行比较的对象

返回:

如果此对象与 o 参数相同，则为 true；否则为 false。

caller

@NotNull
public @NotNull FnDef caller()

返回 caller 记录组件的值。

返回:

caller 记录组件的值

targets

@NotNull
public @NotNull kala.collection.mutable.MutableSet<Def> targets()

返回 targets 记录组件的值。

返回:

targets 记录组件的值

currentMatching

@NotNull
public @NotNull kala.value.Ref<Matching> currentMatching()

返回 currentMatching 记录组件的值。

返回:

currentMatching 记录组件的值