模块 aya.base
程序包 org.aya.core.serde

记录类 SerTerm.CallData

java.lang.Object
java.lang.Record
org.aya.core.serde.SerTerm.CallData
所有已实现的接口:
Serializable
封闭接口:
SerTerm
public static record SerTerm.CallData(int ulift, @NotNull kala.collection.immutable.ImmutableSeq<SerTerm.SerArg> args) extends Record implements Serializable
另请参阅:

  • 构造器概要

    构造器
    构造器
    说明
    CallData(int ulift, @NotNull kala.collection.immutable.ImmutableSeq<SerTerm.SerArg> args)
    创建 CallData 记录类的实例。

  • 方法概要

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

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

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

  • 构造器详细资料

    • CallData

      public CallData(int ulift, @NotNull @NotNull kala.collection.immutable.ImmutableSeq<SerTerm.SerArg> args)
      创建 CallData 记录类的实例。
      参数:
      ulift - ulift 记录组件的值
      args - args 记录组件的值

  • 方法详细资料

    • de

      @NotNull public @NotNull kala.collection.immutable.ImmutableSeq<Arg<Term>> de(@NotNull @NotNull SerTerm.DeState state)

    • 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。

    • ulift

      public int ulift()
      返回 ulift 记录组件的值。
      返回:
      ulift 记录组件的值

    • args

      @NotNull public @NotNull kala.collection.immutable.ImmutableSeq<SerTerm.SerArg> args()
      返回 args 记录组件的值。
      返回:
      args 记录组件的值