aboutsummaryrefslogtreecommitdiff
path: root/build/parser
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2016-01-05 11:55:15 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2016-01-05 11:55:15 +0200
commit9fb791e9fad6c63fc1dac49f4d05ae63b8a3db9b (patch)
treed60322d4382ca5f97b676c5abe2e39524f35eab4 /build/parser
parentf159b1dac68c8714f7ba71ca168e3b695891aad9 (diff)
Rename build directory/namespace to build2
Diffstat (limited to 'build/parser')
-rw-r--r--build/parser296
1 files changed, 0 insertions, 296 deletions
diff --git a/build/parser b/build/parser
deleted file mode 100644
index 2631ca2..0000000
--- a/build/parser
+++ /dev/null
@@ -1,296 +0,0 @@
-// file : build/parser -*- C++ -*-
-// copyright : Copyright (c) 2014-2015 Code Synthesis Ltd
-// license : MIT; see accompanying LICENSE file
-
-#ifndef BUILD_PARSER
-#define BUILD_PARSER
-
-#include <string>
-#include <iosfwd>
-
-#include <build/types>
-#include <build/utility>
-
-#include <build/spec>
-#include <build/lexer>
-#include <build/token>
-#include <build/variable> // list_value
-#include <build/diagnostics>
-
-namespace build
-{
- class scope;
- class target;
-
- class parser
- {
- public:
- typedef build::names names_type;
- typedef build::variable variable_type;
-
- // If boot is true, then we are parsing bootstrap.build and modules
- // should only be bootstrapped.
- //
- parser (bool boot = false): fail (&path_), boot_ (boot) {}
-
- // Issue diagnostics and throw failed in case of an error.
- //
- void
- parse_buildfile (std::istream&, const path&, scope& root, scope& base);
-
- buildspec
- parse_buildspec (std::istream&, const std::string& name);
-
- token
- parse_variable (lexer&, scope&, std::string name, token_type kind);
-
- names_type
- parse_export_stub (std::istream& is, const path& p, scope& r, scope& b)
- {
- parse_buildfile (is, p, r, b);
- return std::move (export_value_);
- }
-
- // Recursive descent parser.
- //
- protected:
- void
- clause (token&, token_type&);
-
- void
- print (token&, token_type&);
-
- void
- source (token&, token_type&);
-
- void
- include (token&, token_type&);
-
- void
- import (token&, token_type&);
-
- void
- export_ (token&, token_type&);
-
- void
- using_ (token&, token_type&);
-
- void
- define (token&, token_type&);
-
- void
- if_else (token&, token_type&);
-
- void
- variable (token&, token_type&, std::string name, token_type kind);
-
- std::string
- variable_name (names_type&&, const location&);
-
- names_type
- variable_value (token&, token_type&, const variable_type&);
-
- names_type
- eval (token&, token_type&);
-
- // If chunk is true, then parse the smallest but complete, name-wise,
- // chunk of input. Note that in this case you may still end up with
- // multiple names, for example, {foo bar}.
- //
- names_type
- names (token& t, token_type& tt, bool chunk = false)
- {
- names_type ns;
- names (t, tt, ns, chunk, 0, nullptr, nullptr, nullptr);
- return ns;
- }
-
- void
- names (token&, token_type&,
- names_type&,
- bool chunk,
- std::size_t pair,
- const std::string* prj,
- const dir_path* dir,
- const std::string* type);
-
- size_t
- names_trailer (token&, token_type&,
- names_type&,
- size_t pair,
- const std::string* prj,
- const dir_path* dir,
- const std::string* type);
-
- // Skip until newline or eos.
- //
- void
- skip_line (token&, token_type&);
-
- // Skip until block-closing } or eos, taking into account nested blocks.
- //
- void
- skip_block (token&, token_type&);
-
- // Return true if the name token can be considered a directive keyword.
- //
- bool
- keyword (token&);
-
- // Buildspec.
- //
- buildspec
- buildspec_clause (token&, token_type&, token_type end);
-
- // Utilities.
- //
- protected:
-
- // Switch to a new current scope. Note that this function might
- // also have to switch to a new root scope if the new current
- // scope is in another project. So both must be saved and
- // restored.
- //
- void
- switch_scope (const dir_path&);
-
- void
- process_default_target (token&);
-
- // Enter buildfile as a target.
- //
- void
- enter_buildfile (const path&);
-
- // Lexer.
- //
- protected:
- token_type
- next (token&, token_type&);
-
- // Be careful with peeking and switching the lexer mode. See keyword()
- // for more information.
- //
- token_type
- peek ();
-
- const token&
- peeked () const
- {
- assert (peeked_);
- return peek_;
- }
-
- void
- mode (lexer_mode m, char ps = '=')
- {
- if (replay_ != replay::play)
- lexer_->mode (m, ps);
- }
-
- lexer_mode
- mode () const
- {
- assert (replay_ != replay::play);
- return lexer_->mode ();
- }
-
- void
- expire_mode ()
- {
- if (replay_ != replay::play)
- lexer_->expire_mode ();
- }
-
- // Token saving and replaying. Note that is can only be used in certain
- // contexts. Specifically, the lexer mode should be the same and the code
- // that parses a replay must not interact with the lexer directly (e.g.,
- // the keyword() test). For now we don't enforce any of this.
- //
- // Note also that the peeked token is not part of the replay, until it
- // is "got".
- //
- //
- void
- replay_save ()
- {
- assert (replay_ == replay::stop);
- replay_ = replay::save;
- }
-
- void
- replay_play ()
- {
- assert ((replay_ == replay::save && !replay_data_.empty ()) ||
- (replay_ == replay::play && replay_i_ == replay_data_.size ()));
-
- replay_i_ = 0;
- replay_ = replay::play;
- }
-
- void
- replay_stop ()
- {
- replay_data_.clear ();
- replay_ = replay::stop;
- }
-
- const token&
- replay_next ()
- {
- assert (replay_i_ != replay_data_.size ());
- return replay_data_[replay_i_++];
- }
-
- struct replay_guard
- {
- replay_guard (parser& p, bool start = true)
- : p_ (start ? &p : nullptr)
- {
- if (p_ != nullptr)
- p_->replay_save ();
- }
-
- void
- play ()
- {
- if (p_ != nullptr)
- p_->replay_play ();
- }
-
- ~replay_guard ()
- {
- if (p_ != nullptr)
- p_->replay_stop ();
- }
-
- private:
- parser* p_;
- };
-
- // Diagnostics.
- //
- protected:
- const fail_mark<failed> fail;
-
- protected:
- bool boot_;
-
- const std::string* path_; // Path processed by diag_relative() and pooled.
- lexer* lexer_;
- target* target_; // Current target, if any.
- scope* scope_; // Current base scope (out_base).
- scope* root_; // Current root scope (out_root).
- target* default_target_;
- names_type export_value_;
-
- token peek_ = token (token_type::eos, false, 0, 0);
- bool peeked_ = false;
-
- enum class replay {stop, save, play} replay_ = replay::stop;
- vector<token> replay_data_;
- size_t replay_i_; // Position of the next token during replay.
- };
-}
-
-#endif // BUILD_PARSER