模块 aya.base

程序包 org.aya.concrete.stmt

接口 Stmt

所有超级接口:

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

所有已知子接口:

Command, Decl

所有已知实现类:

ClassDecl, Command.Import, Command.Module, Command.Open, CommonDecl, Generalize, Remark, TeleDecl, TeleDecl.DataCtor, TeleDecl.DataDecl, TeleDecl.FnDecl, TeleDecl.PrimDecl, TeleDecl.StructDecl, TeleDecl.StructField

public sealed interface Stmt
extends AyaDocile, TyckUnit
permits Remark, Decl, Command, Generalize

嵌套类概要

嵌套类

修饰符和类型	接口	说明
static enum	Stmt.Accessibility

方法概要

修饰符和类型	方法	说明
@NotNull Stmt.Accessibility	accessibility()
default void	desugar(@NotNull ResolveInfo resolveInfo)
static void	resolve(@NotNull kala.collection.SeqLike<Stmt> statements, @NotNull ResolveInfo resolveInfo, @NotNull ModuleLoader loader)
default @NotNull org.aya.pretty.doc.Doc	toDoc(@NotNull org.aya.util.distill.DistillerOptions options)

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

debuggerOnlyToDoc

从接口继承的方法 org.aya.util.error.SourceNode

sourcePos

从接口继承的方法 org.aya.tyck.order.TyckUnit

needTyck

方法详细资料

accessibility

@Contract(pure=true)
@NotNull
@NotNull Stmt.Accessibility accessibility()

API Note:

the \import stmts do not have a meaningful accessibility, do not refer to this in those cases

resolve

@Contract(mutates="param1")
static void resolve(@NotNull
 @NotNull kala.collection.SeqLike<Stmt> statements,
 @NotNull
 @NotNull ResolveInfo resolveInfo,
 @NotNull
 @NotNull ModuleLoader loader)

desugar

default void desugar(@NotNull
 @NotNull ResolveInfo resolveInfo)

toDoc

@NotNull
default @NotNull org.aya.pretty.doc.Doc toDoc(@NotNull
 @NotNull org.aya.util.distill.DistillerOptions options)

指定者:

toDoc 在接口中 AyaDocile