MimIR 0.1
MimIR is my Intermediate Representation
|
dbg: type
More...
#include <mim/ast/ast.h>
Public Member Functions | |
IdPtrn (Loc loc, Dbg dbg, Ptr< Expr > &&type) | |
Dbg | dbg () const |
const Expr * | type () const |
void | bind (Scopes &, bool rebind, bool quiet) const override |
Ref | emit_value (Emitter &, Ref) const override |
Ref | emit_type (Emitter &) const override |
std::ostream & | stream (Tab &, std::ostream &) const override |
![]() | |
Ptrn (Loc loc) | |
virtual bool | is_implicit () const |
![]() | |
Ref | def () const |
![]() | |
Loc | loc () const |
void | dump () const |
Static Public Member Functions | |
static Ptr< IdPtrn > | make_type (AST &ast, Ptr< Expr > &&type) |
static Ptr< IdPtrn > | make_id (AST &ast, Dbg dbg, Ptr< Expr > &&type) |
![]() | |
static Ptr< Expr > | to_expr (AST &, Ptr< Ptrn > &&) |
static Ptr< Ptrn > | to_ptrn (Ptr< Expr > &&) |
Additional Inherited Members | |
![]() | |
Decl (Loc loc) | |
![]() | |
Node (Loc loc) | |
virtual | ~Node () |
![]() | |
Ref | def_ = nullptr |
|
overridevirtual |
Implements mim::ast::Ptrn.
Definition at line 97 of file bind.cpp.
References mim::ast::Expr::bind(), dbg(), and type().
Referenced by mim::ast::PiExpr::Dom::bind().
|
inline |
Definition at line 221 of file ast.h.
Referenced by bind(), emit_value(), make_id(), stream(), and mim::ast::Ptrn::to_expr().
Implements mim::ast::Ptrn.
Definition at line 77 of file emit.cpp.
References mim::ast::Expr::emit(), mim::ast::Node::loc(), and type().
Referenced by mim::ast::GrpPtrn::emit_type(), and emit_value().
Implements mim::ast::Ptrn.
Definition at line 55 of file emit.cpp.
References dbg(), mim::ast::Decl::def(), mim::ast::Decl::def_, emit_type(), and mim::Def::set().
|
inlinestatic |
Definition at line 228 of file ast.h.
References dbg(), mim::ast::Node::loc(), mim::Dbg::loc(), mim::ast::AST::ptr(), and type().
Definition at line 224 of file ast.h.
References mim::ast::Node::loc(), mim::ast::AST::ptr(), mim::ast::AST::sym_anon(), and type().
|
overridevirtual |
Implements mim::ast::Node.
Definition at line 57 of file stream.cpp.
References dbg(), mim::print(), and type().
|
inline |
Definition at line 222 of file ast.h.
Referenced by bind(), emit_type(), make_id(), make_type(), and stream().