模块 aya.base

程序包 org.aya.core.term

记录类 CallTerm.ConHead

java.lang.Object

java.lang.Record

org.aya.core.term.CallTerm.ConHead

封闭接口:

CallTerm

public static record CallTerm.ConHead(@NotNull DefVar<DataDef,TeleDecl.DataDecl> dataRef, @NotNull DefVar<CtorDef,TeleDecl.DataCtor> ref, int ulift, @NotNull kala.collection.immutable.ImmutableSeq<Arg<@NotNull Term>> dataArgs)
extends Record

构造器概要

构造器

构造器	说明
ConHead(@NotNull DefVar<DataDef,TeleDecl.DataDecl> dataRef, @NotNull DefVar<CtorDef,TeleDecl.DataCtor> ref, int ulift, @NotNull kala.collection.immutable.ImmutableSeq<Arg<@NotNull Term>> dataArgs)	创建 ConHead 记录类的实例。

方法概要

修饰符和类型	方法	说明
@NotNull kala.collection.immutable.ImmutableSeq<Arg<@NotNull Term>>	dataArgs()	返回 dataArgs 记录组件的值。
@NotNull DefVar<DataDef,TeleDecl.DataDecl>	dataRef()	返回 dataRef 记录组件的值。
@NotNull CallTerm.ConHead	descent(@NotNull Function<@NotNull Term,@NotNull Term> f)
final boolean	equals(Object o)	指示某个其他对象是否“等于”此对象。
final int	hashCode()	返回此对象的哈希代码值。
@NotNull DefVar<CtorDef,TeleDecl.DataCtor>	ref()	返回 ref 记录组件的值。
final String	toString()	返回此记录类的字符串表示形式。
int	ulift()	返回 ulift 记录组件的值。
@NotNull CallTerm.Data	underlyingDataCall()

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

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

构造器详细资料

ConHead

public ConHead(@NotNull
 @NotNull DefVar<DataDef,TeleDecl.DataDecl> dataRef,
 @NotNull
 @NotNull DefVar<CtorDef,TeleDecl.DataCtor> ref,
 int ulift,
 @NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<Arg<@NotNull Term>> dataArgs)

创建 ConHead 记录类的实例。

参数:

dataRef - dataRef 记录组件的值

ref - ref 记录组件的值

ulift - ulift 记录组件的值

dataArgs - dataArgs 记录组件的值

方法详细资料

underlyingDataCall

@NotNull
public @NotNull CallTerm.Data underlyingDataCall()

descent

@NotNull
public @NotNull CallTerm.ConHead descent(@NotNull
 @NotNull Function<@NotNull Term,@NotNull Term> f)

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。

dataRef

@NotNull
public @NotNull DefVar<DataDef,TeleDecl.DataDecl> dataRef()

返回 dataRef 记录组件的值。

返回:

dataRef 记录组件的值

ref

@NotNull
public @NotNull DefVar<CtorDef,TeleDecl.DataCtor> ref()

返回 ref 记录组件的值。

返回:

ref 记录组件的值

ulift

public int ulift()

返回 ulift 记录组件的值。

返回:

ulift 记录组件的值

dataArgs

@NotNull
public @NotNull kala.collection.immutable.ImmutableSeq<Arg<@NotNull Term>> dataArgs()

返回 dataArgs 记录组件的值。

返回:

dataArgs 记录组件的值