模块 aya.base

程序包 org.aya.concrete.stmt

接口 Decl.Telescopic

所有已知实现类:

TeleDecl, TeleDecl.DataCtor, TeleDecl.DataDecl, TeleDecl.FnDecl, TeleDecl.PrimDecl, TeleDecl.StructDecl, TeleDecl.StructField

封闭接口:

Decl

public static sealed interface Decl.Telescopic
permits TeleDecl, TeleDecl.DataCtor, TeleDecl.StructField

Denotes that the definition is telescopic

方法概要

修饰符和类型	方法	说明
void	setSignature(Def.Signature signature)
void	setTelescope(@NotNull kala.collection.immutable.ImmutableSeq<Expr.Param> telescope)
Def.Signature	signature()
@NotNull kala.collection.immutable.ImmutableSeq<Expr.Param>	telescope()

方法详细资料

telescope

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

setTelescope

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

signature

@Nullable
Def.Signature signature()

setSignature

void setSignature(@Nullable
 Def.Signature signature)