KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > netbeans > lib > editor > view > GapMultiLineView


1 /*
2  * The contents of this file are subject to the terms of the Common Development
3  * and Distribution License (the License). You may not use this file except in
4  * compliance with the License.
5  *
6  * You can obtain a copy of the License at http://www.netbeans.org/cddl.html
7  * or http://www.netbeans.org/cddl.txt.
8  *
9  * When distributing Covered Code, include this CDDL Header Notice in each file
10  * and include the License file at http://www.netbeans.org/cddl.txt.
11  * If applicable, add the following below the CDDL Header, with the fields
12  * enclosed by brackets [] replaced by your own identifying information:
13  * "Portions Copyrighted [year] [name of copyright owner]"
14  *
15  * The Original Software is NetBeans. The Initial Developer of the Original
16  * Software is Sun Microsystems, Inc. Portions Copyright 1997-2006 Sun
17  * Microsystems, Inc. All Rights Reserved.
18  */

19
20 package org.netbeans.lib.editor.view;
21
22 import javax.swing.text.Element JavaDoc;
23 import javax.swing.text.View JavaDoc;
24
25 /**
26  * Extension of <code>GapLineView</code> capable of encapsulating
27  * one or more lines depending on a possible presence of collapsed
28  * fold views as children of this view.
29  *
30  * @author Miloslav Metelka
31  * @version 1.00
32  */

33
34 public class GapMultiLineView extends GapBoxView {
35
36     private Element JavaDoc lastLineElement;
37
38     public GapMultiLineView(Element JavaDoc firstLineElement, Element JavaDoc lastLineElement) {
39 // super(firstLineElement);
40
super(firstLineElement, View.X_AXIS);
41         
42         setLastLineElement(lastLineElement);
43     }
44     
45     public GapMultiLineView(Element JavaDoc firstLineElement) {
46         this(firstLineElement, firstLineElement);
47     }
48     
49     protected final void setLastLineElement(Element JavaDoc lastLineElement) {
50         this.lastLineElement = lastLineElement;
51     }
52     
53     protected Element JavaDoc getLastLineElement() {
54         return lastLineElement;
55     }
56     
57     public int getEndOffset() {
58         return lastLineElement.getEndOffset();
59     }
60     
61 }
62
Popular Tags