- All Implemented Interfaces:
Decl,Decl.Resulted,Decl.Telescopic<SortTerm>,Decl.TopLevel,Stmt,AyaDocile,TyckUnit,org.aya.util.binop.OpDecl,org.aya.util.error.SourceNode
Concrete structure definition
-
Nested Class Summary
Nested classes/interfaces inherited from class org.aya.concrete.stmt.TeleDecl
TeleDecl.DataCtor, TeleDecl.DataDecl, TeleDecl.FnDecl, TeleDecl.PrimDecl, TeleDecl.StructDecl, TeleDecl.StructFieldNested classes/interfaces inherited from interface org.aya.concrete.stmt.Decl
Decl.Personality, Decl.Resulted, Decl.Telescopic<RetTy extends Term>, Decl.TopLevelNested classes/interfaces inherited from interface org.aya.util.binop.OpDecl
org.aya.util.binop.OpDecl.BindPred, org.aya.util.binop.OpDecl.OpInfoNested classes/interfaces inherited from interface org.aya.concrete.stmt.Stmt
Stmt.Accessibility -
Field Summary
FieldsModifier and TypeFieldDescriptionfinal @NotNull kala.collection.immutable.ImmutableSeq<TeleDecl.StructField>final @NotNull DefVar<StructDef,TeleDecl.StructDecl> Fields inherited from class org.aya.concrete.stmt.CommonDecl
accessibility, bindBlock, entireSourcePos, opInfo, sourcePosFields inherited from interface org.aya.util.binop.OpDecl
APPLICATION -
Constructor Summary
ConstructorsConstructorDescriptionStructDecl(@NotNull org.aya.util.error.SourcePos sourcePos, @NotNull org.aya.util.error.SourcePos entireSourcePos, @NotNull Stmt.Accessibility accessibility, @Nullable org.aya.util.binop.OpDecl.OpInfo opInfo, @NotNull String name, @NotNull kala.collection.immutable.ImmutableSeq<Expr.Param> telescope, @NotNull Expr result, @NotNull kala.collection.immutable.ImmutableSeq<TeleDecl.StructField> fields, @NotNull BindBlock bindBlock, Decl.Personality personality) -
Method Summary
Methods inherited from class org.aya.concrete.stmt.TeleDecl
getCtx, personality, result, setCtx, setResult, setSignature, setTelescope, signature, telescopeMethods inherited from class org.aya.concrete.stmt.CommonDecl
accessibility, bindBlock, entireSourcePos, opInfo, sourcePos, toStringMethods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, waitMethods inherited from interface org.aya.generic.AyaDocile
debuggerOnlyToDoc
-
Field Details
-
ref
-
fields
-
-
Constructor Details
-
StructDecl
public StructDecl(@NotNull @NotNull org.aya.util.error.SourcePos sourcePos, @NotNull @NotNull org.aya.util.error.SourcePos entireSourcePos, @NotNull @NotNull Stmt.Accessibility accessibility, @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.collection.immutable.ImmutableSeq<TeleDecl.StructField> fields, @NotNull @NotNull BindBlock bindBlock, @NotNull Decl.Personality personality)
-
-
Method Details