Class AndroidReceiverXmlElement

A <receiver> element in an Android manifest file.

Import path

import semmle.code.xml.AndroidManifest

Direct supertypes

AndroidComponentXmlElement

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

AndroidReceiverXmlElement