java.lang.Object
org.aya.core.def.SubLevelDef
org.aya.core.def.FieldDef
- All Implemented Interfaces:
Def,GenericDef,AyaDocile
-
Nested Class Summary
Nested classes/interfaces inherited from interface org.aya.core.def.Def
Def.Signature<T extends Term> -
Field Summary
FieldsModifier and TypeFieldDescriptionfinal @NotNull kala.control.Option<Term>final @NotNull DefVar<FieldDef,TeleDecl.StructField> final @NotNull DefVar<StructDef,TeleDecl.StructDecl> Fields inherited from class org.aya.core.def.SubLevelDef
coerce, ownerTele, result, selfTele -
Constructor Summary
ConstructorsConstructorDescriptionFieldDef(@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) -
Method Summary
Modifier and TypeMethodDescriptionbooleaninProp()@NotNull DefVar<FieldDef,TeleDecl.StructField> ref()@NotNull kala.collection.immutable.ImmutableSeq<Term.Param>Methods inherited from class org.aya.core.def.SubLevelDef
fullTelescope, resultMethods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitMethods inherited from interface org.aya.generic.AyaDocile
debuggerOnlyToDoc
-
Field Details
-
structRef
-
ref
-
body
-
-
Constructor Details
-
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)
-
-
Method Details
-
telescope
-
ref
-
inProp
public boolean inProp()
-