Class Make::XmlDtd

An XML document type definition (DTD).

Example:

<!ELEMENT person (firstName, lastName?)>
<!ELEMENT firstName (#PCDATA)>
<!ELEMENT lastName (#PCDATA)>

Import path

import codeql.xml.Xml

getParent	Gets the parent of this DTD.
getPublicId	Gets the public ID of this DTD.
getRoot	Gets the name of the root element of this DTD.
getSystemId	Gets the system ID of this DTD.
isPublic	Holds if this DTD is public.
toString	Gets a textual representation of this element.

getLocation	Gets the location of this element.	from XmlLocatableImpl
hasLocationInfo	Holds if this element is at the specified location. The location spans column `startcolumn` of line `startline` to column `endcolumn` of line `endline` in file `filepath`. For more information, see Locations.	from XmlLocatableImpl