模块 aya.base

程序包 org.aya.core.def

类 FieldDef

java.lang.Object

org.aya.core.def.SubLevelDef

org.aya.core.def.FieldDef

所有已实现的接口:

Def, GenericDef, AyaDocile

public final class FieldDef
extends SubLevelDef

嵌套类概要

从接口继承的嵌套类/接口 org.aya.core.def.Def

Def.Signature

字段概要

字段

修饰符和类型	字段	说明
final @NotNull kala.control.Option<Term>	body
final @NotNull DefVar<FieldDef,TeleDecl.StructField>	ref
final @NotNull DefVar<StructDef,TeleDecl.StructDecl>	structRef

从类继承的字段 org.aya.core.def.SubLevelDef

coerce, ownerTele, result, selfTele

构造器概要

构造器

构造器	说明
FieldDef(@NotNull DefVar<StructDef,TeleDecl.StructDecl> structRef, @NotNull DefVar<FieldDef,TeleDecl.StructField> ref, @NotNull kala.collection.immutable.ImmutableSeq<Term.Param> ownerTele, @NotNull kala.collection.immutable.ImmutableSeq<Term.Param> selfTele, @NotNull Term result, @NotNull kala.control.Option<Term> body, boolean coerce)

方法概要

修饰符和类型	方法	说明
@NotNull DefVar<FieldDef,TeleDecl.StructField>	ref()
@NotNull kala.collection.immutable.ImmutableSeq<Term.Param>	telescope()

从类继承的方法 org.aya.core.def.SubLevelDef

fullTelescope, result

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

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

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

debuggerOnlyToDoc

从接口继承的方法 org.aya.core.def.Def

toDoc

字段详细资料

structRef

@NotNull
public final @NotNull DefVar<StructDef,TeleDecl.StructDecl> structRef

ref

@NotNull
public final @NotNull DefVar<FieldDef,TeleDecl.StructField> ref

body

@NotNull
public final @NotNull kala.control.Option<Term> body

构造器详细资料

FieldDef

public FieldDef(@NotNull
 @NotNull DefVar<StructDef,TeleDecl.StructDecl> structRef,
 @NotNull
 @NotNull DefVar<FieldDef,TeleDecl.StructField> ref,
 @NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<Term.Param> ownerTele,
 @NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<Term.Param> selfTele,
 @NotNull
 @NotNull Term result,
 @NotNull
 @NotNull kala.control.Option<Term> body,
 boolean coerce)

方法详细资料

telescope

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

ref

@NotNull
public @NotNull DefVar<FieldDef,TeleDecl.StructField> ref()