java.lang.Object
java.lang.Record
org.aya.concrete.Pattern.Ctor
- 所有已实现的接口:
Pattern,AyaDocile,org.aya.util.binop.BinOpParser.Elem<Pattern>,org.aya.util.error.SourceNode
- 封闭接口:
Pattern
-
嵌套类概要
从接口继承的嵌套类/接口 org.aya.concrete.Pattern
Pattern.Absurd, Pattern.Bind, Pattern.BinOpSeq, Pattern.CalmFace, Pattern.Clause, Pattern.Ctor, Pattern.Number, Pattern.Tuple -
构造器概要
构造器 -
方法概要
修饰符和类型方法说明@Nullable LocalVaras()返回as记录组件的值。final boolean指示某个其他对象是否“等于”此对象。booleanexplicit()返回explicit记录组件的值。final inthashCode()返回此对象的哈希代码值。@NotNull kala.collection.immutable.ImmutableSeq<Pattern>params()返回params记录组件的值。@NotNull org.aya.util.error.WithPos<@NotNull AnyVar>resolved()返回resolved记录组件的值。@NotNull org.aya.util.error.SourcePos返回sourcePos记录组件的值。final StringtoString()返回此记录类的字符串表示形式。从接口继承的方法 org.aya.generic.AyaDocile
debuggerOnlyToDoc
-
构造器详细资料
-
Ctor
-
Ctor
public Ctor(@NotNull @NotNull org.aya.util.error.SourcePos sourcePos, boolean explicit, @NotNull @NotNull org.aya.util.error.WithPos<@NotNull AnyVar> resolved, @NotNull @NotNull kala.collection.immutable.ImmutableSeq<Pattern> params, @Nullable @Nullable LocalVar as) 创建Ctor记录类的实例。- 参数:
sourcePos-sourcePos记录组件的值explicit-explicit记录组件的值resolved-resolved记录组件的值params-params记录组件的值as-as记录组件的值
-
-
方法详细资料
-
toString
返回此记录类的字符串表示形式。此表示形式包含类的名称,后跟每个记录组件的名称和值。 -
hashCode
public final int hashCode()返回此对象的哈希代码值。此值派生自每个记录组件的哈希代码。 -
equals
指示某个其他对象是否“等于”此对象。如果两个对象属于同一个类,而且所有记录组件都相等,则这两个对象相等。 使用Objects::equals(Object,Object)对参考组件进行比较;使用 '==' 对基元组件进行比较 -
sourcePos
@NotNull public @NotNull org.aya.util.error.SourcePos sourcePos()返回sourcePos记录组件的值。- 指定者:
sourcePos在接口中org.aya.util.binop.BinOpParser.Elem<Pattern>- 指定者:
sourcePos在接口中org.aya.util.error.SourceNode- 返回:
sourcePos记录组件的值
-
explicit
public boolean explicit()返回explicit记录组件的值。- 指定者:
explicit在接口中org.aya.util.binop.BinOpParser.Elem<Pattern>- 返回:
explicit记录组件的值
-
resolved
返回resolved记录组件的值。- 返回:
resolved记录组件的值
-
params
返回params记录组件的值。- 返回:
params记录组件的值
-
as
返回as记录组件的值。- 返回:
as记录组件的值
-