mim::ast::LamDecl Class Reference

One of: More...

#include <mim/ast/ast.h>

Inheritance diagram for mim::ast::LamDecl:

Classes
class	Dom

Public Member Functions
	LamDecl (Loc loc, Tok::Tag tag, bool is_external, Dbg dbg, Ptrs< Dom > &&doms, Ptr< Expr > &&codom, Ptr< Expr > &&body, Ptr< RecDecl > &&next)
Tok::Tag	tag () const
bool	is_external () const
const Ptrs< Dom > &	doms () const
const Dom *	dom (size_t i) const
size_t	num_doms () const
const Expr *	codom () const
void	bind_decl (Scopes &) const override
void	bind_body (Scopes &) const override
void	emit_decl (Emitter &) const override
void	emit_body (Emitter &) const override
std::ostream &	stream (Tab &, std::ostream &) const override
Public Member Functions inherited from mim::ast::RecDecl
	RecDecl (Loc loc, Dbg dbg, Ptr< Expr > &&type, Ptr< Expr > &&body, Ptr< RecDecl > &&next)
Dbg	dbg () const
const Expr *	type () const
const Expr *	body () const
const RecDecl *	next () const
void	bind (Scopes &) const override
void	emit (Emitter &) const override
std::ostream &	stream (Tab &, std::ostream &) const override
Public Member Functions inherited from mim::ast::Decl
const Def *	def () const
Public Member Functions inherited from mim::ast::Node
Loc	loc () const
void	dump () const

Additional Inherited Members
Protected Member Functions inherited from mim::ast::ValDecl
	ValDecl (Loc loc)
Protected Member Functions inherited from mim::ast::Decl
	Decl (Loc loc)
Protected Member Functions inherited from mim::ast::Node
	Node (Loc loc)
virtual	~Node ()
Protected Attributes inherited from mim::ast::Decl
const Def *	def_ = nullptr

Detailed Description

One of:

• λ dom_0 ... dom_n-1 -> codom
• cn dom_0 ... dom_n-1
• fn dom_0 ... dom_n-1 -> codom
• lam dbg dom_0 ... dom_n-1 -> codom
• con dbg dom_0 ... dom_n-1
• fun dbg dom_0 ... dom_n-1 -> codom

Definition at line 951 of file ast.h.

Constructor & Destructor Documentation

LamDecl()

mim::ast::LamDecl::LamDecl ( Loc loc, Tok::Tag tag, bool is_external, Dbg dbg, Ptrs< Dom > && doms, Ptr< Expr > && codom, Ptr< Expr > && body, Ptr< RecDecl > && next )

inline

Definition at line 973 of file ast.h.

References mim::ast::RecDecl::body(), codom(), mim::ast::RecDecl::dbg(), doms(), is_external(), mim::ast::Node::loc(), mim::ast::RecDecl::next(), num_doms(), mim::ast::RecDecl::RecDecl(), and tag().

Member Function Documentation

bind_body()

void mim::ast::LamDecl::bind_body ( Scopes & s ) const

overridevirtual

Reimplemented from mim::ast::RecDecl.

Definition at line 366 of file bind.cpp.

References mim::ast::RecDecl::body(), dom(), and doms().

bind_decl()

void mim::ast::LamDecl::bind_decl ( Scopes & s ) const

overridevirtual

Reimplemented from mim::ast::RecDecl.

Definition at line 335 of file bind.cpp.

References codom(), mim::ast::RecDecl::dbg(), dom(), doms(), mim::ast::Node::loc(), num_doms(), and tag().

codom()

const Expr * mim::ast::LamDecl::codom ( ) const

inline

Definition at line 994 of file ast.h.

Referenced by bind_decl(), emit_decl(), LamDecl(), and stream().

dom()

const Dom * mim::ast::LamDecl::dom ( size_t i ) const

inline

Definition at line 992 of file ast.h.

Referenced by bind_body(), bind_decl(), emit_body(), and emit_decl().

doms()

const Ptrs< Dom > & mim::ast::LamDecl::doms ( ) const

inline

Definition at line 991 of file ast.h.

Referenced by bind_body(), bind_decl(), emit_body(), emit_decl(), LamDecl(), and stream().

emit_body()

void mim::ast::LamDecl::emit_body ( Emitter & e ) const

overridevirtual

Reimplemented from mim::ast::RecDecl.

Definition at line 487 of file emit.cpp.

References mim::ast::RecDecl::body(), mim::ast::Decl::def_, dom(), doms(), mim::Hole, is_external(), num_doms(), and mim::Pi::set().

emit_decl()

void mim::ast::LamDecl::emit_decl ( Emitter & e ) const

overridevirtual

Reimplemented from mim::ast::RecDecl.

Definition at line 460 of file emit.cpp.

References codom(), mim::ast::RecDecl::dbg(), mim::ast::Decl::def_, dom(), doms(), mim::ast::Node::loc(), and num_doms().

is_external()

bool mim::ast::LamDecl::is_external ( ) const

inline

Definition at line 990 of file ast.h.

Referenced by emit_body(), and LamDecl().

num_doms()

size_t mim::ast::LamDecl::num_doms ( ) const

inline

Definition at line 993 of file ast.h.

Referenced by bind_decl(), emit_body(), emit_decl(), and LamDecl().

stream()

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

overridevirtual

Implements mim::ast::Node.

Definition at line 218 of file stream.cpp.

References mim::ast::RecDecl::body(), codom(), mim::ast::RecDecl::dbg(), doms(), mim::print(), and tag().

tag()

Tok::Tag mim::ast::LamDecl::tag ( ) const

inline

Definition at line 989 of file ast.h.

Referenced by bind_decl(), LamDecl(), and stream().

---

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