Java: Add qldoc.

aschackmull · aschackmull · commit a9d2b936af09 · 2023-03-14T14:15:15.000+01:00
diff --git a/java/ql/lib/semmle/code/java/dispatch/ObjFlow.qll b/java/ql/lib/semmle/code/java/dispatch/ObjFlow.qll
@@ -236,6 +236,10 @@ private VirtualMethodAccess objectToString(ObjNode n) {
   result.getQualifier() = n.asExpr() and sink(n)
 }
 
+/**
+ * Holds if `ma` is an `Object.toString()` call taking possibly improved type
+ * bounds into account.
+ */
 predicate objectToStringCall(VirtualMethodAccess ma) { ma = objectToString(_) }
 
 /**

Original file line number	Diff line number	Diff line change
`@@ -236,6 +236,10 @@ private VirtualMethodAccess objectToString(ObjNode n) {`
`236`	`236`	`result.getQualifier() = n.asExpr() and sink(n)`
`237`	`237`	`}`
`238`	`238`
	`239`	`+/**`
	`240`	+ * Holds if `ma` is an `Object.toString()` call taking possibly improved type
	`241`	`+ * bounds into account.`
	`242`	`+ */`
`239`	`243`	`predicate objectToStringCall(VirtualMethodAccess ma) { ma = objectToString(_) }`
`240`	`244`
`241`	`245`	`/**`