thorin::ast::AxiomDecl::Alias Class Reference

#include <thorin/ast/ast.h>

Inheritance diagram for thorin::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 thorin::ast::Decl
Ref	def () const
Public Member Functions inherited from thorin::ast::Node
Loc	loc () const
void	dump () const

Friends
class	AxiomDecl

Additional Inherited Members
Protected Member Functions inherited from thorin::ast::Decl
	Decl (Loc loc)
Protected Member Functions inherited from thorin::ast::Node
	Node (Loc loc)
virtual	~Node ()
Protected Attributes inherited from thorin::ast::Decl
Ref	def_ = nullptr

Detailed Description

Definition at line 725 of file ast.h.

Constructor & Destructor Documentation

Alias()

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

inline

Definition at line 727 of file ast.h.

Member Function Documentation

bind()

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

Definition at line 219 of file bind.cpp.

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

dbg()

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

inline

Definition at line 731 of file ast.h.

stream()

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

overridevirtual

Implements thorin::ast::Node.

Definition at line 159 of file stream.cpp.

Friends And Related Symbol Documentation

AxiomDecl

friend class AxiomDecl

friend

Definition at line 740 of file ast.h.

---

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

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