CodeQL library for Java/Kotlin
codeql/java-all 4.2.1-dev (changelog, source)
Search

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 <manifest> element in this Android manifest file.

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 name.

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 baseName, if any.

from Container
getFile

Gets the XML file itself.

from XmlFileImpl
getFolder

Gets the sub-folder in this container that has the given baseName, if any.

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 startcolumn of line startline to column endcolumn of line endline in file filepath. For more information, see Locations.

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
toStringfrom XmlFileImpl

Charpred