mim::Dbg Struct Reference

#include <mim/util/dbg.h>

Public Member Functions
Constructors
constexpr	Dbg () noexcept=default
constexpr	Dbg (const Dbg &) noexcept=default
constexpr	Dbg (Loc loc, Sym sym) noexcept
constexpr	Dbg (Loc loc) noexcept
constexpr	Dbg (Sym sym) noexcept
Dbg &	operator= (const Dbg &) noexcept=default
Getters
Sym	sym () const
Loc	loc () const
bool	is_anon () const
	operator bool () const
Setters
Dbg &	set (Sym sym)
Dbg &	set (Loc loc)

Friends
std::ostream &	operator<< (std::ostream &os, const Dbg &dbg)

Detailed Description

Definition at line 127 of file dbg.h.

Constructor & Destructor Documentation

Dbg() [1/5]

mim::Dbg::Dbg ( )

constexprdefaultnoexcept

Dbg() [2/5]

mim::Dbg::Dbg ( const Dbg & )

constexprdefaultnoexcept

Dbg() [3/5]

mim::Dbg::Dbg ( Loc loc, Sym sym )

inlineconstexprnoexcept

Definition at line 133 of file dbg.h.

Dbg() [4/5]

mim::Dbg::Dbg ( Loc loc )

inlineconstexprnoexcept

Definition at line 136 of file dbg.h.

Dbg() [5/5]

mim::Dbg::Dbg ( Sym sym )

inlineconstexprnoexcept

Definition at line 138 of file dbg.h.

Member Function Documentation

is_anon()

bool mim::Dbg::is_anon ( ) const

inline

Definition at line 147 of file dbg.h.

loc()

Loc mim::Dbg::loc ( ) const

inline

Definition at line 146 of file dbg.h.

Referenced by mim::Def::loc(), and mim::ast::IdPtrn::mk_id().

operator bool()

mim::Dbg::operator bool ( ) const

inlineexplicit

Definition at line 148 of file dbg.h.

operator=()

Dbg & mim::Dbg::operator= ( const Dbg & )

defaultnoexcept

set() [1/2]

Dbg & mim::Dbg::set ( Loc loc )

inline

Definition at line 154 of file dbg.h.

set() [2/2]

Dbg & mim::Dbg::set ( Sym sym )

inline

Definition at line 153 of file dbg.h.

Referenced by mim::Def::debug_prefix(), and mim::Def::debug_suffix().

sym()

Sym mim::Dbg::sym ( ) const

inline

Definition at line 145 of file dbg.h.

Referenced by mim::ast::AxiomDecl::Alias::bind(), mim::ast::TuplePtrn::emit_body(), and mim::Def::sym().

Friends And Related Symbol Documentation

operator<<

std::ostream & operator<< ( std::ostream & os, const Dbg & dbg )

friend

Definition at line 161 of file dbg.h.

---

The documentation for this struct was generated from the following file:

• include/mim/util/dbg.h