mim::ast::AxiomDecl::Alias Class Reference

#include <mim/ast/ast.h>

Inheritance diagram for mim::ast::AxiomDecl::Alias:

Public Member Functions
	Alias (Dbg dbg)
Dbg	dbg () const
void	bind (Scopes &, const AxiomDecl *) const
std::ostream &	stream (Tab &, std::ostream &) const override
Public Member Functions inherited from mim::ast::Decl
const Def *	def () const
Public Member Functions inherited from mim::ast::Node
Loc	loc () const
void	dump () const

Friends
class	AxiomDecl

Additional Inherited Members
Protected Member Functions inherited from mim::ast::Decl
	Decl (Loc loc)
Protected Member Functions inherited from mim::ast::Node
	Node (Loc loc)
virtual	~Node ()
Protected Attributes inherited from mim::ast::Decl
const Def *	def_ = nullptr

Detailed Description

Definition at line 775 of file ast.h.

Constructor & Destructor Documentation

Alias()

mim::ast::AxiomDecl::Alias::Alias ( Dbg dbg )

inline

Definition at line 777 of file ast.h.

References dbg(), mim::ast::Decl::Decl(), and mim::ast::Node::loc().

Member Function Documentation

bind()

void mim::ast::AxiomDecl::Alias::bind	(	Scopes &	s,
		const AxiomDecl *	axiom ) const

Definition at line 220 of file bind.cpp.

References AxiomDecl, dbg(), mim::ast::AxiomDecl::dbg(), mim::ast::Node::loc(), and mim::Dbg::sym().

dbg()

Dbg mim::ast::AxiomDecl::Alias::dbg ( ) const

inline

Definition at line 781 of file ast.h.

Referenced by Alias(), bind(), and stream().

stream()

std::ostream & mim::ast::AxiomDecl::Alias::stream ( Tab & , std::ostream & os ) const

overridevirtual

Implements mim::ast::Node.

Definition at line 160 of file stream.cpp.

References dbg().

Friends And Related Symbol Documentation

AxiomDecl

friend class AxiomDecl

friend

Definition at line 790 of file ast.h.

References AxiomDecl.

Referenced by AxiomDecl, and bind().

---

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

• include/mim/ast/ast.h
• src/mim/ast/bind.cpp
• src/mim/ast/stream.cpp