4 * This file is part of LyX, the document processor.
5 * Licence details can be found in the file COPYING.
9 * Full author contact details are available in file CREDITS.
11 * Record changes in a paragraph.
17 #include "support/types.h"
18 #include "support/lyxtime.h"
26 /// the type of change
28 UNCHANGED, // no change
30 DELETED // deleted text
33 explicit Change(Type t, int a = 0, lyx::time_type ct = 0)
34 : type(t), author(a), changetime(ct) {}
40 lyx::time_type changetime;
43 bool operator==(Change const & l, Change const & r);
44 bool operator!=(Change const & l, Change const & r);
49 Changes(Change::Type type);
53 Changes(Changes const &);
55 /// reset "default" change type (for empty pars)
56 void reset(Change::Type type) {
60 /// set the position to the given change
61 void set(Change change, lyx::pos_type pos);
63 /// set the position to the given change
64 void set(Change::Type, lyx::pos_type pos);
66 /// set the range to the given change
67 void set(Change::Type, lyx::pos_type start, lyx::pos_type end);
69 /// set the range to the given change
70 void set(Change, lyx::pos_type start, lyx::pos_type end);
72 /// mark the given change and adjust
73 void record(Change, lyx::pos_type pos);
75 /// return the change at the given position
76 Change const lookup(lyx::pos_type pos) const;
78 /// return true if there is a change in the given range
79 bool isChange(lyx::pos_type start, lyx::pos_type end) const;
81 /// return true if there is a deleted or unchanged range contained
82 bool isChangeEdited(lyx::pos_type start, lyx::pos_type end) const;
84 /// remove the given entry. This implies that a character was
85 /// deleted at pos, and will adjust all range bounds past it
86 void erase(lyx::pos_type pos);
88 /// output latex to mark a transition between two changetypes
89 /// returns length of text outputted
90 static int latexMarkChange(std::ostream & os, Change::Type old,
91 Change::Type change, bool const & output);
93 /// output .lyx file format for transitions between changes
94 static void lyxMarkChange(std::ostream & os, int & column,
95 lyx::time_type curtime, Change const & old, Change const & change);
100 Range(lyx::pos_type s, lyx::pos_type e)
101 : start(s), end(e) {}
103 // does this range contain r ?
104 bool contains(Range const & r) const;
106 // does this range contain pos ?
107 bool contains(lyx::pos_type pos) const;
109 // does this range contain pos, or can it be appended ?
110 bool containsOrPrecedes(lyx::pos_type pos) const;
112 // is this range contained within r ?
113 bool contained(Range const & r) const;
115 // do the ranges intersect ?
116 bool intersects(Range const & r) const;
122 friend bool operator==(Range const & r1, Range const & r2);
123 friend bool operator!=(Range const & r1, Range const & r2);
127 ChangeRange(lyx::pos_type s, lyx::pos_type e, Change c)
128 : range(Range(s, e)), change(c) {}
133 typedef std::vector<ChangeRange> ChangeTable;
135 /// our table of changes, every row a range and change descriptor
138 /// change type for an empty paragraph
139 Change::Type empty_type_;
141 /// handle a delete, either logical or physical (see erase)
142 void del(Change change, ChangeTable::size_type pos);
144 /// handle an add, adjusting range bounds past it
145 void add(Change change, ChangeTable::size_type pos);
147 /// merge neighbouring ranges, assuming that they are abutting
148 /// (as done by set())
151 /// consistency check, needed before merge()