Skip to content

Commit 4e916e5

Browse files
committed
Kotlin: Add getAPrimaryQlClass.ql consistenty check
1 parent 7185118 commit 4e916e5

File tree

1 file changed

+13
-0
lines changed

1 file changed

+13
-0
lines changed
Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,13 @@
1+
import java
2+
3+
from Top t
4+
where t.getAPrimaryQlClass() = "???"
5+
// TypeBound doesn't extend Top (but probably should)
6+
and not t instanceof TypeBound
7+
// XMLLocatable doesn't extend Top (but probably should)
8+
and not t instanceof XMLLocatable
9+
// Kotlin bug:
10+
and not t.(Type).toString() = "string"
11+
select t,
12+
concat(t.getAPrimaryQlClass(), ","),
13+
concat(t.getAQlClass(), ",")

0 commit comments

Comments
 (0)