desugar::BoundCheckingVisitor Class Reference

Add dynamic array bound checks while duplicating an AST. More...

#include <bound-checking-visitor.hh>

Inheritance diagram for desugar::BoundCheckingVisitor:

Collaboration diagram for desugar::BoundCheckingVisitor:

Public Types
typedef astclone::Cloner	super_type
	Parent type.

Public Member Functions
	BoundCheckingVisitor ()
	Build a BoundCheckingVisitor.
virtual	~BoundCheckingVisitor ()
	Destroy a BoundCheckingVisitor.
ast::Ast *	result_get ()
template<typename T >
T *	recurse (const T &t)
template<typename T >
T *	recurse (const T *const t)
template<typename CollectionType >
CollectionType *	recurse_collection (const CollectionType &c)
	Clone a collection object.
virtual void	operator() (const ast::ArrayExp &) override
virtual void	operator() (const ast::ArrayTy &) override
virtual void	operator() (const ast::AssignExp &) override
virtual void	operator() (const ast::BreakExp &) override
virtual void	operator() (const ast::CallExp &) override
virtual void	operator() (const ast::CastExp &) override
virtual void	operator() (const ast::CastVar &) override
virtual void	operator() (const ast::ClassTy &) override
virtual void	operator() (const ast::DecsList &) override
virtual void	operator() (const ast::Field &) override
virtual void	operator() (const ast::FieldInit &) override
virtual void	operator() (const ast::FieldVar &) override
virtual void	operator() (const ast::ForExp &) override
virtual void	operator() (const ast::FunctionDec &) override
virtual void	operator() (const ast::IfExp &) override
virtual void	operator() (const ast::IntExp &) override
virtual void	operator() (const ast::LetExp &) override
virtual void	operator() (const ast::MethodCallExp &) override
virtual void	operator() (const ast::MethodDec &) override
virtual void	operator() (const ast::NameTy &) override
virtual void	operator() (const ast::NilExp &) override
virtual void	operator() (const ast::ObjectExp &) override
virtual void	operator() (const ast::OpExp &) override
virtual void	operator() (const ast::RecordExp &) override
virtual void	operator() (const ast::RecordTy &) override
virtual void	operator() (const ast::SeqExp &) override
virtual void	operator() (const ast::SimpleVar &) override
virtual void	operator() (const ast::StringExp &) override
virtual void	operator() (const ast::SubscriptVar &) override
virtual void	operator() (const ast::TypeDec &) override
virtual void	operator() (const ast::VarDec &) override
virtual void	operator() (const ast::WhileExp &) override
virtual void	operator() (const ast::FunctionDecs &) override
virtual void	operator() (const ast::MethodDecs &) override
virtual void	operator() (const ast::TypeDecs &) override
virtual void	operator() (const ast::VarDecs &) override
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.
template<typename DecsType >
void	decs_visit (const DecsType &e)
	Visit a chunk (i.e., a list of Function, Var, and Type decs).
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

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

Protected Attributes
ast::Ast *	result_
	The cloned Ast.

Private Types
typedef std::map< const type::Array *, std::string >	boxes_type

