Fixed bug #1404228: Crash on <?php // comment ?>
[phpeclipse.git] / net.sourceforge.phpeclipse / src / net / sourceforge / phpeclipse / phpeditor / IPainter.java
1 package net.sourceforge.phpeclipse.phpeditor;
2
3 /*
4  * (c) Copyright IBM Corp. 2000, 2001.
5  * All Rights Reserved.
6  */
7
8
9 public interface IPainter {
10
11   /** Paint reasons */
12   int SELECTION=                0;
13   int TEXT_CHANGE=      1;
14   int KEY_STROKE=               2;
15   int MOUSE_BUTTON= 4;
16   int INTERNAL=                 8;
17   int CONFIGURATION= 16;
18         
19
20   /**   
21    * Disposes this painter.
22    * <p>
23    * XXX: The relationship with deactivate is not yet defined.
24    * </p>
25    * */
26   void dispose();
27         
28   void paint(int reason);
29
30   /**
31    * Deactivates the painter.
32    * <p>
33    * XXX: The relationship with dispose is not yet defined.
34    * </p>
35    */
36   void deactivate(boolean redraw);
37         
38   void setPositionManager(IPositionManager manager);
39 }