java.lang.Object
java.lang.Record
org.aya.concrete.remark.Literate.Raw
- 所有已实现的接口:
Literate,org.aya.pretty.doc.Docile
- 封闭接口:
Literate
-
嵌套类概要
从接口继承的嵌套类/接口 org.aya.concrete.remark.Literate
Literate.Code, Literate.Err, Literate.Many, Literate.Raw -
构造器概要
构造器 -
方法概要
-
构造器详细资料
-
Raw
public Raw(@NotNull @NotNull org.aya.pretty.doc.Doc toDoc) 创建Raw记录类的实例。- 参数:
toDoc-toDoc记录组件的值
-
-
方法详细资料
-
resolve
@NotNull public @NotNull kala.collection.immutable.ImmutableSeq<TyckOrder> resolve(@NotNull @NotNull ResolveInfo info, @NotNull @NotNull Context context) -
toString
返回此记录类的字符串表示形式。此表示形式包含类的名称,后跟每个记录组件的名称和值。 -
hashCode
public final int hashCode()返回此对象的哈希代码值。此值派生自每个记录组件的哈希代码。 -
equals
指示某个其他对象是否“等于”此对象。如果两个对象属于同一个类,而且所有记录组件都相等,则这两个对象相等。 此记录类中的所有组件都使用Objects::equals(Object,Object)进行比较。 -
toDoc
@NotNull public @NotNull org.aya.pretty.doc.Doc toDoc()返回toDoc记录组件的值。- 指定者:
toDoc在接口中org.aya.pretty.doc.Docile- 返回:
toDoc记录组件的值
-