模块 aya.base

程序包 org.aya.core.def

类 UserDef.Type

java.lang.Object

org.aya.core.def.TopLevelDef

org.aya.core.def.UserDef

org.aya.core.def.UserDef.Type

所有已实现的接口:

Def, GenericDef, AyaDocile

直接已知子类:

DataDef, StructDef

封闭类:

UserDef

public abstract static sealed class UserDef.Type
extends UserDef
permits DataDef, StructDef

嵌套类概要

从类继承的嵌套类/接口 org.aya.core.def.UserDef

UserDef.Type

从接口继承的嵌套类/接口 org.aya.core.def.Def

Def.Signature

字段概要

字段

修饰符和类型	字段	说明
final int	resultLevel

从类继承的字段 org.aya.core.def.UserDef

problems

从类继承的字段 org.aya.core.def.TopLevelDef

result, telescope

构造器概要

构造器

限定符	构造器	说明
protected	Type(@NotNull kala.collection.immutable.ImmutableSeq<Term.Param> telescope, int resultLevel)

方法概要

从类继承的方法 org.aya.core.def.TopLevelDef

result, telescope

从类继承的方法 java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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

debuggerOnlyToDoc

从接口继承的方法 org.aya.core.def.Def

ref, toDoc

字段详细资料

resultLevel

public final int resultLevel

构造器详细资料

Type

protected Type(@NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<Term.Param> telescope,
 int resultLevel)