模块 aya.base

程序包 org.aya.concrete

类 Pattern.Clause

java.lang.Object

org.aya.concrete.Pattern.Clause

封闭接口:

Pattern

public static final class Pattern.Clause
extends Object

字段概要

字段

修饰符和类型	字段	说明
final @NotNull kala.control.Option<Expr>	expr
boolean	hasError
final @NotNull kala.collection.immutable.ImmutableSeq<Pattern>	patterns
final @NotNull org.aya.util.error.SourcePos	sourcePos

构造器概要

构造器

构造器	说明
Clause(@NotNull org.aya.util.error.SourcePos sourcePos, @NotNull kala.collection.immutable.ImmutableSeq<Pattern> patterns, @NotNull kala.control.Option<Expr> expr)

方法概要

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

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

字段详细资料

sourcePos

@NotNull
public final @NotNull org.aya.util.error.SourcePos sourcePos

patterns

@NotNull
public final @NotNull kala.collection.immutable.ImmutableSeq<Pattern> patterns

expr

@NotNull
public final @NotNull kala.control.Option<Expr> expr

hasError

public boolean hasError

构造器详细资料

Clause

public Clause(@NotNull
 @NotNull org.aya.util.error.SourcePos sourcePos,
 @NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<Pattern> patterns,
 @NotNull
 @NotNull kala.control.Option<Expr> expr)