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)
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
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
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. */
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
;
50 * @author Andrew Selkirk
53 public class RepaintManager
{
55 //-------------------------------------------------------------
56 // Variables --------------------------------------------------
57 //-------------------------------------------------------------
62 Hashtable dirtyComponents
;
67 Hashtable tmpDirtyComponents
;
72 Vector invalidComponents
;
75 * doubleBufferingEnabled
77 boolean doubleBufferingEnabled
;
87 Dimension doubleBufferSize
;
92 private Dimension doubleBufferMaxSize
;
97 private boolean resetDoubleBuffer
;
102 private static final Object repaintManagerKey
= null; // TODO
110 //-------------------------------------------------------------
111 // Initialization ---------------------------------------------
112 //-------------------------------------------------------------
115 * Constructor RepaintManager
117 public RepaintManager() {
119 } // RepaintManager()
122 //-------------------------------------------------------------
123 // Methods ----------------------------------------------------
124 //-------------------------------------------------------------
130 public synchronized String
toString() {
136 * @param component TODO
137 * @returns RepaintManager
139 public static RepaintManager
currentManager(Component component
) {
141 } // currentManager()
145 * @param component TODO
146 * @returns RepaintManager
148 public static RepaintManager
currentManager(JComponent component
) {
150 } // currentManager()
154 * @param manager TODO
156 public static void setCurrentManager(RepaintManager manager
) {
158 } // setCurrentManager()
161 * addInvalidComponent
162 * @param component TODO
164 public synchronized void addInvalidComponent(JComponent component
) {
166 } // addInvalidComponent()
169 * removeInvalidComponent
170 * @param component TODO
172 public synchronized void removeInvalidComponent(JComponent component
) {
174 } // removeInvalidComponent()
178 * @param component TODO
184 public synchronized void addDirtyRegion(JComponent component
, int x
,
185 int y
, int w
, int h
) {
187 } // addDirtyRegion()
191 * @param component TODO
194 public Rectangle
getDirtyRegion(JComponent component
) {
196 } // getDirtyRegion()
199 * markCompletelyDirty
200 * @param component TODO
202 public void markCompletelyDirty(JComponent component
) {
204 } // markCompletelyDirty()
207 * markCompletelyClean
208 * @param component TODO
210 public void markCompletelyClean(JComponent component
) {
212 } // markCompletelyClean()
216 * @param component TODO
219 public boolean isCompletelyDirty(JComponent component
) {
220 return false; // TODO
221 } // isCompletelyDirty()
224 * validateInvalidComponents
226 public void validateInvalidComponents() {
228 } // validateInvalidComponents()
233 public void paintDirtyRegions() {
235 } // paintDirtyRegions()
239 * @param component TODO
240 * @param proposedWidth TODO
241 * @param proposedHeight TODO
244 public Image
getOffscreenBuffer(Component component
,
245 int proposedWidth
, int proposedHeight
) {
247 } // getOffscreenBuffer()
250 * getDoubleBufferMaximumSize
253 public Dimension
getDoubleBufferMaximumSize() {
255 } // getDoubleBufferMaximumSize()
258 * setDoubleBufferMaximumSize
261 public void setDoubleBufferMaximumSize(Dimension size
) {
263 } // setDoubleBufferMaximumSize()
266 * setDoubleBufferingEnabled
269 public void setDoubleBufferingEnabled(boolean buffer
) {
271 } // setDoubleBufferingEnabled()
274 * isDoubleBufferingEnabled
277 public boolean isDoubleBufferingEnabled() {
278 return false; // TODO
279 } // isDoubleBufferingEnabled()