Kotlin: Make the enum test more precise

In Kotlin 2 mode, there are more library classes matching Enum%, so the
output was spuriously different.
This commit is contained in:
Ian Lynagh
2023-10-27 11:15:12 +01:00
parent 64004926bc
commit 3c5b9ce0cd
2 changed files with 17 additions and 35 deletions

View File

@@ -1,36 +1,16 @@
#select
| addAll |
| addRange |
| allOf |
| asIterator |
| clone |
| compareTo |
| complement |
| complementOf |
| copyOf |
| describeConstable |
| equals |
| finalize |
| forEach |
| getDeclaringClass |
| hasMoreElements |
| hashCode |
| name |
| nextElement |
| noneOf |
| of |
| ordinal |
| parallelStream |
| range |
| resolveConstantDesc |
| spliterator |
| stream |
| toArray |
| toString |
| typeCheck |
| usesEnum |
| valueOf |
| writeReplace |
| Enum<E> | clone |
| Enum<E> | compareTo |
| Enum<E> | describeConstable |
| Enum<E> | equals |
| Enum<E> | finalize |
| Enum<E> | getDeclaringClass |
| Enum<E> | hashCode |
| Enum<E> | name |
| Enum<E> | ordinal |
| Enum<E> | toString |
| Enum<E> | valueOf |
| EnumUserKt | usesEnum |
enumConstants
| enumUser.kt:3:16:3:17 | A |
| enumUser.kt:3:19:3:20 | B |

View File

@@ -1,7 +1,9 @@
import java
from Method m
where m.getDeclaringType().getName().matches("Enum%")
select m.getName()
from Method m, Type t
where
t = m.getDeclaringType() and
t.getName() = ["Enum<E>", "EnumUserKt"]
select t.getName(), m.getName()
query predicate enumConstants(EnumConstant ec) { ec.fromSource() }