模块 aya.base

程序包 org.aya.concrete.stmt

类 TeleDecl

java.lang.Object

org.aya.concrete.stmt.CommonDecl

org.aya.concrete.stmt.TeleDecl

所有已实现的接口:

Decl, Decl.Resulted, Decl.Telescopic, Decl.TopLevel, Stmt, AyaDocile, TyckUnit, org.aya.util.binop.OpDecl, org.aya.util.error.SourceNode

直接已知子类:

TeleDecl.DataDecl, TeleDecl.FnDecl, TeleDecl.PrimDecl, TeleDecl.StructDecl

public abstract sealed class TeleDecl
extends CommonDecl
implements Decl.Telescopic, Decl.TopLevel, Decl.Resulted
permits TeleDecl.DataDecl, TeleDecl.StructDecl, TeleDecl.PrimDecl, TeleDecl.FnDecl

Concrete telescopic definition, corresponding to Def.

另请参阅:

• Decl

嵌套类概要

嵌套类

修饰符和类型	类	说明
static final class	TeleDecl.DataCtor
static final class	TeleDecl.DataDecl	Concrete data definition
static final class	TeleDecl.FnDecl	Concrete function definition
static final class	TeleDecl.PrimDecl
static final class	TeleDecl.StructDecl	Concrete structure definition
static final class	TeleDecl.StructField

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

Decl.Personality, Decl.Resulted, Decl.Telescopic, Decl.TopLevel

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

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

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

Stmt.Accessibility

字段概要

字段

修饰符和类型	字段	说明
@Nullable Context	ctx
@NotNull Expr	result
Def.Signature	signature
@NotNull kala.collection.immutable.ImmutableSeq<Expr.Param>	telescope

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

accessibility, bindBlock, entireSourcePos, opInfo, sourcePos

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

APPLICATION

构造器概要

构造器

限定符	构造器	说明
protected	TeleDecl(@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)

方法概要

修饰符和类型	方法	说明
@Nullable Context	getCtx()
Decl.Personality	personality()
abstract @NotNull DefVar<? extends Def,? extends TeleDecl>	ref()
@NotNull Expr	result()
void	setCtx(@NotNull Context ctx)
void	setResult(@NotNull Expr result)
void	setSignature(Def.Signature signature)
void	setTelescope(@NotNull kala.collection.immutable.ImmutableSeq<Expr.Param> telescope)
Def.Signature	signature()
@NotNull kala.collection.immutable.ImmutableSeq<Expr.Param>	telescope()

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

accessibility, bindBlock, entireSourcePos, opInfo, sourcePos, toString

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

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

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

debuggerOnlyToDoc

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

needTyck

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

desugar, toDoc

字段详细资料

ctx

@Nullable
public @Nullable Context ctx

result

@NotNull
public @NotNull Expr result

telescope

@NotNull
public @NotNull kala.collection.immutable.ImmutableSeq<Expr.Param> telescope

signature

@Nullable
public Def.Signature signature

构造器详细资料

TeleDecl

protected TeleDecl(@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)

方法详细资料

personality

@NotNull
public Decl.Personality personality()

指定者:

personality 在接口中 Decl.TopLevel

getCtx

@Nullable
public @Nullable Context getCtx()

指定者:

getCtx 在接口中 Decl.TopLevel

setCtx

public void setCtx(@NotNull
 @NotNull Context ctx)

指定者:

setCtx 在接口中 Decl.TopLevel

result

@NotNull
public @NotNull Expr result()

指定者:

result 在接口中 Decl.Resulted

setResult

public void setResult(@NotNull
 @NotNull Expr result)

指定者:

setResult 在接口中 Decl.Resulted

telescope

@NotNull
public @NotNull kala.collection.immutable.ImmutableSeq<Expr.Param> telescope()

指定者:

telescope 在接口中 Decl.Telescopic

setTelescope

public void setTelescope(@NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<Expr.Param> telescope)

指定者:

setTelescope 在接口中 Decl.Telescopic

signature

@Nullable
public Def.Signature signature()

指定者:

signature 在接口中 Decl.Telescopic

setSignature

public void setSignature(@Nullable
 Def.Signature signature)

指定者:

setSignature 在接口中 Decl.Telescopic

ref

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

指定者:

ref 在接口中 Decl