codeql/java/ql/test/kotlin/library-tests/generics/generics.ql

import java

query predicate genericType(GenericType t, TypeVariable tv, int i) {
  t.getTypeParameter(i) = tv and t.getFile().getExtension() = "kt"
}

query predicate parameterizedType(ParameterizedType t, GenericType gt, int i, string ta) {
  t.getGenericType() = gt and
  t.getTypeArgument(i).toString() = ta and
  t.getFile().getExtension() = "kt"
}

query predicate function(Callable c, string signature) {
  signature = c.getSignature() and
  c.getFile().getExtension() = "kt"
}

query predicate genericFunction(GenericCallable c, TypeVariable tv, int i) {
  c.getTypeParameter(i) = tv and
  c.getFile().getExtension() = "kt"
}

query predicate genericCall(GenericCall c, TypeVariable tv, string t) {
  c.getATypeArgument(tv).toString() = t
}

query predicate genericCtor(ClassInstanceExpr c, int i, string ta) {
  c.getTypeArgument(i).getType().toString() = ta
}