ast::PrettyPrinter Class Reference

Visit an Ast and print the content of each node. More...

#include <pretty-printer.hh>

Inheritance diagram for ast::PrettyPrinter:

Collaboration diagram for ast::PrettyPrinter:

Public Types
typedef DefaultConstVisitor	super_type

Public Member Functions
	PrettyPrinter (std::ostream &ostr)
	Build to print on ostr.
virtual void	operator() (typename Const< Ast >::type &e)
	The entry point: visit e.
virtual void	operator() (typename Const< ClassTy >::type &)=0
virtual void	operator() (typename Const< MethodCallExp >::type &)=0
virtual void	operator() (typename Const< MethodDec >::type &)=0
virtual void	operator() (typename Const< ObjectExp >::type &)=0
template<class E >
void	operator() (E *e)
	Helper to visit nodes manipulated via a pointer.
virtual void	operator() (const SimpleVar &e)
virtual void	operator() (const FieldVar &e)
virtual void	operator() (const SubscriptVar &e)
virtual void	operator() (const CastVar &e)
virtual void	operator() (const CastExp &e)
Visit Variable related nodes.
virtual void	operator() (typename Const< SimpleVar >::type &e) override
virtual void	operator() (typename Const< FieldVar >::type &e) override
virtual void	operator() (typename Const< SubscriptVar >::type &e) override
virtual void	operator() (typename Const< CastVar >::type &e) override
Visit Expression related nodes.
virtual void	operator() (typename Const< NilExp >::type &e) override
virtual void	operator() (typename Const< IntExp >::type &e) override
virtual void	operator() (typename Const< StringExp >::type &e) override
virtual void	operator() (typename Const< CallExp >::type &e) override
virtual void	operator() (typename Const< OpExp >::type &e) override
virtual void	operator() (typename Const< RecordExp >::type &e) override
virtual void	operator() (typename Const< SeqExp >::type &e) override
virtual void	operator() (typename Const< AssignExp >::type &e) override
virtual void	operator() (typename Const< IfExp >::type &e) override
virtual void	operator() (typename Const< WhileExp >::type &e) override
virtual void	operator() (typename Const< ForExp >::type &e) override
virtual void	operator() (typename Const< BreakExp >::type &) override
virtual void	operator() (typename Const< LetExp >::type &e) override
virtual void	operator() (typename Const< ArrayExp >::type &e) override
virtual void	operator() (typename Const< CastExp >::type &e) override
virtual void	operator() (typename Const< FieldInit >::type &e) override
Visit Declaration related nodes.
Visiting declarations is simple, but there are many clauses. This is because in Tiger, the declarations are processed by chunks (a chunk of Function declarations, then Var or Type, then ...). So we have to explain How to visit a list of chunks; how to visit chunks of function, var, or type declarations; how to visit a single function, var, or type declaration.
virtual void	operator() (typename Const< DecsList >::type &e) override
	Visit a list of function, type and/or variables declarations.
virtual void	operator() (typename Const< Decs >::type &e)
	Visit a Decs chunks.
virtual void	operator() (typename Const< VarDecs >::type &e) override
	Visit Var declarations.
virtual void	operator() (typename Const< VarDec >::type &e) override
virtual void	operator() (typename Const< FunctionDec >::type &e) override
virtual void	operator() (typename Const< TypeDec >::type &e) override
template<typename DecsType >
void	decs_visit (typename Const< DecsType >::type &e)
	Visit a chunk (i.e., a list of Function, Var, and Type decs).
Visit Type related nodes.
virtual void	operator() (typename Const< NameTy >::type &e) override
virtual void	operator() (typename Const< RecordTy >::type &e) override
virtual void	operator() (typename Const< ArrayTy >::type &e) override
Visit Field related nodes.
virtual void	operator() (typename Const< Field >::type &e) override
Object-related visits.
virtual void	operator() (typename Const< ClassTy >::type &e) override
virtual void	operator() (typename Const< MethodDecs >::type &e) override
virtual void	operator() (typename Const< MethodDec >::type &e) override
virtual void	operator() (typename Const< MethodCallExp >::type &e) override
virtual void	operator() (typename Const< ObjectExp >::type &e) override

