模块 aya.base

程序包 org.aya.concrete.stmt

类 TeleDecl.DataCtor

java.lang.Object

org.aya.concrete.stmt.CommonDecl

org.aya.concrete.stmt.TeleDecl.DataCtor

所有已实现的接口:

Decl, Decl.Telescopic, Stmt, AyaDocile, TyckUnit, org.aya.util.binop.OpDecl, org.aya.util.error.SourceNode

封闭类:

TeleDecl

public static final class TeleDecl.DataCtor
extends CommonDecl
implements Decl.Telescopic

嵌套类概要

从接口继承的嵌套类/接口 org.aya.concrete.stmt.Decl

Decl.Personality, Decl.Resulted, Decl.Telescopic, Decl.TopLevel

从接口继承的嵌套类/接口 org.aya.util.binop.OpDecl

org.aya.util.binop.OpDecl.BindPred, org.aya.util.binop.OpDecl.OpInfo

从接口继承的嵌套类/接口 org.aya.concrete.stmt.Stmt

Stmt.Accessibility

字段概要

字段

修饰符和类型	字段	说明
@NotNull kala.collection.immutable.ImmutableSeq<Pattern.Clause>	clauses
final boolean	coerce
DefVar<DataDef,TeleDecl.DataDecl>	dataRef
@NotNull kala.collection.immutable.ImmutableSeq<Pattern>	patterns
kala.collection.immutable.ImmutableSeq<Term.Param>	patternTele	Similar to Decl.Telescopic.signature(), but stores the bindings in patterns
final @NotNull DefVar<CtorDef,TeleDecl.DataCtor>	ref
Def.Signature	signature
@NotNull kala.collection.immutable.ImmutableSeq<Expr.Param>	telescope
@Nullable kala.collection.immutable.ImmutableSeq<Pat>	yetTyckedPat	used when tycking constructor's header
@Nullable PatTycker	yetTycker	used when tycking constructor's header

从类继承的字段 org.aya.concrete.stmt.CommonDecl

accessibility, bindBlock, entireSourcePos, opInfo, sourcePos

从接口继承的字段 org.aya.util.binop.OpDecl

APPLICATION

构造器概要

构造器

构造器

说明

DataCtor(@NotNull org.aya.util.error.SourcePos sourcePos, @NotNull org.aya.util.error.SourcePos entireSourcePos, @Nullable org.aya.util.binop.OpDecl.OpInfo opInfo, @NotNull String name, @NotNull kala.collection.immutable.ImmutableSeq<Expr.Param> telescope, @NotNull kala.collection.immutable.ImmutableSeq<Pattern.Clause> clauses, @NotNull kala.collection.immutable.ImmutableSeq<Pattern> patterns, boolean coerce, @NotNull BindBlock bindBlock)

方法概要

修饰符和类型	方法	说明
@NotNull DefVar<CtorDef,TeleDecl.DataCtor>	ref()
void	setSignature(@Nullable Def.Signature signature)
void	setTelescope(@NotNull kala.collection.immutable.ImmutableSeq<Expr.Param> telescope)
Def.Signature	signature()
@NotNull kala.collection.immutable.ImmutableSeq<Expr.Param>	telescope()

从类继承的方法 org.aya.concrete.stmt.CommonDecl

accessibility, bindBlock, entireSourcePos, opInfo, sourcePos, toString

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

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

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

debuggerOnlyToDoc

从接口继承的方法 org.aya.concrete.stmt.Decl

needTyck

从接口继承的方法 org.aya.concrete.stmt.Stmt

desugar, toDoc

字段详细资料

ref

@NotNull
public final @NotNull DefVar<CtorDef,TeleDecl.DataCtor> ref

dataRef

public DefVar<DataDef,TeleDecl.DataDecl> dataRef

patternTele

public kala.collection.immutable.ImmutableSeq<Term.Param> patternTele

Similar to Decl.Telescopic.signature(), but stores the bindings in patterns

clauses

@NotNull
public @NotNull kala.collection.immutable.ImmutableSeq<Pattern.Clause> clauses

patterns

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

coerce

public final boolean coerce

yetTyckedPat

@Nullable
public @Nullable kala.collection.immutable.ImmutableSeq<Pat> yetTyckedPat

used when tycking constructor's header

yetTycker

@Nullable
public @Nullable PatTycker yetTycker

used when tycking constructor's header

telescope

@NotNull
public @NotNull kala.collection.immutable.ImmutableSeq<Expr.Param> telescope

signature

@Nullable
public Def.Signature signature

构造器详细资料

DataCtor

public DataCtor(@NotNull
 @NotNull org.aya.util.error.SourcePos sourcePos,
 @NotNull
 @NotNull org.aya.util.error.SourcePos entireSourcePos,
 @Nullable
 @Nullable org.aya.util.binop.OpDecl.OpInfo opInfo,
 @NotNull
 @NotNull String name,
 @NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<Expr.Param> telescope,
 @NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<Pattern.Clause> clauses,
 @NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<Pattern> patterns,
 boolean coerce,
 @NotNull
 @NotNull BindBlock bindBlock)

方法详细资料

ref

@NotNull
public @NotNull DefVar<CtorDef,TeleDecl.DataCtor> ref()

指定者:

ref 在接口中 Decl

telescope

@NotNull
public @NotNull kala.collection.immutable.ImmutableSeq<Expr.Param> telescope()

指定者:

telescope 在接口中 Decl.Telescopic

setTelescope

public void setTelescope(@NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<Expr.Param> telescope)

指定者:

setTelescope 在接口中 Decl.Telescopic

signature

@Nullable
public Def.Signature signature()

指定者:

signature 在接口中 Decl.Telescopic

setSignature

public void setSignature(@Nullable Def.Signature signature)

指定者:

setSignature 在接口中 Decl.Telescopic