import java

query predicate methods(
  RefType declType, Method m, string signature, string modifiers, string compilerGenerated
) {
  m.fromSource() and
  declType = m.getDeclaringType() and
  signature = m.getSignature() and
  modifiers = concat(string s | m.hasModifier(s) | s, ", ") and
  if m.isCompilerGenerated()
  then compilerGenerated = "Compiler generated"
  else compilerGenerated = ""
}

query predicate constructors(RefType declType, Constructor c, string signature) {
  c.fromSource() and declType = c.getDeclaringType() and signature = c.getSignature()
}

query predicate extensions(ExtensionMethod m, Type t) { m.getExtendedType() = t and m.fromSource() }

query predicate extensionsMismatch(Method src, Method def) {
  src.getKotlinParameterDefaultsProxy() = def and
  (
    src instanceof ExtensionMethod and not def instanceof ExtensionMethod
    or
    def instanceof ExtensionMethod and not src instanceof ExtensionMethod
  )
}

query predicate extensionIndex(ExtensionMethod m, int i, Type t) {
  m.fromSource() and
  m.getExtensionReceiverParameterIndex() = i and
  m.getExtendedType() = t and
  m.getParameter(i).getType() = t
}