模块 aya.base

程序包 org.aya.core.repr

接口 CodeShape.ParamShape

所有已知实现类:

CodeShape.ParamShape.Any, CodeShape.ParamShape.Licit, CodeShape.ParamShape.Optional

封闭接口:

CodeShape

public static sealed interface CodeShape.ParamShape
permits CodeShape.ParamShape.Any, CodeShape.ParamShape.Licit, CodeShape.ParamShape.Optional

嵌套类概要

嵌套类

修饰符和类型	接口	说明
static final record	CodeShape.ParamShape.Any
static final record	CodeShape.ParamShape.Licit
static final record	CodeShape.ParamShape.Optional

方法概要

静态方法

修饰符和类型	方法	说明
static CodeShape.ParamShape	anyEx()
static CodeShape.ParamShape	anyIm()
static CodeShape.ParamShape	ex(CodeShape.TermShape type)
static CodeShape.ParamShape	im(CodeShape.TermShape type)

方法详细资料

ex

@NotNull
static CodeShape.ParamShape ex(@NotNull
 CodeShape.TermShape type)

im

@NotNull
static CodeShape.ParamShape im(@NotNull
 CodeShape.TermShape type)

anyEx

@NotNull
static CodeShape.ParamShape anyEx()

anyIm

@NotNull
static CodeShape.ParamShape anyIm()