模块 aya.base

程序包 org.aya.tyck.trace

Record Class Trace.UnifyT

java.lang.Object

java.lang.Record

org.aya.tyck.trace.Trace.UnifyT

所有已实现的接口:

Trace, org.aya.util.TreeBuilder.Tree<Trace>

封闭接口:

Trace

public static record Trace.UnifyT(@NotNull Term lhs, @NotNull Term rhs, @NotNull org.aya.util.error.SourcePos pos, @Nullable Term type, @NotNull kala.collection.mutable.MutableList<@NotNull Trace> children)
extends Record
implements Trace

嵌套类概要

从接口继承的嵌套类/接口 org.aya.tyck.trace.Trace

Trace.Builder, Trace.DeclT, Trace.ExprT, Trace.LabelT, Trace.PatT, Trace.TyckT, Trace.UnifyT, Trace.Visitor<P,R>

构造器概要

构造器

构造器	说明
UnifyT(@NotNull Term lhs, @NotNull Term rhs, @NotNull org.aya.util.error.SourcePos pos)
UnifyT(@NotNull Term lhs, @NotNull Term rhs, @NotNull org.aya.util.error.SourcePos pos, @Nullable Term type)
UnifyT(@NotNull Term lhs, @NotNull Term rhs, @NotNull org.aya.util.error.SourcePos pos, @Nullable Term type, @NotNull kala.collection.mutable.MutableList<@NotNull Trace> children)	创建 UnifyT 记录的实例。

方法概要

修饰符和类型	方法	说明
<P, R> R	accept(@NotNull Trace.Visitor<P,R> visitor, P p)
@NotNull kala.collection.mutable.MutableList<@NotNull Trace>	children()	返回 children 记录组件的值。
final boolean	equals(Object o)	指示某个其他对象是否“等于”此对象。
final int	hashCode()	返回此对象的哈希代码值。
@NotNull Term	lhs()	返回 lhs 记录组件的值。
@NotNull org.aya.util.error.SourcePos	pos()	返回 pos 记录组件的值。
@NotNull Term	rhs()	返回 rhs 记录组件的值。
final String	toString()	返回此记录的字符串表示形式。
@Nullable Term	type()	返回 type 记录组件的值。

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

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

构造器详细资料

UnifyT

public UnifyT(@NotNull
 @NotNull Term lhs,
 @NotNull
 @NotNull Term rhs,
 @NotNull
 @NotNull org.aya.util.error.SourcePos pos)

UnifyT

public UnifyT(@NotNull
 @NotNull Term lhs,
 @NotNull
 @NotNull Term rhs,
 @NotNull
 @NotNull org.aya.util.error.SourcePos pos,
 @Nullable
 @Nullable Term type)

UnifyT

public UnifyT(@NotNull
 @NotNull Term lhs,
 @NotNull
 @NotNull Term rhs,
 @NotNull
 @NotNull org.aya.util.error.SourcePos pos,
 @Nullable
 @Nullable Term type,
 @NotNull
 @NotNull kala.collection.mutable.MutableList<@NotNull Trace> children)

创建 UnifyT 记录的实例。

参数:

lhs - lhs 记录组件的值

rhs - rhs 记录组件的值

pos - pos 记录组件的值

type - type 记录组件的值

children - children 记录组件的值

方法详细资料

accept

public <P,
R> R accept(@NotNull
 @NotNull Trace.Visitor<P,R> visitor,
 P p)

指定者:

accept 在接口中 Trace

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。

lhs

@NotNull
public @NotNull Term lhs()

返回 lhs 记录组件的值。

返回:

lhs 记录组件的值

rhs

@NotNull
public @NotNull Term rhs()

返回 rhs 记录组件的值。

返回:

rhs 记录组件的值

pos

@NotNull
public @NotNull org.aya.util.error.SourcePos pos()

返回 pos 记录组件的值。

返回:

pos 记录组件的值

type

@Nullable
public @Nullable Term type()

返回 type 记录组件的值。

返回:

type 记录组件的值

children

@NotNull
public @NotNull kala.collection.mutable.MutableList<@NotNull Trace> children()

返回 children 记录组件的值。

指定者:

children 在接口中 org.aya.util.TreeBuilder.Tree<Trace>

返回:

children 记录组件的值