模块 org.aya

程序包 org.aya.concrete.stmt

类 Decl.FnDecl

java.lang.Object

org.aya.concrete.stmt.Signatured

org.aya.concrete.stmt.Decl

org.aya.concrete.stmt.Decl.FnDecl

所有已实现的接口:

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

封闭类:

Decl

public static final class Decl.FnDecl
extends Decl

Concrete function definition

另请参阅:

• FnDef

嵌套类概要

从类继承的嵌套类/接口 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

字段概要

字段

修饰符和类型	字段	说明
@NotNull kala.control.Either<Expr,kala.collection.immutable.ImmutableSeq<Pattern.Clause>>	body
final @NotNull EnumSet<Modifier>	modifiers
final @NotNull DefVar<FnDef,Decl.FnDecl>	ref

从类继承的字段 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

构造器概要

构造器

构造器

说明

FnDecl(@NotNull org.aya.util.error.SourcePos sourcePos, @NotNull org.aya.util.error.SourcePos entireSourcePos, @NotNull Stmt.Accessibility accessibility, @NotNull EnumSet<Modifier> modifiers, org.aya.util.binop.OpDecl.OpInfo opInfo, @NotNull String name, @NotNull kala.collection.immutable.ImmutableSeq<Expr.Param> telescope, @NotNull Expr result, @NotNull kala.control.Either<Expr,kala.collection.immutable.ImmutableSeq<Pattern.Clause>> body, @NotNull BindBlock bindBlock, Decl.Personality personality)

方法概要

修饰符和类型	方法	说明
protected <P, R> R	doAccept(Decl.Visitor<P,R> visitor, P p)
@NotNull DefVar<FnDef,Decl.FnDecl>	ref()

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

accept, accept, accessibility, doAccept

从类继承的方法 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

字段详细资料

modifiers

@NotNull
public final @NotNull EnumSet<Modifier> modifiers

ref

@NotNull
public final @NotNull DefVar<FnDef,Decl.FnDecl> ref

body

@NotNull
public @NotNull kala.control.Either<Expr,kala.collection.immutable.ImmutableSeq<Pattern.Clause>> body

构造器详细资料

FnDecl

public FnDecl(@NotNull
 @NotNull org.aya.util.error.SourcePos sourcePos,
 @NotNull
 @NotNull org.aya.util.error.SourcePos entireSourcePos,
 @NotNull
 @NotNull Stmt.Accessibility accessibility,
 @NotNull
 @NotNull EnumSet<Modifier> modifiers,
 @Nullable
 org.aya.util.binop.OpDecl.OpInfo opInfo,
 @NotNull
 @NotNull String name,
 @NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<Expr.Param> telescope,
 @NotNull
 @NotNull Expr result,
 @NotNull
 @NotNull kala.control.Either<Expr,kala.collection.immutable.ImmutableSeq<Pattern.Clause>> body,
 @NotNull
 @NotNull BindBlock bindBlock,
 @NotNull
 Decl.Personality personality)

方法详细资料

doAccept

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

指定者:

doAccept 在类中 Decl

ref

@NotNull
public @NotNull DefVar<FnDef,Decl.FnDecl> ref()

指定者:

ref 在类中 Decl