home *** CD-ROM | disk | FTP | other *** search
/ Computer Shopper 144 / DPCS0200.iso / Internet / Supanet / system / swing.jar / javax / swing / plaf / basic / BasicSplitPaneUI$BasicVerticalLayoutManager.class (.txt) < prev    next >
Encoding:
Java Class File  |  1998-11-05  |  2.3 KB  |  92 lines

  1. package javax.swing.plaf.basic;
  2.  
  3. import java.awt.Component;
  4. import java.awt.Container;
  5. import java.awt.Dimension;
  6. import java.awt.Insets;
  7.  
  8. public class BasicSplitPaneUI$BasicVerticalLayoutManager extends BasicSplitPaneUI.BasicHorizontalLayoutManager {
  9.    // $FF: synthetic field
  10.    private final BasicSplitPaneUI this$0;
  11.  
  12.    public BasicSplitPaneUI$BasicVerticalLayoutManager(BasicSplitPaneUI var1) {
  13.       super(var1);
  14.       this.this$0 = var1;
  15.    }
  16.  
  17.    protected int getAvailableSize(Dimension var1, Insets var2) {
  18.       return var2 == null ? var1.height : var1.height - (var2.bottom + var2.top + 2 * this.this$0.getDividerBorderSize());
  19.    }
  20.  
  21.    protected int getInitialLocation(Insets var1) {
  22.       return var1 != null ? var1.top : 0;
  23.    }
  24.  
  25.    int getMinimumSizeOfComponent(Component var1) {
  26.       return var1.getMinimumSize().height;
  27.    }
  28.  
  29.    protected int getPreferredSizeOfComponent(Component var1) {
  30.       return var1.getPreferredSize().height;
  31.    }
  32.  
  33.    protected int getSizeOfComponent(Component var1) {
  34.       return var1.getSize().height;
  35.    }
  36.  
  37.    public Dimension minimumLayoutSize(Container var1) {
  38.       int var3 = 0;
  39.       int var4 = 0;
  40.       Insets var5 = this.this$0.splitPane.getInsets();
  41.  
  42.       for(int var6 = 0; var6 < 3; ++var6) {
  43.          if (super.components[var6] != null) {
  44.             Dimension var2 = super.components[var6].getMinimumSize();
  45.             var4 += var2.height;
  46.             if (var2.width > var3) {
  47.                var3 = var2.width;
  48.             }
  49.          }
  50.       }
  51.  
  52.       if (var5 != null) {
  53.          var3 += var5.left + var5.right;
  54.          var4 += var5.bottom + var5.top;
  55.       }
  56.  
  57.       return new Dimension(var3, var4);
  58.    }
  59.  
  60.    public Dimension preferredLayoutSize(Container var1) {
  61.       int var3 = 0;
  62.       int var4 = 0;
  63.       Insets var5 = this.this$0.splitPane.getInsets();
  64.  
  65.       for(int var6 = 0; var6 < 3; ++var6) {
  66.          if (super.components[var6] != null) {
  67.             Dimension var2 = super.components[var6].getPreferredSize();
  68.             var4 += var2.height;
  69.             if (var2.width > var3) {
  70.                var3 = var2.width;
  71.             }
  72.          }
  73.       }
  74.  
  75.       if (var5 != null) {
  76.          var3 += var5.left + var5.right;
  77.          var4 += var5.bottom + var5.top;
  78.       }
  79.  
  80.       return new Dimension(var3, var4);
  81.    }
  82.  
  83.    protected void setComponentToSize(Component var1, int var2, int var3, Insets var4, Dimension var5) {
  84.       if (var4 != null) {
  85.          var1.setBounds(var4.left, var3, var5.width - (var4.left + var4.right), var2);
  86.       } else {
  87.          var1.setBounds(0, var3, var5.width, var2);
  88.       }
  89.  
  90.    }
  91. }
  92.