Module aya.base

Package org.aya.concrete.stmt

Class ClassDecl

java.lang.Object

org.aya.concrete.stmt.CommonDecl

org.aya.concrete.stmt.ClassDecl

All Implemented Interfaces:

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

public abstract non-sealed class ClassDecl
extends CommonDecl
implements Decl.Resulted, 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.Personality, Decl.Resulted, Decl.Telescopic<RetTy extends Term>, 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 Expr	result

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

accessibility, bindBlock, entireSourcePos, opInfo, sourcePos

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

APPLICATION

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	ClassDecl(@NotNull org.aya.util.error.SourcePos sourcePos, @NotNull org.aya.util.error.SourcePos entireSourcePos, org.aya.util.binop.OpDecl.OpInfo opInfo, @NotNull BindBlock bindBlock, @NotNull Expr result, Decl.Personality personality, @NotNull Stmt.Accessibility accessibility)

Method Summary

Modifier and Type	Method	Description
@Nullable Context	getCtx()
Decl.Personality	personality()
@NotNull Expr	result()
void	setCtx(@NotNull Context ctx)
void	setResult(@NotNull Expr result)
String	toString()

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

accessibility, bindBlock, entireSourcePos, opInfo, sourcePos

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

needTyck, ref

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

desugar, toDoc

Field Details

ctx

@Nullable
public @Nullable Context ctx

result

@NotNull
public @NotNull Expr result

Constructor Details

ClassDecl

protected ClassDecl(@NotNull
 @NotNull org.aya.util.error.SourcePos sourcePos,
 @NotNull
 @NotNull org.aya.util.error.SourcePos entireSourcePos,
 @Nullable
 org.aya.util.binop.OpDecl.OpInfo opInfo,
 @NotNull
 @NotNull BindBlock bindBlock,
 @NotNull
 @NotNull Expr result,
 @NotNull
 Decl.Personality personality,
 @NotNull
 @NotNull Stmt.Accessibility accessibility)

Method Details

personality

@NotNull
public Decl.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

result

@NotNull
public @NotNull Expr result()

Specified by:

result in interface Decl.Resulted

setResult

public void setResult(@NotNull
 @NotNull Expr result)

Specified by:

setResult in interface Decl.Resulted

toString

public String toString()

Overrides:

toString in class CommonDecl