模块 org.aya

程序包 org.aya.core.def

类 StructDef

java.lang.Object

org.aya.core.def.TopLevelDef

org.aya.core.def.UserDef

org.aya.core.def.UserDef.Type

org.aya.core.def.StructDef

所有已实现的接口:

Def, org.aya.util.distill.AyaDocile

public final class StructDef
extends UserDef.Type

core struct definition, corresponding to Decl.StructDecl

嵌套类概要

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

UserDef.Type

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

Def.Signature, Def.Visitor<P,R>

字段概要

字段

修饰符和类型	字段	说明
final @NotNull kala.collection.immutable.ImmutableSeq<FieldDef>	fields
final @NotNull DefVar<StructDef,Decl.StructDecl>	ref

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

resultLevel

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

problems

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

result, telescope

构造器概要

构造器

构造器	说明
StructDef(@NotNull DefVar<StructDef,Decl.StructDecl> ref, @NotNull kala.collection.immutable.ImmutableSeq<Term.Param> telescope, int ulift, @NotNull kala.collection.immutable.ImmutableSeq<FieldDef> fields)

方法概要

修饰符和类型	方法	说明
<P, R> R	accept(@NotNull Def.Visitor<P,R> visitor, P p)
@NotNull DefVar<StructDef,Decl.StructDecl>	ref()

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

result, telescope

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

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

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

debuggerOnlyToDoc

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

toDoc

字段详细资料

ref

@NotNull
public final @NotNull DefVar<StructDef,Decl.StructDecl> ref

fields

@NotNull
public final @NotNull kala.collection.immutable.ImmutableSeq<FieldDef> fields

构造器详细资料

StructDef

public StructDef(@NotNull
 @NotNull DefVar<StructDef,Decl.StructDecl> ref,
 @NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<Term.Param> telescope,
 int ulift,
 @NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<FieldDef> fields)

方法详细资料

accept

public <P,
R> R accept(@NotNull
 @NotNull Def.Visitor<P,R> visitor,
 P p)

ref

@NotNull
public @NotNull DefVar<StructDef,Decl.StructDecl> ref()