2003-12-26 Guilhem Lavaux <guilhem@kaffe.org>
[official-gcc.git] / libjava / javax / swing / RepaintManager.java
blob55d62ae5f8093408be15ea44988f90fdf9b51b5d
1 /* RepaintManager.java --
2 Copyright (C) 2002 Free Software Foundation, Inc.
4 This file is part of GNU Classpath.
6 GNU Classpath is free software; you can redistribute it and/or modify
7 it under the terms of the GNU General Public License as published by
8 the Free Software Foundation; either version 2, or (at your option)
9 any later version.
11 GNU Classpath is distributed in the hope that it will be useful, but
12 WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
14 General Public License for more details.
16 You should have received a copy of the GNU General Public License
17 along with GNU Classpath; see the file COPYING. If not, write to the
18 Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
19 02111-1307 USA.
21 Linking this library statically or dynamically with other modules is
22 making a combined work based on this library. Thus, the terms and
23 conditions of the GNU General Public License cover the whole
24 combination.
26 As a special exception, the copyright holders of this library give you
27 permission to link this library with independent modules to produce an
28 executable, regardless of the license terms of these independent
29 modules, and to copy and distribute the resulting executable under
30 terms of your choice, provided that you also meet, for each linked
31 independent module, the terms and conditions of the license of that
32 module. An independent module is a module which is not derived from
33 or based on this library. If you modify this library, you may extend
34 this exception to your version of the library, but you are not
35 obligated to do so. If you do not wish to do so, delete this
36 exception statement from your version. */
39 package javax.swing;
41 import java.awt.Component;
42 import java.awt.Dimension;
43 import java.awt.Image;
44 import java.awt.Rectangle;
45 import java.util.Hashtable;
46 import java.util.Vector;
48 /**
49 * RepaintManager
50 * @author Andrew Selkirk
51 * @version 1.0
53 public class RepaintManager {
55 //-------------------------------------------------------------
56 // Variables --------------------------------------------------
57 //-------------------------------------------------------------
59 /**
60 * dirtyComponents
62 Hashtable dirtyComponents;
64 /**
65 * tmpDirtyComponents
67 Hashtable tmpDirtyComponents;
69 /**
70 * invalidComponents
72 Vector invalidComponents;
74 /**
75 * doubleBufferingEnabled
77 boolean doubleBufferingEnabled;
79 /**
80 * doubleBuffer
82 Image doubleBuffer;
84 /**
85 * doubleBufferSize
87 Dimension doubleBufferSize;
89 /**
90 * doubleBufferMaxSize
92 private Dimension doubleBufferMaxSize;
94 /**
95 * resetDoubleBuffer
97 private boolean resetDoubleBuffer;
99 /**
100 * repaintManagerKey
102 private static final Object repaintManagerKey = null; // TODO
105 * tmp
107 Rectangle tmp;
110 //-------------------------------------------------------------
111 // Initialization ---------------------------------------------
112 //-------------------------------------------------------------
115 * Constructor RepaintManager
117 public RepaintManager() {
118 // TODO
119 } // RepaintManager()
122 //-------------------------------------------------------------
123 // Methods ----------------------------------------------------
124 //-------------------------------------------------------------
127 * toString
128 * @returns String
130 public synchronized String toString() {
131 return null; // TODO
132 } // toString()
135 * currentManager
136 * @param component TODO
137 * @returns RepaintManager
139 public static RepaintManager currentManager(Component component) {
140 return null; // TODO
141 } // currentManager()
144 * currentManager
145 * @param component TODO
146 * @returns RepaintManager
148 public static RepaintManager currentManager(JComponent component) {
149 return null; // TODO
150 } // currentManager()
153 * setCurrentManager
154 * @param manager TODO
156 public static void setCurrentManager(RepaintManager manager) {
157 // TODO
158 } // setCurrentManager()
161 * addInvalidComponent
162 * @param component TODO
164 public synchronized void addInvalidComponent(JComponent component) {
165 // TODO
166 } // addInvalidComponent()
169 * removeInvalidComponent
170 * @param component TODO
172 public synchronized void removeInvalidComponent(JComponent component) {
173 // TODO
174 } // removeInvalidComponent()
177 * addDirtyRegion
178 * @param component TODO
179 * @param x TODO
180 * @param y TODO
181 * @param w TODO
182 * @param h TODO
184 public synchronized void addDirtyRegion(JComponent component, int x,
185 int y, int w, int h) {
186 // TODO
187 } // addDirtyRegion()
190 * getDirtyRegion
191 * @param component TODO
192 * @returns Rectangle
194 public Rectangle getDirtyRegion(JComponent component) {
195 return null; // TODO
196 } // getDirtyRegion()
199 * markCompletelyDirty
200 * @param component TODO
202 public void markCompletelyDirty(JComponent component) {
203 // TODO
204 } // markCompletelyDirty()
207 * markCompletelyClean
208 * @param component TODO
210 public void markCompletelyClean(JComponent component) {
211 // TODO
212 } // markCompletelyClean()
215 * isCompletelyDirty
216 * @param component TODO
217 * @returns boolean
219 public boolean isCompletelyDirty(JComponent component) {
220 return false; // TODO
221 } // isCompletelyDirty()
224 * validateInvalidComponents
226 public void validateInvalidComponents() {
227 // TODO
228 } // validateInvalidComponents()
231 * paintDirtyRegions
233 public void paintDirtyRegions() {
234 // TODO
235 } // paintDirtyRegions()
238 * getOffscreenBuffer
239 * @param component TODO
240 * @param proposedWidth TODO
241 * @param proposedHeight TODO
242 * @returns Image
244 public Image getOffscreenBuffer(Component component,
245 int proposedWidth, int proposedHeight) {
246 return null; // TODO
247 } // getOffscreenBuffer()
250 * getDoubleBufferMaximumSize
251 * @returns Dimension
253 public Dimension getDoubleBufferMaximumSize() {
254 return null; // TODO
255 } // getDoubleBufferMaximumSize()
258 * setDoubleBufferMaximumSize
259 * @param size TODO
261 public void setDoubleBufferMaximumSize(Dimension size) {
262 // TODO
263 } // setDoubleBufferMaximumSize()
266 * setDoubleBufferingEnabled
267 * @param buffer TODO
269 public void setDoubleBufferingEnabled(boolean buffer) {
270 // TODO
271 } // setDoubleBufferingEnabled()
274 * isDoubleBufferingEnabled
275 * @returns boolean
277 public boolean isDoubleBufferingEnabled() {
278 return false; // TODO
279 } // isDoubleBufferingEnabled()
282 } // RepaintManager