Kotlin: Add Variable.getKotlinType()

igfoo · igfoo · commit ba565179009c · 2022-05-10T19:51:00.000+01:00
diff --git a/java/ql/lib/semmle/code/java/Variable.qll b/java/ql/lib/semmle/code/java/Variable.qll
@@ -9,6 +9,9 @@ class Variable extends @variable, Annotatable, Element, Modifiable {
   /** Gets the type of this variable. */
   /*abstract*/ Type getType() { none() }
 
+  /** Gets the Kotlin type of this variable. */
+  /*abstract*/ KotlinType getKotlinType() { none() }
+
   /** Gets an access to this variable. */
   VarAccess getAnAccess() { variableBinding(result, this) }
 
