mim::ast::RetExpr Class Reference

ret ptrn = callee $ arg; body More...

#include <mim/ast/ast.h>

Inheritance diagram for mim::ast::RetExpr:

Public Member Functions
	RetExpr (Loc loc, Ptr< Ptrn > &&ptrn, Ptr< Expr > &&callee, Ptr< Expr > &&arg, Ptr< Expr > body)
const Ptrn *	ptrn () const
const Expr *	callee () const
const Expr *	arg () const
const Expr *	body () const
void	bind (Scopes &) const override
std::ostream &	stream (Tab &, std::ostream &) const override
Public Member Functions inherited from mim::ast::Expr
const Def *	emit (Emitter &) const
virtual const Def *	emit_decl (Emitter &, const Def *) const
virtual void	emit_body (Emitter &, const Def *) const
Public Member Functions inherited from mim::ast::Node
Loc	loc () const
void	dump () const

Private Member Functions
const Def *	emit_ (Emitter &) const override

Additional Inherited Members
enum class	Prec {   Err ,   Bot ,   Where ,   Arrow ,   Pi ,   Inj ,   App ,   Union ,   Extract ,   Lit }
static constexpr bool	is_rassoc (Prec p)
Protected Member Functions inherited from mim::ast::Expr
	Expr (Loc loc)
Protected Member Functions inherited from mim::ast::Node
	Node (Loc loc)
virtual	~Node ()

Detailed Description

ret ptrn = callee $ arg; body

Definition at line 668 of file ast.h.

Constructor & Destructor Documentation

RetExpr()

mim::ast::RetExpr::RetExpr ( Loc loc, Ptr< Ptrn > && ptrn, Ptr< Expr > && callee, Ptr< Expr > && arg, Ptr< Expr > body )

inline

Definition at line 670 of file ast.h.

References arg(), body(), callee(), mim::ast::Expr::Expr(), mim::ast::Node::loc(), and ptrn().

Member Function Documentation

arg()

const Expr * mim::ast::RetExpr::arg ( ) const

inline

Definition at line 679 of file ast.h.

References mim::ast::Expr::Expr().

Referenced by bind(), emit_(), RetExpr(), and stream().

bind()

void mim::ast::RetExpr::bind ( Scopes & s ) const

overridevirtual

Implements mim::ast::Expr.

Definition at line 200 of file bind.cpp.

References arg(), body(), callee(), and ptrn().

body()

const Expr * mim::ast::RetExpr::body ( ) const

inline

Definition at line 680 of file ast.h.

References mim::ast::Expr::Expr().

Referenced by bind(), emit_(), RetExpr(), and stream().

callee()

const Expr * mim::ast::RetExpr::callee ( ) const

inline

Definition at line 678 of file ast.h.

References mim::ast::Expr::Expr().

Referenced by bind(), emit_(), RetExpr(), and stream().

emit_()

const Def * mim::ast::RetExpr::emit_ ( Emitter & e ) const

overrideprivatevirtual

Implements mim::ast::Expr.

Definition at line 296 of file emit.cpp.

References arg(), body(), callee(), mim::ast::Expr::emit(), mim::error(), mim::Pi::has_ret_pi(), mim::ast::Node::loc(), and ptrn().

ptrn()

const Ptrn * mim::ast::RetExpr::ptrn ( ) const

inline

Definition at line 677 of file ast.h.

Referenced by bind(), emit_(), RetExpr(), and stream().

stream()

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

overridevirtual

Implements mim::ast::Node.

Definition at line 155 of file stream.cpp.

References arg(), body(), callee(), mim::Tab::print(), mim::println(), and ptrn().

---

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