模块 aya.base

程序包 org.aya.ref

接口 Bind

所有超级接口:

AyaDocile

所有已知实现类:

Term.Param

@NonExtendable
public interface Bind
extends AyaDocile

方法概要

修饰符和类型	方法	说明
boolean	explicit()
@NotNull LocalVar	ref()
@NotNull Arg<? extends Term>	toArg()
@NotNull Term	toTerm()
@Nullable Term	type()

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

debuggerOnlyToDoc, toDoc

方法详细资料

ref

@Contract(pure=true)
@NotNull
@NotNull LocalVar ref()

type

@Contract(pure=true)
@Nullable
@Nullable Term type()

explicit

@Contract(pure=true)
boolean explicit()

toArg

@Contract(" -> new")
@NotNull
@NotNull Arg<? extends Term> toArg()

toTerm

@Contract(" -> new")
@NotNull
@NotNull Term toTerm()