Class AndroidManifestXmlFile
An Android manifest file, named AndroidManifest.xml
.
Import path
import semmle.code.xml.AndroidManifest
Direct supertypes
Indirect supertypes
Predicates
definesAndroidApplication | Holds if this file defines at least one activity, service or contest provider, and so it corresponds to an android application rather than a library. |
getManifestElement | Gets the top-level |
isInBuildDirectory | Holds if this Android manifest file is located in a build directory. |
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 |
getAChildContainer | Gets a file or sub-folder in this container. | from Container |
getAComment | Gets a comment that is a child of this XML parent. | from XmlParentImpl |
getADtd | Gets a DTD associated with this XML file. | from XmlFileImpl |
getAFile | Gets a file in this container. | from Container |
getAFolder | Gets a sub-folder in this container. | from Container |
getAPrimaryQlClass | Gets the name of a primary CodeQL class to which this element belongs. | from File |
getARootElement | Gets a top-most element in an XML file. | from XmlFileImpl |
getAbsolutePath | Gets the absolute, canonical path of this container, using forward slashes as path separator. | from Container |
getBaseName | Gets the base name of this container including extension, that is, the last segment of its absolute path, or the empty string if it has no segments. | from Container |
getChild | Gets the child element at a specified index of this XML parent. | from XmlParentImpl |
getDepth | Gets the depth in the tree. (Overridden in XmlElement.) | from XmlParentImpl |
getEncoding | Gets the encoding of this XML file. | from XmlFileImpl |
getExtension | Gets the extension of this container, that is, the suffix of its base name after the last dot character, if any. | from Container |
getFile | Gets the file in this container that has the given | from Container |
getFile | Gets the XML file itself. | from XmlFileImpl |
getFolder | Gets the sub-folder in this container that has the given | from Container |
getLocation | Gets the source location for this element. | from Top |
getName | Gets the name of this XML file. | from XmlFileImpl |
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 |
getNumberOfCommentLines | Gets the number of comment lines that this element ranges over. | from Top |
getNumberOfLinesOfCode | Gets the number of lines of code that this element ranges over. | from Top |
getParentContainer | Gets the parent container of this file or folder, if any. | from Container |
getPrimaryQlClasses | Gets a comma-separated list of the names of the primary CodeQL classes to which this element belongs. | from Top |
getRelativePath | Gets the relative path of this file or folder from the root folder of the analyzed source location. The relative path of the root folder itself is the empty string. | from Container |
getStem | Gets the stem of this container, that is, the prefix of its base name up to (but not including) the last dot character if there is one, or the entire base name if there is not. | from Container |
getTextValue | Gets the text value contained in this XML parent. | from XmlParentImpl |
getTotalNumberOfLines | Gets the total number of lines that this element ranges over, including lines of code, comment and whitespace-only lines. | from Top |
getURL | Gets the URL of this file. | from File |
hasLocationInfo | Holds if this element is at the specified location. The location spans column | from Top |
isJavaSourceFile | Holds if this is a Java source file. | from File |
isKotlinSourceFile | Holds if this is a Kotlin source file. | from File |
isSourceFile | Holds if this is a (Java or Kotlin) source file. | from File |
toString | from XmlFileImpl |