From 8286ac511144e4f17d34eac9affb97e50646344a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=B6rg=20Frings-F=C3=BCrst?= Date: Wed, 23 Jul 2014 15:25:44 +0200 Subject: Imported Upstream version 4.0.0 --- .../backend-elements/indentation/cxx.hxx | 1016 -------------------- 1 file changed, 1016 deletions(-) delete mode 100644 libbackend-elements/backend-elements/indentation/cxx.hxx (limited to 'libbackend-elements/backend-elements/indentation/cxx.hxx') diff --git a/libbackend-elements/backend-elements/indentation/cxx.hxx b/libbackend-elements/backend-elements/indentation/cxx.hxx deleted file mode 100644 index f10341a..0000000 --- a/libbackend-elements/backend-elements/indentation/cxx.hxx +++ /dev/null @@ -1,1016 +0,0 @@ -// file : backend-elements/indentation/cxx.hxx -// author : Boris Kolpackov -// copyright : Copyright (c) 2005-2010 Boris Kolpackov -// license : GNU GPL v2 + exceptions; see accompanying LICENSE file - -#ifndef BACKEND_ELEMENTS_INDENTATION_CXX_HXX -#define BACKEND_ELEMENTS_INDENTATION_CXX_HXX - -#include -#include - -#include -#include -#include - -#include - -// #include // @@ tmp - -namespace BackendElements -{ - namespace Indentation - { - template - class CXX: public Buffer/*, public NonCopyable*/ - { - public: - typedef - typename Buffer::Traits - Traits; - - typedef - typename Buffer::AsChar - AsChar; - - typedef - typename Buffer::AsInt - AsInt; - - typedef - typename Buffer::Write - Write; - - public: - CXX (Buffer& out) - : out_ (out), - buffering_ (false), - position_ (0), - paren_balance_ (0), - spaces_ (2), - construct_ (Construct::other), - lbrace_ ("{"), - rbrace_ ("}") - // locale_ ("C") - { - indentation_.push (0); - - single_line_blocks_.insert ("if"); - single_line_blocks_.insert ("do"); - single_line_blocks_.insert ("for"); - single_line_blocks_.insert ("else"); - single_line_blocks_.insert ("case"); - single_line_blocks_.insert ("while"); - - follow_blocks_.insert ("else"); - follow_blocks_.insert ("case"); - follow_blocks_.insert ("catch"); - follow_blocks_.insert ("default"); - } - - public: - virtual AsInt - put (AsChar c) - { - AsInt result (Traits::to_int_type (c)); - - try - { - // First determine what kind of construct we are in. - // - typename Construct::Value new_construct (construct_); - typename Construct::Value old_construct (construct_); - - switch (c) - { - case '\n': - { - if (construct_ == Construct::pp_directive || - construct_ == Construct::cxx_comment) - construct_ = new_construct = Construct::other; - - break; - } - case '#': - { - if (construct_ == Construct::other) - construct_ = new_construct = Construct::pp_directive; - - break; - } - case '\"': - { - if (construct_ != Construct::pp_directive && - construct_ != Construct::c_comment && - construct_ != Construct::cxx_comment && - construct_ != Construct::char_literal) - { - // We might be in an escape sequence. - // - Boolean es (!hold_.empty () && hold_.back () == '\\'); - - if (es) - { - // Scan the hold sequence backwards to figure out if this - // backslash is part of this escape sequence or a preceding - // one. - // - for (typename Hold::ReverseIterator i (hold_.rbegin () + 1), - e (hold_.rend ()); i != e && *i == '\\'; ++i) - es = !es; - } - - if (!es) - { - // Not an escape sequence. - // - if (construct_ == Construct::string_literal) - new_construct = Construct::other; - else - construct_ = new_construct = Construct::string_literal; - } - } - - break; - } - case '\'': - { - if (construct_ != Construct::pp_directive && - construct_ != Construct::c_comment && - construct_ != Construct::cxx_comment && - construct_ != Construct::string_literal) - { - // We might be in an escape sequence. - // - Boolean es (!hold_.empty () && hold_.back () == '\\'); - - if (es) - { - // Scan the hold sequence backwards to figure out if this - // backslash is part of this escape sequence or a preceding - // one. - // - for (typename Hold::ReverseIterator i (hold_.rbegin () + 1), - e (hold_.rend ()); i != e && *i == '\\'; ++i) - es = !es; - } - - if (!es) - { - if (construct_ == Construct::char_literal) - new_construct = Construct::other; - else - construct_ = new_construct = Construct::char_literal; - } - } - - break; - } - case '/': - { - if (construct_ == Construct::other) - { - if (!hold_.empty () && hold_.back () == '/') - construct_ = new_construct = Construct::cxx_comment; - } - - if (construct_ == Construct::c_comment) - { - if (!hold_.empty () && hold_.back () == '*') - construct_ = new_construct = Construct::other; - } - - break; - } - case '*': - { - if (construct_ == Construct::other) - { - if (!hold_.empty () && hold_.back () == '/') - construct_ = new_construct = Construct::c_comment; - } - - break; - } - default: - { - break; - } - } - - // Special handling of CPP directives. - // - if (construct_ == Construct::pp_directive) - { - result = write (c); - position_++; - return result; - } - - // - // - tokenize (c, old_construct); - - - // Indentation in parenthesis. We don't need to make sure - // we are not in a comments, etc. because we make sure we - // don't hold anything in those states. - // - if (!hold_.empty () && hold_.back () == '(') - { - unbuffer (); // We don't need to hold it anymore. - - if (c == '\n') - indentation_.push (indentation_.top () + spaces_); - else - indentation_.push (position_); - } - - - // - // - Boolean defaulting (false); - - switch (c) - { - case '\n': - { - if (!indent_block_.empty () && construct_ == Construct::other) - indent_block_.top ().newline_ = true; - - hold_.push_back (c); - position_ = 0; // Starting a new line. - - break; - } - case '{': - { - if (construct_ == Construct::other) - { - if (!indent_block_.empty ()) - { - // Pop all the blocks until the one that was indented. - // - while (!indent_block_.top ().indented_) - indent_block_.pop (); - - if (indentation_.size () > 1) - indentation_.pop (); - - indent_block_.pop (); - } - - ensure_new_line (); - output_indentation (); - result = write (c); - ensure_new_line (); - - indentation_.push (indentation_.top () + spaces_); - } - else - defaulting = true; - - break; - } - case '}': - { - if (construct_ == Construct::other) - { - if (indentation_.size () > 1) - indentation_.pop (); - - // Reduce multiple newlines to one. - // - while (hold_.size () > 1) - { - typename Hold::ReverseIterator i (hold_.rbegin ()); - - if (*i == '\n' && *(i + 1) == '\n') - hold_.pop_back (); - else - break; - } - - ensure_new_line (); - output_indentation (); - - hold_.push_back (c); - - - // Add double newline after '}'. - // - hold_.push_back ('\n'); - hold_.push_back ('\n'); - position_ = 0; - - buffering_ = true; - } - else - defaulting = true; - - break; - } - case ';': - { - if (construct_ == Construct::other) - { - // for (;;) - // - if (!indent_block_.empty () && paren_balance_ == 0) - { - // Pop all the blocks until the one that was indented. - // - while (!indent_block_.top ().indented_) - indent_block_.pop (); - - if (indentation_.size () > 1) - indentation_.pop (); - - indent_block_.pop (); - } - - if (paren_balance_ != 0) - { - // We are inside for (;;) statement. Nothing to do here. - // - defaulting = true; - } - else - { - // Handling '};' case. - // - - Boolean brace (false); - - if (hold_.size () > 1 && hold_.back () == '\n') - { - Boolean pop_nl (false); - - for (typename Hold::ReverseIterator - i (hold_.rbegin ()), e (hold_.rend ()); - i != e; ++i) - { - if (*i != '\n') - { - if (*i == '}') - brace = pop_nl = true; - - break; - } - } - - if (pop_nl) - while (hold_.back () == '\n') - hold_.pop_back (); - } - - output_indentation (); - result = write (c); - position_++; - - if (brace) - { - hold_.push_back ('\n'); - hold_.push_back ('\n'); - } - - ensure_new_line (); - } - } - else - defaulting = true; - - break; - } - case ' ': - { - if (construct_ == Construct::other) - { - // Handling '} foo_;' case. - // - if (hold_.size () > 1 && hold_.back () == '\n') - { - Boolean pop_nl (false); - - for (typename Hold::ReverseIterator - i (hold_.rbegin ()), e (hold_.rend ()); - i != e; ++i) - { - if (*i != '\n') - { - if (*i == '}') - pop_nl = true; - - break; - } - } - - if (pop_nl) - while (hold_.back () == '\n') - hold_.pop_back (); - } - } - - defaulting = true; - break; - } - case '\\': - { - if (construct_ != Construct::pp_directive && - construct_ != Construct::c_comment && - construct_ != Construct::cxx_comment) - { - output_indentation (); - hold_.push_back (c); - position_++; - } - else - defaulting = true; - - break; - - } - case '(': - { - if (construct_ == Construct::other) - { - // Hold it so that we can see what's coming next. - // - output_indentation (); - hold_.push_back (c); - position_++; - paren_balance_++; - } - else - defaulting = true; - break; - } - case ')': - { - if (construct_ == Construct::other) - { - if (indentation_.size () > 1) - indentation_.pop (); - - if (paren_balance_ > 0) - paren_balance_--; - } - - defaulting = true; - break; - } - case '/': - { - if (construct_ == Construct::other) - { - output_indentation (); - hold_.push_back (c); - position_++; - } - else - defaulting = true; - - break; - } - case '*': - { - if (construct_ == Construct::c_comment) - { - output_indentation (); - hold_.push_back (c); - position_++; - } - else - defaulting = true; - - break; - } - default: - { - defaulting = true; - break; - } - } - - - if (defaulting) - { - output_indentation (); - result = write (c); - position_++; - } - - construct_ = new_construct; - } - catch (Write const&) - { - result = Traits::eof (); - } - - return result; - } - - private: - typedef Cult::StringTemplate String; - - Void - next_token (String const& old, AsChar c) - { - //std::cerr << "next token: " << token_ - // << "; old token: " << old << std::endl; - - // Handle one line indentation blocks (if, else, etc). - // - if (single_line_blocks_.find (token_) != single_line_blocks_.end ()) - { - // Only indent sub-blocks if we are on a new line. - // - Boolean indent (indent_block_.empty () || - indent_block_.top ().newline_); - - indent_block_.push (IndentBlockInfo (c == '\n', indent)); - - if (indent) - indentation_.push (indentation_.top () + spaces_); - } - - // Keep track of the do ... while construct in order to suppress - // the newline after } and before while. - // - if (old == String ("do") && token_ == lbrace_) - { - do_while_state_.push (0); - } - - if (!do_while_state_.empty ()) - { - if (token_ == lbrace_) - do_while_state_.top ()++; - - if (token_ == rbrace_) - do_while_state_.top ()--; - } - - // Suppress double newline in the "}else", etc., cases. - // - if (old == rbrace_) - { - Boolean dw (!do_while_state_.empty () && - do_while_state_.top () == 0); - - if (follow_blocks_.find (token_) != follow_blocks_.end () || dw) - { - if (dw) - do_while_state_.pop (); - - // Reduce double newline after "}" into a single one. - // - typename Hold::Iterator i (hold_.end ()), b (hold_.begin ()); - - for (--i; i != b; --i) - { - // See if this is the end of the "}\n\n" sequence. - // - if (*i == '\n') - { - --i; - if (i != b && *i == '\n') - { - --i; - if (*i == '}') - { - ++i; - hold_.erase (i); - break; - } - } - } - } - } - else if (token_ != rbrace_) - { - buffering_ = false; - } - } - } - - public: - virtual Void - unbuffer () - { - AsInt result; - - while (!hold_.empty ()) - { - result = out_.put (hold_.front ()); - - //@@ failed - if (result == Traits::eof ()) - throw Write (); - - hold_.pop_front (); - } - } - - private: - Void - ensure_new_line () - { - if (hold_.empty () || hold_.back () != '\n') - { - hold_.push_back ('\n'); - position_ = 0; // Starting a new line. - } - } - - - Void - output_indentation () - { - if (!hold_.empty () && hold_.back () == '\n') - { - for (UnsignedLong i (0); i < indentation_.top (); ++i) - write (' '); - - position_ += indentation_.top (); - } - } - - AsInt - write (AsChar c) - { - hold_.push_back (c); - - if (!buffering_) - { - AsInt result (Traits::eof ()); - - while (!hold_.empty ()) - { - result = out_.put (hold_.front ()); - - if (result == Traits::eof ()) - throw Write (); - - hold_.pop_front (); - } - - return result; - } - else - return c; - } - - private: - struct Construct - { - enum Value - { - other, - pp_directive, - c_comment, - cxx_comment, - string_literal, - char_literal - }; - }; - - Void - tokenize (AsChar c, typename Construct::Value old) - { - // - // - switch (construct_) - { - case Construct::pp_directive: - { - if (old == Construct::other) // Start PP directive - retire (c); - - return; - } - case Construct::c_comment: - { - if (old == Construct::other) // Start C comment. - lexeme_.clear (); - - return; - } - case Construct::cxx_comment: - { - if (old == Construct::other) // Start C++ comment. - lexeme_.clear (); - - return; - } - case Construct::string_literal: - { - if (old == Construct::other) // Start string literal - retire (c); - - lexeme_ += c; - return; - } - case Construct::char_literal: - { - if (old == Construct::other) // Start char literal - retire (c); - - lexeme_ += c; - return; - } - default: - break; - } - - // construct_ == other - // - switch (old) - { - case Construct::pp_directive: - { - // End PP directive (newline). - // - return; - } - case Construct::c_comment: - { - // End C comment. - // - return; - } - case Construct::cxx_comment: - { - // End C++ comment (newline). - // - return; - } - case Construct::string_literal: - { - // End string literal ("). - // - lexeme_ += c; - return; - } - case Construct::char_literal: - { - // End char literal ('). - // - lexeme_ += c; - return; - } - default: - break; - } - - - // construct_ == old == other - // - - /* - - The code below is equivalent to this (simpler) code which is - unfortunately not fast enough. - - using std::isalpha; - using std::isalnum; - using std::isdigit; - using std::isspace; - - if (c == '_' || isalpha (c, locale_)) - { - if (lexeme_.empty () || - lexeme_[0] == '_' || isalpha (lexeme_[0], locale_)) - lexeme_ += c; - else - { - retire (c); - lexeme_ += c; - } - } - else if (isdigit (c, locale_)) - { - if (lexeme_.empty () || - lexeme_[0] == '_' || isalnum (lexeme_[0], locale_)) - lexeme_ += c; - else - { - retire (c); - lexeme_ += c; - } - } - else // Delimiters - { - retire (c); - - if (!isspace (c, locale_)) - lexeme_ += c; - } - */ - - switch (char_class (c)) - { - case CharClass::alpha: - { - if (lexeme_.empty () || - char_class (lexeme_[0]) == CharClass::alpha) - lexeme_ += c; - else - { - retire (c); - lexeme_ += c; - } - break; - } - case CharClass::digit: - { - if (lexeme_.empty ()) - lexeme_ += c; - else - { - typename CharClass::Value cc (char_class (lexeme_[0])); - - if (cc == CharClass::alpha || cc == CharClass::digit) - lexeme_ += c; - else - { - retire (c); - lexeme_ += c; - } - } - break; - } - case CharClass::op_punc: - { - retire (c); - lexeme_ += c; - break; - } - case CharClass::space: - { - retire (c); - break; - } - } - } - - struct CharClass - { - enum Value - { - alpha, // Alpha + '_'. - digit, - op_punc, // Operator or punctuation. - space - }; - - }; - - typename CharClass::Value - char_class (C c) - { - switch (c) - { - case '0': - case '1': - case '2': - case '3': - case '4': - case '5': - case '6': - case '7': - case '8': - case '9': - return CharClass::digit; - - case '!': - case '%': - case '^': - case '&': - case '*': - case '(': - case ')': - case '-': - case '+': - case '=': - case '{': - case '}': - case '|': - case '~': - case '[': - case ']': - case '\\': - case ';': - case '\'': - case ':': - case '"': - case '<': - case '>': - case '?': - case ',': - case '.': - case '/': - return CharClass::op_punc; - - case ' ': - case '\n': - case '\t': - case '\f': - case '\r': - case '\v': - return CharClass::space; - - default: - return CharClass::alpha; - } - } - - - Void - retire (AsChar c) - { - if (!lexeme_.empty ()) - { - token_.swap (lexeme_); - next_token (lexeme_, c); - lexeme_.clear (); - } - } - - private: - Buffer& out_; - Boolean buffering_; // True if write() should buffer the char. - UnsignedLong position_; // Current position on the line. - UnsignedLong paren_balance_; // ( ) balance. - Cult::Containers::Stack indentation_; - UnsignedLong spaces_; - - Boolean suppress_nl_; - - //@@ gcc bug# 18304 - // - typename Construct::Value construct_; - - // Special state stach for the do-while construct. The presence - // of an element in the stack indicates that we are in a braced - // do-while construct. The value of the element is the brace - // balance. - Cult::Containers::Stack do_while_state_; - - typedef - Cult::Containers::Deque - Hold; - - Hold hold_; - - private: - String token_; // previously fully recognized token - String lexeme_; // current lexeme (accumulator) - - // std::locale locale_; - - // Keywords that may be folowed by a single-line block, e.g., if, - // else, etc. - // - Cult::Containers::Set single_line_blocks_; - - // Keywords that may follow (and be related) to a previous block, - // e.g., else, case, catch. - // - Cult::Containers::Set follow_blocks_; - - String lbrace_; - String rbrace_; - - private: - // Single-line indented blocks such as if, else, while, etc. The - // newline flag indicates whether a new line has been seen after - // the keyword. This is needed to properly distinguish cases such - // as: - // - // else if (...) - // foo (); - // - // else - // if (...) - // foo (); - // - struct IndentBlockInfo - { - IndentBlockInfo (Boolean newline, Boolean indented) - : newline_ (newline), indented_ (indented) - { - } - - Boolean newline_; - Boolean indented_; - }; - - Cult::Containers::Stack indent_block_; - }; - } -} - -#include - -#endif // BACKEND_ELEMENTS_INDENTATION_CXX_HXX -- cgit v1.2.3