Protected Member Functions
template<typename E >
void	accept (E *e)

Protected Attributes
std::ostream &	ostr_
	The stream to print on.

Private Member Functions
template<typename RecordClass >
void	print_record (const RecordClass &e)

Detailed Description

Visit an Ast and print the content of each node.

Member Typedef Documentation

typedef DefaultConstVisitor ast::PrettyPrinter::super_type

Constructor & Destructor Documentation

ast::PrettyPrinter::PrettyPrinter

(

std::ostream &

ostr

)

Build to print on ostr.

Member Function Documentation

template<template< typename > class Const>

template<typename E >

void ast::GenVisitor< Const >::accept ( E *  e )

protectedinherited

A convenient shortcut for recurring code like this:

if (e)
  e->accept(*this);

However, the drawback of this approach is that it doesn't take care of the constness, and any const violation will be reported within the body of this method, not at its corresponding call site.

We cannot use the misc/select_const.hh approach here, since the compiler cannot resolve a function overloaded or specialized on an associated type of a template. E.g., writing accept like this:

template <typename E>
void accept(typename Const<E>::type* e);

won't work directly. Of course, one can help the compiler, providing it with E

accept<ast::NameTy>(e.result_get());

but this is painful.

template<template< typename > class Const>

template<typename DecsType >

void ast::GenDefaultVisitor< Const >::decs_visit ( typename Const< DecsType >::type &  e )

inlineinherited

Visit a chunk (i.e., a list of Function, Var, and Type decs).

It is exactly the same in the three cases, so the code is factored via a template method.

void ast::PrettyPrinter::operator() ( const SimpleVar &  e )

virtual

Visit methods.

References ast::bindings_display, ast::SimpleVar::def_get(), ast::SimpleVar::name_get(), and ostr_.

void ast::PrettyPrinter::operator() ( const FieldVar &  e )

virtual

References ostr_.

void ast::PrettyPrinter::operator() ( const SubscriptVar &  e )

virtual

References misc::decindent(), misc::incindent(), ast::SubscriptVar::index_get(), ostr_, and ast::SubscriptVar::var_get().

void ast::PrettyPrinter::operator() ( const CastVar &  e )

virtual

References ostr_, ast::CastVar::ty_get(), and ast::CastVar::var_get().

void ast::PrettyPrinter::operator() ( const CastExp &  e )

virtual

References ast::CastExp::exp_get(), ostr_, and ast::CastExp::ty_get().

template<template< typename > class Const>

virtual void ast::GenVisitor< Const >::operator() ( typename Const< ClassTy >::type &  )

pure virtualinherited

Implemented in ast::GenNonObjectVisitor< Const >, and ast::GenObjectVisitor< Const >.

template<template< typename > class Const>

virtual void ast::GenVisitor< Const >::operator() ( typename Const< MethodCallExp >::type &  )

pure virtualinherited

Implemented in ast::GenNonObjectVisitor< Const >, and ast::GenObjectVisitor< Const >.

template<template< typename > class Const>

virtual void ast::GenVisitor< Const >::operator() ( typename Const< MethodDec >::type &  )

pure virtualinherited

Implemented in ast::GenNonObjectVisitor< Const >, and ast::GenObjectVisitor< Const >.

template<template< typename > class Const>

virtual void ast::GenVisitor< Const >::operator() ( typename Const< ObjectExp >::type &  )

pure virtualinherited

Implemented in ast::GenNonObjectVisitor< Const >, and ast::GenObjectVisitor< Const >.

template<template< typename > class Const>

void ast::GenDefaultVisitor< Const >::operator() ( typename Const< Ast >::type &  e )

virtualinherited

The entry point: visit e.

Reimplemented from ast::GenVisitor< Const >.

