Module aya.base

Package org.aya.concrete.stmt.decl

Class CommonDecl

java.lang.Object

org.aya.concrete.stmt.decl.CommonDecl

All Implemented Interfaces:

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

Direct Known Subclasses:

ClassDecl, TeleDecl

public abstract sealed class CommonDecl
extends Object
implements Decl
permits ClassDecl, TeleDecl<RetTy>

Common parts of concrete definitions. In particular, it does not assume the definition to have a telescope.

See Also:

• Decl

API Note:

This class should only be used in extends and permits clause. Use Decl elsewhere instead.

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
final @NotNull DeclInfo	info

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

APPLICATION

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	CommonDecl(@NotNull DeclInfo info)

Method Summary

Modifier and Type	Method	Description
@NotNull DeclInfo	info()
String	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, ref, sourcePos

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

desugar, toDoc

Field Details

info

@NotNull
public final @NotNull DeclInfo info

Constructor Details

CommonDecl

protected CommonDecl(@NotNull
 @NotNull DeclInfo info)

Method Details

info

@NotNull
public @NotNull DeclInfo info()

Specified by:

info in interface Decl

toString

public String toString()

Overrides:

toString in class Object