libobject.hh

Go to the documentation of this file.

#ifndef OBJECT_LIBOBJECT_HH
# define OBJECT_LIBOBJECT_HH

# include <misc/map.hh>
# include <misc/symbol.hh>
# include <misc/error.hh>

# include <ast/fwd.hh>

# include <type/class.hh>

namespace object
{

  /*-------.
  | Bind.  |
  `-------*/

  // FIXME: Some code was deleted here.


  /*----------------.
  | Compute types.  |
  `----------------*/

  misc::error
  types_check(ast::Ast& tree);


  /*------------------.
  | Desugar objects.  |
  `------------------*/

  typedef misc::map<const type::Class*, misc::symbol> class_names_type;

  class_names_type*
  rename(ast::Ast& tree);

  template <typename A>
  A*
  desugar(const A& tree, const class_names_type& class_names);

  template <typename A>
  A*
  raw_desugar(const A& tree, const class_names_type& class_names);

} // namespace object

#endif // !OBJECT_LIBOBJECT_HH