summaryrefslogtreecommitdiff
path: root/libbackend-elements/backend-elements/indentation/cxx.hxx
diff options
context:
space:
mode:
authorJörg Frings-Fürst <debian@jff-webhosting.net>2014-07-23 15:21:29 +0200
committerJörg Frings-Fürst <debian@jff-webhosting.net>2014-07-23 15:21:29 +0200
commitbada6666c70977a058755ccf232e7d67b24adeed (patch)
tree1e92d50cebce96abaf9bce19e36026c47f77b9ba /libbackend-elements/backend-elements/indentation/cxx.hxx
parenteaf34adcbd8095bc6d1f3371b1227f654c7b19fc (diff)
New upstream release
Diffstat (limited to 'libbackend-elements/backend-elements/indentation/cxx.hxx')
-rw-r--r--libbackend-elements/backend-elements/indentation/cxx.hxx1016
1 files changed, 0 insertions, 1016 deletions
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 <boris@kolpackov.net>
-// 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 <backend-elements/types.hxx>
-#include <backend-elements/indentation/buffer.hxx>
-
-#include <cult/containers/set.hxx>
-#include <cult/containers/stack.hxx>
-#include <cult/containers/deque.hxx>
-
-#include <locale>
-
-// #include <iostream> // @@ tmp
-
-namespace BackendElements
-{
- namespace Indentation
- {
- template <typename C>
- class CXX: public Buffer<C>/*, public NonCopyable*/
- {
- public:
- typedef
- typename Buffer<C>::Traits
- Traits;
-
- typedef
- typename Buffer<C>::AsChar
- AsChar;
-
- typedef
- typename Buffer<C>::AsInt
- AsInt;
-
- typedef
- typename Buffer<C>::Write
- Write;
-
- public:
- CXX (Buffer<C>& 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<C> 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<C>& out_;
- Boolean buffering_; // True if write() should buffer the char.
- UnsignedLong position_; // Current position on the line.
- UnsignedLong paren_balance_; // ( ) balance.
- Cult::Containers::Stack<UnsignedLong> 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<UnsignedLong> do_while_state_;
-
- typedef
- Cult::Containers::Deque<AsInt>
- 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<String> single_line_blocks_;
-
- // Keywords that may follow (and be related) to a previous block,
- // e.g., else, case, catch.
- //
- Cult::Containers::Set<String> 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<IndentBlockInfo> indent_block_;
- };
- }
-}
-
-#include <backend-elements/indentation/cxx.txx>
-
-#endif // BACKEND_ELEMENTS_INDENTATION_CXX_HXX