KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > netbeans > editor > BasePosition


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.editor;
21
22 import javax.swing.text.BadLocationException JavaDoc;
23 import javax.swing.text.Position JavaDoc;
24
25 /**
26 * Position in document. This is enhanced version of
27 * Swing <CODE>Position</CODE> interface. It supports
28 * insert after feature. If Position has
29 * <CODE>insertAfter</CODE> flag set and text is inserted
30 * right at the mark's position, the position will NOT move.
31 *
32 * @author Miloslav Metelka
33 * @version 1.00
34 */
35
36 class BasePosition implements Position JavaDoc {
37
38     /** The mark that serves this position */
39     private MultiMark mark;
40
41     BasePosition(MultiMark mark) throws BadLocationException JavaDoc {
42         this.mark = mark;
43     }
44
45     /** Get offset in document for this position */
46     public int getOffset() {
47         return mark.getOffset();
48     }
49
50     /** Remove mark in finalize method */
51     protected void finalize() throws Throwable JavaDoc {
52         if (mark != null)
53             mark.dispose();
54         super.finalize();
55     }
56
57 }
58
Popular Tags