java.lang.Object
java.lang.Record
org.aya.concrete.stmt.BindBlock
public record BindBlock(@NotNull org.aya.util.error.SourcePos sourcePos, @NotNull kala.value.MutableValue<@Nullable Context> context, @NotNull kala.collection.immutable.ImmutableSeq<QualifiedID> loosers, @NotNull kala.collection.immutable.ImmutableSeq<QualifiedID> tighters, @NotNull kala.value.MutableValue<kala.collection.immutable.ImmutableSeq<DefVar<?,?>>> resolvedLoosers, @NotNull kala.value.MutableValue<kala.collection.immutable.ImmutableSeq<DefVar<?,?>>> resolvedTighters)
extends Record
-
字段概要
字段 -
构造器概要
构造器构造器说明BindBlock(@NotNull org.aya.util.error.SourcePos sourcePos, @NotNull kala.value.MutableValue<@Nullable Context> context, @NotNull kala.collection.immutable.ImmutableSeq<QualifiedID> loosers, @NotNull kala.collection.immutable.ImmutableSeq<QualifiedID> tighters, @NotNull kala.value.MutableValue<kala.collection.immutable.ImmutableSeq<DefVar<?, ?>>> resolvedLoosers, @NotNull kala.value.MutableValue<kala.collection.immutable.ImmutableSeq<DefVar<?, ?>>> resolvedTighters) 创建BindBlock记录类的实例。 -
方法概要
修饰符和类型方法说明@NotNull kala.value.MutableValue<@Nullable Context>context()返回context记录组件的值。final boolean指示某个其他对象是否“等于”此对象。final inthashCode()返回此对象的哈希代码值。@NotNull kala.collection.immutable.ImmutableSeq<QualifiedID>loosers()返回loosers记录组件的值。@NotNull kala.value.MutableValue<kala.collection.immutable.ImmutableSeq<DefVar<?,?>>> 返回resolvedLoosers记录组件的值。@NotNull kala.value.MutableValue<kala.collection.immutable.ImmutableSeq<DefVar<?,?>>> 返回resolvedTighters记录组件的值。@NotNull org.aya.util.error.SourcePos返回sourcePos记录组件的值。@NotNull kala.collection.immutable.ImmutableSeq<QualifiedID>tighters()返回tighters记录组件的值。final StringtoString()返回此记录类的字符串表示形式。
-
字段详细资料
-
EMPTY
-
-
构造器详细资料
-
BindBlock
public BindBlock(@NotNull @NotNull org.aya.util.error.SourcePos sourcePos, @NotNull @NotNull kala.value.MutableValue<@Nullable Context> context, @NotNull @NotNull kala.collection.immutable.ImmutableSeq<QualifiedID> loosers, @NotNull @NotNull kala.collection.immutable.ImmutableSeq<QualifiedID> tighters, @NotNull @NotNull kala.value.MutableValue<kala.collection.immutable.ImmutableSeq<DefVar<?, ?>>> resolvedLoosers, @NotNull @NotNull kala.value.MutableValue<kala.collection.immutable.ImmutableSeq<DefVar<?, ?>>> resolvedTighters) 创建BindBlock记录类的实例。- 参数:
sourcePos-sourcePos记录组件的值context-context记录组件的值loosers-loosers记录组件的值tighters-tighters记录组件的值resolvedLoosers-resolvedLoosers记录组件的值resolvedTighters-resolvedTighters记录组件的值
-
-
方法详细资料
-
toString
返回此记录类的字符串表示形式。此表示形式包含类的名称,后跟每个记录组件的名称和值。 -
hashCode
public final int hashCode()返回此对象的哈希代码值。此值派生自每个记录组件的哈希代码。 -
equals
指示某个其他对象是否“等于”此对象。如果两个对象属于同一个类,而且所有记录组件都相等,则这两个对象相等。 此记录类中的所有组件都使用Objects::equals(Object,Object)进行比较。 -
sourcePos
@NotNull public @NotNull org.aya.util.error.SourcePos sourcePos()返回sourcePos记录组件的值。- 返回:
sourcePos记录组件的值
-
context
返回context记录组件的值。- 返回:
context记录组件的值
-
loosers
返回loosers记录组件的值。- 返回:
loosers记录组件的值
-
tighters
返回tighters记录组件的值。- 返回:
tighters记录组件的值
-
resolvedLoosers
@NotNull public @NotNull kala.value.MutableValue<kala.collection.immutable.ImmutableSeq<DefVar<?,?>>> resolvedLoosers()返回resolvedLoosers记录组件的值。- 返回:
resolvedLoosers记录组件的值
-
resolvedTighters
@NotNull public @NotNull kala.value.MutableValue<kala.collection.immutable.ImmutableSeq<DefVar<?,?>>> resolvedTighters()返回resolvedTighters记录组件的值。- 返回:
resolvedTighters记录组件的值
-