Referenced by callgraph::CallGraphVisitor::operator()(), object::Renamer::operator()(), and translate::Translator::operator()().

template<template< typename > class Const>

void ast::GenDefaultVisitor< Const >::operator() ( typename Const< SimpleVar >::type &  e )

overridevirtualinherited

Implements ast::GenVisitor< Const >.

template<template< typename > class Const>

void ast::GenDefaultVisitor< Const >::operator() ( typename Const< FieldVar >::type &  e )

overridevirtualinherited

Implements ast::GenVisitor< Const >.

template<template< typename > class Const>

void ast::GenDefaultVisitor< Const >::operator() ( typename Const< SubscriptVar >::type &  e )

overridevirtualinherited

Implements ast::GenVisitor< Const >.

template<template< typename > class Const>

void ast::GenDefaultVisitor< Const >::operator() ( typename Const< CastVar >::type &  e )

overridevirtualinherited

Implements ast::GenVisitor< Const >.

template<template< typename > class Const>

virtual void ast::GenObjectVisitor< Const >::operator() ( typename Const< ClassTy >::type &  e )

overridevirtualinherited

Implements ast::GenVisitor< Const >.

template<template< typename > class Const>

virtual void ast::GenObjectVisitor< Const >::operator() ( typename Const< MethodDecs >::type &  e )

overridevirtualinherited

Implements ast::GenVisitor< Const >.

template<template< typename > class Const>

virtual void ast::GenObjectVisitor< Const >::operator() ( typename Const< MethodDec >::type &  e )

overridevirtualinherited

Implements ast::GenVisitor< Const >.

template<template< typename > class Const>

template<class E >

void ast::GenVisitor< Const >::operator() ( E *  e )

inherited

Helper to visit nodes manipulated via a pointer.

template<template< typename > class Const>

void ast::GenDefaultVisitor< Const >::operator() ( typename Const< NilExp >::type &  e )

overridevirtualinherited

Implements ast::GenVisitor< Const >.

template<template< typename > class Const>

virtual void ast::GenObjectVisitor< Const >::operator() ( typename Const< MethodCallExp >::type &  e )

overridevirtualinherited

Implements ast::GenVisitor< Const >.

template<template< typename > class Const>

virtual void ast::GenObjectVisitor< Const >::operator() ( typename Const< ObjectExp >::type &  e )

overridevirtualinherited

Implements ast::GenVisitor< Const >.

template<template< typename > class Const>

void ast::GenDefaultVisitor< Const >::operator() ( typename Const< IntExp >::type &  e )

overridevirtualinherited

Implements ast::GenVisitor< Const >.

template<template< typename > class Const>

void ast::GenDefaultVisitor< Const >::operator() ( typename Const< StringExp >::type &  e )

overridevirtualinherited

Implements ast::GenVisitor< Const >.

template<template< typename > class Const>

void ast::GenDefaultVisitor< Const >::operator() ( typename Const< CallExp >::type &  e )

overridevirtualinherited

Implements ast::GenVisitor< Const >.

template<template< typename > class Const>

void ast::GenDefaultVisitor< Const >::operator() ( typename Const< OpExp >::type &  e )

overridevirtualinherited

Implements ast::GenVisitor< Const >.

template<template< typename > class Const>

void ast::GenDefaultVisitor< Const >::operator() ( typename Const< RecordExp >::type &  e )

overridevirtualinherited

Implements ast::GenVisitor< Const >.

template<template< typename > class Const>

void ast::GenDefaultVisitor< Const >::operator() ( typename Const< SeqExp >::type &  e )

overridevirtualinherited

Implements ast::GenVisitor< Const >.

template<template< typename > class Const>

void ast::GenDefaultVisitor< Const >::operator() ( typename Const< AssignExp >::type &  e )

overridevirtualinherited

Implements ast::GenVisitor< Const >.

template<template< typename > class Const>

void ast::GenDefaultVisitor< Const >::operator() ( typename Const< IfExp >::type &  e )

