Merge pull request github#10678 from tamasvajk/kotlin-type-param-modifiers

Kotlin: Extract type parameter modifiers (`reified`, `in`, `out`)

Author: tamasvajk

java/downgrades/709f1d1fd04ffd9bbcf242f17b120f8a389949bd/hasModifier.ql

@@ -0,0 +1,19 @@
+class Modifier extends @modifier {
+  string toString() { none() }
+}
+
+class TypeVariable extends @typevariable {
+  string toString() { none() }
+}
+
+class Modified extends @modifiable {
+  Modified() { hasModifier(this, _) }
+
+  string toString() { none() }
+}
+
+from Modified m1, Modifier m2
+where
+  hasModifier(m1, m2) and
+  not m1 instanceof TypeVariable
+select m1, m2

java/downgrades/709f1d1fd04ffd9bbcf242f17b120f8a389949bd/modifiers.ql

@@ -0,0 +1,11 @@
+class Modifier extends @modifier {
+  string toString() { none() }
+
+  string getName() { modifiers(this, result) }
+}
+
+from Modifier m, string s
+where
+  s = m.getName() and
+  not s in ["in", "out", "reified"]
+select m, m.getName()