Contents | Package | Class | Tree | Deprecated | Index | Help | XML for Java 1.0.4 | ||
PREV | NEXT | SHOW LISTS | HIDE LISTS |
Method Summary | |
void | closeInputStream(Source source)
|
Source | getInputStream(java.lang.String name,
java.lang.String publicID,
java.lang.String systemID)
|
void | loadCatalog(java.io.Reader reader)
|
Method Detail |
public Source getInputStream(java.lang.String name, java.lang.String publicID, java.lang.String systemID) throws java.io.IOException
name
- The name to be associated with the input stream. For example,
this name could be the public ID of an external ID, or a local filename.
publicID
- Entity's public ID (see ExternalID for details).
systemID
- Entity's system ID (see ExternalID for details).
public void closeInputStream(Source source)
source
- Source of the input stream to be closed.
public void loadCatalog(java.io.Reader reader) throws java.io.IOException
reader
- Character input stream reader.
Contents | Package | Class | Tree | Deprecated | Index | Help | |||
PREV | NEXT | SHOW LISTS | HIDE LISTS |