* Licence details can be found in the file COPYING.
*
* \author Matthias Ettrich
- * \author Lars Gullik Bjønnes
+ * \author Lars Gullik Bjønnes
* \author John Levon
+ * \author Guillaume Munch
*
* Full author contact details are available in file CREDITS.
*/
+/* Note about debugging options:
+ *
+ * When compiled in devel mode and run with the option -dbg latex, two ways
+ * of debugging TexRow are available:
+ *
+ * 1. The source view panel prepends the full TexRow information to the LaTeX
+ * output.
+ *
+ * 2. Clicking on any line in the source view moves the buffer to the location
+ * recognised by TexRow.
+ *
+ */
+
#ifndef TEXROW_H
#define TEXROW_H
-#include <vector>
+#include "support/debug.h"
+#include "support/types.h"
+#include <vector>
namespace lyx {
+class LyXErr;
+class Buffer;
+class Cursor;
+class CursorSlice;
+class DocIterator;
+class docstring_list;
+
+/// types for cells and math insets
+typedef void const * uid_type;
+typedef size_t idx_type;
+
+
+/// an individual par id/pos <=> row mapping
+struct TextEntry { int id; pos_type pos; };
+
+/// an individual math id/cell <=> row mapping
+struct MathEntry { uid_type id; idx_type cell; };
+
+/// a container for passing entries around
+struct RowEntry {
+ bool is_math;// true iff the union is a math
+ union {
+ struct TextEntry text;
+ struct MathEntry math;
+ };
+};
+
/// Represents the correspondence between paragraphs and the generated
-//LaTeX file
+/// LaTeX file
class TexRow {
+ /// id/pos correspondence for a single row
+ class RowEntryList;
+
+ /// container of id/pos <=> row mapping
+ /// invariant: in any enabled_ TexRow, rowlist_ will contain at least one
+ /// Row (the current row)
+ typedef std::vector<RowEntryList> RowList;
+ ///
+ RowList rowlist_;
+ ///
+ RowEntryList & currentRow();
+
+ ///
+ class RowListIterator;
+ ///
+ RowListIterator begin() const;
+ ///
+ RowListIterator end() const;
public:
///
- TexRow() : lastid(-1), lastpos(-1) {}
+ TexRow();
- /// Clears structure
+ /// Clears structure.
void reset();
- /// Define what paragraph and position the next row will represent
- void start(int id, int pos);
+ static const TextEntry text_none;
+ static const RowEntry row_none;
+ /// Returns true if RowEntry is devoid of information
+ static bool isNone(RowEntry entry);
+ /// Returns true if TextEntry is devoid of information
+ static bool isNone(TextEntry entry);
+
+ /// Converts a CursorSlice into a RowEntry
+ static RowEntry rowEntryFromCursorSlice(CursorSlice const & slice);
+ /// Encapsulates the paragraph and position for later use
+ static RowEntry textEntry(int id, pos_type pos);
+ /// Encapsulates a cell and position for later use
+ static RowEntry mathEntry(uid_type id, idx_type cell);
+
+ /// for debugging purposes
+ static docstring asString(RowEntry entry);
+
+ /// Defines the row information for the current line
+ /// returns true if this entry will appear on the current row
+ bool start(RowEntry entry);
+ /// Defines the paragraph and position for the current line
+ /// returns true if this entry will appear on the current row
+ bool start(int id, pos_type pos);
+ /// Defines a cell and position for the current line. Always appear in the
+ /// current row.
+ void startMath(uid_type id, idx_type cell);
+ /// Defines the paragraph for the current cell-like inset. Always appears
+ /// in the current row like a math cell, but is detached from the normal
+ /// text flow. Note: since the cell idx is not recorded it does not work as
+ /// well as for math grids; if we were to do that properly we would need to
+ /// access the id of the parent Tabular inset from the CursorSlice.
+ void forceStart(int id, pos_type pos);
/// Insert node when line is completed
void newline();
+ /// Insert multiple nodes when zero or more lines are completed
+ void newlines(size_t num_lines);
/**
- * getIdFromRow - find pid and position for a given row
+ * getEntriesFromRow - find pids and position for a given row
* @param row row number to find
- * @param id set to id if found
- * @param pos set to paragraph position if found
- * @return true if found, false otherwise
- *
- * If the row could not be found, pos is set to zero and
- * id is set to -1
+ * @return a pair of TextEntry denoting the start and end of the position.
+ * The TextEntry values can be isNone(). If no row is found then the first
+ * value isNone().
*/
- bool getIdFromRow(int row, int & id, int & pos) const;
+ std::pair<TextEntry,TextEntry> getEntriesFromRow(int row) const;
/**
- * getRowFromIdPos - find row containing a given id and pos
- * @param id of the paragraph
- * @param pos a given position in that paragraph
- * @return the row number within the rowlist
+ * getDocIteratorFromRow - find pids and positions for a given row
+ * @param row number to find
+ * @param buffer here to look
+ * @return a pair of DocIterators the start and end of the position.
+ * The DocIterators can be invalid. The starting DocIterator being invalid
+ * means that no row was found. Note: there is no guarantee that the
+ * DocIterators are in the same inset or even at the same depth.
*/
- int getRowFromIdPos(int id, int pos) const;
-
+ std::pair<DocIterator, DocIterator> getDocIteratorFromRow(
+ int row,
+ Buffer const & buf) const;
+ //TODO: remove the following by replacing it with the above
+ bool getIdFromRow(int row, int & id, int & pos) const;
+
+ /// Finds the best pair of rows for dit
+ /// returns (-1,-1) if not found.
+ std::pair<int,int> rowFromDocIterator(DocIterator const & dit) const;
+
+ /// Finds the best pair of rows for cursor, taking the selection into
+ /// account
+ /// returns (-1,-1) if not found.
+ std::pair<int,int> rowFromCursor(Cursor const & dit) const;
+
/// Returns the number of rows contained
- int rows() const { return rowlist.size(); }
-
- /// an individual id/pos <=> row mapping
- class RowItem {
- public:
- RowItem(int id, int pos)
- : id_(id), pos_(pos)
- {}
-
- /// paragraph id
- int id() const { return id_; }
- /// set paragraph position
- void pos(int p) { pos_ = p; }
- /// paragraph position
- int pos() const { return pos_; }
- private:
- RowItem();
- int id_;
- int pos_;
- };
- ///
- typedef std::vector<RowItem> RowList;
+ int rows() const;
+
+ /// appends texrow. the final line of this is merged with the first line of
+ /// texrow.
+ void append(TexRow texrow);
+
+ /// for debugging purpose
+ void prepend(docstring_list &) const;
+
private:
- /// container of id/pos <=> row mapping
- RowList rowlist;
- /// Last paragraph
- int lastid;
- /// Last position
- int lastpos;
+ /// true iff same paragraph or math inset
+ static bool sameParOrInsetMath(RowEntry entry1, RowEntry entry2);
+ /// computes the distance in pos or cell index
+ /// assumes it is the sameParOrInsetMath
+ static int comparePos(RowEntry entry1, RowEntry entry2);
+
};
+// Standard container needs a complete type
+class TexRow::RowEntryList {
+ // For each row we store a list of one special TextEntry and several
+ // RowEntries. (The order is important.) We only want one text entry
+ // because we do not want to store every position in the lyx file. On the
+ // other hand we want to record all math and table cells positions for
+ // enough precision. Usually the count of cells is easier to handle.
+ // The RowEntries are used for forward-search and the code preview pane.
+ std::vector<RowEntry> v_;
+ // The TextEntry is currently used for reverse-search and the error
+ // reporting dialog. Once the latter are adapted to rely on the more precise
+ // RowEntries above, it can be removed.
+ TextEntry text_entry_;
+
+public:
+ typedef std::vector<RowEntry>::iterator iterator;
+ iterator begin() { return v_.begin(); }
+ iterator end() { return v_.end(); }
+ ///
+ typedef std::vector<RowEntry>::const_iterator const_iterator;
+ const_iterator begin() const { return v_.cbegin(); }
+ const_iterator end() const { return v_.cend(); }
+ ///
+ RowEntryList() : text_entry_(TexRow::text_none) {}
+
+ // returns true if the row entry will appear in the row entry list
+ bool addEntry(RowEntry entry);
+
+ // the row entry will appear in the row entry list, but it never counts
+ // as a proper text entry.
+ void forceAddEntry(RowEntry entry);
+
+ // returns the TextEntry or TexRow::text_none if none
+ TextEntry getTextEntry() const;
+
+ // appends a row
+ void append(RowEntryList row);
+};
+
+
+bool operator==(RowEntry entry1, RowEntry entry2);
+
+
+LyXErr & operator<<(LyXErr &, TexRow const &);
+
+
} // namespace lyx
#endif // TEXROW_H
projects / lyx.git / blobdiff