KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > htmlparser > tags > HeadTag


1 // HTMLParser Library $Name: v1_5_20050313 $ - A java-based parser for HTML
2 // http://sourceforge.org/projects/htmlparser
3 // Copyright (C) 2004 Dhaval Udani
4 //
5 // Revision Control Information
6 //
7 // $Source: /cvsroot/htmlparser/htmlparser/src/org/htmlparser/tags/HeadTag.java,v $
8 // $Author: derrickoswald $
9 // $Date: 2004/01/02 16:24:54 $
10 // $Revision: 1.21 $
11 //
12 // This library is free software; you can redistribute it and/or
13 // modify it under the terms of the GNU Lesser General Public
14 // License as published by the Free Software Foundation; either
15 // version 2.1 of the License, or (at your option) any later version.
16 //
17 // This library is distributed in the hope that it will be useful,
18 // but WITHOUT ANY WARRANTY; without even the implied warranty of
19 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
20 // Lesser General Public License for more details.
21 //
22 // You should have received a copy of the GNU Lesser General Public
23 // License along with this library; if not, write to the Free Software
24 // Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
25 //
26
27 package org.htmlparser.tags;
28
29 /**
30  * A head tag.
31  */
32 public class HeadTag extends CompositeTag
33 {
34     /**
35      * The set of names handled by this tag.
36      */
37     private static final String JavaDoc[] mIds = new String JavaDoc[] {"HEAD"};
38
39     /**
40      * The set of tag names that indicate the end of this tag.
41      */
42     private static final String JavaDoc[] mEnders = new String JavaDoc[] {"HEAD", "BODY"};
43
44     /**
45      * The set of end tag names that indicate the end of this tag.
46      */
47     private static final String JavaDoc[] mEndTagEnders = new String JavaDoc[] {"HTML"};
48
49     /**
50      * Create a new head tag.
51      */
52     public HeadTag ()
53     {
54     }
55
56     /**
57      * Return the set of names handled by this tag.
58      * @return The names to be matched that create tags of this type.
59      */
60     public String JavaDoc[] getIds ()
61     {
62         return (mIds);
63     }
64
65     /**
66      * Return the set of tag names that cause this tag to finish.
67      * @return The names of following tags that stop further scanning.
68      */
69     public String JavaDoc[] getEnders ()
70     {
71         return (mEnders);
72     }
73
74     /**
75      * Return the set of end tag names that cause this tag to finish.
76      * @return The names of following end tags that stop further scanning.
77      */
78     public String JavaDoc[] getEndTagEnders ()
79     {
80         return (mEndTagEnders);
81     }
82
83     public String JavaDoc toString()
84     {
85         return "HEAD: " + super.toString();
86     }
87 }
88
Popular Tags