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

from DotSyntaxCallExpr x, string hasType, Expr getFunction, int getNumberOfArguments, Expr getBase
where
  toBeTested(x) and
  not x.isUnknown() and
  (if x.hasType() then hasType = "yes" else hasType = "no") and
  getFunction = x.getFunction() and
  getNumberOfArguments = x.getNumberOfArguments() and
  getBase = x.getBase()
select x, "hasType:", hasType, "getFunction:", getFunction, "getNumberOfArguments:",
  getNumberOfArguments, "getBase:", getBase