annotate nobuild/undo_manager.d @ 123:0d427170a805

Move to 64-bit
author David Bryant <bagnose@gmail.com>
date Wed, 04 May 2011 22:19:44 +0930
parents 66210d8ea37a
children 46e6dd7dce2e
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
96
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
1 module doodle.main.undo_manager;
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
2
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
3 version(none) {
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
4
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
5 class UndoManager : IUndoManager {
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
6 this() {
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
7 }
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
8
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
9 void addObserver(IUndoObserver observer) {
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
10 _observers.add(observer);
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
11 }
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
12
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
13 void removeObserver(IUndoObserver observer) {
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
14 _observers.remove(observer);
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
15 }
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
16
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
17 void reset() {
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
18 assert(!inTransaction());
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
19 _past.clear();
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
20 _future.clear();
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
21 foreach(IUndoObserver obs; _observers) {
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
22 obs.canUndo(false, "");
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
23 obs.canRedo(false, "");
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
24 }
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
25 }
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
26
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
27 void undo() {
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
28 assert(canUndo());
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
29 Transaction t = _past.pop();
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
30 t.undo();
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
31 _future.push(t);
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
32 }
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
33
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
34 void redo() {
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
35 assert(canRedo());
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
36 Transaction t = _future.pop();
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
37 t.redo();
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
38 _past.push(t);
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
39 }
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
40
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
41 bool canUndo() {
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
42 assert(!inTransaction());
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
43 return !_past.empty();
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
44 }
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
45
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
46 bool canRedo() {
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
47 assert(!inTransaction());
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
48 return !_future.empty();
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
49 }
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
50
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
51 void beginTransaction(char[] description) {
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
52 assert(!inTransaction());
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
53 _current_transaction = new Transaction(description);
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
54 }
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
55
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
56 void cancelTransaction() {
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
57 assert(inTransaction());
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
58 _current_transaction.cancel();
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
59 _current_transaction = null;
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
60 }
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
61
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
62 void endTransaction() {
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
63 assert(inTransaction());
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
64 _current_transaction.finalise();
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
65
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
66 if (!_future.empty()) {
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
67 _future.clear();
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
68 foreach(IUndoObserver obs; _observers) {
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
69 obs.canRedo(false, "");
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
70 }
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
71 }
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
72
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
73 _past.push(_current_transaction);
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
74
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
75 foreach(IUndoObserver obs; _observers) {
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
76 bs.canUndo(true, _current_transaction.name());
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
77 }
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
78
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
79 _current_transaction = null;
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
80 }
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
81
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
82 // IUndoManager implementations:
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
83
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
84 void addAction(Action action) {
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
85 assert(inTransaction());
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
86 _current_transaction.add(action);
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
87 }
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
88
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
89 private {
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
90 bool inTransaction() {
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
91 return _current_transaction !is null;
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
92 }
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
93
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
94 class Transaction {
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
95 enum State {
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
96 Accumulating,
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
97 Finalised,
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
98 Canceled
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
99 }
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
100
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
101 this(char[] description) {
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
102 _description = description;
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
103 _state = Accumulating;
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
104 }
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
105
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
106 char[] description() {
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
107 return _description;
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
108 }
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
109
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
110 void add(Action action) {
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
111 assert(_state == State.Accumulating);
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
112 _actions.addTail(action);
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
113 }
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
114
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
115 void finalise() {
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
116 assert(_state == State.Accumulating);
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
117 assert(!_actions.empty());
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
118 _finalised = true;
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
119 }
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
120
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
121 void cancel() {
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
122 assert(_state == State.Accumulating);
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
123 foreach_reverse(UndoAction ua; _actions) {
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
124 ua.undo();
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
125 }
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
126 }
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
127
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
128 void redo() {
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
129 assert(_finalised);
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
130 foreach (UndoAction ua; _actions) {
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
131 ua.redo();
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
132 }
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
133 }
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
134
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
135 void undo() {
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
136 assert(_finalised);
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
137 foreach_reverse(UndoAction ua; _actions) {
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
138 ua.undo();
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
139 }
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
140 }
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
141
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
142 private {
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
143 char[] _description;
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
144 List!(Action) _actions;
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
145 State _state;
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
146 }
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
147 }
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
148
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
149 Transaction _current_transaction;
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
150 Stack!(Transaction) _past;
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
151 Stack!(Transaction) _future;
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
152 Set!(IUndoObserver) _observers;
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
153 }
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
154 }
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
155
66210d8ea37a Added some junk
David Bryant <bagnose@gmail.com>
parents:
diff changeset
156 }