An <activity-alias> element in an Android manifest file.
Import path
import semmle.code.xml.AndroidManifestDirect supertypes
Predicates
| getResolvedTargetActivityName | Get and resolve the name of the target activity from the |
| getTarget | Gets the |
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 |