Fred Drake | 295da24 | 1998-08-10 19:42:37 +0000 | [diff] [blame] | 1 | \section{\module{sgmllib} --- |
Fred Drake | 4e28c59 | 1999-04-22 18:25:47 +0000 | [diff] [blame] | 2 | Simple SGML parser} |
Fred Drake | b91e934 | 1998-07-23 17:59:49 +0000 | [diff] [blame] | 3 | |
Fred Drake | 4e28c59 | 1999-04-22 18:25:47 +0000 | [diff] [blame] | 4 | \declaremodule{standard}{sgmllib} |
Fred Drake | b91e934 | 1998-07-23 17:59:49 +0000 | [diff] [blame] | 5 | \modulesynopsis{Only as much of an SGML parser as needed to parse HTML.} |
| 6 | |
Guido van Rossum | 8675115 | 1995-02-28 17:14:32 +0000 | [diff] [blame] | 7 | \index{SGML} |
| 8 | |
Fred Drake | 2dde74c | 1998-03-12 14:42:23 +0000 | [diff] [blame] | 9 | This module defines a class \class{SGMLParser} which serves as the |
Guido van Rossum | 8675115 | 1995-02-28 17:14:32 +0000 | [diff] [blame] | 10 | basis for parsing text files formatted in SGML (Standard Generalized |
| 11 | Mark-up Language). In fact, it does not provide a full SGML parser |
Fred Drake | 8f92595 | 1996-10-09 16:13:22 +0000 | [diff] [blame] | 12 | --- it only parses SGML insofar as it is used by HTML, and the module |
Fred Drake | 4e28c59 | 1999-04-22 18:25:47 +0000 | [diff] [blame] | 13 | only exists as a base for the \refmodule{htmllib}\refstmodindex{htmllib} |
Fred Drake | 2dde74c | 1998-03-12 14:42:23 +0000 | [diff] [blame] | 14 | module. |
Guido van Rossum | 8675115 | 1995-02-28 17:14:32 +0000 | [diff] [blame] | 15 | |
Fred Drake | 2dde74c | 1998-03-12 14:42:23 +0000 | [diff] [blame] | 16 | |
| 17 | \begin{classdesc}{SGMLParser}{} |
| 18 | The \class{SGMLParser} class is instantiated without arguments. |
| 19 | The parser is hardcoded to recognize the following |
Fred Drake | 42439ad | 1996-10-08 21:51:49 +0000 | [diff] [blame] | 20 | constructs: |
Guido van Rossum | 8675115 | 1995-02-28 17:14:32 +0000 | [diff] [blame] | 21 | |
| 22 | \begin{itemize} |
Guido van Rossum | 8675115 | 1995-02-28 17:14:32 +0000 | [diff] [blame] | 23 | \item |
| 24 | Opening and closing tags of the form |
Fred Drake | b441eb8 | 1998-02-13 14:37:12 +0000 | [diff] [blame] | 25 | \samp{<\var{tag} \var{attr}="\var{value}" ...>} and |
| 26 | \samp{</\var{tag}>}, respectively. |
Guido van Rossum | 8675115 | 1995-02-28 17:14:32 +0000 | [diff] [blame] | 27 | |
| 28 | \item |
Fred Drake | b441eb8 | 1998-02-13 14:37:12 +0000 | [diff] [blame] | 29 | Numeric character references of the form \samp{\&\#\var{name};}. |
Guido van Rossum | 8675115 | 1995-02-28 17:14:32 +0000 | [diff] [blame] | 30 | |
| 31 | \item |
Fred Drake | b441eb8 | 1998-02-13 14:37:12 +0000 | [diff] [blame] | 32 | Entity references of the form \samp{\&\var{name};}. |
Guido van Rossum | 8675115 | 1995-02-28 17:14:32 +0000 | [diff] [blame] | 33 | |
| 34 | \item |
Fred Drake | b441eb8 | 1998-02-13 14:37:12 +0000 | [diff] [blame] | 35 | SGML comments of the form \samp{<!--\var{text}-->}. Note that |
Fred Drake | 42439ad | 1996-10-08 21:51:49 +0000 | [diff] [blame] | 36 | spaces, tabs, and newlines are allowed between the trailing |
Thomas Wouters | f831663 | 2000-07-16 19:01:10 +0000 | [diff] [blame] | 37 | \samp{>} and the immediately preceding \samp{--}. |
Guido van Rossum | 8675115 | 1995-02-28 17:14:32 +0000 | [diff] [blame] | 38 | |
| 39 | \end{itemize} |
Fred Drake | 2dde74c | 1998-03-12 14:42:23 +0000 | [diff] [blame] | 40 | \end{classdesc} |
Guido van Rossum | 8675115 | 1995-02-28 17:14:32 +0000 | [diff] [blame] | 41 | |
Fred Drake | 2dde74c | 1998-03-12 14:42:23 +0000 | [diff] [blame] | 42 | \class{SGMLParser} instances have the following interface methods: |
Guido van Rossum | 8675115 | 1995-02-28 17:14:32 +0000 | [diff] [blame] | 43 | |
Fred Drake | 8f92595 | 1996-10-09 16:13:22 +0000 | [diff] [blame] | 44 | |
Fred Drake | 8fe533e | 1998-03-27 05:27:08 +0000 | [diff] [blame] | 45 | \begin{methoddesc}{reset}{} |
Guido van Rossum | 8675115 | 1995-02-28 17:14:32 +0000 | [diff] [blame] | 46 | Reset the instance. Loses all unprocessed data. This is called |
| 47 | implicitly at instantiation time. |
Fred Drake | 8fe533e | 1998-03-27 05:27:08 +0000 | [diff] [blame] | 48 | \end{methoddesc} |
Guido van Rossum | 8675115 | 1995-02-28 17:14:32 +0000 | [diff] [blame] | 49 | |
Fred Drake | 8fe533e | 1998-03-27 05:27:08 +0000 | [diff] [blame] | 50 | \begin{methoddesc}{setnomoretags}{} |
Guido van Rossum | 8675115 | 1995-02-28 17:14:32 +0000 | [diff] [blame] | 51 | Stop processing tags. Treat all following input as literal input |
Fred Drake | 4e28c59 | 1999-04-22 18:25:47 +0000 | [diff] [blame] | 52 | (CDATA). (This is only provided so the HTML tag |
| 53 | \code{<PLAINTEXT>} can be implemented.) |
Fred Drake | 8fe533e | 1998-03-27 05:27:08 +0000 | [diff] [blame] | 54 | \end{methoddesc} |
Guido van Rossum | 8675115 | 1995-02-28 17:14:32 +0000 | [diff] [blame] | 55 | |
Fred Drake | 8fe533e | 1998-03-27 05:27:08 +0000 | [diff] [blame] | 56 | \begin{methoddesc}{setliteral}{} |
Guido van Rossum | 8675115 | 1995-02-28 17:14:32 +0000 | [diff] [blame] | 57 | Enter literal mode (CDATA mode). |
Fred Drake | 8fe533e | 1998-03-27 05:27:08 +0000 | [diff] [blame] | 58 | \end{methoddesc} |
Guido van Rossum | 8675115 | 1995-02-28 17:14:32 +0000 | [diff] [blame] | 59 | |
Fred Drake | 8fe533e | 1998-03-27 05:27:08 +0000 | [diff] [blame] | 60 | \begin{methoddesc}{feed}{data} |
Guido van Rossum | 8675115 | 1995-02-28 17:14:32 +0000 | [diff] [blame] | 61 | Feed some text to the parser. It is processed insofar as it consists |
| 62 | of complete elements; incomplete data is buffered until more data is |
Fred Drake | 2dde74c | 1998-03-12 14:42:23 +0000 | [diff] [blame] | 63 | fed or \method{close()} is called. |
Fred Drake | 8fe533e | 1998-03-27 05:27:08 +0000 | [diff] [blame] | 64 | \end{methoddesc} |
Guido van Rossum | 8675115 | 1995-02-28 17:14:32 +0000 | [diff] [blame] | 65 | |
Fred Drake | 8fe533e | 1998-03-27 05:27:08 +0000 | [diff] [blame] | 66 | \begin{methoddesc}{close}{} |
Guido van Rossum | 8675115 | 1995-02-28 17:14:32 +0000 | [diff] [blame] | 67 | Force processing of all buffered data as if it were followed by an |
| 68 | end-of-file mark. This method may be redefined by a derived class to |
| 69 | define additional processing at the end of the input, but the |
Fred Drake | 2dde74c | 1998-03-12 14:42:23 +0000 | [diff] [blame] | 70 | redefined version should always call \method{close()}. |
Fred Drake | 8fe533e | 1998-03-27 05:27:08 +0000 | [diff] [blame] | 71 | \end{methoddesc} |
Guido van Rossum | 8675115 | 1995-02-28 17:14:32 +0000 | [diff] [blame] | 72 | |
Fred Drake | 25e7cee | 2000-07-03 14:32:04 +0000 | [diff] [blame] | 73 | \begin{methoddesc}{get_starttag_text}{} |
| 74 | Return the text of the most recently opened start tag. This should |
| 75 | not normally be needed for structured processing, but may be useful in |
| 76 | dealing with HTML ``as deployed'' or for re-generating input with |
| 77 | minimal changes (whitespace between attributes can be preserved, |
| 78 | etc.). |
| 79 | \end{methoddesc} |
| 80 | |
Fred Drake | 8fe533e | 1998-03-27 05:27:08 +0000 | [diff] [blame] | 81 | \begin{methoddesc}{handle_starttag}{tag, method, attributes} |
Fred Drake | 42439ad | 1996-10-08 21:51:49 +0000 | [diff] [blame] | 82 | This method is called to handle start tags for which either a |
Fred Drake | 4e28c59 | 1999-04-22 18:25:47 +0000 | [diff] [blame] | 83 | \method{start_\var{tag}()} or \method{do_\var{tag}()} method has been |
Fred Drake | 2dde74c | 1998-03-12 14:42:23 +0000 | [diff] [blame] | 84 | defined. The \var{tag} argument is the name of the tag converted to |
| 85 | lower case, and the \var{method} argument is the bound method which |
Fred Drake | 42439ad | 1996-10-08 21:51:49 +0000 | [diff] [blame] | 86 | should be used to support semantic interpretation of the start tag. |
Fred Drake | 4e28c59 | 1999-04-22 18:25:47 +0000 | [diff] [blame] | 87 | The \var{attributes} argument is a list of \code{(\var{name}, |
| 88 | \var{value})} pairs containing the attributes found inside the tag's |
| 89 | \code{<>} brackets. The \var{name} has been translated to lower case |
| 90 | and double quotes and backslashes in the \var{value} have been interpreted. |
| 91 | For instance, for the tag \code{<A HREF="http://www.cwi.nl/">}, this |
Fred Drake | 2dde74c | 1998-03-12 14:42:23 +0000 | [diff] [blame] | 92 | method would be called as \samp{unknown_starttag('a', [('href', |
Fred Drake | 42439ad | 1996-10-08 21:51:49 +0000 | [diff] [blame] | 93 | 'http://www.cwi.nl/')])}. The base implementation simply calls |
Fred Drake | 2dde74c | 1998-03-12 14:42:23 +0000 | [diff] [blame] | 94 | \var{method} with \var{attributes} as the only argument. |
Fred Drake | 8fe533e | 1998-03-27 05:27:08 +0000 | [diff] [blame] | 95 | \end{methoddesc} |
Guido van Rossum | 8675115 | 1995-02-28 17:14:32 +0000 | [diff] [blame] | 96 | |
Fred Drake | 8fe533e | 1998-03-27 05:27:08 +0000 | [diff] [blame] | 97 | \begin{methoddesc}{handle_endtag}{tag, method} |
Fred Drake | 42439ad | 1996-10-08 21:51:49 +0000 | [diff] [blame] | 98 | This method is called to handle endtags for which an |
Fred Drake | 4e28c59 | 1999-04-22 18:25:47 +0000 | [diff] [blame] | 99 | \method{end_\var{tag}()} method has been defined. The |
| 100 | \var{tag} argument is the name of the tag converted to lower case, and |
| 101 | the \var{method} argument is the bound method which should be used to |
Fred Drake | 42439ad | 1996-10-08 21:51:49 +0000 | [diff] [blame] | 102 | support semantic interpretation of the end tag. If no |
Fred Drake | 4e28c59 | 1999-04-22 18:25:47 +0000 | [diff] [blame] | 103 | \method{end_\var{tag}()} method is defined for the closing element, |
Fred Drake | 2dde74c | 1998-03-12 14:42:23 +0000 | [diff] [blame] | 104 | this handler is not called. The base implementation simply calls |
| 105 | \var{method}. |
Fred Drake | 8fe533e | 1998-03-27 05:27:08 +0000 | [diff] [blame] | 106 | \end{methoddesc} |
Guido van Rossum | 8675115 | 1995-02-28 17:14:32 +0000 | [diff] [blame] | 107 | |
Fred Drake | 8fe533e | 1998-03-27 05:27:08 +0000 | [diff] [blame] | 108 | \begin{methoddesc}{handle_data}{data} |
Guido van Rossum | 8675115 | 1995-02-28 17:14:32 +0000 | [diff] [blame] | 109 | This method is called to process arbitrary data. It is intended to be |
| 110 | overridden by a derived class; the base class implementation does |
| 111 | nothing. |
Fred Drake | 8fe533e | 1998-03-27 05:27:08 +0000 | [diff] [blame] | 112 | \end{methoddesc} |
Guido van Rossum | 8675115 | 1995-02-28 17:14:32 +0000 | [diff] [blame] | 113 | |
Fred Drake | 8fe533e | 1998-03-27 05:27:08 +0000 | [diff] [blame] | 114 | \begin{methoddesc}{handle_charref}{ref} |
Fred Drake | 42439ad | 1996-10-08 21:51:49 +0000 | [diff] [blame] | 115 | This method is called to process a character reference of the form |
Fred Drake | b441eb8 | 1998-02-13 14:37:12 +0000 | [diff] [blame] | 116 | \samp{\&\#\var{ref};}. In the base implementation, \var{ref} must |
Fred Drake | 42439ad | 1996-10-08 21:51:49 +0000 | [diff] [blame] | 117 | be a decimal number in the |
| 118 | range 0-255. It translates the character to \ASCII{} and calls the |
Fred Drake | 2dde74c | 1998-03-12 14:42:23 +0000 | [diff] [blame] | 119 | method \method{handle_data()} with the character as argument. If |
Fred Drake | 42439ad | 1996-10-08 21:51:49 +0000 | [diff] [blame] | 120 | \var{ref} is invalid or out of range, the method |
| 121 | \code{unknown_charref(\var{ref})} is called to handle the error. A |
| 122 | subclass must override this method to provide support for named |
| 123 | character entities. |
Fred Drake | 8fe533e | 1998-03-27 05:27:08 +0000 | [diff] [blame] | 124 | \end{methoddesc} |
Fred Drake | 42439ad | 1996-10-08 21:51:49 +0000 | [diff] [blame] | 125 | |
Fred Drake | 8fe533e | 1998-03-27 05:27:08 +0000 | [diff] [blame] | 126 | \begin{methoddesc}{handle_entityref}{ref} |
Fred Drake | 2dde74c | 1998-03-12 14:42:23 +0000 | [diff] [blame] | 127 | This method is called to process a general entity reference of the |
| 128 | form \samp{\&\var{ref};} where \var{ref} is an general entity |
Fred Drake | 42439ad | 1996-10-08 21:51:49 +0000 | [diff] [blame] | 129 | reference. It looks for \var{ref} in the instance (or class) |
Fred Drake | 2dde74c | 1998-03-12 14:42:23 +0000 | [diff] [blame] | 130 | variable \member{entitydefs} which should be a mapping from entity |
Fred Drake | 4e28c59 | 1999-04-22 18:25:47 +0000 | [diff] [blame] | 131 | names to corresponding translations. If a translation is found, it |
| 132 | calls the method \method{handle_data()} with the translation; |
| 133 | otherwise, it calls the method \code{unknown_entityref(\var{ref})}. |
| 134 | The default \member{entitydefs} defines translations for |
| 135 | \code{\&}, \code{\&apos}, \code{\>}, \code{\<}, and |
| 136 | \code{\"}. |
Fred Drake | 8fe533e | 1998-03-27 05:27:08 +0000 | [diff] [blame] | 137 | \end{methoddesc} |
Fred Drake | 42439ad | 1996-10-08 21:51:49 +0000 | [diff] [blame] | 138 | |
Fred Drake | 8fe533e | 1998-03-27 05:27:08 +0000 | [diff] [blame] | 139 | \begin{methoddesc}{handle_comment}{comment} |
Fred Drake | 42439ad | 1996-10-08 21:51:49 +0000 | [diff] [blame] | 140 | This method is called when a comment is encountered. The |
Fred Drake | 2dde74c | 1998-03-12 14:42:23 +0000 | [diff] [blame] | 141 | \var{comment} argument is a string containing the text between the |
Fred Drake | b441eb8 | 1998-02-13 14:37:12 +0000 | [diff] [blame] | 142 | \samp{<!--} and \samp{-->} delimiters, but not the delimiters |
| 143 | themselves. For example, the comment \samp{<!--text-->} will |
Fred Drake | 42439ad | 1996-10-08 21:51:49 +0000 | [diff] [blame] | 144 | cause this method to be called with the argument \code{'text'}. The |
| 145 | default method does nothing. |
Fred Drake | 8fe533e | 1998-03-27 05:27:08 +0000 | [diff] [blame] | 146 | \end{methoddesc} |
Fred Drake | 42439ad | 1996-10-08 21:51:49 +0000 | [diff] [blame] | 147 | |
Fred Drake | 8fe533e | 1998-03-27 05:27:08 +0000 | [diff] [blame] | 148 | \begin{methoddesc}{report_unbalanced}{tag} |
Fred Drake | 42439ad | 1996-10-08 21:51:49 +0000 | [diff] [blame] | 149 | This method is called when an end tag is found which does not |
| 150 | correspond to any open element. |
Fred Drake | 8fe533e | 1998-03-27 05:27:08 +0000 | [diff] [blame] | 151 | \end{methoddesc} |
Fred Drake | 42439ad | 1996-10-08 21:51:49 +0000 | [diff] [blame] | 152 | |
Fred Drake | 8fe533e | 1998-03-27 05:27:08 +0000 | [diff] [blame] | 153 | \begin{methoddesc}{unknown_starttag}{tag, attributes} |
Guido van Rossum | 8675115 | 1995-02-28 17:14:32 +0000 | [diff] [blame] | 154 | This method is called to process an unknown start tag. It is intended |
| 155 | to be overridden by a derived class; the base class implementation |
Fred Drake | 42439ad | 1996-10-08 21:51:49 +0000 | [diff] [blame] | 156 | does nothing. |
Fred Drake | 8fe533e | 1998-03-27 05:27:08 +0000 | [diff] [blame] | 157 | \end{methoddesc} |
Guido van Rossum | 8675115 | 1995-02-28 17:14:32 +0000 | [diff] [blame] | 158 | |
Fred Drake | 8fe533e | 1998-03-27 05:27:08 +0000 | [diff] [blame] | 159 | \begin{methoddesc}{unknown_endtag}{tag} |
Guido van Rossum | 8675115 | 1995-02-28 17:14:32 +0000 | [diff] [blame] | 160 | This method is called to process an unknown end tag. It is intended |
| 161 | to be overridden by a derived class; the base class implementation |
| 162 | does nothing. |
Fred Drake | 8fe533e | 1998-03-27 05:27:08 +0000 | [diff] [blame] | 163 | \end{methoddesc} |
Guido van Rossum | 8675115 | 1995-02-28 17:14:32 +0000 | [diff] [blame] | 164 | |
Fred Drake | 8fe533e | 1998-03-27 05:27:08 +0000 | [diff] [blame] | 165 | \begin{methoddesc}{unknown_charref}{ref} |
Fred Drake | 42439ad | 1996-10-08 21:51:49 +0000 | [diff] [blame] | 166 | This method is called to process unresolvable numeric character |
Fred Drake | 2dde74c | 1998-03-12 14:42:23 +0000 | [diff] [blame] | 167 | references. Refer to \method{handle_charref()} to determine what is |
| 168 | handled by default. It is intended to be overridden by a derived |
| 169 | class; the base class implementation does nothing. |
Fred Drake | 8fe533e | 1998-03-27 05:27:08 +0000 | [diff] [blame] | 170 | \end{methoddesc} |
Guido van Rossum | 8675115 | 1995-02-28 17:14:32 +0000 | [diff] [blame] | 171 | |
Fred Drake | 8fe533e | 1998-03-27 05:27:08 +0000 | [diff] [blame] | 172 | \begin{methoddesc}{unknown_entityref}{ref} |
Guido van Rossum | 8675115 | 1995-02-28 17:14:32 +0000 | [diff] [blame] | 173 | This method is called to process an unknown entity reference. It is |
| 174 | intended to be overridden by a derived class; the base class |
| 175 | implementation does nothing. |
Fred Drake | 8fe533e | 1998-03-27 05:27:08 +0000 | [diff] [blame] | 176 | \end{methoddesc} |
Guido van Rossum | 8675115 | 1995-02-28 17:14:32 +0000 | [diff] [blame] | 177 | |
| 178 | Apart from overriding or extending the methods listed above, derived |
| 179 | classes may also define methods of the following form to define |
| 180 | processing of specific tags. Tag names in the input stream are case |
| 181 | independent; the \var{tag} occurring in method names must be in lower |
| 182 | case: |
| 183 | |
Fred Drake | 8fe533e | 1998-03-27 05:27:08 +0000 | [diff] [blame] | 184 | \begin{methoddescni}{start_\var{tag}}{attributes} |
Guido van Rossum | 8675115 | 1995-02-28 17:14:32 +0000 | [diff] [blame] | 185 | This method is called to process an opening tag \var{tag}. It has |
Fred Drake | 4e28c59 | 1999-04-22 18:25:47 +0000 | [diff] [blame] | 186 | preference over \method{do_\var{tag}()}. The |
| 187 | \var{attributes} argument has the same meaning as described for |
Fred Drake | 2dde74c | 1998-03-12 14:42:23 +0000 | [diff] [blame] | 188 | \method{handle_starttag()} above. |
Fred Drake | 8fe533e | 1998-03-27 05:27:08 +0000 | [diff] [blame] | 189 | \end{methoddescni} |
Guido van Rossum | 8675115 | 1995-02-28 17:14:32 +0000 | [diff] [blame] | 190 | |
Fred Drake | 8fe533e | 1998-03-27 05:27:08 +0000 | [diff] [blame] | 191 | \begin{methoddescni}{do_\var{tag}}{attributes} |
Guido van Rossum | 8675115 | 1995-02-28 17:14:32 +0000 | [diff] [blame] | 192 | This method is called to process an opening tag \var{tag} that does |
| 193 | not come with a matching closing tag. The \var{attributes} argument |
Fred Drake | 2dde74c | 1998-03-12 14:42:23 +0000 | [diff] [blame] | 194 | has the same meaning as described for \method{handle_starttag()} above. |
Fred Drake | 8fe533e | 1998-03-27 05:27:08 +0000 | [diff] [blame] | 195 | \end{methoddescni} |
Guido van Rossum | 8675115 | 1995-02-28 17:14:32 +0000 | [diff] [blame] | 196 | |
Fred Drake | 8fe533e | 1998-03-27 05:27:08 +0000 | [diff] [blame] | 197 | \begin{methoddescni}{end_\var{tag}}{} |
Guido van Rossum | 8675115 | 1995-02-28 17:14:32 +0000 | [diff] [blame] | 198 | This method is called to process a closing tag \var{tag}. |
Fred Drake | 8fe533e | 1998-03-27 05:27:08 +0000 | [diff] [blame] | 199 | \end{methoddescni} |
Guido van Rossum | 8675115 | 1995-02-28 17:14:32 +0000 | [diff] [blame] | 200 | |
Fred Drake | 42439ad | 1996-10-08 21:51:49 +0000 | [diff] [blame] | 201 | Note that the parser maintains a stack of open elements for which no |
| 202 | end tag has been found yet. Only tags processed by |
Fred Drake | 4e28c59 | 1999-04-22 18:25:47 +0000 | [diff] [blame] | 203 | \method{start_\var{tag}()} are pushed on this stack. Definition of an |
| 204 | \method{end_\var{tag}()} method is optional for these tags. For tags |
| 205 | processed by \method{do_\var{tag}()} or by \method{unknown_tag()}, no |
| 206 | \method{end_\var{tag}()} method must be defined; if defined, it will |
| 207 | not be used. If both \method{start_\var{tag}()} and |
| 208 | \method{do_\var{tag}()} methods exist for a tag, the |
| 209 | \method{start_\var{tag}()} method takes precedence. |