模块 aya.base

程序包 org.aya.core.pat

记录类 Pat.Meta

java.lang.Object

java.lang.Record

org.aya.core.pat.Pat.Meta

所有已实现的接口:

Pat, AyaDocile

封闭接口:

Pat

public static record Pat.Meta(boolean explicit, @NotNull kala.value.MutableValue<Pat> solution, @NotNull LocalVar fakeBind, @NotNull Term type)
extends Record
implements Pat

嵌套类概要

从接口继承的嵌套类/接口 org.aya.core.pat.Pat

Pat.Absurd, Pat.Bind, Pat.Ctor, Pat.End, Pat.Meta, Pat.Preclause<T extends AyaDocile>, Pat.ShapedInt, Pat.Tuple

构造器概要

构造器

构造器	说明
Meta(boolean explicit, @NotNull kala.value.MutableValue<Pat> solution, @NotNull LocalVar fakeBind, @NotNull Term type)	创建 Meta 记录类的实例。

方法概要

修饰符和类型	方法	说明
final boolean	equals(Object o)	指示某个其他对象是否“等于”此对象。
boolean	explicit()	返回 explicit 记录组件的值。
@NotNull LocalVar	fakeBind()	返回 fakeBind 记录组件的值。
final int	hashCode()	返回此对象的哈希代码值。
@NotNull Pat	inline(@Nullable LocalCtx ctx)
@NotNull Pat	rename(@NotNull Subst subst, @NotNull LocalCtx localCtx, boolean explicit)
@NotNull kala.value.MutableValue<Pat>	solution()	返回 solution 记录组件的值。
void	storeBindings(@NotNull LocalCtx ctx)
@NotNull Expr	toExpr(@NotNull org.aya.util.error.SourcePos pos)
final String	toString()	返回此记录类的字符串表示形式。
@NotNull Term	type()	返回 type 记录组件的值。
@NotNull Pat	zonk(@NotNull Tycker tycker)

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

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

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

debuggerOnlyToDoc

从接口继承的方法 org.aya.core.pat.Pat

toArg, toDoc, toTerm

构造器详细资料

Meta

public Meta(boolean explicit,
 @NotNull
 @NotNull kala.value.MutableValue<Pat> solution,
 @NotNull
 @NotNull LocalVar fakeBind,
 @NotNull
 @NotNull Term type)

创建 Meta 记录类的实例。

参数:

explicit - explicit 记录组件的值

solution - solution 记录组件的值

fakeBind - fakeBind 记录组件的值

type - type 记录组件的值

方法详细资料

storeBindings

public void storeBindings(@NotNull
 @NotNull LocalCtx ctx)

指定者:

storeBindings 在接口中 Pat

toExpr

@NotNull
public @NotNull Expr toExpr(@NotNull
 @NotNull org.aya.util.error.SourcePos pos)

指定者:

toExpr 在接口中 Pat

zonk

@NotNull
public @NotNull Pat zonk(@NotNull
 @NotNull Tycker tycker)

指定者:

zonk 在接口中 Pat

inline

@NotNull
public @NotNull Pat inline(@Nullable
 @Nullable LocalCtx ctx)

指定者:

inline 在接口中 Pat

参数:

ctx - when null, the solutions will not be inlined

返回:

inlined patterns

rename

@NotNull
public @NotNull Pat rename(@NotNull
 @NotNull Subst subst,
 @NotNull
 @NotNull LocalCtx localCtx,
 boolean explicit)

指定者:

rename 在接口中 Pat

toString

public final String toString()

返回此记录类的字符串表示形式。此表示形式包含类的名称，后跟每个记录组件的名称和值。

指定者:

toString 在类中 Record

返回:

此对象的字符串表示形式

hashCode

public final int hashCode()

返回此对象的哈希代码值。此值派生自每个记录组件的哈希代码。

指定者:

hashCode 在类中 Record

返回:

此对象的哈希代码值

equals

public final boolean equals(Object o)

指示某个其他对象是否“等于”此对象。如果两个对象属于同一个类，而且所有记录组件都相等，则这两个对象相等。 使用 Objects::equals(Object,Object) 对参考组件进行比较；使用 '==' 对基元组件进行比较

指定者:

equals 在类中 Record

参数:

o - 要与之进行比较的对象

返回:

如果此对象与 o 参数相同，则为 true；否则为 false。

explicit

public boolean explicit()

返回 explicit 记录组件的值。

指定者:

explicit 在接口中 Pat

返回:

explicit 记录组件的值

solution

@NotNull
public @NotNull kala.value.MutableValue<Pat> solution()

返回 solution 记录组件的值。

返回:

solution 记录组件的值

fakeBind

@NotNull
public @NotNull LocalVar fakeBind()

返回 fakeBind 记录组件的值。

返回:

fakeBind 记录组件的值

type

@NotNull
public @NotNull Term type()

返回 type 记录组件的值。

返回:

type 记录组件的值