| org.netbeans.editor.ext.html.dtd.ReaderProvider
| ReaderProvider | | public interface ReaderProvider (Code) | | DTDReaderProvider is interface used as a source of Readers used to parse DTD
by DTDParser. One DTDReaderProvider shall offer all Readers for a given DTD,
i.e. the provider for "-//W3C//DTD HTML 4.01//EN" shall also provide Readers
for proper "-//W3C//ENTITIES Latin1//EN/HTML", as this public entity is
referred from HTML 4.01 DTD and the file provided with 4.01 DTD differs from
the file provided with 4.0 DTD although they have the same public identifier
(They differ only in comments, though).
author:
Petr Nejedly
version:
1.0 |
| getIdentifiers | | public Collection getIdentifiers()(Code) | | Asks for all the identifiers available from this ReaderProvider.
|
|
|