The <path-permission> element of a <provider> in an Android manifest file.
Import path
import semmle.code.xml.AndroidManifestDirect 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 |
| 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 | from XMLParent |
| getAComment | Gets a comment that is a child of this XML parent. | from XMLParent |
| getALocation | DEPRECATED: Use | from XMLLocatable |
| 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 |