dbg of a group dbg_0 ... dbg_n-1: type that refers to the trailing IdPtrn::id. More...
#include <mim/ast/ast.h>
Public Member Functions | |
| GrpPtrn (Dbg dbg, const IdPtrn *id) | |
| Dbg | dbg () const override |
| The name this Decl introduces; anonymous if it has none. | |
| const IdPtrn * | id () const |
| void | bind (Scopes &, bool rebind, bool quiet) const override |
| const Def * | emit_value (Emitter &, const Def *) const override |
| const Def * | emit_type (Emitter &) const override |
| void | stream (fe::Tab &, std::ostream &) const override |
| Public Member Functions inherited from mim::ast::Ptrn | |
| Ptrn (Loc loc) | |
| virtual bool | is_implicit () const |
| const Def * | emit_proj (Emitter &, const Def *def, size_t n, size_t i) const |
Ptrn::emit_value on def's i-th of n projections - with this Ptrn's Loc, so the projection is blamed on the binder it introduces instead of on the enclosing pattern. | |
| Public Member Functions inherited from mim::ast::Decl | |
| const Def * | def () const |
| virtual const Scope * | scope () const |
| Non-nullptr if this Decl is a module whose members a Path may walk into. | |
| virtual std::pair< AnnexInfo *, sub_t > | annex_sub () const |
| The (AnnexInfo, sub) slot this decl registered itself under as an annex; {nullptr, 0} if it isn't one. | |
| virtual Vis | vis () const |
| A ValDecl's own Vis; Pub for anything else (Ptrn, Import, ...), which the priv/pub system ignores. | |
| virtual bool | is_extern () const |
| Whether this decl crosses the Mim/native boundary (extern); body presence picks which side supplies it. | |
| virtual bool | is_anx () const |
| Whether this decl is registered as a compiler-exposed annex (anx). | |
| Public Member Functions inherited from mim::ast::Node | |
| Loc | loc () const |
| void | dump () const |
Additional Inherited Members | |
| Static Public Member Functions inherited from mim::ast::Ptrn | |
| static Ptr< Expr > | to_expr (AST &, Ptr< Ptrn >) |
| 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 Def * | def_ = nullptr |
dbg of a group dbg_0 ... dbg_n-1: type that refers to the trailing IdPtrn::id.
|
inline |
Definition at line 349 of file ast.h.
References dbg(), id(), mim::ast::Node::loc(), and mim::ast::Ptrn::Ptrn().
|
overridevirtual |
|
inlineoverridevirtual |
The name this Decl introduces; anonymous if it has none.
Reimplemented from mim::ast::Decl.
Definition at line 354 of file ast.h.
Referenced by bind(), emit_value(), GrpPtrn(), and stream().
Implements mim::ast::Ptrn.
Definition at line 105 of file emit.cpp.
References mim::ast::IdPtrn::emit_type(), and id().
Implements mim::ast::Ptrn.
Definition at line 73 of file emit.cpp.
References dbg(), mim::ast::Decl::def(), mim::ast::Decl::def_, and mim::Def::set().
|
inline |
Definition at line 355 of file ast.h.
Referenced by emit_type(), and GrpPtrn().
|
overridevirtual |