Source for javax.swing.text.TabSet

   1: /* TabSet.java --
   2:    Copyright (C) 2004 Free Software Foundation, Inc.
   3: 
   4: This file is part of GNU Classpath.
   5: 
   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.
  10: 
  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.
  15: 
  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., 51 Franklin Street, Fifth Floor, Boston, MA
  19: 02110-1301 USA.
  20: 
  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.
  25: 
  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. */
  37: 
  38: package javax.swing.text;
  39: 
  40: import java.io.Serializable;
  41: 
  42: public class TabSet implements Serializable
  43: {
  44:   /** The serialization UID (compatible with JDK1.5). */
  45:   private static final long serialVersionUID = 2367703481999080593L;
  46: 
  47:   TabStop[] tabs;
  48: 
  49:   public TabSet(TabStop[] t) 
  50:   {
  51:     tabs = t;
  52:   }
  53:  
  54:   public TabStop getTab(int i) 
  55:   {
  56:     return tabs[i];
  57:   }
  58: 
  59:   public TabStop getTabAfter(float location) 
  60:   {
  61:     int idx = getTabIndexAfter(location);
  62:     if (idx == -1)
  63:       return null;
  64:     else
  65:       return tabs[idx];        
  66:   }
  67: 
  68:   public int getTabCount() 
  69:   {
  70:     return tabs.length;
  71:   }
  72: 
  73:   public int getTabIndex(TabStop tab) 
  74:   {
  75:     for (int i = 0; i < tabs.length; ++i)
  76:       if (tabs[i] == tab)
  77:         return i;
  78:     return -1;
  79:   }
  80: 
  81:   public int getTabIndexAfter(float location) 
  82:   {
  83:     int idx = -1;
  84:     for (int i = 0; i < tabs.length; ++i)
  85:       {
  86:         if (location < tabs[i].getPosition())
  87:           idx = i;
  88:       }
  89:     return idx;
  90:   }
  91: 
  92:   public String toString()
  93:   {
  94:     StringBuffer sb = new StringBuffer();
  95:     sb.append("[");
  96:     for (int i = 0; i < tabs.length; ++i)
  97:       {
  98:         if (i != 0)
  99:           sb.append(" - ");
 100:         sb.append(tabs[i].toString());
 101:       }
 102:     sb.append("]");
 103:     return sb.toString();
 104:   }
 105: }