模块 org.aya

程序包 org.aya.core.serde

Record Class SerTerm.Proj

java.lang.Object

java.lang.Record

org.aya.core.serde.SerTerm.Proj

所有已实现的接口:

Serializable, SerTerm

封闭接口:

SerTerm

public static record SerTerm.Proj(@NotNull SerTerm of, int ix)
extends Record
implements SerTerm

另请参阅:

• 序列化表格

嵌套类概要

从接口继承的嵌套类/接口 org.aya.core.serde.SerTerm

SerTerm.Access, SerTerm.App, SerTerm.CallData, SerTerm.ConCall, SerTerm.DataCall, SerTerm.DeState, SerTerm.FieldRef, SerTerm.FnCall, SerTerm.Lam, SerTerm.New, SerTerm.Pi, SerTerm.PrimCall, SerTerm.Proj, SerTerm.Ref, SerTerm.SerArg, SerTerm.SerParam, SerTerm.Sigma, SerTerm.SimpVar, SerTerm.StructCall, SerTerm.Tup, SerTerm.Univ

构造器概要

构造器

构造器	说明
Proj(@NotNull SerTerm of, int ix)	创建 Proj 记录的实例。

方法概要

修饰符和类型	方法	说明
@NotNull Term	de(@NotNull SerTerm.DeState state)
final boolean	equals(Object o)	指示某个其他对象是否“等于”此对象。
final int	hashCode()	返回此对象的哈希代码值。
int	ix()	返回 ix 记录组件的值。
@NotNull SerTerm	of()	返回 of 记录组件的值。
final String	toString()	返回此记录的字符串表示形式。

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

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

构造器详细资料

Proj

public Proj(@NotNull
 @NotNull SerTerm of,
 int ix)

创建 Proj 记录的实例。

参数:

of - of 记录组件的值

ix - ix 记录组件的值

方法详细资料

de

@NotNull
public @NotNull Term de(@NotNull
 @NotNull SerTerm.DeState state)

指定者:

de 在接口中 SerTerm

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。

of

@NotNull
public @NotNull SerTerm of()

返回 of 记录组件的值。

返回:

of 记录组件的值

ix

public int ix()

返回 ix 记录组件的值。

返回:

ix 记录组件的值