模块 aya.base

程序包 org.aya.core.pat

记录类 PatMatcher

java.lang.Object

java.lang.Record

org.aya.core.pat.PatMatcher

public record PatMatcher(@NotNull Subst subst, @Nullable LocalCtx localCtx)
extends Record

Matches a term with a pattern.

API Note:

Use tryBuildSubstArgs(LocalCtx, ImmutableSeq, SeqLike) instead of instantiating the class directly.

Implementation Note:

The substitution built is made from parallel substitutions.

构造器概要

构造器

构造器	说明
PatMatcher(@NotNull Subst subst, @Nullable LocalCtx localCtx)	创建 PatMatcher 记录类的实例。

方法概要

修饰符和类型	方法	说明
final boolean	equals(Object o)	指示某个其他对象是否“等于”此对象。
final int	hashCode()	返回此对象的哈希代码值。
@Nullable LocalCtx	localCtx()	返回 localCtx 记录组件的值。
@NotNull Subst	subst()	返回 subst 记录组件的值。
final String	toString()	返回此记录类的字符串表示形式。
static kala.control.Result<Subst,Boolean>	tryBuildSubstArgs(@Nullable LocalCtx localCtx, @NotNull kala.collection.immutable.ImmutableSeq<@NotNull Pat> pats, @NotNull kala.collection.SeqLike<@NotNull Arg<@NotNull Term>> terms)
static kala.control.Result<Subst,Boolean>	tryBuildSubstTerms(@Nullable LocalCtx localCtx, @NotNull kala.collection.immutable.ImmutableSeq<@NotNull Pat> pats, @NotNull kala.collection.SeqView<@NotNull Term> terms)

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

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

构造器详细资料

PatMatcher

public PatMatcher(@NotNull
 @NotNull Subst subst,
 @Nullable
 @Nullable LocalCtx localCtx)

创建 PatMatcher 记录类的实例。

参数:

subst - subst 记录组件的值

localCtx - localCtx 记录组件的值

方法详细资料

tryBuildSubstArgs

public static kala.control.Result<Subst,Boolean> tryBuildSubstArgs(@Nullable
 @Nullable LocalCtx localCtx,
 @NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<@NotNull Pat> pats,
 @NotNull
 @NotNull kala.collection.SeqLike<@NotNull Arg<@NotNull Term>> terms)

参数:

localCtx - not null only if we expect the presence of RefTerm.MetaPat

返回:

ok if the term matches the pattern, err(false) if fails positively, err(true) if fails negatively

tryBuildSubstTerms

public static kala.control.Result<Subst,Boolean> tryBuildSubstTerms(@Nullable
 @Nullable LocalCtx localCtx,
 @NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<@NotNull Pat> pats,
 @NotNull
 @NotNull kala.collection.SeqView<@NotNull Term> terms)

另请参阅:

• tryBuildSubstArgs(LocalCtx, ImmutableSeq, SeqLike)

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。

subst

@NotNull
public @NotNull Subst subst()

返回 subst 记录组件的值。

返回:

subst 记录组件的值

localCtx

@Nullable
public @Nullable LocalCtx localCtx()

返回 localCtx 记录组件的值。

返回:

localCtx 记录组件的值