]> git.lyx.org Git - lyx.git/blobdiff - src/Row.h
Update Win installer for new dictionary links. Untested.
[lyx.git] / src / Row.h
index 2838f48e746b0e0c7ac3c7c934ed9dcae2c86151..babe11510fd1d0edb625c17476785dc230f9c054 100644 (file)
--- a/src/Row.h
+++ b/src/Row.h
@@ -5,7 +5,7 @@
  * Licence details can be found in the file COPYING.
  *
  * \author Matthias Ettrich
- * \author Lars Gullik Bjønnes
+ * \author Lars Gullik Bjønnes
  *
  * Full author contact details are available in file CREDITS.
  *
 #ifndef ROW_H
 #define ROW_H
 
-#include "support/types.h"
-
+#include "Changes.h"
 #include "Dimension.h"
+#include "Font.h"
+#include "RowFlags.h"
 
+#include "support/docstring.h"
+#include "support/types.h"
+
+#include <vector>
 
 namespace lyx {
 
+class DocIterator;
+class Inset;
+
 /**
- * An on-screen row of text. A paragraph is broken into a
- * RowList for display. Each Row contains position pointers
- * into the first and last character positions of that row.
+ * An on-screen row of text. A paragraph is broken into a RowList for
+ * display. Each Row contains a tokenized description of the contents
+ * of the line.
  */
 class Row {
 public:
+       // Possible types of row elements
+       enum Type {
+               // a string of character
+               STRING,
+               /**
+                * Something (completion, end-of-par marker)
+                * that occupies space one screen but does not
+                * correspond to any paragraph contents
+                */
+               VIRTUAL,
+               // An inset
+               INSET,
+               // Some spacing described by its width, not a string
+               SPACE,
+               // Spacing until the left margin, with a minimal value given
+               // by the initial width
+               MARGINSPACE
+       };
+       enum SplitType {
+               // split string to fit requested width, fail if string remains too long
+               FIT,
+               // if the requested width is too small, accept the first possible break
+               BEST_EFFORT,
+               // cut string at any place, even for languages that wrap at word delimiters
+               FORCE
+       };
+
+/**
+ * One element of a Row. It has a set of attributes that can be used
+ * by other methods that need to parse the Row contents.
+ */
+       struct Element {
+               //
+               Element(Type const t, pos_type p, Font const & f, Change const & ch)
+                       : type(t), pos(p), endpos(p + 1), font(f), change(ch) {}
+
+
+               // Return total width of element, including separator overhead
+               // FIXME: Cache this value or the number of expanders?
+               double full_width() const { return dim.wid + extra * countExpanders(); }
+               // Return the number of expanding characters in the element (only STRING
+               // type).
+               int countExpanders() const;
+               // Return the amount of expansion: the number of expanding characters
+               // that get stretched during justification, times the em of the font
+               // (only STRING type).
+               int expansionAmount() const;
+               // set extra proportionally to the font em value.
+               void setExtra(double extra_per_em);
+
+               /** Return position in pixels (from the left) of position
+                * \param i in the row element.
+                */
+               double pos2x(pos_type const i) const;
+               /** Return character position that is the closest to
+                *  pixel position \param x. The value \param x is
+                *  adjusted to the actual pixel position.
+               */
+               pos_type x2pos(int &x) const;
+               /** Break the element in two if possible, so that its width is less
+                * than the required values.
+                * \return true if something has been done ; false if this is
+                * not needed or not possible.
+                * \param width: maximum width of the row.
+                * \param next_width: available width on next rows.
+                * \param split_type: indicate how the string should be split.
+                * \param tail: a vector of elements where the remainder of
+                *   the text will be appended (empty if nothing happened).
+                */
+               // FIXME: ideally last parameter should be Elements&, but it is not possible.
+               bool splitAt(int width, int next_width, SplitType split_type, std::vector<Element> & tail);
+               // remove trailing spaces (useful for end of row)
+               void rtrim();
+
+               //
+               bool isRTL() const { return font.isVisibleRightToLeft(); }
+               // This is true for virtual elements.
+               bool isVirtual() const { return type == VIRTUAL; }
+
+               // Returns the position on left side of the element.
+               pos_type left_pos() const { return isRTL() ? endpos : pos; };
+               // Returns the position on right side of the element.
+               pos_type right_pos() const { return isRTL() ? pos : endpos; };
+
+               // The kind of row element
+               Type type;
+               // position of the element in the paragraph
+               pos_type pos;
+               // first position after the element in the paragraph
+               pos_type endpos;
+               // The dimension of the chunk (does not contain the
+               // separator correction)
+               Dimension dim;
+               // The width of the element without trailing spaces
+               int nspc_wid = 0;
+
+               // Non-zero only if element is an inset
+               Inset const * inset = nullptr;
+
+               // Only non-null for justified rows
+               double extra = 0;
+
+               // Non-empty if element is a string or is virtual
+               docstring str;
+               //
+               Font font;
+               //
+               Change change;
+               // is it possible to add contents to this element?
+               bool final = false;
+               // properties with respect to row breaking (made of RowFlag enumerators)
+               int row_flags = Inline;
+
+               friend std::ostream & operator<<(std::ostream & os, Element const & row);
+       };
+
        ///
-       Row();
+       typedef Element value_type;
+
        ///
-       Row(pos_type pos);
+       Row() {}
+
+       /**
+        * Helper function: set variable \c var to value \c val, and mark
+        * row as changed is the values were different. This is intended
+        * for use when changing members of the row object.
+        */
+       template<class T1, class T2>
+       void change(T1 & var, T2 const val) {
+               if (var != val)
+                       changed(true);
+               var = val;
+       }
+       /**
+        * Helper function: set variable \c var to value \c val, and mark
+        * row as changed is the values were different. This is intended
+        * for use when changing members of the row object.
+        * This is the const version, useful for mutable members.
+        */
+       template<class T1, class T2>
+       void change(T1 & var, T2 const val) const {
+               if (var != val)
+                       changed(true);
+               var = val;
+       }
        ///
        bool changed() const { return changed_; }
        ///
-       void setChanged(bool c) { changed_ = c; }
+       void changed(bool c) const { changed_ = c; }
+       ///
+       bool selection() const;
+       /**
+        * Set the selection begin and end and whether the left and/or
+        * right margins are selected.
+        * This is const because we update the selection status only at
+        * draw() time.
+        */
+       void setSelectionAndMargins(DocIterator const & beg,
+               DocIterator const & end) const;
+       /// no selection on this row.
+       void clearSelectionAndMargins() const;
+
+       ///
+       void pit(pit_type p) { pit_ = p; }
        ///
-       void setCrc(size_type crc);
+       pit_type pit() const { return pit_; }
        ///
-       void pos(pos_type p);
+       void pos(pos_type p) { pos_ = p; }
        ///
        pos_type pos() const { return pos_; }
        ///
-       void endpos(pos_type p);
+       void endpos(pos_type p) { end_ = p; }
        ///
        pos_type endpos() const { return end_; }
        ///
-       void setDimension(Dimension const & dim);
+       void end_boundary(bool b) { end_boundary_ = b; }
        ///
-       Dimension const & dimension() const { return dim_; }
+       bool end_boundary() const { return end_boundary_; }
        ///
-       int height() const { return dim_.height(); }
+       void flushed(bool b) { flushed_ = b; }
+       ///
+       bool flushed() const { return flushed_; }
+
+       ///
+       Dimension const & dim() const { return dim_; }
        ///
+       Dimension & dim() { return dim_; }
+       ///
+       int height() const { return dim_.height(); }
+       /// The width of the row, including the left margin, but not the right one.
        int width() const { return dim_.wid; }
        ///
        int ascent() const { return dim_.asc; }
        ///
        int descent() const { return dim_.des; }
 
-       /// current debugging only
-       void dump(const char * = "") const;
+       ///
+       Dimension const & contents_dim() const { return contents_dim_; }
+       ///
+       Dimension & contents_dim() { return contents_dim_; }
+
+       /// The offset of the left-most cursor position on the row
+       int left_x() const;
+       /// The offset of the right-most cursor position on the row
+       int right_x() const;
+
+       // Set the extra spacing for every expanding character in STRING-type
+       // elements.  \param w is the total amount of extra width for the row to be
+       // distributed among expanders.  \return false if the justification fails.
+       bool setExtraWidth(int w);
+
+       ///
+       void add(pos_type pos, Inset const * ins, Dimension const & dim,
+                Font const & f, Change const & ch);
+       ///
+       void add(pos_type pos, char_type const c,
+                Font const & f, Change const & ch);
+       ///
+       void addVirtual(pos_type pos, docstring const & s,
+                       Font const & f, Change const & ch);
+       ///
+       void addSpace(pos_type pos, int width, Font const & f, Change const & ch);
+       ///
+       void addMarginSpace(pos_type pos, int width, Font const & f, Change const & ch);
+
+       ///
+       typedef std::vector<Element> Elements;
+       ///
+       typedef Elements::iterator iterator;
+       ///
+       typedef Elements::const_iterator const_iterator;
+       ///
+       iterator begin() { return elements_.begin(); }
+       ///
+       iterator end() { return elements_.end(); }
+       ///
+       const_iterator begin() const { return elements_.begin(); }
+       ///
+       const_iterator end() const { return elements_.end(); }
 
-       /// width of a separator (i.e. space)
-       double separator;
-       /// width of hfills in the body
-       double hfill;
+       ///
+       bool empty() const { return elements_.empty(); }
+       ///
+       Element & front() { return elements_.front(); }
+       ///
+       Element const & front() const { return elements_.front(); }
+       ///
+       Element & back() { return elements_.back(); }
+       ///
+       Element const & back() const { return elements_.back(); }
+       /// add element at the end and update width
+       void push_back(Element const &);
+       /// remove last element and update width
+       void pop_back();
+       /**
+        * if row width is too large, remove all elements after last
+        * separator and update endpos if necessary. If all that
+        * remains is a large word, cut it to \c max_width.
+        * \param max_width maximum width of the row.
+        * \param next_width available width on next row.
+        * \return list of elements remaining after breaking.
+        */
+       Elements shortenIfNeeded(int const max_width, int const next_width);
+
+       /**
+        * If last element of the row is a string, compute its width
+        * and mark it final.
+        */
+       void finalizeLast();
+
+       /**
+        * Find sequences of right-to-left elements and reverse them.
+        * This should be called once the row is completely built.
+        */
+       void reverseRTL();
+       ///
+       bool isRTL() const { return rtl_; }
+       ///
+       void setRTL(bool rtl) { rtl_ = rtl; }
+       ///
+       bool needsChangeBar() const { return changebar_; }
+       ///
+       void needsChangeBar(bool ncb) { changebar_ = ncb; }
+
+       /// Find row element that contains \c pos, and compute x offset.
+       const_iterator const findElement(pos_type pos, bool boundary, double & x) const;
+
+       friend std::ostream & operator<<(std::ostream & os, Row const & row);
+
+       /// additional width for separators in justified rows (i.e. space)
+       double separator = 0;
        /// width of hfills in the label
-       double label_hfill;
-       /// the x position of the row
-       double x;
+       double label_hfill = 0;
+       /// the left margin position of the row
+       int left_margin = 0;
+       /// the right margin of the row
+       int right_margin = 0;
+       ///
+       mutable pos_type sel_beg = -1;
+       ///
+       mutable pos_type sel_end = -1;
+       ///
+       mutable bool begin_margin_sel = false;
+       ///
+       mutable bool end_margin_sel = false;
 
 private:
+       /// Decides whether the margin is selected.
+       /**
+         * \param margin_begin
+         * \param beg
+         * \param end
+         */
+       bool isMarginSelected(bool left, DocIterator const & beg,
+               DocIterator const & end) const;
+       /// Set the selection begin and end.
+       void setSelection(pos_type sel_beg, pos_type sel_end) const;
+
+       /**
+        * Returns true if a char or string with font \c f and change
+        * type \c ch can be added to the current last element of the
+        * row.
+        */
+       bool sameString(Font const & f, Change const & ch) const;
+
+       ///
+       Elements elements_;
+
        /// has the Row appearance changed since last drawing?
-       bool changed_;
-       /// CRC of row contents.
-       size_type crc_;
+       mutable bool changed_ = true;
+       /// Index of the paragraph that contains this row
+       pit_type pit_ = 0;
        /// first pos covered by this row
-       pos_type pos_;
+       pos_type pos_ = 0;
        /// one behind last pos covered by this row
-       pos_type end_;
+       pos_type end_ = 0;
+       // Is there a boundary at the end of the row (display inset...)
+       bool end_boundary_ = false;
+       // Shall the row be flushed when it is supposed to be justified?
+       bool flushed_ = false;
        /// Row dimension.
        Dimension dim_;
+       /// Row contents dimension. Does not contain the space above/below row.
+       Dimension contents_dim_;
+       /// true when this row lives in a right-to-left paragraph
+       bool rtl_ = false;
+       /// true when a changebar should be drawn in the margin
+       bool changebar_ = false;
 };
 
+std::ostream & operator<<(std::ostream & os, Row::Elements const & elts);
+
+
+/**
+ * Each paragraph is broken up into a number of rows on the screen.
+ * This is a list of such on-screen rows, ordered from the top row
+ * downwards.
+ */
+typedef std::vector<Row> RowList;
 
 } // namespace lyx