mim::ast::PiExpr::Dom Class Reference

#include <mim/ast/ast.h>

Inheritance diagram for mim::ast::PiExpr::Dom:

Public Member Functions
	Dom (Loc loc, Ptr< Ptrn > &&ptrn)
bool	is_implicit () const
const Ptrn *	ptrn () const
const IdPtrn *	ret () 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 Member Functions
const Pi *	set_codom (const Def *codom) const
Protected Member Functions inherited from mim::ast::Node
	Node (Loc loc)
virtual	~Node ()

Protected Attributes
Pi *	decl_ = nullptr
Pi *	pi_ = nullptr
const Pi *	const_pi_ = nullptr

Friends
class	PiExpr

Detailed Description

Definition at line 570 of file ast.h.

Constructor & Destructor Documentation

Dom()

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

inline

Definition at line 572 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 580 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 167 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 238 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 576 of file ast.h.

Referenced by emit_type(), and stream().

ptrn()

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

inline

Definition at line 577 of file ast.h.

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

ret()

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

inline

Definition at line 578 of file ast.h.

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

set_codom()

const Pi * mim::ast::PiExpr::Dom::set_codom ( const Def * codom ) const

inlineprotected

Definition at line 590 of file ast.h.

References const_pi_, mim::ast::Expr::Pi, and pi_.

stream()

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

overridevirtual

Implements mim::ast::Node.

Definition at line 130 of file stream.cpp.

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

Friends And Related Symbol Documentation

PiExpr

friend class PiExpr

friend

Definition at line 603 of file ast.h.

References PiExpr.

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

Member Data Documentation

const_pi_

const Pi* mim::ast::PiExpr::Dom::const_pi_ = nullptr

mutableprotected

Definition at line 597 of file ast.h.

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

decl_

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

mutableprotected

Definition at line 595 of file ast.h.

Referenced by emit_type().

pi_

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

mutableprotected

Definition at line 596 of file ast.h.

Referenced by emit_type(), and set_codom().

---

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

• include/mim/ast/ast.h
• src/mim/ast/bind.cpp
• src/mim/ast/emit.cpp
• src/mim/ast/stream.cpp