Replace StyleRange with BreakList; update RenderText, etc.

ui/gfx/break_list.h

Index: ui/gfx/break_list.h
diff --git a/ui/gfx/break_list.h b/ui/gfx/break_list.h
new file mode 100644
index 0000000000000000000000000000000000000000..eb0910a7d838639fa766d407250d89b108ebaca6
--- /dev/null
+++ b/ui/gfx/break_list.h
@@ -0,0 +1,163 @@
+// Copyright (c) 2012 The Chromium Authors. All rights reserved.
+// Use of this source code is governed by a BSD-style license that can be
+// found in the LICENSE file.
+
+#ifndef UI_GFX_BREAK_LIST_H_
+#define UI_GFX_BREAK_LIST_H_
+
+#include <limits.h>
+
+#include <vector>
+
+#include "base/basictypes.h"
+#include "base/logging.h"
+#include "ui/base/range/range.h"
+
+namespace gfx {
+
+// BreakLists manage ordered, non-overlapping, and non-repeating ranged values.
+// These may be used to apply ranged colors and styles to text, for an example.
+//
+// Each break stores the start position and value of its associated range.
+// A solitary break at position 0 applies to the entire space [0, INT_MAX).
+// The first break always has position 0, to ensure all positions have a value.
+// The value of the terminal break applies to the range [break.first, INT_MAX).
+// The value of other breaks apply to the range [break.first, (break+1).first).
+template <typename T>
+class BreakList {
+ public:
+  // The break type and const iterator, typedef'ed for convenience.
+  typedef std::pair<size_t, T> Break;
+  typedef typename std::vector<Break>::const_iterator const_iterator;
+
+  // Initialize a break at position 0 with the default or supplied |value|.
+  BreakList();
+  explicit BreakList(T value);
+
+  const std::vector<Break>& breaks() const { return breaks_; }
+
+  // Clear the breaks and set a break at position 0 with the supplied |value|.
+  void SetValue(T value);
+
+  // Adjust the breaks to apply |value| over the supplied |range|.
+  void ApplyValue(T value, const ui::Range& range);
+
+  // Trim any breaks in the range [|position|, INT_MAX).
+  void TrimBreaks(size_t position);
+
+  // Get the break applicable to |position| (at or preceeding |position|).
+  typename std::vector<Break>::iterator GetBreak(size_t position);
+
+  // Get the last position to which the supplied break applies; returns the
+  // start position of the next break, or INT_MAX for the terminal break.
+  size_t GetBreakEnd(const typename BreakList<T>::const_iterator& i) const;
+
+  // Comparison functions for testing purposes.
+  bool EqualsValueForTesting(T value) const;
+  bool EqualsForTesting(const std::vector<Break>& breaks) const;
+
+ private:
+#ifndef NDEBUG
+  // Check for ordered breaks [0->length) with no adjacent equivalent values.
+  void CheckBreaks(size_t length);
+#endif
+
+  std::vector<Break> breaks_;
+};
+
+template<class T>
+BreakList<T>::BreakList() : breaks_(1, Break(0, T())) {
+}
+
+template<class T>
+BreakList<T>::BreakList(T value) : breaks_(1, Break(0, value)) {
+}
+
+template<class T>
+void BreakList<T>::SetValue(T value) {
+  breaks_.clear();
+  breaks_.push_back(Break(0, value));
+}
+
+template<class T>
+void BreakList<T>::ApplyValue(T value, const ui::Range& range) {
+  if (!range.IsValid() || range.is_empty())
+    return;
+  DCHECK(!breaks_.empty());
+  DCHECK(!range.is_reversed());
+  DCHECK(ui::Range(0, INT_MAX).Contains(range));
+
+  // Erase any breaks in |range|, then add start and end breaks as needed.
+  typename std::vector<Break>::iterator start = GetBreak(range.start());
+  start += start->first < range.start() ? 1 : 0;
+  typename std::vector<Break>::iterator end = GetBreak(range.end());
+  T trailing_value = end->second;
+  typename std::vector<Break>::iterator i =
+      start == breaks_.end() ? start : breaks_.erase(start, end + 1);
+  if (range.start() == 0 || (i - 1)->second != value)
+    i = breaks_.insert(i, Break(range.start(), value)) + 1;
+  if (trailing_value != value && range.end() != INT_MAX)
+    breaks_.insert(i, Break(range.end(), trailing_value));
+
+#ifndef NDEBUG
+  CheckBreaks(INT_MAX);
+#endif
+}
+
+template<class T>
+void BreakList<T>::TrimBreaks(size_t length) {
+  for (size_t i = 1; i < breaks_.size(); ++i)
+    if (breaks_[i].first >= length)
+      breaks_.resize(i);
+
+#ifndef NDEBUG
+  CheckBreaks(length);
+#endif
+}
+
+template<class T>
+typename std::vector<std::pair<size_t, T> >::iterator BreakList<T>::GetBreak(

[Alexei Svitkine (slow), 2013/01/29 22:07:25]

Nit: std::vector<Break>?

[msw, 2013/01/31 01:48:54]

Actually, it seems like the compiler requires:
"typename std::vector<typename BreakList<T>::Break>::iterator"
which is longer and not much clearer than
"typename std::vector<std::pair<size_t, T> >::iterator"
so I'll leave it as-is if you agree.

+    size_t position) {
+  typename std::vector<Break>::iterator i = breaks_.end() - 1;
+  for (; i != breaks_.begin() && i->first > position; --i);
+  return i;
+}
+
+template<class T>
+size_t BreakList<T>::GetBreakEnd(
+    const typename BreakList<T>::const_iterator& i) const {
+  return (i + 1) == breaks_.end() ? INT_MAX : (i + 1)->first;
+}
+
+template<class T>
+bool BreakList<T>::EqualsValueForTesting(T value) const {
+  return breaks_.size() == 1 && breaks_[0] == Break(0, value);
+}
+
+template<class T>
+bool BreakList<T>::EqualsForTesting(
+    const std::vector<std::pair<size_t, T> >& breaks) const {

[Alexei Svitkine (slow), 2013/01/29 22:07:25]

Nit: std::vector<Break>?

[msw, 2013/01/31 01:48:54]

Done.

+  if (breaks_.size() != breaks.size())
+    return false;
+  for (size_t i = 0; i < breaks.size(); ++i)
+    if (breaks_[i] != breaks[i])
+      return false;
+  return true;
+}
+
+#ifndef NDEBUG
+template <class T>
+void BreakList<T>::CheckBreaks(size_t length) {
+  DCHECK_EQ(breaks_[0].first, 0U) << "The first break must be at position 0.";
+  for (size_t i = 0; i < breaks_.size() - 1; ++i) {
+    DCHECK_LT(breaks_[i].first, breaks_[i + 1].first) << "Break out of order.";
+    DCHECK_NE(breaks_[i].second, breaks_[i + 1].second) << "Redundant break.";
+  }
+  if (length > 0)
+    DCHECK_LT(breaks_.back().first, length) << "Break beyond max length.";
+}
+#endif
+
+}  // namespace gfx
+
+#endif  // UI_GFX_BREAK_LIST_H_