public class XmlDocument extends Object
See the package summary for a brief description of how to use this class.
Constructor and Description |
---|
XmlDocument()
Create an XML document with no idea of where it exists.
|
XmlDocument(File file)
Create an XML document located in the given file.
|
XmlDocument(URL url)
Create an XML document with the given URL.
|
XmlDocument(URL url,
String dtdPublicID)
Create an XML document with the given URL and the DTD system ID.
|
Modifier and Type | Method and Description |
---|---|
String |
getDTD()
Get the DTD of this document.
|
String |
getDTDPublicID()
Get the public ID of the DTD of this document.
|
String |
getDTDSystemID()
Get the system ID of the DTD of this document.
|
File |
getFile()
Get the file corresponding to this document.
|
XmlElement |
getRoot()
Get the root element of this document.
|
URL |
getURL()
Get the URL of this document.
|
void |
setDocType(String dt)
Set the type of this document.
|
void |
setDTD(String dtd)
Set the DTD of this document.
|
void |
setDTDPublicID(String id)
Set the DTD of this document by its public ID.
|
void |
setDTDSystemID(String id)
Set the DTD of this document by its public ID.
|
void |
setFile(File file)
Set the file that this document corresponds to.
|
void |
setRoot(XmlElement root)
Set the root element of this document.
|
void |
setURL(URL url)
Set the URL of this document.
|
public XmlDocument()
public XmlDocument(URL url)
public XmlDocument(File file)
public String getDTD()
public String getDTDPublicID()
public String getDTDSystemID()
public URL getURL()
public File getFile()
public XmlElement getRoot()
public void setDTD(String dtd)
public void setDocType(String dt)
public void setDTDPublicID(String id)
public void setDTDSystemID(String id)
public void setRoot(XmlElement root)
public void setFile(File file)
public void setURL(URL url)
Copyright © 2024 Central Laboratory of the Research Councils. All Rights Reserved.