KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > salsa > html > MutableHTMLDocument


1 /*
2 ** Salsa - Swing Add-On Suite
3 ** Copyright (c) 2001, 2002 by Gerald Bauer
4 **
5 ** This program is free software.
6 **
7 ** You may redistribute it and/or modify it under the terms of the GNU
8 ** General Public License as published by the Free Software Foundation.
9 ** Version 2 of the license should be included with this distribution in
10 ** the file LICENSE, as well as License.html. If the license is not
11 ** included with this distribution, you may find a copy at the FSF web
12 ** site at 'www.gnu.org' or 'www.fsf.org', or you may write to the
13 ** Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139 USA.
14 **
15 ** THIS SOFTWARE IS PROVIDED AS-IS WITHOUT WARRANTY OF ANY KIND,
16 ** NOT EVEN THE IMPLIED WARRANTY OF MERCHANTABILITY. THE AUTHOR
17 ** OF THIS SOFTWARE, ASSUMES _NO_ RESPONSIBILITY FOR ANY
18 ** CONSEQUENCE RESULTING FROM THE USE, MODIFICATION, OR
19 ** REDISTRIBUTION OF THIS SOFTWARE.
20 **
21 */

22
23 package salsa.html;
24
25 import java.util.*;
26 import javax.swing.event.*;
27 import javax.swing.text.*;
28 import javax.swing.text.html.*;
29
30 public class MutableHTMLDocument extends HTMLDocument
31 {
32    public MutableHTMLDocument( StyleSheet styles )
33    {
34       super( styles );
35    }
36
37
38    public void setTitle( String JavaDoc title )
39    {
40 // This will work only if the <title> element was
41
// previously created. Looks like a bug in the HTML package.
42

43       Dictionary di = getDocumentProperties();
44       di.put( Document.TitleProperty, title );
45       setDocumentProperties( di );
46    }
47
48    public Element getElementByTag( HTML.Tag tag )
49    {
50       Element root = getDefaultRootElement();
51       return getElementByTag( root, tag );
52    }
53
54    public Element getElementByTag( Element parent, HTML.Tag tag )
55    {
56       if( parent == null || tag == null )
57          return null;
58
59       for( int i = 0; i < parent.getElementCount(); i++ )
60       {
61          Element child = parent.getElement( i );
62          if( child.getAttributes().getAttribute( StyleConstants.NameAttribute ).equals( tag ) )
63             return child;
64
65          Element e = getElementByTag( child, tag );
66          if( e != null )
67             return e;
68       }
69       return null;
70    }
71
72    public String JavaDoc getTitle()
73    {
74       return ( String JavaDoc ) getProperty( Document.TitleProperty );
75    }
76
77    public void addAttributes( Element e, AttributeSet attributes )
78    {
79       if( e == null || attributes == null )
80          return;
81
82       try
83       {
84          writeLock();
85          MutableAttributeSet mattr = ( MutableAttributeSet ) e.getAttributes();
86          mattr.addAttributes( attributes );
87
88          fireChangedUpdate( new DefaultDocumentEvent( 0, getLength(),
89                DocumentEvent.EventType.CHANGE ) );
90       }
91       finally
92       {
93          writeUnlock();
94       }
95    }
96 }
97
Popular Tags