mim::ast::Node Class Reference

#include <mim/ast/ast.h>

Inheritance diagram for mim::ast::Node:

Public Member Functions
Loc	loc () const
virtual std::ostream &	stream (Tab &, std::ostream &) const =0
void	dump () const

Protected Member Functions
	Node (Loc loc)
virtual	~Node ()

Detailed Description

Definition at line 113 of file ast.h.

Constructor & Destructor Documentation

Node()

mim::ast::Node::Node ( Loc loc )

inlineprotected

Definition at line 115 of file ast.h.

~Node()

virtual mim::ast::Node::~Node ( )

inlineprotectedvirtual

Definition at line 117 of file ast.h.

Member Function Documentation

dump()

void mim::ast::Node::dump

(

)

const

Definition at line 32 of file stream.cpp.

References stream().

loc()

Loc mim::ast::Node::loc ( ) const

inline

Definition at line 120 of file ast.h.

Referenced by mim::ast::PiExpr::Dom::add_ret(), mim::ast::AxiomDecl::Alias::bind(), mim::ast::AxiomDecl::bind(), mim::ast::LitExpr::bind(), mim::ast::PiExpr::bind(), mim::ast::LamDecl::bind_decl(), mim::ast::RecDecl::bind_decl(), mim::ast::AxiomDecl::emit(), mim::ast::Expr::emit(), mim::ast::Module::emit(), mim::ast::RetExpr::emit_(), mim::ast::TuplePtrn::emit_body(), mim::ast::LamDecl::emit_decl(), mim::ast::PiExpr::emit_decl(), mim::ast::TuplePtrn::emit_decl(), mim::ast::IdPtrn::emit_type(), mim::ast::PiExpr::Dom::emit_type(), mim::ast::Ptrn::emit_value(), mim::ast::IdPtrn::mk_id(), and mim::ast::IdPtrn::mk_type().

stream()

virtual std::ostream & mim::ast::Node::stream ( Tab & , std::ostream &  ) const

pure virtual

Implemented in mim::ast::AppExpr, mim::ast::ArrOrPackExpr< arr >, mim::ast::ArrowExpr, mim::ast::AxiomDecl::Alias, mim::ast::AxiomDecl, mim::ast::CDecl, mim::ast::DeclExpr, mim::ast::DummyDecl, mim::ast::ErrorExpr, mim::ast::ErrorPtrn, mim::ast::ExtractExpr, mim::ast::GrpPtrn, mim::ast::IdExpr, mim::ast::IdPtrn, mim::ast::Import, mim::ast::InferExpr, mim::ast::InsertExpr, mim::ast::LamDecl::Dom, mim::ast::LamDecl, mim::ast::LamExpr, mim::ast::LetDecl, mim::ast::LitExpr, mim::ast::Module, mim::ast::PiExpr::Dom, mim::ast::PiExpr, mim::ast::PrimaryExpr, mim::ast::RecDecl, mim::ast::RetExpr, mim::ast::SigmaExpr, mim::ast::TupleExpr, mim::ast::TuplePtrn, and mim::ast::TypeExpr.

Referenced by dump().

---

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

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