Module aya.base

Package org.aya.concrete.stmt.decl

Class ClassDecl

java.lang.Object

org.aya.concrete.stmt.decl.CommonDecl

org.aya.concrete.stmt.decl.ClassDecl

All Implemented Interfaces:

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

public final class ClassDecl
extends CommonDecl
implements Decl.TopLevel

Concrete classable definitions, corresponding to ClassDef.

See Also:

• Decl

Nested Class Summary

Nested classes/interfaces inherited from interface org.aya.concrete.stmt.decl.Decl

Decl.TopLevel

Nested classes/interfaces inherited from interface org.aya.util.binop.OpDecl

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

Nested classes/interfaces inherited from interface org.aya.concrete.stmt.Stmt

Stmt.Accessibility

Field Summary

Fields

Modifier and Type	Field	Description
@Nullable Context	ctx
@NotNull kala.collection.immutable.ImmutableSeq<TeleDecl.ClassMember>	members
final @NotNull DefVar<ClassDef,ClassDecl>	ref

Fields inherited from class org.aya.concrete.stmt.decl.CommonDecl

info

Fields inherited from interface org.aya.util.binop.OpDecl

APPLICATION

Constructor Summary

Constructors

Constructor	Description
ClassDecl(@NotNull DeclInfo info, @NotNull String name, DeclInfo.Personality personality, @NotNull kala.collection.immutable.ImmutableSeq<TeleDecl.ClassMember> members)

Method Summary

Modifier and Type	Method	Description
@Nullable Context	getCtx()
DeclInfo.Personality	personality()
@NotNull DefVar<ClassDef,ClassDecl>	ref()
void	setCtx(@NotNull Context ctx)

Methods inherited from class org.aya.concrete.stmt.decl.CommonDecl

info, toString

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.aya.generic.AyaDocile

debuggerOnlyToDoc

Methods inherited from interface org.aya.concrete.stmt.decl.Decl

accessibility, bindBlock, entireSourcePos, needTyck, opInfo, sourcePos

Methods inherited from interface org.aya.concrete.stmt.Stmt

desugar, toDoc

Field Details

ctx

@Nullable
public @Nullable Context ctx

members

@NotNull
public @NotNull kala.collection.immutable.ImmutableSeq<TeleDecl.ClassMember> members

ref

@NotNull
public final @NotNull DefVar<ClassDef,ClassDecl> ref

Constructor Details

ClassDecl

public ClassDecl(@NotNull
 @NotNull DeclInfo info,
 @NotNull
 @NotNull String name,
 @NotNull
 DeclInfo.Personality personality,
 @NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<TeleDecl.ClassMember> members)

Method Details

personality

@NotNull
public DeclInfo.Personality personality()

Specified by:

personality in interface Decl.TopLevel

getCtx

@Nullable
public @Nullable Context getCtx()

Specified by:

getCtx in interface Decl.TopLevel

setCtx

public void setCtx(@NotNull
 @NotNull Context ctx)

Specified by:

setCtx in interface Decl.TopLevel

ref

@NotNull
public @NotNull DefVar<ClassDef,ClassDecl> ref()

Specified by:

ref in interface Decl