Add qldoc for getTermInIntersection

smowton · smowton · commit c0fbd031336d · 2022-05-10T14:52:10.000+01:00
diff --git a/ql/lib/semmle/go/Types.qll b/ql/lib/semmle/go/Types.qll
@@ -668,6 +668,9 @@ private TypeSetTerm getIntersection(TypeSetTerm term1, TypeSetTerm term2) {
   if term1.hasTilde() then result = term2 else result = term1
 }
 
+/**
+ * Gets a term in the intersection of type-set literals `a` and `b`.
+ */
 TypeSetTerm getTermInIntersection(TypeSetLiteralType a, TypeSetLiteralType b) {
   result = getIntersection(a.getATerm(), b.getATerm())
 }

Original file line number	Diff line number	Diff line change
`@@ -668,6 +668,9 @@ private TypeSetTerm getIntersection(TypeSetTerm term1, TypeSetTerm term2) {`
`668`	`668`	`if term1.hasTilde() then result = term2 else result = term1`
`669`	`669`	`}`
`670`	`670`
	`671`	`+/**`
	`672`	+ * Gets a term in the intersection of type-set literals `a` and `b`.
	`673`	`+ */`
`671`	`674`	`TypeSetTerm getTermInIntersection(TypeSetLiteralType a, TypeSetLiteralType b) {`
`672`	`675`	`result = getIntersection(a.getATerm(), b.getATerm())`
`673`	`676`	`}`