MimIR 0.1
MimIR is my Intermediate Representation
Loading...
Searching...
No Matches
mim::ast::PiExpr::Dom Class Reference

#include <mim/ast/ast.h>

Inheritance diagram for mim::ast::PiExpr::Dom:
[legend]

Public Member Functions

 Dom (Loc loc, Ptr< Ptrn > &&ptrn)
bool is_implicit () const
const Ptrnptrn () const
const IdPtrnret () const
void add_ret (AST &ast, Ptr< Expr > &&type) const
virtual void bind (Scopes &, bool quiet=false) const
virtual void emit_type (Emitter &) const
std::ostream & stream (Tab &, std::ostream &) const override
Public Member Functions inherited from mim::ast::Node
Loc loc () const
void dump () const

Protected Attributes

Pidecl_ = nullptr
Pipi_ = nullptr

Friends

class PiExpr

Additional Inherited Members

Protected Member Functions inherited from mim::ast::Node
 Node (Loc loc)
virtual ~Node ()

Detailed Description

Definition at line 573 of file ast.h.

Constructor & Destructor Documentation

◆ Dom()

mim::ast::PiExpr::Dom::Dom ( Loc loc,
Ptr< Ptrn > && ptrn )
inline

Definition at line 575 of file ast.h.

References mim::ast::Node::loc(), mim::ast::Node::Node(), and ptrn().

Member Function Documentation

◆ add_ret()

void mim::ast::PiExpr::Dom::add_ret ( AST & ast,
Ptr< Expr > && type ) const
inline

Definition at line 583 of file ast.h.

References mim::ast::Node::loc().

◆ bind()

void mim::ast::PiExpr::Dom::bind ( Scopes & s,
bool quiet = false ) const
virtual

Reimplemented in mim::ast::LamDecl::Dom.

Definition at line 176 of file bind.cpp.

References ptrn(), and ret().

Referenced by mim::ast::LamDecl::Dom::bind().

◆ emit_type()

void mim::ast::PiExpr::Dom::emit_type ( Emitter & e) const
virtual

Definition at line 251 of file emit.cpp.

References decl_, emit_type(), is_implicit(), mim::ast::Node::loc(), pi_, ptrn(), and ret().

Referenced by emit_type().

◆ is_implicit()

bool mim::ast::PiExpr::Dom::is_implicit ( ) const
inline

Definition at line 579 of file ast.h.

Referenced by emit_type(), and stream().

◆ ptrn()

const Ptrn * mim::ast::PiExpr::Dom::ptrn ( ) const
inline

◆ ret()

const IdPtrn * mim::ast::PiExpr::Dom::ret ( ) const
inline

◆ stream()

std::ostream & mim::ast::PiExpr::Dom::stream ( Tab & tab,
std::ostream & os ) const
overridevirtual

Implements mim::ast::Node.

Definition at line 137 of file stream.cpp.

References is_implicit(), mim::print(), ptrn(), and ret().

◆ PiExpr

friend class PiExpr
friend

Definition at line 600 of file ast.h.

References PiExpr.

Referenced by mim::ast::LamDecl::Dom::Dom(), and PiExpr.

Member Data Documentation

◆ decl_

Pi* mim::ast::PiExpr::Dom::decl_ = nullptr
mutableprotected

Definition at line 593 of file ast.h.

Referenced by emit_type().

◆ pi_

Pi* mim::ast::PiExpr::Dom::pi_ = nullptr
mutableprotected

Definition at line 594 of file ast.h.

Referenced by emit_type(), and mim::ast::LamDecl::Dom::emit_value().


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