Module aya.base

Package org.aya.concrete.stmt

Class CommonDecl

java.lang.Object

org.aya.concrete.stmt.CommonDecl

All Implemented Interfaces:

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

Direct Known Subclasses:

ClassDecl, TeleDecl, TeleDecl.DataCtor, TeleDecl.StructField

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

Common parts of concrete definitions.

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.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
final @NotNull Stmt.Accessibility	accessibility
final @NotNull BindBlock	bindBlock
final @NotNull org.aya.util.error.SourcePos	entireSourcePos
final @Nullable org.aya.util.binop.OpDecl.OpInfo	opInfo
final @NotNull org.aya.util.error.SourcePos	sourcePos

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

APPLICATION

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	CommonDecl(@NotNull org.aya.util.error.SourcePos sourcePos, @NotNull org.aya.util.error.SourcePos entireSourcePos, @NotNull Stmt.Accessibility accessibility, org.aya.util.binop.OpDecl.OpInfo opInfo, @NotNull BindBlock bindBlock)

Method Summary

Modifier and Type	Method	Description
@NotNull Stmt.Accessibility	accessibility()
@NotNull BindBlock	bindBlock()
@NotNull org.aya.util.error.SourcePos	entireSourcePos()
@Nullable org.aya.util.binop.OpDecl.OpInfo	opInfo()
@NotNull org.aya.util.error.SourcePos	sourcePos()
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

needTyck, ref

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

desugar, toDoc

Field Details

accessibility

@NotNull
public final @NotNull Stmt.Accessibility accessibility

sourcePos

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

entireSourcePos

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

opInfo

@Nullable
public final @Nullable org.aya.util.binop.OpDecl.OpInfo opInfo

bindBlock

@NotNull
public final @NotNull BindBlock bindBlock

Constructor Details

CommonDecl

protected CommonDecl(@NotNull
 @NotNull org.aya.util.error.SourcePos sourcePos,
 @NotNull
 @NotNull org.aya.util.error.SourcePos entireSourcePos,
 @NotNull
 @NotNull Stmt.Accessibility accessibility,
 @Nullable
 org.aya.util.binop.OpDecl.OpInfo opInfo,
 @NotNull
 @NotNull BindBlock bindBlock)

Method Details

bindBlock

@NotNull
public @NotNull BindBlock bindBlock()

Specified by:

bindBlock in interface Decl

sourcePos

@NotNull
public @NotNull org.aya.util.error.SourcePos sourcePos()

Specified by:

sourcePos in interface org.aya.util.error.SourceNode

entireSourcePos

@NotNull
public @NotNull org.aya.util.error.SourcePos entireSourcePos()

Specified by:

entireSourcePos in interface Decl

accessibility

@NotNull
public @NotNull Stmt.Accessibility accessibility()

Specified by:

accessibility in interface Decl

Specified by:

accessibility in interface Stmt

opInfo

@Nullable
public @Nullable org.aya.util.binop.OpDecl.OpInfo opInfo()

Specified by:

opInfo in interface Decl

Specified by:

opInfo in interface org.aya.util.binop.OpDecl

toString

public String toString()

Overrides:

toString in class Object