com.wutka.dtd
public class DTDPublic extends DTDExternalID
| Modifier and Type | Field and Description |
|---|---|
java.lang.String |
pub |
system| Constructor and Description |
|---|
DTDPublic() |
| Modifier and Type | Method and Description |
|---|---|
boolean |
equals(java.lang.Object ob) |
java.lang.String |
getPub()
Retrieves the public identifier
|
void |
setPub(java.lang.String aPub)
Sets the public identifier
|
void |
write(java.io.PrintWriter out)
Writes out a public external ID declaration
|
getSystem, setSystempublic void write(java.io.PrintWriter out)
throws java.io.IOException
write in interface DTDOutputwrite in class DTDExternalIDjava.io.IOExceptionpublic boolean equals(java.lang.Object ob)
equals in class DTDExternalIDpublic void setPub(java.lang.String aPub)
public java.lang.String getPub()
Copyright (c) 2001 Mark Wutka.