Thorin 1.9.0
The Higher ORder INtermediate representation
|
dbg: type
More...
#include <thorin/ast/ast.h>
Public Member Functions | |
IdPtrn (Loc loc, bool rebind, Dbg dbg, Ptr< Expr > &&type) | |
const Expr * | type () const |
void | bind (Scopes &, bool quiet=false) const override |
Ref | emit_type (Emitter &) const override |
std::ostream & | stream (Tab &, std::ostream &) const override |
Public Member Functions inherited from thorin::ast::Ptrn | |
Ptrn (Loc loc, bool rebind, Dbg dbg) | |
bool | rebind () const |
Dbg | dbg () const |
Ref | emit_value (Emitter &, Ref) const |
Public Member Functions inherited from thorin::ast::Decl | |
Ref | def () const |
Public Member Functions inherited from thorin::ast::Node | |
Loc | loc () const |
void | dump () const |
Static Public Member Functions | |
static Ptr< IdPtrn > | mk_type (AST &ast, Ptr< Expr > &&type) |
static Ptr< IdPtrn > | mk_id (AST &ast, Dbg dbg, Ptr< Expr > &&type) |
Static Public Member Functions inherited from thorin::ast::Ptrn | |
static Ptr< Expr > | to_expr (AST &, Ptr< Ptrn > &&) |
static Ptr< Ptrn > | to_ptrn (Ptr< Expr > &&) |
Additional Inherited Members | |
Protected Member Functions inherited from thorin::ast::Decl | |
Decl (Loc loc) | |
Protected Member Functions inherited from thorin::ast::Node | |
Node (Loc loc) | |
virtual | ~Node () |
Protected Attributes inherited from thorin::ast::Decl | |
Ref | def_ = nullptr |
|
overridevirtual |
Implements thorin::ast::Ptrn.
Definition at line 94 of file bind.cpp.
References thorin::ast::Expr::bind(), thorin::ast::Ptrn::dbg(), thorin::ast::Ptrn::rebind(), and type().
Referenced by thorin::ast::PiExpr::Dom::bind().
Implements thorin::ast::Ptrn.
Definition at line 68 of file emit.cpp.
References thorin::ast::Expr::emit(), thorin::ast::Node::loc(), and type().
Referenced by thorin::ast::GrpPtrn::emit_type().
|
inlinestatic |
Definition at line 208 of file ast.h.
References thorin::ast::Ptrn::dbg(), thorin::ast::Node::loc(), thorin::Dbg::loc(), thorin::ast::AST::ptr(), and type().
Definition at line 204 of file ast.h.
References thorin::ast::Node::loc(), thorin::ast::AST::ptr(), thorin::ast::AST::sym_anon(), and type().
|
overridevirtual |
Implements thorin::ast::Node.
Definition at line 53 of file stream.cpp.
References thorin::ast::Ptrn::dbg(), thorin::print(), and type().
|
inline |