java.lang.Object
java.lang.Record
org.aya.core.serde.SerDef.Ctor
- 所有已实现的接口:
Serializable,SerDef
- 封闭接口:
SerDef
public static record SerDef.Ctor(@NotNull SerDef.QName data, @NotNull SerDef.QName self, @NotNull kala.collection.immutable.ImmutableSeq<SerPat> pats, @NotNull kala.collection.immutable.ImmutableSeq<SerTerm.SerParam> ownerTele, @NotNull kala.collection.immutable.ImmutableSeq<SerTerm.SerParam> selfTele, @NotNull kala.collection.immutable.ImmutableSeq<SerPat.Matchy> clauses, @NotNull SerTerm result, boolean coerce)
extends Record
implements SerDef
- 另请参阅:
-
嵌套类概要
从接口继承的嵌套类/接口 org.aya.core.serde.SerDef
SerDef.Ctor, SerDef.Data, SerDef.DeserializeException, SerDef.Field, SerDef.Fn, SerDef.Prim, SerDef.QName, SerDef.SerAyaShape, SerDef.SerBind, SerDef.SerOp, SerDef.SerOpDecl, SerDef.SerRenamedOp, SerDef.Struct -
构造器概要
构造器构造器说明Ctor(@NotNull SerDef.QName data, @NotNull SerDef.QName self, @NotNull kala.collection.immutable.ImmutableSeq<SerPat> pats, @NotNull kala.collection.immutable.ImmutableSeq<SerTerm.SerParam> ownerTele, @NotNull kala.collection.immutable.ImmutableSeq<SerTerm.SerParam> selfTele, @NotNull kala.collection.immutable.ImmutableSeq<SerPat.Matchy> clauses, @NotNull SerTerm result, boolean coerce) 创建Ctor记录类的实例。 -
方法概要
修饰符和类型方法说明@NotNull kala.collection.immutable.ImmutableSeq<SerPat.Matchy>clauses()返回clauses记录组件的值。booleancoerce()返回coerce记录组件的值。@NotNull SerDef.QNamedata()返回data记录组件的值。@NotNull CtorDefde(@NotNull SerTerm.DeState state) final boolean指示某个其他对象是否“等于”此对象。final inthashCode()返回此对象的哈希代码值。@NotNull kala.collection.immutable.ImmutableSeq<SerTerm.SerParam>返回ownerTele记录组件的值。@NotNull kala.collection.immutable.ImmutableSeq<SerPat>pats()返回pats记录组件的值。@NotNull SerTermresult()返回result记录组件的值。@NotNull SerDef.QNameself()返回self记录组件的值。@NotNull kala.collection.immutable.ImmutableSeq<SerTerm.SerParam>selfTele()返回selfTele记录组件的值。final StringtoString()返回此记录类的字符串表示形式。
-
构造器详细资料
-
Ctor
public Ctor(@NotNull @NotNull SerDef.QName data, @NotNull @NotNull SerDef.QName self, @NotNull @NotNull kala.collection.immutable.ImmutableSeq<SerPat> pats, @NotNull @NotNull kala.collection.immutable.ImmutableSeq<SerTerm.SerParam> ownerTele, @NotNull @NotNull kala.collection.immutable.ImmutableSeq<SerTerm.SerParam> selfTele, @NotNull @NotNull kala.collection.immutable.ImmutableSeq<SerPat.Matchy> clauses, @NotNull @NotNull SerTerm result, boolean coerce) 创建Ctor记录类的实例。- 参数:
data-data记录组件的值self-self记录组件的值pats-pats记录组件的值ownerTele-ownerTele记录组件的值selfTele-selfTele记录组件的值clauses-clauses记录组件的值result-result记录组件的值coerce-coerce记录组件的值
-
-
方法详细资料
-
de
-
toString
返回此记录类的字符串表示形式。此表示形式包含类的名称,后跟每个记录组件的名称和值。 -
hashCode
public final int hashCode()返回此对象的哈希代码值。此值派生自每个记录组件的哈希代码。 -
equals
指示某个其他对象是否“等于”此对象。如果两个对象属于同一个类,而且所有记录组件都相等,则这两个对象相等。 使用Objects::equals(Object,Object)对参考组件进行比较;使用 '==' 对基元组件进行比较 -
data
返回data记录组件的值。- 返回:
data记录组件的值
-
self
返回self记录组件的值。- 返回:
self记录组件的值
-
pats
返回pats记录组件的值。- 返回:
pats记录组件的值
-
ownerTele
返回ownerTele记录组件的值。- 返回:
ownerTele记录组件的值
-
selfTele
返回selfTele记录组件的值。- 返回:
selfTele记录组件的值
-
clauses
返回clauses记录组件的值。- 返回:
clauses记录组件的值
-
result
返回result记录组件的值。- 返回:
result记录组件的值
-
coerce
public boolean coerce()返回coerce记录组件的值。- 返回:
coerce记录组件的值
-