mim::ast::PiExpr Class Reference

dom → codom, Cn dom, or Fn dom → codom depending on PiExpr::tag. More...

#include <mim/ast/ast.h>

Inheritance diagram for mim::ast::PiExpr:

Classes
class	Dom
	One dom of a PiExpr: ptrn with an optional -> ret type. More...

Public Member Functions
	PiExpr (Loc loc, Tok::Tag tag, Ptr< Dom > dom, Ptr< Expr > codom)
Public Member Functions inherited from mim::ast::Expr
const Def *	emit (Emitter &) const
const Def *	emit_decl (Emitter &, const Def *type) const
void	emit_body (Emitter &, const Def *decl) const
Public Member Functions inherited from mim::ast::Node
Loc	loc () const
void	dump () const

Private Member Functions
void	bind (Scopes &) const override
void	stream (fe::Tab &, std::ostream &) const override
const Def *	emit_ (Emitter &) const override
const Def *	emit_decl_ (Emitter &, const Def *type) const override
void	emit_body_ (Emitter &, const Def *decl) const override

Additional Inherited Members
Protected Member Functions inherited from mim::ast::Expr
	Expr (Loc loc)
Protected Member Functions inherited from mim::ast::Node
	Node (Loc loc)

Detailed Description

dom → codom, Cn dom, or Fn dom → codom depending on PiExpr::tag.

Definition at line 679 of file ast.h.

Constructor & Destructor Documentation

PiExpr()

mim::ast::PiExpr::PiExpr ( Loc loc, Tok::Tag tag, Ptr< Dom > dom, Ptr< Expr > codom )

inline

Definition at line 712 of file ast.h.

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

Member Function Documentation

bind()

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

overrideprivatevirtual

Implements mim::ast::Expr.

Definition at line 272 of file bind.cpp.

References C_CN, ISA, and mim::ast::Node::loc().

emit_()

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

overrideprivatevirtual

Implements mim::ast::Expr.

Definition at line 401 of file emit.cpp.

emit_body_()

void mim::ast::PiExpr::emit_body_ ( Emitter & e, const Def * decl ) const

overrideprivatevirtual

Reimplemented from mim::ast::Expr.

Definition at line 399 of file emit.cpp.

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

emit_decl_()

const Def * mim::ast::PiExpr::emit_decl_ ( Emitter & e, const Def * type ) const

overrideprivatevirtual

Reimplemented from mim::ast::Expr.

Definition at line 395 of file emit.cpp.

stream()

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

overrideprivatevirtual

Implements mim::ast::Node.

Definition at line 164 of file stream.cpp.

References mim::ast::S::S().

---

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