Private Attributes
boxes_type	boxes_
	Map from an array type to the corresponding `box' type name.

Static Private Attributes
static const std::string	prelude

Detailed Description

Add dynamic array bound checks while duplicating an AST.

Member Typedef Documentation

typedef std::map<const type::Array*, std::string> desugar::BoundCheckingVisitor::boxes_type

private

typedef astclone::Cloner desugar::BoundCheckingVisitor::super_type

Parent type.

Constructor & Destructor Documentation

desugar::BoundCheckingVisitor::BoundCheckingVisitor

(

)

Build a BoundCheckingVisitor.

desugar::BoundCheckingVisitor::~BoundCheckingVisitor ( )

virtual

Destroy a BoundCheckingVisitor.

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<typename DecsType >

void astclone::Cloner::decs_visit ( const DecsType &  e )

inherited

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.

References assertion.

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.

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 >.

void astclone::Cloner::operator() ( const ast::ArrayExp &  e )

overridevirtualinherited

Referenced by object::DesugarVisitor::operator()().

void astclone::Cloner::operator() ( const ast::ArrayTy &  e )

overridevirtualinherited

References ast::ArrayTy::base_type_get(), ast::Ast::location_get(), astclone::Cloner::recurse(), and astclone::Cloner::result_.

void astclone::Cloner::operator() ( const ast::AssignExp &  e )

overridevirtualinherited

Reimplemented in object::DesugarVisitor.

void astclone::Cloner::operator() ( const ast::BreakExp &  e )

overridevirtualinherited

void astclone::Cloner::operator() ( const ast::CallExp &  e )

overridevirtualinherited

Reimplemented in object::DesugarVisitor.

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()().

void astclone::Cloner::operator() ( const ast::CastExp &  e )

overridevirtualinherited

References ast::CastExp::exp_get(), ast::Ast::location_get(), astclone::Cloner::recurse(), astclone::Cloner::result_, and ast::CastExp::ty_get().

void astclone::Cloner::operator() ( const ast::CastVar &  e )

overridevirtualinherited

References astclone::Cloner::recurse(), astclone::Cloner::result_, ast::CastVar::ty_get(), and ast::CastVar::var_get().

void astclone::Cloner::operator() ( const ast::ClassTy &  e )

overridevirtualinherited

References ast::ClassTy::decs_get(), ast::Ast::location_get(), astclone::Cloner::recurse(), astclone::Cloner::result_, and ast::ClassTy::super_get().

template<template< typename > class Const>

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

overridevirtualinherited

Implements ast::GenVisitor< Const >.

void astclone::Cloner::operator() ( const ast::DecsList &  e )

overridevirtualinherited

Reimplemented in object::DesugarVisitor.

References ast::DecsList::decs_get(), ast::Ast::location_get(), astclone::Cloner::recurse_collection(), and astclone::Cloner::result_.

template<template< typename > class Const>

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

overridevirtualinherited

Implements ast::GenVisitor< Const >.

void astclone::Cloner::operator() ( const ast::Field &  e )

overridevirtualinherited

References ast::Ast::location_get(), ast::Field::name_get(), astclone::Cloner::recurse(), astclone::Cloner::result_, and ast::Field::type_name_get().

template<template< typename > class Const>

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

overridevirtualinherited

Implements ast::GenVisitor< Const >.

void astclone::Cloner::operator() ( const ast::FieldInit &  e )

overridevirtualinherited

References ast::FieldInit::init_get(), ast::Ast::location_get(), ast::FieldInit::name_get(), astclone::Cloner::recurse(), and astclone::Cloner::result_.

void astclone::Cloner::operator() ( const ast::FieldVar &  e )

overridevirtualinherited

Reimplemented in object::DesugarVisitor.

template<template< typename > class Const>

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

overridevirtualinherited

Implements ast::GenVisitor< Const >.

void astclone::Cloner::operator() ( const ast::ForExp &  e )

overridevirtualinherited

Reimplemented in desugar::DesugarVisitor.

References ast::ForExp::body_get(), ast::ForExp::hi_get(), ast::Ast::location_get(), astclone::Cloner::recurse(), astclone::Cloner::result_, and ast::ForExp::vardec_get().

void astclone::Cloner::operator() ( const ast::FunctionDec &  e )

overridevirtualinherited

Reimplemented in object::DesugarVisitor.

References ast::FunctionDec::body_get(), ast::FunctionDec::formals_get(), ast::Ast::location_get(), ast::Dec::name_get(), astclone::Cloner::recurse(), astclone::Cloner::result_, and ast::FunctionDec::result_get().

void astclone::Cloner::operator() ( const ast::IfExp &  e )

overridevirtualinherited

void astclone::Cloner::operator() ( const ast::IntExp &  e )

overridevirtualinherited

References ast::Ast::location_get(), astclone::Cloner::result_, and ast::IntExp::value_get().

void astclone::Cloner::operator() ( const ast::LetExp &  e )

overridevirtualinherited

template<template< typename > class Const>

template<class E >

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

inherited

Helper to visit nodes manipulated via a pointer.

void astclone::Cloner::operator() ( const ast::MethodCallExp &  e )

overridevirtualinherited

Reimplemented in object::DesugarVisitor.

template<template< typename > class Const>

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

overridevirtualinherited

Implements ast::GenVisitor< Const >.

void astclone::Cloner::operator() ( const ast::MethodDec &  e )

overridevirtualinherited

References ast::FunctionDec::body_get(), ast::FunctionDec::formals_get(), ast::Ast::location_get(), ast::Dec::name_get(), astclone::Cloner::recurse(), astclone::Cloner::result_, and ast::FunctionDec::result_get().

template<template< typename > class Const>

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

overridevirtualinherited

Implements ast::GenVisitor< Const >.

void astclone::Cloner::operator() ( const ast::NameTy &  e )

overridevirtualinherited

Reimplemented in object::DesugarVisitor.

References ast::Ast::location_get(), ast::NameTy::name_get(), and astclone::Cloner::result_.

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 >.

void astclone::Cloner::operator() ( const ast::NilExp &  e )

overridevirtualinherited

References ast::Ast::location_get(), and astclone::Cloner::result_.

template<template< typename > class Const>

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

overridevirtualinherited

Implements ast::GenVisitor< Const >.

void astclone::Cloner::operator() ( const ast::ObjectExp &  e )

overridevirtualinherited

Reimplemented in object::DesugarVisitor.

template<template< typename > class Const>

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

overridevirtualinherited

Implements ast::GenVisitor< Const >.

void astclone::Cloner::operator() ( const ast::OpExp &  e )

overridevirtualinherited

Reimplemented in desugar::DesugarVisitor.

References ast::OpExp::left_get(), ast::Ast::location_get(), ast::OpExp::oper_get(), astclone::Cloner::recurse(), astclone::Cloner::result_, and ast::OpExp::right_get().

template<template< typename > class Const>

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

overridevirtualinherited

Implements ast::GenVisitor< Const >.

void astclone::Cloner::operator() ( const ast::RecordExp &  e )

overridevirtualinherited

template<template< typename > class Const>

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

overridevirtualinherited

Implements ast::GenVisitor< Const >.

void astclone::Cloner::operator() ( const ast::RecordTy &  e )

overridevirtualinherited

template<template< typename > class Const>

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

overridevirtualinherited

Implements ast::GenVisitor< Const >.

void astclone::Cloner::operator() ( const ast::SeqExp &  e )

overridevirtualinherited

template<template< typename > class Const>

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

overridevirtualinherited

Implements ast::GenVisitor< Const >.

void astclone::Cloner::operator() ( const ast::SimpleVar &  e )

overridevirtualinherited

References ast::SimpleVar::name_get(), and astclone::Cloner::result_.

void astclone::Cloner::operator() ( const ast::StringExp &  e )

overridevirtualinherited

template<template< typename > class Const>

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

overridevirtualinherited

Implements ast::GenVisitor< Const >.

void astclone::Cloner::operator() ( const ast::SubscriptVar &  e )

overridevirtualinherited

References ast::SubscriptVar::index_get(), astclone::Cloner::recurse(), astclone::Cloner::result_, and ast::SubscriptVar::var_get().

template<template< typename > class Const>

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

overridevirtualinherited

Implements ast::GenVisitor< Const >.

void astclone::Cloner::operator() ( const ast::TypeDec &  e )

overridevirtualinherited

References ast::Ast::location_get(), ast::Dec::name_get(), astclone::Cloner::recurse(), astclone::Cloner::result_, and ast::TypeDec::ty_get().

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 >.

void astclone::Cloner::operator() ( const ast::VarDec &  e )

overridevirtualinherited

Reimplemented in object::DesugarVisitor.

References ast::VarDec::init_get(), ast::Ast::location_get(), ast::Dec::name_get(), astclone::Cloner::recurse(), and ast::VarDec::type_name_get().

template<template< typename > class Const>

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

overridevirtualinherited

Implements ast::GenVisitor< Const >.

void astclone::Cloner::operator() ( const ast::WhileExp &  e )

overridevirtualinherited

References ast::WhileExp::body_get(), ast::Ast::location_get(), astclone::Cloner::recurse(), astclone::Cloner::result_, and ast::WhileExp::test_get().

template<template< typename > class Const>

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

overridevirtualinherited

Implements ast::GenVisitor< Const >.

void astclone::Cloner::operator() ( const ast::FunctionDecs &  e )

overridevirtualinherited

Reimplemented in object::DesugarVisitor.

virtual void astclone::Cloner::operator() ( const ast::MethodDecs &  )

overridevirtualinherited

Reimplemented in object::DesugarVisitor.

virtual void astclone::Cloner::operator() ( const ast::TypeDecs &  )

overridevirtualinherited

Reimplemented in object::DesugarVisitor.

virtual void astclone::Cloner::operator() ( const ast::VarDecs &  )

overridevirtualinherited

Reimplemented in object::DesugarVisitor.

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 T >

T * astclone::Cloner::recurse ( const T &  t )

inherited

References assertion.

Referenced by object::DesugarVisitor::operator()(), astclone::Cloner::operator()(), and object::DesugarVisitor::recurse_args().

template<typename T >

T * astclone::Cloner::recurse ( const T *const  t )

inherited

References assertion.

template<typename CollectionType >

CollectionType * astclone::Cloner::recurse_collection ( const CollectionType &  c )

inherited

Clone a collection object.

Using overloading for this method is tempting, but it would lead to the same prototype than the first recurse method.

A partial specialization for std::list<T> would work, but is not allowed by C++ standard. As a consequence, we are stuck to using different names.

References assertion.

Referenced by astclone::Cloner::operator()().

Ast * astclone::Cloner::result_get ( )

inherited

References astclone::Cloner::result_.

Referenced by astclone::clone(), inlining::inline_expand(), inlining::prune(), desugar::raw_bound_checks_add(), desugar::raw_desugar(), and object::raw_desugar().

Member Data Documentation

boxes_type desugar::BoundCheckingVisitor::boxes_

private

Map from an array type to the corresponding `box' type name.

const std::string desugar::BoundCheckingVisitor::prelude

staticprivate

The bounds checking runtime.

Additional definitions to insert in the prelude.

ast::Ast* astclone::Cloner::result_

protectedinherited

The cloned Ast.

Referenced by object::DesugarVisitor::operator()(), astclone::Cloner::operator()(), and astclone::Cloner::result_get().

---

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

• desugar/bound-checking-visitor.hh
• desugar/bound-checking-visitor.cc