hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-26 09:15:12 +02:00
Code Issues Packages Projects Releases Wiki Activity

Kotlin: Give methods and constructors a KotlinType

Browse Source
This commit is contained in:
Ian Lynagh
2021-11-03 15:30:41 +00:00
parent d9822266f5
commit 0d5e471b96
8 changed files with 44 additions and 30 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
java/ql/lib/semmle/code/java/Annotation.qll
View File

@@ -138,11 +138,11 @@ class AnnotationType extends Interface {
/** Gets the annotation element with the specified `name`. */
AnnotationElement getAnnotationElement(string name) {
methods(result, _, _, _, this, _) and result.hasName(name)
methods(result, _, _, _, _, this, _) and result.hasName(name)
}
/** Gets an annotation element that is a member of this annotation type. */
AnnotationElement getAnAnnotationElement() { methods(result, _, _, _, this, _) }
AnnotationElement getAnAnnotationElement() { methods(result, _, _, _, _, this, _) }
/** Holds if this annotation type is annotated with the meta-annotation `@Inherited`. */
predicate isInherited() {
@@ -158,5 +158,8 @@ class AnnotationElement extends Member {
AnnotationElement() { isAnnotElem(this) }
/** Gets the type of this annotation element. */
Type getType() { methods(this, _, _, result, _, _) }
Type getType() { methods(this, _, _, result, _, _, _) }
/** Gets the Kotlin type of this annotation element. */
KotlinType getKotlinType() { methods(this, _, _, _, result, _, _) }
}