模块 aya.base

程序包 org.aya.concrete.stmt

类 TeleDecl.PrimDecl

java.lang.Object

org.aya.concrete.stmt.CommonDecl

org.aya.concrete.stmt.TeleDecl

org.aya.concrete.stmt.TeleDecl.PrimDecl

所有已实现的接口:

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

封闭类:

TeleDecl

public static final class TeleDecl.PrimDecl
extends TeleDecl

另请参阅:

• PrimDef

Implementation Requirements:

the result field of TeleDecl.PrimDecl might be Expr.ErrorExpr, which means it's unspecified in the concrete syntax.

嵌套类概要

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

TeleDecl.DataCtor, TeleDecl.DataDecl, TeleDecl.FnDecl, TeleDecl.PrimDecl, TeleDecl.StructDecl, 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

字段概要

字段

修饰符和类型	字段	说明
final @NotNull DefVar<PrimDef,TeleDecl.PrimDecl>	ref

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

ctx, result, signature, telescope

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

accessibility, bindBlock, entireSourcePos, opInfo, sourcePos

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

APPLICATION

构造器概要

构造器

构造器	说明
PrimDecl(@NotNull org.aya.util.error.SourcePos sourcePos, @NotNull org.aya.util.error.SourcePos entireSourcePos, @NotNull String name, @NotNull kala.collection.immutable.ImmutableSeq<Expr.Param> telescope, @NotNull Expr result)

方法概要

修饰符和类型	方法	说明
boolean	needTyck(@NotNull kala.collection.immutable.ImmutableSeq<String> currentMod)
@NotNull DefVar<PrimDef,TeleDecl.PrimDecl>	ref()

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

getCtx, personality, result, setCtx, setResult, setSignature, setTelescope, signature, 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.Stmt

desugar, toDoc

字段详细资料

ref

@NotNull
public final @NotNull DefVar<PrimDef,TeleDecl.PrimDecl> ref

构造器详细资料

PrimDecl

public PrimDecl(@NotNull
 @NotNull org.aya.util.error.SourcePos sourcePos,
 @NotNull
 @NotNull org.aya.util.error.SourcePos entireSourcePos,
 @NotNull
 @NotNull String name,
 @NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<Expr.Param> telescope,
 @NotNull
 @NotNull Expr result)

方法详细资料

needTyck

public boolean needTyck(@NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<String> currentMod)

ref

@NotNull
public @NotNull DefVar<PrimDef,TeleDecl.PrimDecl> ref()

指定者:

ref 在接口中 Decl

指定者:

ref 在类中 TeleDecl