overridevirtualinherited

Implements ast::GenVisitor< Const >.

template<template< typename > class Const>

void ast::GenDefaultVisitor< Const >::operator() ( typename Const< WhileExp >::type &  e )

overridevirtualinherited

Implements ast::GenVisitor< Const >.

template<template< typename > class Const>

void ast::GenDefaultVisitor< Const >::operator() ( typename Const< ForExp >::type &  e )

overridevirtualinherited

Implements ast::GenVisitor< Const >.

template<template< typename > class Const>

void ast::GenDefaultVisitor< Const >::operator() ( typename Const< BreakExp >::type &  )

overridevirtualinherited

Implements ast::GenVisitor< Const >.

template<template< typename > class Const>

void ast::GenDefaultVisitor< Const >::operator() ( typename Const< LetExp >::type &  e )

overridevirtualinherited

Implements ast::GenVisitor< Const >.

template<template< typename > class Const>

void ast::GenDefaultVisitor< Const >::operator() ( typename Const< ArrayExp >::type &  e )

overridevirtualinherited

Implements ast::GenVisitor< Const >.

template<template< typename > class Const>

void ast::GenDefaultVisitor< Const >::operator() ( typename Const< CastExp >::type &  e )

overridevirtualinherited

Implements ast::GenVisitor< Const >.

template<template< typename > class Const>

void ast::GenDefaultVisitor< Const >::operator() ( typename Const< FieldInit >::type &  e )

overridevirtualinherited

Implements ast::GenVisitor< Const >.

template<template< typename > class Const>

void ast::GenDefaultVisitor< Const >::operator() ( typename Const< DecsList >::type &  e )

overridevirtualinherited

Visit a list of function, type and/or variables declarations.

Implements ast::GenVisitor< Const >.

References misc::for_each().

template<template< typename > class Const>

void ast::GenDefaultVisitor< Const >::operator() ( typename Const< Decs >::type &  e )

virtualinherited

Visit a Decs chunks.

template<template< typename > class Const>

void ast::GenDefaultVisitor< Const >::operator() ( typename Const< VarDecs >::type &  e )

overridevirtualinherited

Visit Var declarations.

Implements ast::GenVisitor< Const >.

template<template< typename > class Const>

void ast::GenDefaultVisitor< Const >::operator() ( typename Const< VarDec >::type &  e )

overridevirtualinherited

Implements ast::GenVisitor< Const >.

template<template< typename > class Const>

void ast::GenDefaultVisitor< Const >::operator() ( typename Const< FunctionDec >::type &  e )

overridevirtualinherited

Implements ast::GenVisitor< Const >.

template<template< typename > class Const>

void ast::GenDefaultVisitor< Const >::operator() ( typename Const< TypeDec >::type &  e )

overridevirtualinherited

Implements ast::GenVisitor< Const >.

template<template< typename > class Const>

void ast::GenDefaultVisitor< Const >::operator() ( typename Const< NameTy >::type &  e )

overridevirtualinherited

Implements ast::GenVisitor< Const >.

template<template< typename > class Const>

void ast::GenDefaultVisitor< Const >::operator() ( typename Const< RecordTy >::type &  e )

overridevirtualinherited

Implements ast::GenVisitor< Const >.

template<template< typename > class Const>

void ast::GenDefaultVisitor< Const >::operator() ( typename Const< ArrayTy >::type &  e )

overridevirtualinherited

Implements ast::GenVisitor< Const >.

template<template< typename > class Const>

void ast::GenDefaultVisitor< Const >::operator() ( typename Const< Field >::type &  e )

overridevirtualinherited

Implements ast::GenVisitor< Const >.

template<typename RecordClass >

void ast::PrettyPrinter::print_record ( const RecordClass &  e )

private

Member Data Documentation

std::ostream& ast::PrettyPrinter::ostr_

protected

The stream to print on.

Referenced by operator()().

---

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

• ast/pretty-printer.hh
• ast/pretty-printer.cc