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, Change::Type change);
  93
  94         /// output .lyx file format for transitions between changes
  95         static void lyxMarkChange(std::ostream & os, int & column,
  96                 lyx::time_type curtime, Change const & old, Change const & change);
  97
  98 private:
  99         class Range {
 100         public:
 101                 Range(lyx::pos_type s, lyx::pos_type e)
 102                         : start(s), end(e) {}
 103
 104                 // does this range contain r ?
 105                 bool contains(Range const & r) const;
 106
 107                 // does this range contain pos ?
 108                 bool contains(lyx::pos_type pos) const;
 109
 110                 // does this range contain pos, or can it be appended ?
 111                 bool loose_contains(lyx::pos_type pos) const;
 112
 113                 // is this range contained within r ?
 114                 bool contained(Range const & r) const;
 115
 116                 // do the ranges intersect ?
 117                 bool intersects(Range const & r) const;
 118
 119                 lyx::pos_type start;
 120                 lyx::pos_type end;
 121         };
 122
 123         friend bool operator==(Range const & r1, Range const & r2);
 124         friend bool operator!=(Range const & r1, Range const & r2);
 125
 126         class ChangeRange {
 127         public:
 128                 ChangeRange(lyx::pos_type s, lyx::pos_type e, Change c)
 129                         : range(Range(s, e)), change(c) {}
 130                 Range range;
 131                 Change change;
 132         };
 133
 134         typedef std::vector<ChangeRange> ChangeTable;
 135
 136         /// our table of changes
 137         ChangeTable table_;
 138
 139         /// change type for an empty paragraph
 140         Change::Type empty_type_;
 141
 142         /// handle a delete
 143         void del(Change change, ChangeTable::size_type pos);
 144
 145         /// handle an add
 146         void add(Change change, ChangeTable::size_type pos);
 147
 148         /// merge neighbouring ranges
 149         void merge();
 150
 151         /// consistency check
 152         void check() const;
 153
 154 };
 155
 156 #endif // CHANGES_H