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 Change(Type t = UNCHANGED, 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 type at the given position
76 Change::Type lookup(lyx::pos_type pos) const;
78 /// return the change at the given position
79 Change const lookupFull(lyx::pos_type pos) const;
81 /// return true if there is a change in the given range
82 bool isChange(lyx::pos_type start, lyx::pos_type end) const;
84 /// return true if there is a deleted or unchanged range contained
85 bool isChangeEdited(lyx::pos_type start, lyx::pos_type end) const;
87 /// remove the given entry. This implies that a character was
88 /// deleted at pos, and will adjust all range bounds past it
89 void erase(lyx::pos_type pos);
91 /// output latex to mark a transition between two changetypes
92 /// returns length of text outputted
93 static int latexMarkChange(std::ostream & os, Change::Type old,
94 Change::Type change, bool const & output);
96 /// output .lyx file format for transitions between changes
97 static void lyxMarkChange(std::ostream & os, int & column,
98 lyx::time_type curtime, Change const & old, Change const & change);
103 Range(lyx::pos_type s, lyx::pos_type e)
104 : start(s), end(e) {}
106 // does this range contain r ?
107 bool contains(Range const & r) const;
109 // does this range contain pos ?
110 bool contains(lyx::pos_type pos) const;
112 // does this range contain pos, or can it be appended ?
113 bool loose_contains(lyx::pos_type pos) const;
115 // is this range contained within r ?
116 bool contained(Range const & r) const;
118 // do the ranges intersect ?
119 bool intersects(Range const & r) const;
125 friend bool operator==(Range const & r1, Range const & r2);
126 friend bool operator!=(Range const & r1, Range const & r2);
130 ChangeRange(lyx::pos_type s, lyx::pos_type e, Change c)
131 : range(Range(s, e)), change(c) {}
136 typedef std::vector<ChangeRange> ChangeTable;
138 /// our table of changes, every row a range and change descriptor
141 /// change type for an empty paragraph
142 Change::Type empty_type_;
144 /// handle a delete, either logical or physical (see erase)
145 void del(Change change, ChangeTable::size_type pos);
147 /// handle an add, adjusting range bounds past it
148 void add(Change change, ChangeTable::size_type pos);
150 /// merge neighbouring ranges, assuming that they are abutting
151 /// (as done by set())
154 /// consistency check, needed before merge()