Module aya.base

Package org.aya.concrete.stmt

Class TeleDecl.StructField

java.lang.Object

org.aya.concrete.stmt.CommonDecl

org.aya.concrete.stmt.TeleDecl.StructField

All Implemented Interfaces:

Decl, Decl.Resulted, Decl.Telescopic<Term>, Stmt, AyaDocile, TyckUnit, org.aya.util.binop.OpDecl, org.aya.util.error.SourceNode

Enclosing class:

TeleDecl<RetTy extends Term>

public static final class TeleDecl.StructField
extends CommonDecl
implements Decl.Telescopic<Term>, Decl.Resulted

Nested Class Summary

Nested classes/interfaces inherited from interface org.aya.concrete.stmt.Decl

Decl.Personality, Decl.Resulted, Decl.Telescopic<RetTy extends Term>, Decl.TopLevel

Nested classes/interfaces inherited from interface org.aya.util.binop.OpDecl

org.aya.util.binop.OpDecl.BindPred, org.aya.util.binop.OpDecl.OpInfo

Nested classes/interfaces inherited from interface org.aya.concrete.stmt.Stmt

Stmt.Accessibility

Field Summary

Fields

Modifier and Type	Field	Description
@NotNull kala.control.Option<Expr>	body
final boolean	coerce
final @NotNull DefVar<FieldDef,TeleDecl.StructField>	ref
@NotNull Expr	result
Def.Signature<Term>	signature
DefVar<StructDef,TeleDecl.StructDecl>	structRef
@NotNull kala.collection.immutable.ImmutableSeq<Expr.Param>	telescope

Fields inherited from class org.aya.concrete.stmt.CommonDecl

accessibility, bindBlock, entireSourcePos, opInfo, sourcePos

Fields inherited from interface org.aya.util.binop.OpDecl

APPLICATION

Constructor Summary

Constructors

Constructor	Description
StructField(@NotNull org.aya.util.error.SourcePos sourcePos, @NotNull org.aya.util.error.SourcePos entireSourcePos, @Nullable org.aya.util.binop.OpDecl.OpInfo opInfo, @NotNull String name, @NotNull kala.collection.immutable.ImmutableSeq<Expr.Param> telescope, @NotNull Expr result, @NotNull kala.control.Option<Expr> body, boolean coerce, @NotNull BindBlock bindBlock)

Method Summary

Modifier and Type	Method	Description
@NotNull DefVar<FieldDef,TeleDecl.StructField>	ref()
@NotNull Expr	result()
void	setResult(@NotNull Expr result)
void	setSignature(@Nullable Def.Signature<Term> signature)
void	setTelescope(@NotNull kala.collection.immutable.ImmutableSeq<Expr.Param> telescope)
@Nullable Def.Signature<Term>	signature()
@NotNull kala.collection.immutable.ImmutableSeq<Expr.Param>	telescope()

Methods inherited from class org.aya.concrete.stmt.CommonDecl

accessibility, bindBlock, entireSourcePos, opInfo, sourcePos, toString

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.aya.generic.AyaDocile

debuggerOnlyToDoc

Methods inherited from interface org.aya.concrete.stmt.Decl

needTyck

Methods inherited from interface org.aya.concrete.stmt.Stmt

desugar, toDoc

Field Details

ref

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

structRef

public DefVar<StructDef,TeleDecl.StructDecl> structRef

result

@NotNull
public @NotNull Expr result

body

@NotNull
public @NotNull kala.control.Option<Expr> body

coerce

public final boolean coerce

telescope

@NotNull
public @NotNull kala.collection.immutable.ImmutableSeq<Expr.Param> telescope

signature

@Nullable
public Def.Signature<Term> signature

Constructor Details

StructField

public StructField(@NotNull
 @NotNull org.aya.util.error.SourcePos sourcePos,
 @NotNull
 @NotNull org.aya.util.error.SourcePos entireSourcePos,
 @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.control.Option<Expr> body,
 boolean coerce,
 @NotNull
 @NotNull BindBlock bindBlock)

Method Details

ref

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

Specified by:

ref in interface Decl

telescope

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

Specified by:

telescope in interface Decl.Telescopic<Term>

setTelescope

public void setTelescope(@NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<Expr.Param> telescope)

Specified by:

setTelescope in interface Decl.Telescopic<Term>

signature

public @Nullable Def.Signature<Term> signature()

Specified by:

signature in interface Decl.Telescopic<Term>

setSignature

public void setSignature(@Nullable Def.Signature<Term> signature)

Specified by:

setSignature in interface Decl.Telescopic<Term>

result

@NotNull
public @NotNull Expr result()

Specified by:

result in interface Decl.Resulted

setResult

public void setResult(@NotNull
 @NotNull Expr result)

Specified by:

setResult in interface Decl.Resulted