class Changes {
public:
- Changes() : previously_changed_(false) {}
-
/// set the pos to the given change
void set(Change const & change, pos_type pos);
/// set the range (excluding end) to the given change
void addToToc(DocIterator const & cdit, Buffer const & buffer,
bool output_active, TocBackend & backend) const;
- ///
- void updateBuffer(Buffer const & buf);
- ///
- bool isUpdateRequired() const { return previously_changed_ != isChanged(); }
-
private:
class Range {
public:
/// table of changes, every row a change and range descriptor
ChangeTable table_;
-
- /// cache previous value of isChanged to be able to tell whether the
- /// buffer's flag tracked_changes_present_ needs to be recomputed
- bool previously_changed_;
};