模块 org.aya

程序包 org.aya.concrete.stmt

类 Decl

java.lang.Object

org.aya.concrete.stmt.Signatured

org.aya.concrete.stmt.Decl

所有已实现的接口:

Stmt, TyckUnit, org.aya.util.binop.OpDecl, org.aya.util.distill.AyaDocile, org.aya.util.error.SourceNode

直接已知子类:

Decl.DataDecl, Decl.FnDecl, Decl.PrimDecl, Decl.StructDecl

public abstract sealed class Decl
extends Signatured
implements Stmt
permits Decl.DataDecl, Decl.StructDecl, Decl.FnDecl, Decl.PrimDecl

Concrete definition, corresponding to Def.

嵌套类概要

嵌套类

修饰符和类型	类	说明
static final class	Decl.DataCtor
static final class	Decl.DataDecl	Concrete data definition
static final class	Decl.FnDecl	Concrete function definition
static enum	Decl.Personality
static final class	Decl.PrimDecl
static final class	Decl.StructDecl	Concrete structure definition
static final class	Decl.StructField
static interface	Decl.Visitor<P,R>

从接口继承的嵌套类/接口 org.aya.util.binop.OpDecl

org.aya.util.binop.OpDecl.BindPred, org.aya.util.binop.OpDecl.OpInfo

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

Stmt.Accessibility

字段概要

字段

修饰符和类型	字段	说明
final @NotNull Stmt.Accessibility	accessibility
@Nullable Context	ctx
final Decl.Personality	personality
@NotNull Expr	result

从类继承的字段 org.aya.concrete.stmt.Signatured

bindBlock, entireSourcePos, opInfo, signature, sourcePos, telescope

从接口继承的字段 org.aya.util.binop.OpDecl

APPLICATION

构造器概要

构造器

限定符	构造器	说明
protected	Decl(@NotNull org.aya.util.error.SourcePos sourcePos, @NotNull org.aya.util.error.SourcePos entireSourcePos, @NotNull Stmt.Accessibility accessibility, @Nullable org.aya.util.binop.OpDecl.OpInfo opInfo, @NotNull BindBlock bindBlock, @NotNull kala.collection.immutable.ImmutableSeq<Expr.Param> telescope, @NotNull Expr result, Decl.Personality personality)

方法概要

修饰符和类型	方法	说明
final <P, R> R	accept(@NotNull Decl.Visitor<P,R> visitor, P p)
final <P, R> R	accept(@NotNull Stmt.Visitor<P,R> visitor, P p)
@NotNull Stmt.Accessibility	accessibility()
protected abstract <P, R> R	doAccept(@NotNull Decl.Visitor<P,R> visitor, P p)
final <P, R> R	doAccept(@NotNull Stmt.Visitor<P,R> visitor, P p)
abstract @NotNull DefVar<? extends Def,? extends Decl>	ref()

从类继承的方法 org.aya.concrete.stmt.Signatured

needTyck, opInfo, sourcePos, toString

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

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

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

debuggerOnlyToDoc

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

sourcePos

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

desugar, toDoc

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

needTyck

字段详细资料

accessibility

@NotNull
public final @NotNull Stmt.Accessibility accessibility

ctx

@Nullable
public @Nullable Context ctx

result

@NotNull
public @NotNull Expr result

personality

@NotNull
public final Decl.Personality personality

构造器详细资料

Decl

protected Decl(@NotNull
 @NotNull org.aya.util.error.SourcePos sourcePos,
 @NotNull
 @NotNull org.aya.util.error.SourcePos entireSourcePos,
 @NotNull
 @NotNull Stmt.Accessibility accessibility,
 @Nullable
 @Nullable org.aya.util.binop.OpDecl.OpInfo opInfo,
 @NotNull
 @NotNull BindBlock bindBlock,
 @NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<Expr.Param> telescope,
 @NotNull
 @NotNull Expr result,
 @NotNull
 Decl.Personality personality)

方法详细资料

accessibility

@NotNull
public @NotNull Stmt.Accessibility accessibility()

指定者:

accessibility 在接口中 Stmt

ref

@Contract(pure=true)
@NotNull
public abstract @NotNull DefVar<? extends Def,? extends Decl> ref()

指定者:

ref 在类中 Signatured

doAccept

protected abstract <P,
R> R doAccept(@NotNull
 @NotNull Decl.Visitor<P,R> visitor,
 P p)

accept

public final <P,
R> R accept(@NotNull Stmt.Visitor<P,R> visitor,
 P p)

指定者:

accept 在接口中 Stmt

accept

public final <P,
R> R accept(@NotNull
 @NotNull Decl.Visitor<P,R> visitor,
 P p)

doAccept

@NonExtendable
public final <P,
R> R doAccept(@NotNull Stmt.Visitor<P,R> visitor,
 P p)

指定者:

doAccept 在接口中 Stmt