Added documentation for providesMainIntent pred

egregius313 · egregius313 · commit 6485e73cd3a0 · 2022-08-30T13:00:44.000-04:00
diff --git a/java/ql/lib/semmle/code/xml/AndroidManifest.qll b/java/ql/lib/semmle/code/xml/AndroidManifest.qll
@@ -99,6 +99,10 @@ class AndroidApplicationXmlElement extends XmlElement {
     )
   }
 
+  /**
+   * Holds if the application element contains a child element which provides the
+   * `android.intent.action.MAIN` intent.
+   */
   predicate providesMainIntent() {
     exists(AndroidActivityXmlElement activity |
       activity = this.getAChild() and

Original file line number	Diff line number	Diff line change
`@@ -99,6 +99,10 @@ class AndroidApplicationXmlElement extends XmlElement {`
`99`	`99`	`)`
`100`	`100`	`}`
`101`	`101`
	`102`	`+ /**`
	`103`	`+ * Holds if the application element contains a child element which provides the`
	`104`	+ * `android.intent.action.MAIN` intent.
	`105`	`+ */`
`102`	`106`	`predicate providesMainIntent() {`
`103`	`107`	`exists(AndroidActivityXmlElement activity \|`
`104`	`108`	`activity = this.getAChild() and`