Module aya.base

Package org.aya.concrete.stmt

Class TeleDecl<RetTy extends Term>

java.lang.Object

org.aya.concrete.stmt.CommonDecl

org.aya.concrete.stmt.TeleDecl<RetTy>

All Implemented Interfaces:

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

Direct Known Subclasses:

TeleDecl.DataDecl, TeleDecl.FnDecl, TeleDecl.PrimDecl, TeleDecl.StructDecl

public abstract sealed class TeleDecl<RetTy extends Term>
extends CommonDecl
implements Decl.Telescopic<RetTy>, Decl.TopLevel, Decl.Resulted
permits TeleDecl.DataDecl, TeleDecl.StructDecl, TeleDecl.FnDecl, TeleDecl.PrimDecl

Concrete telescopic definition, corresponding to Def.

See Also:

• Decl

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static final class	TeleDecl.DataCtor
static final class	TeleDecl.DataDecl	Concrete data definition
static final class	TeleDecl.FnDecl	Concrete function definition
static final class	TeleDecl.PrimDecl
static final class	TeleDecl.StructDecl	Concrete structure definition
static final class	TeleDecl.StructField

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
@Nullable Context	ctx
@NotNull Expr	result
Def.Signature<RetTy>	signature
@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

Modifier	Constructor	Description
protected	TeleDecl(@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 BindBlock bindBlock, @NotNull kala.collection.immutable.ImmutableSeq<Expr.Param> telescope, @NotNull Expr result, Decl.Personality personality)

Method Summary

Modifier and Type	Method	Description
@Nullable Context	getCtx()
Decl.Personality	personality()
abstract @NotNull DefVar<? extends Def,? extends TeleDecl<RetTy>>	ref()
@NotNull Expr	result()
void	setCtx(@NotNull Context ctx)
void	setResult(@NotNull Expr result)
void	setSignature(@Nullable Def.Signature<RetTy> signature)
void	setTelescope(@NotNull kala.collection.immutable.ImmutableSeq<Expr.Param> telescope)
@Nullable Def.Signature<RetTy>	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

ctx

@Nullable
public @Nullable Context ctx

result

@NotNull
public @NotNull Expr result

telescope

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

signature

@Nullable
public Def.Signature<RetTy extends Term> signature

Constructor Details

TeleDecl

protected TeleDecl(@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 BindBlock bindBlock,
 @NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<Expr.Param> telescope,
 @NotNull
 @NotNull Expr result,
 @NotNull
 Decl.Personality personality)

Method Details

personality

@NotNull
public Decl.Personality personality()

Specified by:

personality in interface Decl.TopLevel

getCtx

@Nullable
public @Nullable Context getCtx()

Specified by:

getCtx in interface Decl.TopLevel

setCtx

public void setCtx(@NotNull
 @NotNull Context ctx)

Specified by:

setCtx in interface Decl.TopLevel

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

telescope

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

Specified by:

telescope in interface Decl.Telescopic<RetTy extends Term>

setTelescope

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

Specified by:

setTelescope in interface Decl.Telescopic<RetTy extends Term>

signature

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

Specified by:

signature in interface Decl.Telescopic<RetTy extends Term>

setSignature

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

Specified by:

setSignature in interface Decl.Telescopic<RetTy extends Term>

ref

@Contract(pure=true)
@NotNull
public abstract @NotNull DefVar<? extends Def,? extends TeleDecl<RetTy>> ref()

Specified by:

ref in interface Decl