hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-01-29 06:12:58 +01:00
Code Issues Packages Projects Releases Wiki Activity

Add qldoc for getTermInIntersection

Browse Source
This commit is contained in:
Chris Smowton
2022-05-10 14:42:38 +01:00
parent 3129c3dd69
commit c0fbd03133
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
ql/lib/semmle/go/Types.qll
View File

@@ -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())
}