java.lang.Object
org.aya.concrete.stmt.Signatured
org.aya.concrete.stmt.Decl
org.aya.concrete.stmt.Decl.PrimDecl
- 所有已实现的接口:
Stmt,TyckUnit,org.aya.util.binop.OpDecl,org.aya.util.distill.AyaDocile,org.aya.util.error.SourceNode
- 封闭类:
- Decl
- 另请参阅:
- Implementation Requirements:
- the result field of
Decl.PrimDeclmight beExpr.ErrorExpr, which means it's unspecified in the concrete syntax.
-
嵌套类概要
从类继承的嵌套类/接口 org.aya.concrete.stmt.Decl
Decl.DataCtor, Decl.DataDecl, Decl.FnDecl, Decl.Personality, Decl.PrimDecl, Decl.StructDecl, Decl.StructField, 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 -
字段概要
字段从类继承的字段 org.aya.concrete.stmt.Decl
accessibility, ctx, personality, result从类继承的字段 org.aya.concrete.stmt.Signatured
bindBlock, entireSourcePos, opInfo, signature, sourcePos, telescope从接口继承的字段 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) -
方法概要
修饰符和类型方法说明protected <P,R> R doAccept(Decl.Visitor<P, R> visitor, P p) boolean@NotNull DefVar<PrimDef,Decl.PrimDecl> ref()从类继承的方法 org.aya.concrete.stmt.Decl
accept, accept, accessibility, doAccept从类继承的方法 org.aya.concrete.stmt.Signatured
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
-
字段详细资料
-
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)
-
-
方法详细资料