hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-02-28 21:03:50 +01:00
Code Issues Packages Projects Releases Wiki Activity

Java: Check compilation unit of the same element in both disjuncts.

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2019-05-20 16:41:08 +02:00
parent 9ebeac25ad
commit d0de0254e1
1 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
java/ql/src/semmle/code/java/Annotation.qll
View File

@@ -25,11 +25,11 @@ class Annotation extends @annotation, Expr {
/** Gets the element being annotated. */
Element getAnnotatedElement() {
this.getParent().(Field).getDeclaration().getAField() = result and
this.getCompilationUnit().fromSource()
or
not result.(Field).getCompilationUnit().fromSource() and
this.getParent() = result
exists(Element e | e = this.getParent() |
if e.(Field).getCompilationUnit().fromSource()
then result = e.(Field).getDeclaration().getAField()
else result = e
)
}
/** Gets the annotation type declaration for this annotation. */