Module aya.base

Package org.aya.core.def

Class FieldDef

java.lang.Object

org.aya.core.def.SubLevelDef

org.aya.core.def.FieldDef

All Implemented Interfaces:

Def, GenericDef, AyaDocile

public final class FieldDef
extends SubLevelDef

Nested Class Summary

Nested classes/interfaces inherited from interface org.aya.core.def.Def

Def.Signature<T extends Term>

Field Summary

Fields

Modifier and Type	Field	Description
final @NotNull kala.control.Option<Term>	body
final @NotNull DefVar<FieldDef,TeleDecl.StructField>	ref
final @NotNull DefVar<StructDef,TeleDecl.StructDecl>	structRef

Fields inherited from class org.aya.core.def.SubLevelDef

coerce, ownerTele, result, selfTele

Constructor Summary

Constructors

Constructor	Description
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)

Method Summary

Modifier and Type	Method	Description
boolean	inProp()
@NotNull DefVar<FieldDef,TeleDecl.StructField>	ref()
@NotNull kala.collection.immutable.ImmutableSeq<Term.Param>	telescope()

Methods inherited from class org.aya.core.def.SubLevelDef

fullTelescope, result

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.aya.generic.AyaDocile

debuggerOnlyToDoc

Methods inherited from interface org.aya.core.def.Def

toDoc

Field Details

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

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

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

ref

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

inProp

public boolean inProp()