MimIR 0.1
MimIR is my Intermediate Representation
Loading...
Searching...
No Matches
mim::ast::SeqExpr Class Reference

«dbg: arity; body» or ‹dbg: arity; body› More...

#include <mim/ast/ast.h>

Inheritance diagram for mim::ast::SeqExpr:
[legend]

Public Member Functions

 SeqExpr (Loc loc, bool is_arr, Ptr< IdPtrn > &&arity, Ptr< Expr > &&body)
 
bool is_arr () const
 
const IdPtrnarity () const
 
const Exprbody () const
 
void bind (Scopes &) const override
 
std::ostream & stream (Tab &, std::ostream &) const override
 
- Public Member Functions inherited from mim::ast::Expr
const Defemit (Emitter &) const
 
virtual const Defemit_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 Defemit_ (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

«dbg: arity; body» or ‹dbg: arity; body›

Definition at line 738 of file ast.h.

Constructor & Destructor Documentation

◆ SeqExpr()

mim::ast::SeqExpr::SeqExpr ( Loc loc,
bool is_arr,
Ptr< IdPtrn > && arity,
Ptr< Expr > && body )
inline

Definition at line 740 of file ast.h.

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

Member Function Documentation

◆ arity()

const IdPtrn * mim::ast::SeqExpr::arity ( ) const
inline

Definition at line 747 of file ast.h.

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

◆ bind()

void mim::ast::SeqExpr::bind ( Scopes & s) const
overridevirtual

Implements mim::ast::Expr.

Definition at line 218 of file bind.cpp.

References arity(), and body().

◆ body()

const Expr * mim::ast::SeqExpr::body ( ) const
inline

Definition at line 748 of file ast.h.

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

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

◆ emit_()

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

Implements mim::ast::Expr.

Definition at line 320 of file emit.cpp.

References arity(), body(), mim::ast::Expr::emit(), and is_arr().

◆ is_arr()

bool mim::ast::SeqExpr::is_arr ( ) const
inline

Definition at line 746 of file ast.h.

Referenced by emit_(), SeqExpr(), and stream().

◆ stream()

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

Implements mim::ast::Node.

Definition at line 163 of file stream.cpp.

References arity(), body(), is_arr(), and mim::print().


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