LRDE Tiger Compiler  1.34a $Id: 7fef12e1f5fa43449d667a0eec1d837c40fc1202 $
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
libobject.cc File Reference

Define exported object functions. More...

#include <memory>
#include <object/libobject.hh>
#include <object/type-checker.hh>
#include <desugar/libdesugar.hh>
#include <object/renamer.hh>
#include <object/desugar-visitor.hh>
Include dependency graph for libobject.cc:

Namespaces

namespace  object

Functions

misc::error object::types_check (ast::Ast &tree)
 Check types allowing objects.
class_names_type * object::rename (ast::Ast &tree)
template<typename A >
A * object::raw_desugar (const A &tree, const class_names_type &class_names)
 Remove objects constructs from an AST without recomputing its bindings nor its types.
template<typename A >
A * object::desugar (const A &tree, const class_names_type &class_names)
 Remove objects constructs from an AST.
template ast::DecsListobject::raw_desugar (const ast::DecsList &, const class_names_type &)
 Explicit instantiations.
template ast::DecsListobject::desugar (const ast::DecsList &, const class_names_type &)

Detailed Description

Define exported object functions.