src/changes.h

   1 // -*- C++ -*-
   2 /**
   3  * \file changes.h
   4  * This file is part of LyX, the document processor.
   5  * Licence details can be found in the file COPYING.
   6  *
   7  * \author John Levon
   8  *
   9  * Full author contact details are available in file CREDITS.
  10  *
  11  * Record changes in a paragraph.
  12  */
  13
  14 #ifndef CHANGES_H
  15 #define CHANGES_H
  16
  17 #include "support/types.h"
  18 #include "support/lyxtime.h"
  19
  20 #include <vector>
  21 #include <iosfwd>
  22
  23
  24 class Change {
  25 public:
  26         /// the type of change
  27         enum Type {
  28                 UNCHANGED, // no change
  29                 INSERTED, // new text
  30                 DELETED // deleted text
  31         };
  32
  33         Change(Type t = UNCHANGED, int a = 0, lyx::time_type ct = 0)
  34                 : type(t), author(a), changetime(ct) {}
  35
  36         Type type;
  37
  38         int author;
  39
  40         lyx::time_type changetime;
  41 };
  42
  43 bool operator==(Change const & l, Change const & r);
  44 bool operator!=(Change const & l, Change const & r);
  45
  46 class Changes {
  47 public:
  48
  49         Changes(Change::Type type);
  50
  51         ~Changes();
  52
  53         Changes(Changes const &);
  54
  55         /// reset "default" change type (for empty pars)
  56         void reset(Change::Type type) {
  57                 empty_type_ = type;
  58         }
  59
  60         /// set the position to the given change
  61         void set(Change change, lyx::pos_type pos);
  62
  63         /// set the position to the given change
  64         void set(Change::Type, lyx::pos_type pos);
  65
  66         /// set the range to the given change
  67         void set(Change::Type, lyx::pos_type start, lyx::pos_type end);
  68
  69         /// set the range to the given change
  70         void set(Change, lyx::pos_type start, lyx::pos_type end);
  71
  72         /// mark the given change and adjust
  73         void record(Change, lyx::pos_type pos);
  74
  75         /// return the change type at the given position
  76         Change::Type lookup(lyx::pos_type pos) const;
  77
  78         /// return the change at the given position
  79         Change const lookupFull(lyx::pos_type pos) const;
  80
  81         /// return true if there is a change in the given range
  82         bool isChange(lyx::pos_type start, lyx::pos_type end) const;
  83
  84         /// return true if there is a deleted or unchanged range contained
  85         bool isChangeEdited(lyx::pos_type start, lyx::pos_type end) const;
  86
  87         /// remove the given entry
  88         void erase(lyx::pos_type pos);
  89
  90         /// output latex to mark a transition between two changetypes
  91         /// returns length of text outputted
  92         static int latexMarkChange(std::ostream & os, Change::Type old,
  93                 Change::Type change, bool const & output);
  94
  95         /// output .lyx file format for transitions between changes
  96         static void lyxMarkChange(std::ostream & os, int & column,
  97                 lyx::time_type curtime, Change const & old, Change const & change);
  98
  99 private:
 100         class Range {
 101         public:
 102                 Range(lyx::pos_type s, lyx::pos_type e)
 103                         : start(s), end(e) {}
 104
 105                 // does this range contain r ?
 106                 bool contains(Range const & r) const;
 107
 108                 // does this range contain pos ?
 109                 bool contains(lyx::pos_type pos) const;
 110
 111                 // does this range contain pos, or can it be appended ?
 112                 bool loose_contains(lyx::pos_type pos) const;
 113
 114                 // is this range contained within r ?
 115                 bool contained(Range const & r) const;
 116
 117                 // do the ranges intersect ?
 118                 bool intersects(Range const & r) const;
 119
 120                 lyx::pos_type start;
 121                 lyx::pos_type end;
 122         };
 123
 124         friend bool operator==(Range const & r1, Range const & r2);
 125         friend bool operator!=(Range const & r1, Range const & r2);
 126
 127         class ChangeRange {
 128         public:
 129                 ChangeRange(lyx::pos_type s, lyx::pos_type e, Change c)
 130                         : range(Range(s, e)), change(c) {}
 131                 Range range;
 132                 Change change;
 133         };
 134
 135         typedef std::vector<ChangeRange> ChangeTable;
 136
 137         /// our table of changes
 138         ChangeTable table_;
 139
 140         /// change type for an empty paragraph
 141         Change::Type empty_type_;
 142
 143         /// handle a delete
 144         void del(Change change, ChangeTable::size_type pos);
 145
 146         /// handle an add
 147         void add(Change change, ChangeTable::size_type pos);
 148
 149         /// merge neighbouring ranges
 150         void merge();
 151
 152         /// consistency check
 153         void check() const;
 154
 155 };
 156
 157 #endif // CHANGES_H