org.aya.concrete.stmt.Decl.StructField

所有已实现的接口:: TyckUnit, org.aya.util.binop.OpDecl, org.aya.util.error.SourceNode

public static final class Decl.StructField extends Signatured

嵌套类概要

从接口继承的嵌套类/接口 org.aya.util.binop.OpDecl
org.aya.util.binop.OpDecl.BindPred, org.aya.util.binop.OpDecl.OpInfo
字段概要

字段

修饰符和类型

字段

说明

@NotNull kala.control.Option<Expr>

body

@NotNull kala.collection.immutable.ImmutableSeq<Pattern.Clause>

clauses

final boolean

coerce

final @NotNull DefVar<FieldDef,Decl.StructField>

ref

@NotNull Expr

result

DefVar<StructDef,Decl.StructDecl>

structRef

从类继承的字段 org.aya.concrete.stmt.Signatured
bindBlock, entireSourcePos, opInfo, signature, sourcePos, telescope

从接口继承的字段 org.aya.util.binop.OpDecl
APPLICATION
构造器概要

构造器

构造器

说明

StructField(@NotNull org.aya.util.error.SourcePos sourcePos, @NotNull org.aya.util.error.SourcePos entireSourcePos, @Nullable org.aya.util.binop.OpDecl.OpInfo opInfo, @NotNull String name, @NotNull kala.collection.immutable.ImmutableSeq<Expr.Param> telescope, @NotNull Expr result, @NotNull kala.control.Option<Expr> body, @NotNull kala.collection.immutable.ImmutableSeq<Pattern.Clause> clauses, boolean coerce, @NotNull BindBlock bindBlock)
方法概要

修饰符和类型

方法

说明

@NotNull DefVar<FieldDef,Decl.StructField>

ref()

从类继承的方法 org.aya.concrete.stmt.Signatured
needTyck, opInfo, sourcePos, toString

从类继承的方法 java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

字段详细资料
- ref
  
  @NotNull public final @NotNull DefVar<FieldDef,Decl.StructField> ref
- structRef
  
  public DefVar<StructDef,Decl.StructDecl> structRef
- clauses
  
  @NotNull public @NotNull kala.collection.immutable.ImmutableSeq<Pattern.Clause> clauses
- result
  
  @NotNull public @NotNull Expr result
- body
  
  @NotNull public @NotNull kala.control.Option<Expr> body
- coerce
  
  public final boolean coerce
构造器详细资料
- StructField
  
  public StructField(@NotNull @NotNull org.aya.util.error.SourcePos sourcePos, @NotNull @NotNull org.aya.util.error.SourcePos entireSourcePos, @Nullable @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.Option<Expr> body, @NotNull @NotNull kala.collection.immutable.ImmutableSeq<Pattern.Clause> clauses, boolean coerce, @NotNull @NotNull BindBlock bindBlock)
方法详细资料
- ref
  
  @NotNull public @NotNull DefVar<FieldDef,Decl.StructField> ref()
  
  指定者:
  
  ref 在类中 Signatured

类 Decl.StructField

嵌套类概要