tiger-parser.hh

Go to the documentation of this file.

#ifndef PARSE_TIGER_PARSER_HH
# define PARSE_TIGER_PARSER_HH

# include <memory>
# include <map>
# include <stack>
# include <common.hh>
# include <misc/error.hh>
# include <misc/path.hh>
# include <misc/file-library.hh>
# include <ast/fwd.hh>
# include <parse/parsetiger.hh>
# include <parse/tweast.hh>

// Announce to Bison the lexing function it must use.
// Unfortunately, SWIG 2.0.7 cannot parse this declaration.
#ifndef SWIG
  YY_DECL_ ();
#endif

namespace parse
{

  class TigerParser
  {
  public:
    typedef misc::variant<std::string, Tweast*> input_type;

    TigerParser(const misc::file_library& lib = misc::file_library());

    virtual ~TigerParser();

    friend class parser;
    // SWIG can't parse this declaration either!
#ifndef SWIG
    friend YY_DECL_(::);
#endif

    ast_type parse_file(const std::string& name);
    ast_type parse(Tweast& s);
    ast_type parse(const std::string& s);

    ast::DecsList* parse_import(const std::string& name,
                                const location& loc);

    const misc::error& error_get() const;

    const char* prelude() const;

    TigerParser& scan_trace(bool b = true);

    TigerParser& parse_trace(bool b = true);

    TigerParser& enable_object_extensions (bool b = true);

    TigerParser& enable_extensions(bool b = true);

  private:
    std::unique_ptr<yyFlexLexer> scanner_;

    bool scan_trace_p_;

    std::map<std::string, location> open_files_;

    ast_type parse_();

    ast_type parse_input(Tweast& input, bool extensions);

    ast::DecsList* parse_prelude(const std::string& f);

  public:
    ast_type ast_;
    misc::error error_;
    bool parse_trace_p_;

    location location_;
    input_type input_;
    misc::file_library library_;
    bool enable_object_extensions_p_;
    bool enable_extensions_p_;
  };

}

#endif // !PARSE_TIGER_PARSER_HH