模块 aya.base

程序包 org.aya.concrete.stmt

接口 Decl.Resulted

所有已知实现类:

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

封闭接口:

Decl

public static sealed interface Decl.Resulted
permits ClassDecl, TeleDecl, TeleDecl.StructField

Denotes that the definition has a result type

方法概要

修饰符和类型	方法	说明
@NotNull Expr	result()
void	setResult(@NotNull Expr result)

方法详细资料

result

@NotNull
@NotNull Expr result()

setResult

void setResult(@NotNull
 @NotNull Expr result)