The <path-permission> element of a <provider> 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 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 |
from XmlParent |
| getAComment |
Gets a comment that is a child of this XML parent. |
from XmlParent |
| getAnAttribute |
Gets an XML attribute of this XML element. |
from XmlElement |
| getAttribute |
Gets the attribute with the specified |
from XmlElement |
| getAttributeValue |
Gets the value of the attribute with the specified |
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 |
| hasAttribute |
Holds if this XML element has an attribute with the specified |
from XmlElement |
| hasLocationInfo |
Holds if this element is at the specified location. The location spans column |
from XmlLocatable |
| hasName |
Holds if this XML element has the given |
from XmlElement |
| hasNamespace |
Holds if this XML element has a namespace. |
from XmlElement |
| toString |
Gets a printable representation of this XML element. |
from XmlElement |