MimIR
MimIR is my Intermediate Representation
Loading...
Searching...
No Matches
mim::ast::AxmDecl::Sibling Class Reference

A further tag sharing AxmDecl::type/normalizer/curry/trip with the AxmDecl that owns them. More...

#include <mim/ast/ast.h>

Inheritance diagram for mim::ast::AxmDecl::Sibling:
[legend]

Public Member Functions

 Sibling (Loc loc, Vis vis, Dbg dbg, const AxmDecl *owner)
Dbg dbg () const override
 The name this Decl introduces; anonymous if it has none.
const AxmDeclowner () const
void bind (Scopes &) const override
void emit (Emitter &) const override
void stream (fe::Tab &, std::ostream &) const override
std::pair< AnnexInfo *, sub_tannex_sub () const override
 The (AnnexInfo, sub) slot this decl registered itself under as an annex; {nullptr, 0} if it isn't one.
Public Member Functions inherited from mim::ast::ValDecl
Vis vis () const override
 A ValDecl's own Vis; Pub for anything else (Ptrn, Import, ...), which the priv/pub system ignores.
bool is_extern () const override
 Whether this decl crosses the Mim/native boundary (extern); body presence picks which side supplies it.
bool is_anx () const override
 Whether this decl is registered as a compiler-exposed annex (anx).
const Modsmods () const
Public Member Functions inherited from mim::ast::Decl
const Defdef () const
virtual const Scopescope () const
 Non-nullptr if this Decl is a module whose members a Path may walk into.
Public Member Functions inherited from mim::ast::Node
Loc loc () const
void dump () const

Additional Inherited Members

Protected Member Functions inherited from mim::ast::ValDecl
 ValDecl (Loc loc, Mods mods={})
Protected Member Functions inherited from mim::ast::Decl
 Decl (Loc loc)
Protected Member Functions inherited from mim::ast::Node
 Node (Loc loc)
Protected Attributes inherited from mim::ast::Decl
const Defdef_ = nullptr

Detailed Description

A further tag sharing AxmDecl::type/normalizer/curry/trip with the AxmDecl that owns them.

Only ever synthesized by Parser::parse_axm_group when desugaring axm tag.(sub_0, ..., sub_n-1): ...; into mod tag { axm sub_0: ...; ... }: AxmDecl::Sibling is sub_1, ..., sub_n-1.

Definition at line 970 of file ast.h.

Constructor & Destructor Documentation

◆ Sibling()

mim::ast::AxmDecl::Sibling::Sibling ( Loc loc,
Vis vis,
Dbg dbg,
const AxmDecl * owner )
inline

Member Function Documentation

◆ annex_sub()

std::pair< AnnexInfo *, sub_t > mim::ast::AxmDecl::Sibling::annex_sub ( ) const
inlineoverridevirtual

The (AnnexInfo, sub) slot this decl registered itself under as an annex; {nullptr, 0} if it isn't one.

Reimplemented from mim::ast::Decl.

Definition at line 983 of file ast.h.

◆ bind()

void mim::ast::AxmDecl::Sibling::bind ( Scopes & s) const
overridevirtual

Implements mim::ast::ValDecl.

Definition at line 394 of file bind.cpp.

References dbg().

◆ dbg()

Dbg mim::ast::AxmDecl::Sibling::dbg ( ) const
inlineoverridevirtual

The name this Decl introduces; anonymous if it has none.

Reimplemented from mim::ast::Decl.

Definition at line 977 of file ast.h.

Referenced by bind(), emit(), Sibling(), and stream().

◆ emit()

void mim::ast::AxmDecl::Sibling::emit ( Emitter & e) const
overridevirtual

◆ owner()

const AxmDecl * mim::ast::AxmDecl::Sibling::owner ( ) const
inline

Definition at line 978 of file ast.h.

References mim::ast::AxmDecl::AxmDecl().

Referenced by emit(), Sibling(), and stream().

◆ stream()

void mim::ast::AxmDecl::Sibling::stream ( fe::Tab & tab,
std::ostream & os ) const
overridevirtual

The documentation for this class was generated from the following files: