An <activity>
element in an Android manifest file.
Import path
import semmle.code.xml.AndroidManifest
Direct supertypes
Predicates
getAnAlias | Gets an |
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 | 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 | from AndroidComponentXmlElement |
getAttribute | Gets the attribute with the specified | from XmlElementImpl |
getAttributeValue | Gets the value of the attribute with the specified | from XmlElementImpl |
getChild | Gets the child element at a specified index of this XML parent. | from XmlParentImpl |
getComponentName | Gets the value of the | 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 | 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 | 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 | from AndroidComponentXmlElement |
hasAttribute | Holds if this XML element has an attribute with the specified | from XmlElementImpl |
hasExportedAttribute | Holds if this component element has an | from AndroidComponentXmlElement |
hasLocationInfo | Holds if this element is at the specified location. The location spans column | from XmlLocatableImpl |
hasName | Holds if this XML element has the given | from XmlElementImpl |
hasNamespace | Holds if this XML element has a namespace. | from XmlElementImpl |
isExported | Holds if the | from AndroidComponentXmlElement |
isNotExported | Holds if the | from AndroidComponentXmlElement |
requiresPermissions | Holds if this component element has explicitly set a value for its | from AndroidComponentXmlElement |
toString | Gets a printable representation of this XML element. | from XmlElementImpl |