KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > com > sun > demo > scripting > jconsole > EditableAtEndDocument


1 /*
2  * @(#)EditableAtEndDocument.java 1.1 06/04/19 08:43:44
3  *
4  * Copyright (c) 2006 Sun Microsystems, Inc. All Rights Reserved.
5  *
6  * Redistribution and use in source and binary forms, with or without
7  * modification, are permitted provided that the following conditions are met:
8  *
9  * -Redistribution of source code must retain the above copyright notice, this
10  * list of conditions and the following disclaimer.
11  *
12  * -Redistribution in binary form must reproduce the above copyright notice,
13  * this list of conditions and the following disclaimer in the documentation
14  * and/or other materials provided with the distribution.
15  *
16  * Neither the name of Sun Microsystems, Inc. or the names of contributors may
17  * be used to endorse or promote products derived from this software without
18  * specific prior written permission.
19  *
20  * This software is provided "AS IS," without a warranty of any kind. ALL
21  * EXPRESS OR IMPLIED CONDITIONS, REPRESENTATIONS AND WARRANTIES, INCLUDING
22  * ANY IMPLIED WARRANTY OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE
23  * OR NON-INFRINGEMENT, ARE HEREBY EXCLUDED. SUN MIDROSYSTEMS, INC. ("SUN")
24  * AND ITS LICENSORS SHALL NOT BE LIABLE FOR ANY DAMAGES SUFFERED BY LICENSEE
25  * AS A RESULT OF USING, MODIFYING OR DISTRIBUTING THIS SOFTWARE OR ITS
26  * DERIVATIVES. IN NO EVENT WILL SUN OR ITS LICENSORS BE LIABLE FOR ANY LOST
27  * REVENUE, PROFIT OR DATA, OR FOR DIRECT, INDIRECT, SPECIAL, CONSEQUENTIAL,
28  * INCIDENTAL OR PUNITIVE DAMAGES, HOWEVER CAUSED AND REGARDLESS OF THE THEORY
29  * OF LIABILITY, ARISING OUT OF THE USE OF OR INABILITY TO USE THIS SOFTWARE,
30  * EVEN IF SUN HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGES.
31  *
32  * You acknowledge that this software is not designed, licensed or intended
33  * for use in the design, construction, operation or maintenance of any
34  * nuclear facility.
35  */
36
37 package com.sun.demo.scripting.jconsole;
38
39 import javax.swing.text.*;
40
41 /** This class implements a special type of document in which edits
42  * can only be performed at the end, from "mark" to the end of the
43  * document. This is used in ScriptShellPanel class as document for editor.
44  */
45 public class EditableAtEndDocument extends PlainDocument {
46     private int mark;
47
48     public void insertString(int offset, String JavaDoc text, AttributeSet a)
49         throws BadLocationException {
50         int len = getLength();
51         super.insertString(len, text, a);
52     }
53
54     public void remove(int offs, int len) throws BadLocationException {
55         int start = offs;
56         int end = offs + len;
57   
58         int markStart = mark;
59         int markEnd = getLength();
60       
61         if ((end < markStart) || (start > markEnd)) {
62             // no overlap
63 return;
64         }
65
66         // Determine interval intersection
67 int cutStart = Math.max(start, markStart);
68         int cutEnd = Math.min(end, markEnd);
69         super.remove(cutStart, cutEnd - cutStart);
70     }
71
72     public void setMark() {
73         mark = getLength();
74     }
75
76     public String JavaDoc getMarkedText() throws BadLocationException {
77         return getText(mark, getLength() - mark);
78     }
79
80     /** Used to reset the contents of this document */
81     public void clear() {
82         try {
83             super.remove(0, getLength());
84             setMark();
85         } catch (BadLocationException e) {
86         }
87     }
88 }
89
Popular Tags