home *** CD-ROM | disk | FTP | other *** search
/ PC World Komputer 1995 November / PCWK1195.iso / inne / win95 / sieciowe / hotja32.lzh / hotjava / classsrc / awt / text.java < prev    next >
Text File  |  1995-08-11  |  2KB  |  68 lines

  1. /*
  2.  * @(#)Text.java    1.5 95/01/31 Jonathan Payne
  3.  *
  4.  * Copyright (c) 1994 Sun Microsystems, Inc. All Rights Reserved.
  5.  *
  6.  * Permission to use, copy, modify, and distribute this software
  7.  * and its documentation for NON-COMMERCIAL purposes and without
  8.  * fee is hereby granted provided that this copyright notice
  9.  * appears in all copies. Please refer to the file "copyright.html"
  10.  * for further important copyright and licensing information.
  11.  *
  12.  * SUN MAKES NO REPRESENTATIONS OR WARRANTIES ABOUT THE SUITABILITY OF
  13.  * THE SOFTWARE, EITHER EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED
  14.  * TO THE IMPLIED WARRANTIES OF MERCHANTABILITY, FITNESS FOR A
  15.  * PARTICULAR PURPOSE, OR NON-INFRINGEMENT. SUN SHALL NOT BE LIABLE FOR
  16.  * ANY DAMAGES SUFFERED BY LICENSEE AS A RESULT OF USING, MODIFYING OR
  17.  * DISTRIBUTING THIS SOFTWARE OR ITS DERIVATIVES.
  18.  */
  19. package awt;
  20.  
  21. import java.util.*;
  22. import java.io.*;
  23.  
  24. /**
  25.  * An object that holds lines of text.
  26.  *
  27.  * @version 1.5 31 Jan 1995
  28.  * @author Jonathan Payne
  29.  */
  30. public class Text {
  31.     /** list of lines in this text object */
  32.     Vector  lines = new Vector();
  33.  
  34.     public Text() {}
  35.  
  36.     public Text(String data) {
  37.     appendUnformattedString(data);
  38.     }
  39.  
  40.     public int lineCount() {
  41.     return lines.size();
  42.     }
  43.  
  44.     public void appendUnformattedString(String input) {
  45.     int from, to;
  46.  
  47.     from = 0;
  48.     while ((to = input.indexOf('\n', from)) != -1) {
  49.         addLine(input.substring(from, to));
  50.         from = to + 1;
  51.     }
  52.     if (from < input.length())
  53.         addLine(input.substring(from, input.length()));
  54.     }
  55.  
  56.     public void addLine(String line) {
  57.     lines.addElement(line);
  58.     }
  59.  
  60.     public String lineAt(int index) {
  61.     return (String) lines.elementAt(index);
  62.     }
  63.  
  64.     public void clear() {
  65.     lines = new Vector();
  66.     }
  67. }
  68.