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 |