Java: QlDoc for isKnownKind

Stephan Brandauer · Stephan Brandauer · commit 5de56db3af74 · 2023-05-31T14:13:14.000+02:00
diff --git a/java/ql/src/Telemetry/AutomodelSharedUtil.qll b/java/ql/src/Telemetry/AutomodelSharedUtil.qll
@@ -22,6 +22,10 @@ class DollarAtString extends string {
   }
 }
 
+/**
+ * Holds for all combinations of MaD kinds (`kind`) and their human readable
+ * descriptions.
+ */
 predicate isKnownKind(
   string kind, string humanReadableKind, AutomodelEndpointTypes::EndpointType type
 ) {

Original file line number	Diff line number	Diff line change
`@@ -22,6 +22,10 @@ class DollarAtString extends string {`
`22`	`22`	`}`
`23`	`23`	`}`
`24`	`24`
	`25`	`+/**`
	`26`	+ * Holds for all combinations of MaD kinds (`kind`) and their human readable
	`27`	`+ * descriptions.`
	`28`	`+ */`
`25`	`29`	`predicate isKnownKind(`
`26`	`30`	`string kind, string humanReadableKind, AutomodelEndpointTypes::EndpointType type`
`27`	`31`	`) {`