01: //Copyright (c) 2000, 2005 BlueJ Group, Deakin University
02: //
03: // This software is made available under the terms of the "MIT License"
04: // A copy of this license is included with this source distribution
05: // in "license.txt" and is also available at:
06: // http://www.opensource.org/licenses/mit-license.html
07: // Any queries should be directed to Michael Kolling mik@bluej.org
08:
09: package bluej.editor;
10:
11: /**
12: * @version $Id: EditorWatcher.java 5390 2007-11-21 05:06:41Z davmac $
13: * @author Michael Kolling
14: * Interface between the editor and the rest of BlueJ
15: * The editor uses this class
16: */
17: public interface EditorWatcher {
18: /**
19: * Called by Editor when a file is changed
20: */
21: void modificationEvent(Editor editor);
22:
23: /**
24: * Called by Editor when a file is saved
25: */
26: void saveEvent(Editor editor);
27:
28: /**
29: * Called by Editor when it is closed
30: */
31: void closeEvent(Editor editor);
32:
33: /**
34: * Called by Editor to set/clear a breakpoint
35: * @param lineNo the line number of the breakpoint
36: * @param set whether the breakpoint is set (true) or cleared
37: * @return An error message or null if okay.
38: */
39: String breakpointToggleEvent(Editor editor, int lineNo, boolean set);
40:
41: /**
42: * Called by Editor when a file is to be compiled
43: */
44: void compile(Editor editor);
45:
46: /**
47: * Called by Editor when documentation is to be compiled
48: */
49: void generateDoc();
50:
51: } // end class EditorWatcher
|