CodeQL library for Java/Kotlin
codeql/java-all 0.10.0 (changelog, source)
Search

Class WebErrorPageType

An <exception-type> element in a web.xml file, nested under an <error-page> element.

Import path

import semmle.code.xml.WebXML

Direct supertypes

Indirect supertypes

Inherited predicates

allCharactersString

Gets the result of appending all the character sequences of this XML parent from left to right, separated by a space.

from XmlParentImpl
getACharactersSet

Gets a character sequence that is a child of this XML parent.

from XmlParentImpl
getAChild

Gets a child element of this XML parent.

from XmlParentImpl
getAChild

Gets a child element of this XML parent with the given name.

from XmlParentImpl
getAComment

Gets a comment that is a child of this XML parent.

from XmlParentImpl
getAnAttribute

Gets an XML attribute of this XML element.

from XmlElementImpl
getAttribute

Gets the attribute with the specified name, if any.

from XmlElementImpl
getAttributeValue

Gets the value of the attribute with the specified name, if any.

from XmlElementImpl
getChild

Gets the child element at a specified index of this XML parent.

from XmlParentImpl
getDepth

Gets the depth of this element within the XML file tree structure.

from XmlElementImpl
getElementPositionIndex

Gets the index of this XML element among its parent’s children.

from XmlElementImpl
getFile

Gets the XML file in which this XML element occurs.

from XmlElementImpl
getIndex

Gets the index of this XML element among its parent’s children.

from XmlElementImpl
getLocation

Gets the location of this element.

from XmlLocatableImpl
getName

Gets the name of this XML element.

from XmlElementImpl
getNamespace

Gets the namespace of this XML element, if any.

from XmlElementImpl
getNumberOfCharacterSets

Gets the number of places in the body of this XML parent where text occurs.

from XmlParentImpl
getNumberOfChildren

Gets the number of child XML elements of this XML parent.

from XmlParentImpl
getParent

Gets the parent of this XML element.

from XmlElementImpl
getTextValue

Gets the text value contained in this XML parent.

from XmlParentImpl
getValue

Gets the value for this element, with leading and trailing whitespace trimmed.

from WebXmlElement
hasAttribute

Holds if this XML element has an attribute with the specified name.

from XmlElementImpl
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
hasName

Holds if this XML element has the given name.

from XmlElementImpl
hasNamespace

Holds if this XML element has a namespace.

from XmlElementImpl
toString

Gets a printable representation of this XML element.

from XmlElementImpl

Charpred