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, setSystem
public void write(java.io.PrintWriter out) throws java.io.IOException
write
in interface DTDOutput
write
in class DTDExternalID
java.io.IOException
public boolean equals(java.lang.Object ob)
equals
in class DTDExternalID
public void setPub(java.lang.String aPub)
public java.lang.String getPub()
Copyright (c) 2001 Mark Wutka.