KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > armedbear > j > LineSequence


1 /*
2  * LineSequence.java
3  *
4  * Copyright (C) 1998-2002 Peter Graves
5  * $Id: LineSequence.java,v 1.1.1.1 2002/09/24 16:07:43 piso Exp $
6  *
7  * This program is free software; you can redistribute it and/or
8  * modify it under the terms of the GNU General Public License
9  * as published by the Free Software Foundation; either version 2
10  * of the License, or (at your option) any later version.
11  *
12  * This program is distributed in the hope that it will be useful,
13  * but WITHOUT ANY WARRANTY; without even the implied warranty of
14  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15  * GNU General Public License for more details.
16  *
17  * You should have received a copy of the GNU General Public License
18  * along with this program; if not, write to the Free Software
19  * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
20  */

21
22 package org.armedbear.j;
23
24 public final class LineSequence
25 {
26     private Line first;
27     private Line last;
28     private int size;
29
30     public LineSequence()
31     {
32     }
33
34     public LineSequence(Line line)
35     {
36         first = last = line.copy();
37         size = 1;
38     }
39
40     // Copies lines.
41
public LineSequence(Line first, Line last)
42     {
43         Line line = first;
44         while (line != null) {
45             appendLine(line.copy());
46             if (line == last)
47                 break;
48             line = line.next();
49         }
50     }
51
52     public final Line getFirstLine()
53     {
54         return first;
55     }
56
57     public final Line getLastLine()
58     {
59         return last;
60     }
61
62     public final int size()
63     {
64         return size;
65     }
66
67     // Does not copy line.
68
public void appendLine(Line line)
69     {
70         line.setPrevious(last);
71         if (last != null)
72             last.setNext(line);
73         last = line;
74         if (first == null)
75             first = line;
76         ++size;
77     }
78
79     public String JavaDoc toString()
80     {
81         FastStringBuffer sb = new FastStringBuffer();
82         for (Line line = first; line != null; line = line.next()) {
83             sb.append(line.getText());
84             sb.append('\n');
85             if (line == last)
86                 break;
87         }
88         return sb.toString();
89     }
90 }
91
Popular Tags