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
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>final @NotNull DefVar<StructDef,Decl.StructDecl> 从类继承的字段 org.aya.core.def.UserDef.Type
resultLevel从类继承的字段 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
-
字段详细资料
-
ref
-
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
-
ref
-