模块 aya.base

程序包 org.aya.concrete.stmt

记录类 Command.Open

java.lang.Object

java.lang.Record

org.aya.concrete.stmt.Command.Open

所有已实现的接口:

Command, Stmt, AyaDocile, TyckUnit, org.aya.util.error.SourceNode

封闭接口:

Command

public static record Command.Open(@NotNull org.aya.util.error.SourcePos sourcePos, @NotNull Stmt.Accessibility accessibility, @NotNull QualifiedID path, @NotNull UseHide useHide, boolean openExample)
extends Record
implements Command

嵌套类概要

从接口继承的嵌套类/接口 org.aya.concrete.stmt.Command

Command.Import, Command.Module, Command.Open

从接口继承的嵌套类/接口 org.aya.concrete.stmt.Stmt

Stmt.Accessibility

构造器概要

构造器

构造器	说明
Open(@NotNull org.aya.util.error.SourcePos sourcePos, @NotNull Stmt.Accessibility accessibility, @NotNull QualifiedID path, @NotNull UseHide useHide, boolean openExample)	创建 Open 记录类的实例。

方法概要

修饰符和类型	方法	说明
@NotNull Stmt.Accessibility	accessibility()	返回 accessibility 记录组件的值。
final boolean	equals(Object o)	指示某个其他对象是否“等于”此对象。
final int	hashCode()	返回此对象的哈希代码值。
boolean	openExample()	返回 openExample 记录组件的值。
@NotNull QualifiedID	path()	返回 path 记录组件的值。
@NotNull org.aya.util.error.SourcePos	sourcePos()	返回 sourcePos 记录组件的值。
final String	toString()	返回此记录类的字符串表示形式。
@NotNull UseHide	useHide()	返回 useHide 记录组件的值。

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

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

从接口继承的方法 org.aya.generic.AyaDocile

debuggerOnlyToDoc

从接口继承的方法 org.aya.concrete.stmt.Command

needTyck

从接口继承的方法 org.aya.concrete.stmt.Stmt

desugar, toDoc

构造器详细资料

Open

public Open(@NotNull
 @NotNull org.aya.util.error.SourcePos sourcePos,
 @NotNull
 @NotNull Stmt.Accessibility accessibility,
 @NotNull
 @NotNull QualifiedID path,
 @NotNull
 @NotNull UseHide useHide,
 boolean openExample)

创建 Open 记录类的实例。

参数:

sourcePos - sourcePos 记录组件的值

accessibility - accessibility 记录组件的值

path - path 记录组件的值

useHide - useHide 记录组件的值

openExample - openExample 记录组件的值

方法详细资料

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。

sourcePos

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

返回 sourcePos 记录组件的值。

指定者:

sourcePos 在接口中 org.aya.util.error.SourceNode

返回:

sourcePos 记录组件的值

accessibility

@NotNull
public @NotNull Stmt.Accessibility accessibility()

返回 accessibility 记录组件的值。

指定者:

accessibility 在接口中 Stmt

返回:

accessibility 记录组件的值

path

@NotNull
public @NotNull QualifiedID path()

返回 path 记录组件的值。

返回:

path 记录组件的值

useHide

@NotNull
public @NotNull UseHide useHide()

返回 useHide 记录组件的值。

返回:

useHide 记录组件的值

openExample

public boolean openExample()

返回 openExample 记录组件的值。

返回:

openExample 记录组件的值