|
1 package gnu.kawa.models;
2 import java.awt.Dimension  ;
3 import java.awt.geom.Dimension2D ;
4
5
6
7 public class Spacer extends Model
8 implements Viewable, java.io.Serializable
9 {
10 Dimension2D minSize;
11 Dimension2D preferredSize;
12 Dimension2D maxSize;
13
14 public Dimension2D getMinimumSize2D()
15 { return minSize; }
16 public Dimension2D getPreferredSize2D()
17 { return preferredSize; }
18 public Dimension2D getMaximumSize2D()
19 { return maxSize; }
20
21 public Dimension getMinimumSize()
22 { return Display.asDimension(minSize); }
23 public Dimension getPreferredSize()
24 { return Display.asDimension(preferredSize); }
25 public Dimension getMaximumSize()
26 { return Display.asDimension(maxSize); }
27
28 public boolean isRigid ()
29 {
30 if (minSize == maxSize)
31 return true;
32 if (minSize != null && maxSize != null
33 && minSize.getWidth() == maxSize.getWidth()
34 && minSize.getHeight() == maxSize.getHeight())
35 return true;
36 return false;
37 }
38
39 public static Spacer rigidArea (Dimension2D d)
40 {
41 Spacer spacer = new Spacer();
42 spacer.minSize = d;
43 spacer.maxSize = d;
44 spacer.preferredSize = d;
45 return spacer;
46 }
47
48 public static Spacer rigidArea (int width, int height)
49 {
50 return rigidArea(new Dimension (width, height));
51 }
52
53 public void makeView (Display display, Object where)
54 {
55 display.addSpacer(this, where);
56 }
57 }
58 |
Popular Tags |
Java API By Example, From Geeks To Geeks.