aboutsummaryrefslogtreecommitdiff
path: root/build/parser
blob: e8e7314b4e8a8f0aa963a70a207e98670d054e5b (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
// file      : build/parser -*- C++ -*-
// copyright : Copyright (c) 2014-2015 Code Synthesis Tools CC
// license   : MIT; see accompanying LICENSE file

#ifndef BUILD_PARSER
#define BUILD_PARSER

#include <string>
#include <vector>
#include <iosfwd>
#include <utility>   // std::move
#include <exception>


#include <build/path>

namespace build
{
  class scope;

  class token;
  enum class token_type;
  class lexer;

  // The handler must assume the diagnostics has already been issued.
  //
  struct parser_error: std::exception {};

  class parser
  {
  public:
    parser (std::ostream& diag): diag_ (diag) {}

    void
    parse (std::istream&, const path&, scope&);

    // Recursive descent parser.
    //
  private:
    struct name_type
    {
      name_type (std::string t, std::string n)
          : type (std::move (t)), name (std::move (n)) {}

      std::string type; // Empty if untyped.
      std::string name;
    };

    typedef std::vector<name_type> names;

    void
    parse_clause (token&, token_type&);

    names
    parse_names (token& t, token_type& tt)
    {
      names ns;
      parse_names (t, tt, ns, nullptr);
      return ns;
    }

    void
    parse_names (token&, token_type&, names&, const std::string* type);

    // Utilities.
    //
  private:
    token_type
    next (token&, token_type&);

    std::ostream&
    error (const token&);

  private:
    std::ostream& diag_;

    lexer* lexer_;
    const path* path_;
    scope* scope_;
  };
}

#endif // BUILD_PARSER