// generated by codegen/codegen.py, do not edit
import codeql.swift.elements
import TestUtils

query predicate instances(
  ExtractFunctionIsolationExpr x, string getFunctionExpr__label, Expr getFunctionExpr
) {
  toBeTested(x) and
  not x.isUnknown() and
  getFunctionExpr__label = "getFunctionExpr:" and
  getFunctionExpr = x.getFunctionExpr()
}

query predicate getType(ExtractFunctionIsolationExpr x, Type getType) {
  toBeTested(x) and not x.isUnknown() and getType = x.getType()
}