KickJava   Java API By Example, From Geeks To Geeks.

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


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.event.DocumentEvent JavaDoc;
23 import javax.swing.text.BadLocationException JavaDoc;
24 import javax.swing.undo.CannotUndoException JavaDoc;
25 import javax.swing.undo.CannotRedoException JavaDoc;
26
27 /**
28 * Attempt to insert or remove from the guarded block has been done.
29 *
30 * @version 1.0
31 * @author Miloslav Metelka
32 */

33
34 public class GuardedDocumentEvent extends BaseDocumentEvent {
35
36     static final long serialVersionUID =-9204897347010955248L;
37
38     public GuardedDocumentEvent(GuardedDocument doc, int offset, int length,
39                                 DocumentEvent.EventType JavaDoc type) {
40         super(doc, offset, length, type);
41     }
42
43     public void undo() throws CannotUndoException JavaDoc {
44         GuardedDocument gdoc = (GuardedDocument)getDocument();
45         boolean origBreak = gdoc.breakGuarded;
46         gdoc.breakGuarded = true;
47         super.undo();
48         if (!origBreak) {
49             gdoc.breakGuarded = false;
50         }
51     }
52
53     public void redo() throws CannotRedoException JavaDoc {
54         GuardedDocument gdoc = (GuardedDocument)getDocument();
55         boolean origBreak = gdoc.breakGuarded;
56         super.redo();
57         if (!origBreak) {
58             gdoc.breakGuarded = false;
59         }
60     }
61
62 }
63
Popular Tags