模块 aya.base

程序包 org.aya.core.def

接口 GenericDef

所有超级接口:

AyaDocile

所有已知子接口:

ClassDef, Def

所有已知实现类:

CtorDef, DataDef, FieldDef, FnDef, PrimDef, StructDef, SubLevelDef, TopLevelDef, UserDef, UserDef.Type

public sealed interface GenericDef
extends AyaDocile
permits ClassDef, Def

方法概要

修饰符和类型	方法	说明
@NotNull DefVar<?,?>	ref()
@NotNull Term	result()

从接口继承的方法 org.aya.generic.AyaDocile

debuggerOnlyToDoc, toDoc

方法详细资料

ref

@NotNull
@NotNull DefVar<?,?> ref()

result

@NotNull
@NotNull Term result()