CodeQL library for Java
Search

Class WebServletClass

A <servlet-class> element in a web.xml file, nested under a <servlet> element.

Import path

import semmle.code.xml.WebXML

Direct supertypes

Indirect supertypes

Known direct subtypes

    Predicates

    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 XMLParent
    charsSetUpTo

    DEPRECATED: Internal.

    from XMLParent
    getACharactersSet

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

    from XMLParent
    getAChild

    Gets a child element of this XML parent.

    from XMLParent
    getAChild

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

    from XMLParent
    getAComment

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

    from XMLParent
    getALocation

    DEPRECATED: Use getLocation() instead.

    from XMLLocatable
    getAnAttribute

    Gets an XML attribute of this XML element.

    from XMLElement
    getAttribute

    Gets the attribute with the specified name, if any.

    from XMLElement
    getAttributeValue

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

    from XMLElement
    getChild

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

    from XMLParent
    getDepth

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

    from XMLElement
    getElementPositionIndex

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

    from XMLElement
    getFile

    Gets the XML file in which this XML element occurs.

    from XMLElement
    getIndex

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

    from XMLElement
    getLocation

    Gets the source location for this element.

    from XMLLocatable
    getName

    Gets the name of this XML element.

    from XMLElement
    getNamespace

    Gets the namespace of this XML element, if any.

    from XMLElement
    getNumberOfCharacterSets

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

    from XMLParent
    getNumberOfChildren

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

    from XMLParent
    getParent

    Gets the parent of this XML element.

    from XMLElement
    getTextValue

    Gets the text value contained in this XML parent.

    from XMLParent
    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 XMLElement
    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 XMLLocatable
    hasName

    Holds if this XML element has the given name.

    from XMLElement
    hasNamespace

    Holds if this XML element has a namespace.

    from XMLElement
    toString

    Gets a printable representation of this XML element.

    from XMLElement

    Charpred