29   UndoHistory history;  in main()  local
30   cmd1.redo(); history.add(&cmd1);  in main()
31   cmd2.redo(); history.add(&cmd2);  in main()
32   cmd3.redo(); history.add(&cmd3);  in main()
33   cmd4.redo(); history.add(&cmd4);  in main()
34   history.undo();  in main()
35   history.undo();  in main()
36   cmd5.redo(); history.add(&cmd5);  in main()
37   cmd6.redo(); history.add(&cmd6);  in main()
38   history.undo();  in main()
39   cmd7.redo(); history.add(&cmd7);  in main()
40   cmd8.redo(); history.add(&cmd8);  in main()
43   history.undo(); EXPECT_EQ(7, model);  in main()
44   history.undo(); EXPECT_EQ(6, model);  in main()
45   history.undo(); EXPECT_EQ(5, model);  in main()
46   history.undo(); EXPECT_EQ(4, model);  in main()
47   history.undo(); EXPECT_EQ(3, model);  in main()
48   history.undo(); EXPECT_EQ(2, model);  in main()
49   history.undo(); EXPECT_EQ(1, model);  in main()
50   history.undo(); EXPECT_EQ(0, model);  in main()
51   EXPECT_FALSE(history.canUndo());  in main()
53   history.redo(); EXPECT_EQ(1, model);  in main()
54   history.redo(); EXPECT_EQ(2, model);  in main()
55   history.redo(); EXPECT_EQ(3, model);  in main()
56   history.redo(); EXPECT_EQ(4,  model);  in main()
57   history.redo(); EXPECT_EQ(5,  model);  in main()
58   history.redo(); EXPECT_EQ(6,  model);  in main()
59   history.redo(); EXPECT_EQ(7,  model);  in main()
60   history.redo(); EXPECT_EQ(8,  model);  in main()
61   EXPECT_FALSE(history.canRedo());  in main()
66     while (history.canUndo())  in main()
67       history.undo();  in main()
70     while (history.canRedo())  in main()
71       history.redo();  in main()
79   history.redo(); EXPECT_EQ(1, model);  in main()
80   EXPECT_FALSE(history.deleteFirstState());  in main()
87   EXPECT_TRUE(history.deleteFirstState());  in main()
90   history.undo(); EXPECT_EQ(7, model);  in main()
91   history.undo(); EXPECT_EQ(6, model);  in main()
92   history.undo(); EXPECT_EQ(5, model);  in main()
93   history.undo(); EXPECT_EQ(4, model);  in main()
94   history.undo(); EXPECT_EQ(3, model);  in main()
95   history.undo(); EXPECT_EQ(2, model);  in main()
96   history.undo(); EXPECT_EQ(1, model);  in main()
97   EXPECT_FALSE(history.canUndo());  in main()
104   EXPECT_TRUE(history.deleteFirstState());  in main()
107   history.undo(); EXPECT_EQ(7, model);  in main()
108   history.undo(); EXPECT_EQ(6, model);  in main()
109   history.undo(); EXPECT_EQ(5, model);  in main()
110   history.undo(); EXPECT_EQ(2, model);  in main()
111   EXPECT_FALSE(history.canUndo());  in main()
118   EXPECT_TRUE(history.deleteFirstState());  in main()
121   history.undo(); EXPECT_EQ(7, model);  in main()
122   history.undo(); EXPECT_EQ(5, model);  in main()
123   EXPECT_FALSE(history.canUndo());  in main()
130   EXPECT_TRUE(history.deleteFirstState());  in main()
133   history.undo(); EXPECT_EQ(7, model);  in main()
134   EXPECT_FALSE(history.canUndo());  in main()
135   history.redo(); EXPECT_EQ(8, model);  in main()
141   EXPECT_FALSE(history.deleteFirstState());  in main()
143   history.undo(); EXPECT_EQ(7, model);  in main()
145   EXPECT_TRUE(history.deleteFirstState());  in main()
146   EXPECT_FALSE(history.canUndo());  in main()
147   EXPECT_FALSE(history.canRedo());  in main()