mim::ast::InjExpr Class Reference

value inj t1 ∪ t2 More...

#include <mim/ast/ast.h>

Inheritance diagram for mim::ast::InjExpr:

Public Member Functions
	InjExpr (Loc loc, Ptr< Expr > &&value, Ptr< Expr > &&type)
const Expr *	value () const
const Expr *	type () const
void	bind (Scopes &) const override
void	stream (fe::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
Public Types inherited from mim::ast::Expr
using	Prec = ast::Prec
	Backward-compatible alias; prefer the free-standing ast::Prec.
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

value inj t1 ∪ t2

Definition at line 488 of file ast.h.

Constructor & Destructor Documentation

InjExpr()

mim::ast::InjExpr::InjExpr ( Loc loc, Ptr< Expr > && value, Ptr< Expr > && type )

inline

Definition at line 490 of file ast.h.

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

Member Function Documentation

bind()

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

overridevirtual

Implements mim::ast::Expr.

Definition at line 158 of file bind.cpp.

References mim::ast::Expr::bind(), type(), and value().

emit_()

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

overrideprivatevirtual

Implements mim::ast::Expr.

Definition at line 228 of file emit.cpp.

References mim::ast::Expr::emit(), type(), and value().

stream()

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

overridevirtual

Implements mim::ast::Node.

Definition at line 140 of file stream.cpp.

References type(), and value().

type()

const Expr * mim::ast::InjExpr::type ( ) const

inline

Definition at line 496 of file ast.h.

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

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

value()

const Expr * mim::ast::InjExpr::value ( ) const

inline

Definition at line 495 of file ast.h.

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

Referenced by bind(), emit_(), InjExpr(), 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