模块 org.aya

程序包 org.aya.core.def

类 SubLevelDef

java.lang.Object

org.aya.core.def.SubLevelDef

所有已实现的接口:

Def, org.aya.util.distill.AyaDocile

直接已知子类:

CtorDef, FieldDef

public abstract sealed class SubLevelDef
extends Object
implements Def
permits CtorDef, FieldDef

Fields or constructors, in contrast to TopLevelDef.

嵌套类概要

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

Def.Signature, Def.Visitor<P,R>

字段概要

字段

修饰符和类型	字段	说明
final @NotNull kala.collection.immutable.ImmutableSeq<Matching>	clauses
final boolean	coerce
final @NotNull kala.collection.immutable.ImmutableSeq<Term.Param>	ownerTele
final @NotNull Term	result
final @NotNull kala.collection.immutable.ImmutableSeq<Term.Param>	selfTele

构造器概要

构造器

限定符	构造器	说明
protected	SubLevelDef(@NotNull kala.collection.immutable.ImmutableSeq<Term.Param> ownerTele, @NotNull kala.collection.immutable.ImmutableSeq<Term.Param> selfTele, @NotNull Term result, @NotNull kala.collection.immutable.ImmutableSeq<Matching> clauses, boolean coerce)

方法概要

修饰符和类型	方法	说明
@NotNull kala.collection.SeqView<Term.Param>	fullTelescope()
@NotNull Term	result()

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

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

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

debuggerOnlyToDoc

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

accept, ref, telescope, toDoc

字段详细资料

ownerTele

@NotNull
public final @NotNull kala.collection.immutable.ImmutableSeq<Term.Param> ownerTele

selfTele

@NotNull
public final @NotNull kala.collection.immutable.ImmutableSeq<Term.Param> selfTele

result

@NotNull
public final @NotNull Term result

clauses

@NotNull
public final @NotNull kala.collection.immutable.ImmutableSeq<Matching> clauses

coerce

public final boolean coerce

构造器详细资料

SubLevelDef

protected SubLevelDef(@NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<Term.Param> ownerTele,
 @NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<Term.Param> selfTele,
 @NotNull
 @NotNull Term result,
 @NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<Matching> clauses,
 boolean coerce)

方法详细资料

fullTelescope

@NotNull
public @NotNull kala.collection.SeqView<Term.Param> fullTelescope()

result

@NotNull
public @NotNull Term result()

指定者:

result 在接口中 Def