mirror of
https://github.com/github/codeql.git
synced 2025-12-20 10:46:30 +01:00
321820e758
We are no longer bound to the platform-specific directories, so simplify the test organization. If you don't want this change, just skip merging this PR. It's purely optional. I kept the platform-specific directories around under `kotlin`, but you could also easily merge all these together if you find them unhelpful. I'll leave that change to you.
12 lines
415 B
Plaintext
12 lines
415 B
Plaintext
import java
|
|
|
|
from ClassOrInterface annotated, Annotation a, string valName, Expr val
|
|
where
|
|
a.getValue(valName) = val and
|
|
annotated = a.getAnnotatedElement() and
|
|
annotated.getName() in [
|
|
"JavaDefinedRepeatable", "JavaDefinedContainer", "KtDefinedContainer", "LibRepeatable",
|
|
"ExplicitContainerRepeatable", "LocalRepeatable", "User", "JavaUser"
|
|
]
|
|
select a.getAnnotatedElement(), a, valName, val
|