// file      : cli/parser.hxx
// author    : Boris Kolpackov <boris@codesynthesis.com>
// copyright : Copyright (c) 2009-2011 Code Synthesis Tools CC
// license   : MIT; see accompanying LICENSE file

#ifndef CLI_PARSER_HXX
#define CLI_PARSER_HXX

#include <map>
#include <string>
#include <memory> // std::auto_ptr
#include <istream>

#include "semantics/elements.hxx"
#include "semantics/unit.hxx"

class token;
class lexer;

class parser
{
public:
  struct invalid_input {};

  std::auto_ptr<semantics::cli_unit>
  parse (std::istream& is, semantics::path const& path);

private:
  struct error {};

  void
  def_unit ();

  void
  include_decl ();

  bool
  decl (token&);

  void
  namespace_def ();

  void
  class_def ();

  bool
  option_def (token&);

  bool
  qualified_name (token&, std::string& name);

  bool
  fundamental_type (token&, std::string& name);

private:
  void
  recover (token& t);

  // Lookup a name in the specified starting scope. Empty scope denotes
  // the global namespace. Starting scope should be a fully-qualified
  // name while name can be qualified but should not be fully-qualified
  // (to lookup a fully-qualified name use the global namespace as the
  // starting scope).
  //
  // If starting unit is not specified, the lookup is performed in the
  // current unit. It then continues in all the units that the starting
  // unit includes, transitively.
  //
  // The outer flag specifies whether to search the outer scopes.
  //
  template <typename T>
  T*
  lookup (std::string const& scope,
          std::string const& name,
          semantics::cli_unit* unit = 0,
          bool outer = true);

private:
  bool valid_;
  semantics::path const* path_;

  lexer* lexer_;

  semantics::cli_unit* root_;
  semantics::cli_unit* cur_;
  semantics::scope* scope_;

  typedef std::map<semantics::path, semantics::cli_unit*> include_map;
  include_map include_map_;
};

#endif // CLI_PARSER_HXX