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

Class AndroidReceiverXmlElement

A <receiver> element in an Android manifest file.

Import path

import semmle.code.xml.AndroidManifest

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
getAnIntentFilterElement

Gets an <intent-filter> child element of this component element.

from AndroidComponentXmlElement
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
getComponentName

Gets the value of the android:name attribute of this component element.

from AndroidComponentXmlElement
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
getExportedAttributeValue

Gets the value of the android:exported attribute of this component element.

from AndroidComponentXmlElement
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
getResolvedComponentName

Gets the resolved value of the android:name attribute of this component element.

from AndroidComponentXmlElement
getResolvedIdentifier

Gets the value of an identifier attribute, and tries to resolve it into a fully qualified identifier.

from AndroidComponentXmlElement
getTextValue

Gets the text value contained in this XML parent.

from XmlParentImpl
hasAnIntentFilterElement

Holds if this component element has an <intent-filter> child element.

from AndroidComponentXmlElement
hasAttribute

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

from XmlElementImpl
hasExportedAttribute

Holds if this component element has an android:exported attribute.

from AndroidComponentXmlElement
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
isExported

Holds if the android:exported attribute of this component element is true.

from AndroidComponentXmlElement
isNotExported

Holds if the android:exported attribute of this component element is explicitly set to false.

from AndroidComponentXmlElement
requiresPermissions

Holds if this component element has explicitly set a value for its android:permission attribute.

from AndroidComponentXmlElement
toString

Gets a printable representation of this XML element.

from XmlElementImpl

Charpred