1 | /* |
---|
2 | * This program is free software; you can redistribute it and/or modify |
---|
3 | * it under the terms of the GNU General Public License as published by |
---|
4 | * the Free Software Foundation; either version 2 of the License, or |
---|
5 | * (at your option) any later version. |
---|
6 | * |
---|
7 | * This program is distributed in the hope that it will be useful, |
---|
8 | * but WITHOUT ANY WARRANTY; without even the implied warranty of |
---|
9 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
---|
10 | * GNU General Public License for more details. |
---|
11 | * |
---|
12 | * You should have received a copy of the GNU General Public License |
---|
13 | * along with this program; if not, write to the Free Software |
---|
14 | * Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. |
---|
15 | */ |
---|
16 | |
---|
17 | /* |
---|
18 | * Copyable.java |
---|
19 | * Copyright (C) 2005 University of Waikato, Hamilton, New Zealand |
---|
20 | * |
---|
21 | */ |
---|
22 | |
---|
23 | package weka.core; |
---|
24 | |
---|
25 | /** |
---|
26 | * Interface implemented by classes that support undo. |
---|
27 | * |
---|
28 | * @author FracPete (fracpete at waikato dot ac dot nz) |
---|
29 | * @version $Revision: 5953 $ |
---|
30 | */ |
---|
31 | public interface Undoable { |
---|
32 | /** |
---|
33 | * returns whether undo support is enabled |
---|
34 | */ |
---|
35 | public boolean isUndoEnabled(); |
---|
36 | |
---|
37 | /** |
---|
38 | * sets whether undo support is enabled |
---|
39 | */ |
---|
40 | public void setUndoEnabled(boolean enabled); |
---|
41 | |
---|
42 | /** |
---|
43 | * removes the undo history |
---|
44 | */ |
---|
45 | public void clearUndo(); |
---|
46 | |
---|
47 | /** |
---|
48 | * returns whether an undo is possible, i.e. whether there are any undo points |
---|
49 | * saved so far |
---|
50 | * |
---|
51 | * @return returns TRUE if there is an undo possible |
---|
52 | */ |
---|
53 | public boolean canUndo(); |
---|
54 | |
---|
55 | /** |
---|
56 | * undoes the last action |
---|
57 | */ |
---|
58 | public void undo(); |
---|
59 | |
---|
60 | /** |
---|
61 | * adds an undo point to the undo history |
---|
62 | */ |
---|
63 | public void addUndoPoint(); |
---|
64 | } |
---|