codemodel-v2-check.py 37 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788
  1. from check_index import *
  2. import json
  3. import sys
  4. import os
  5. def read_codemodel_json_data(filename):
  6. abs_filename = os.path.join(os.path.dirname(os.path.realpath(__file__)), "codemodel-v2-data", filename)
  7. with open(abs_filename, "r") as f:
  8. return json.load(f)
  9. def check_objects(o, g):
  10. assert is_list(o)
  11. assert len(o) == 1
  12. check_index_object(o[0], "codemodel", 2, 2, check_object_codemodel(g))
  13. def check_backtrace(t, b, backtrace):
  14. btg = t["backtraceGraph"]
  15. for expected in backtrace:
  16. assert is_int(b)
  17. node = btg["nodes"][b]
  18. expected_keys = ["file"]
  19. assert matches(btg["files"][node["file"]], expected["file"])
  20. if expected["line"] is not None:
  21. expected_keys.append("line")
  22. assert is_int(node["line"], expected["line"])
  23. if expected["command"] is not None:
  24. expected_keys.append("command")
  25. assert is_int(node["command"])
  26. assert is_string(btg["commands"][node["command"]], expected["command"])
  27. if expected["hasParent"]:
  28. expected_keys.append("parent")
  29. assert is_int(node["parent"])
  30. b = node["parent"]
  31. else:
  32. b = None
  33. assert sorted(node.keys()) == sorted(expected_keys)
  34. assert b is None
  35. def check_backtraces(t, actual, expected):
  36. assert is_list(actual)
  37. assert is_list(expected)
  38. assert len(actual) == len(expected)
  39. i = 0
  40. while i < len(actual):
  41. check_backtrace(t, actual[i], expected[i])
  42. i += 1
  43. def check_directory(c):
  44. def _check(actual, expected):
  45. assert is_dict(actual)
  46. expected_keys = ["build", "source", "projectIndex"]
  47. assert matches(actual["build"], expected["build"])
  48. assert is_int(actual["projectIndex"])
  49. assert is_string(c["projects"][actual["projectIndex"]]["name"], expected["projectName"])
  50. if expected["parentSource"] is not None:
  51. expected_keys.append("parentIndex")
  52. assert is_int(actual["parentIndex"])
  53. assert matches(c["directories"][actual["parentIndex"]]["source"], expected["parentSource"])
  54. if expected["childSources"] is not None:
  55. expected_keys.append("childIndexes")
  56. check_list_match(lambda a, e: matches(c["directories"][a]["source"], e),
  57. actual["childIndexes"], expected["childSources"],
  58. missing_exception=lambda e: "Child source: %s" % e,
  59. extra_exception=lambda a: "Child source: %s" % a["source"])
  60. if expected["targetIds"] is not None:
  61. expected_keys.append("targetIndexes")
  62. check_list_match(lambda a, e: matches(c["targets"][a]["id"], e),
  63. actual["targetIndexes"], expected["targetIds"],
  64. missing_exception=lambda e: "Target ID: %s" % e,
  65. extra_exception=lambda a: "Target ID: %s" % c["targets"][a]["id"])
  66. if expected["minimumCMakeVersion"] is not None:
  67. expected_keys.append("minimumCMakeVersion")
  68. assert is_dict(actual["minimumCMakeVersion"])
  69. assert sorted(actual["minimumCMakeVersion"].keys()) == ["string"]
  70. assert is_string(actual["minimumCMakeVersion"]["string"], expected["minimumCMakeVersion"])
  71. if expected["hasInstallRule"] is not None:
  72. expected_keys.append("hasInstallRule")
  73. assert is_bool(actual["hasInstallRule"], expected["hasInstallRule"])
  74. assert sorted(actual.keys()) == sorted(expected_keys)
  75. return _check
  76. def check_backtrace_graph(btg):
  77. assert is_dict(btg)
  78. assert sorted(btg.keys()) == ["commands", "files", "nodes"]
  79. assert is_list(btg["commands"])
  80. for c in btg["commands"]:
  81. assert is_string(c)
  82. for f in btg["files"]:
  83. assert is_string(f)
  84. for n in btg["nodes"]:
  85. expected_keys = ["file"]
  86. assert is_dict(n)
  87. assert is_int(n["file"])
  88. assert 0 <= n["file"] < len(btg["files"])
  89. if "line" in n:
  90. expected_keys.append("line")
  91. assert is_int(n["line"])
  92. if "command" in n:
  93. expected_keys.append("command")
  94. assert is_int(n["command"])
  95. assert 0 <= n["command"] < len(btg["commands"])
  96. if "parent" in n:
  97. expected_keys.append("parent")
  98. assert is_int(n["parent"])
  99. assert 0 <= n["parent"] < len(btg["nodes"])
  100. assert sorted(n.keys()) == sorted(expected_keys)
  101. def check_target(c):
  102. def _check(actual, expected):
  103. assert is_dict(actual)
  104. assert sorted(actual.keys()) == ["directoryIndex", "id", "jsonFile", "name", "projectIndex"]
  105. assert is_int(actual["directoryIndex"])
  106. assert matches(c["directories"][actual["directoryIndex"]]["source"], expected["directorySource"])
  107. assert is_string(actual["name"], expected["name"])
  108. assert is_string(actual["jsonFile"])
  109. assert is_int(actual["projectIndex"])
  110. assert is_string(c["projects"][actual["projectIndex"]]["name"], expected["projectName"])
  111. filepath = os.path.join(reply_dir, actual["jsonFile"])
  112. with open(filepath) as f:
  113. obj = json.load(f)
  114. expected_keys = ["name", "id", "type", "backtraceGraph", "paths", "sources"]
  115. assert is_dict(obj)
  116. assert is_string(obj["name"], expected["name"])
  117. assert matches(obj["id"], expected["id"])
  118. assert is_string(obj["type"], expected["type"])
  119. check_backtrace_graph(obj["backtraceGraph"])
  120. assert is_dict(obj["paths"])
  121. assert sorted(obj["paths"].keys()) == ["build", "source"]
  122. assert matches(obj["paths"]["build"], expected["build"])
  123. assert matches(obj["paths"]["source"], expected["source"])
  124. def check_source(actual, expected):
  125. assert is_dict(actual)
  126. expected_keys = ["path"]
  127. if expected["compileGroupLanguage"] is not None:
  128. expected_keys.append("compileGroupIndex")
  129. assert is_string(obj["compileGroups"][actual["compileGroupIndex"]]["language"], expected["compileGroupLanguage"])
  130. if expected["sourceGroupName"] is not None:
  131. expected_keys.append("sourceGroupIndex")
  132. assert is_string(obj["sourceGroups"][actual["sourceGroupIndex"]]["name"], expected["sourceGroupName"])
  133. if expected["isGenerated"] is not None:
  134. expected_keys.append("isGenerated")
  135. assert is_bool(actual["isGenerated"], expected["isGenerated"])
  136. if expected["backtrace"] is not None:
  137. expected_keys.append("backtrace")
  138. check_backtrace(obj, actual["backtrace"], expected["backtrace"])
  139. assert sorted(actual.keys()) == sorted(expected_keys)
  140. check_list_match(lambda a, e: matches(a["path"], e["path"]), obj["sources"],
  141. expected["sources"], check=check_source,
  142. check_exception=lambda a, e: "Source file: %s" % a["path"],
  143. missing_exception=lambda e: "Source file: %s" % e["path"],
  144. extra_exception=lambda a: "Source file: %s" % a["path"])
  145. if expected["backtrace"] is not None:
  146. expected_keys.append("backtrace")
  147. check_backtrace(obj, obj["backtrace"], expected["backtrace"])
  148. if expected["folder"] is not None:
  149. expected_keys.append("folder")
  150. assert is_dict(obj["folder"])
  151. assert sorted(obj["folder"].keys()) == ["name"]
  152. assert is_string(obj["folder"]["name"], expected["folder"])
  153. if expected["nameOnDisk"] is not None:
  154. expected_keys.append("nameOnDisk")
  155. assert matches(obj["nameOnDisk"], expected["nameOnDisk"])
  156. if expected["artifacts"] is not None:
  157. expected_keys.append("artifacts")
  158. def check_artifact(actual, expected):
  159. assert is_dict(actual)
  160. assert sorted(actual.keys()) == ["path"]
  161. check_list_match(lambda a, e: matches(a["path"], e["path"]),
  162. obj["artifacts"], expected["artifacts"],
  163. check=check_artifact,
  164. check_exception=lambda a, e: "Artifact: %s" % a["path"],
  165. missing_exception=lambda e: "Artifact: %s" % e["path"],
  166. extra_exception=lambda a: "Artifact: %s" % a["path"])
  167. if expected["isGeneratorProvided"] is not None:
  168. expected_keys.append("isGeneratorProvided")
  169. assert is_bool(obj["isGeneratorProvided"], expected["isGeneratorProvided"])
  170. if expected["install"] is not None:
  171. expected_keys.append("install")
  172. assert is_dict(obj["install"])
  173. assert sorted(obj["install"].keys()) == ["destinations", "prefix"]
  174. assert is_dict(obj["install"]["prefix"])
  175. assert sorted(obj["install"]["prefix"].keys()) == ["path"]
  176. assert matches(obj["install"]["prefix"]["path"], expected["install"]["prefix"])
  177. def check_install_destination(actual, expected):
  178. assert is_dict(actual)
  179. expected_keys = ["path"]
  180. if expected["backtrace"] is not None:
  181. expected_keys.append("backtrace")
  182. check_backtrace(obj, actual["backtrace"], expected["backtrace"])
  183. assert sorted(actual.keys()) == sorted(expected_keys)
  184. check_list_match(lambda a, e: matches(a["path"], e["path"]),
  185. obj["install"]["destinations"], expected["install"]["destinations"],
  186. check=check_install_destination,
  187. check_exception=lambda a, e: "Install path: %s" % a["path"],
  188. missing_exception=lambda e: "Install path: %s" % e["path"],
  189. extra_exception=lambda a: "Install path: %s" % a["path"])
  190. if expected["link"] is not None:
  191. expected_keys.append("link")
  192. assert is_dict(obj["link"])
  193. link_keys = ["language"]
  194. assert is_string(obj["link"]["language"], expected["link"]["language"])
  195. if "commandFragments" in obj["link"]:
  196. link_keys.append("commandFragments")
  197. assert is_list(obj["link"]["commandFragments"])
  198. for f in obj["link"]["commandFragments"]:
  199. assert is_dict(f)
  200. assert sorted(f.keys()) == ["fragment", "role"] or sorted(f.keys()) == ["backtrace", "fragment", "role"]
  201. assert is_string(f["fragment"])
  202. assert is_string(f["role"])
  203. assert f["role"] in ("flags", "libraries", "libraryPath", "frameworkPath")
  204. if expected["link"]["commandFragments"] is not None:
  205. def check_link_command_fragments(actual, expected):
  206. assert is_dict(actual)
  207. expected_keys = ["fragment", "role"]
  208. if expected["backtrace"] is not None:
  209. expected_keys.append("backtrace")
  210. assert matches(actual["fragment"], expected["fragment"])
  211. assert actual["role"] == expected["role"]
  212. check_backtrace(obj, actual["backtrace"], expected["backtrace"])
  213. assert sorted(actual.keys()) == sorted(expected_keys)
  214. check_list_match(lambda a, e: matches(a["fragment"], e["fragment"]),
  215. obj["link"]["commandFragments"], expected["link"]["commandFragments"],
  216. check=check_link_command_fragments,
  217. check_exception=lambda a, e: "Link fragment: %s" % a["fragment"],
  218. missing_exception=lambda e: "Link fragment: %s" % e["fragment"],
  219. extra_exception=lambda a: "Link fragment: %s" % a["fragment"],
  220. allow_extra=True)
  221. if expected["link"]["lto"] is not None:
  222. link_keys.append("lto")
  223. assert is_bool(obj["link"]["lto"], expected["link"]["lto"])
  224. # FIXME: Properly test sysroot
  225. if "sysroot" in obj["link"]:
  226. link_keys.append("sysroot")
  227. assert is_string(obj["link"]["sysroot"])
  228. assert sorted(obj["link"].keys()) == sorted(link_keys)
  229. if expected["archive"] is not None:
  230. expected_keys.append("archive")
  231. assert is_dict(obj["archive"])
  232. archive_keys = []
  233. # FIXME: Properly test commandFragments
  234. if "commandFragments" in obj["archive"]:
  235. archive_keys.append("commandFragments")
  236. assert is_list(obj["archive"]["commandFragments"])
  237. for f in obj["archive"]["commandFragments"]:
  238. assert is_dict(f)
  239. assert sorted(f.keys()) == ["fragment", "role"]
  240. assert is_string(f["fragment"])
  241. assert is_string(f["role"])
  242. assert f["role"] in ("flags")
  243. if expected["archive"]["lto"] is not None:
  244. archive_keys.append("lto")
  245. assert is_bool(obj["archive"]["lto"], expected["archive"]["lto"])
  246. assert sorted(obj["archive"].keys()) == sorted(archive_keys)
  247. if expected["dependencies"] is not None:
  248. expected_keys.append("dependencies")
  249. def check_dependency(actual, expected):
  250. assert is_dict(actual)
  251. expected_keys = ["id"]
  252. if expected["backtrace"] is not None:
  253. expected_keys.append("backtrace")
  254. check_backtrace(obj, actual["backtrace"], expected["backtrace"])
  255. assert sorted(actual.keys()) == sorted(expected_keys)
  256. check_list_match(lambda a, e: matches(a["id"], e["id"]),
  257. obj["dependencies"], expected["dependencies"],
  258. check=check_dependency,
  259. check_exception=lambda a, e: "Dependency ID: %s" % a["id"],
  260. missing_exception=lambda e: "Dependency ID: %s" % e["id"],
  261. extra_exception=lambda a: "Dependency ID: %s" % a["id"])
  262. if expected["sourceGroups"] is not None:
  263. expected_keys.append("sourceGroups")
  264. def check_source_group(actual, expected):
  265. assert is_dict(actual)
  266. assert sorted(actual.keys()) == ["name", "sourceIndexes"]
  267. check_list_match(lambda a, e: matches(obj["sources"][a]["path"], e),
  268. actual["sourceIndexes"], expected["sourcePaths"],
  269. missing_exception=lambda e: "Source path: %s" % e,
  270. extra_exception=lambda a: "Source path: %s" % obj["sources"][a]["path"])
  271. check_list_match(lambda a, e: is_string(a["name"], e["name"]),
  272. obj["sourceGroups"], expected["sourceGroups"],
  273. check=check_source_group,
  274. check_exception=lambda a, e: "Source group: %s" % a["name"],
  275. missing_exception=lambda e: "Source group: %s" % e["name"],
  276. extra_exception=lambda a: "Source group: %s" % a["name"])
  277. if expected["compileGroups"] is not None:
  278. expected_keys.append("compileGroups")
  279. def check_compile_group(actual, expected):
  280. assert is_dict(actual)
  281. expected_keys = ["sourceIndexes", "language"]
  282. check_list_match(lambda a, e: matches(obj["sources"][a]["path"], e),
  283. actual["sourceIndexes"], expected["sourcePaths"],
  284. missing_exception=lambda e: "Source path: %s" % e,
  285. extra_exception=lambda a: "Source path: %s" % obj["sources"][a]["path"])
  286. if "compileCommandFragments" in actual:
  287. expected_keys.append("compileCommandFragments")
  288. assert is_list(actual["compileCommandFragments"])
  289. for f in actual["compileCommandFragments"]:
  290. assert is_dict(f)
  291. assert is_string(f["fragment"])
  292. if expected["compileCommandFragments"] is not None:
  293. def check_compile_command_fragments(actual, expected):
  294. assert is_dict(actual)
  295. expected_keys = ["fragment"]
  296. if expected["backtrace"] is not None:
  297. expected_keys.append("backtrace")
  298. assert actual["fragment"] == expected["fragment"]
  299. check_backtrace(obj, actual["backtrace"], expected["backtrace"])
  300. assert sorted(actual.keys()) == sorted(expected_keys)
  301. check_list_match(lambda a, e: is_string(a["fragment"], e["fragment"]),
  302. actual["compileCommandFragments"], expected["compileCommandFragments"],
  303. check=check_compile_command_fragments,
  304. check_exception=lambda a, e: "Compile fragment: %s" % a["fragment"],
  305. missing_exception=lambda e: "Compile fragment: %s" % e["fragment"],
  306. extra_exception=lambda a: "Compile fragment: %s" % a["fragment"],
  307. allow_extra=True)
  308. if expected["includes"] is not None:
  309. expected_keys.append("includes")
  310. def check_include(actual, expected):
  311. assert is_dict(actual)
  312. expected_keys = ["path"]
  313. if expected["isSystem"] is not None:
  314. expected_keys.append("isSystem")
  315. assert is_bool(actual["isSystem"], expected["isSystem"])
  316. if expected["backtrace"] is not None:
  317. expected_keys.append("backtrace")
  318. check_backtrace(obj, actual["backtrace"], expected["backtrace"])
  319. assert sorted(actual.keys()) == sorted(expected_keys)
  320. check_list_match(lambda a, e: matches(a["path"], e["path"]),
  321. actual["includes"], expected["includes"],
  322. check=check_include,
  323. check_exception=lambda a, e: "Include path: %s" % a["path"],
  324. missing_exception=lambda e: "Include path: %s" % e["path"],
  325. extra_exception=lambda a: "Include path: %s" % a["path"])
  326. if "precompileHeaders" in expected:
  327. expected_keys.append("precompileHeaders")
  328. def check_precompile_header(actual, expected):
  329. assert is_dict(actual)
  330. expected_keys = ["backtrace", "header"]
  331. check_backtrace(obj, actual["backtrace"], expected["backtrace"])
  332. assert sorted(actual.keys()) == sorted(expected_keys)
  333. check_list_match(lambda a, e: matches(a["header"], e["header"]),
  334. actual["precompileHeaders"], expected["precompileHeaders"],
  335. check=check_precompile_header,
  336. check_exception=lambda a, e: "Precompile header: %s" % a["header"],
  337. missing_exception=lambda e: "Precompile header: %s" % e["header"],
  338. extra_exception=lambda a: "Precompile header: %s" % a["header"])
  339. if "languageStandard" in expected:
  340. expected_keys.append("languageStandard")
  341. def check_language_standard(actual, expected):
  342. assert is_dict(actual)
  343. expected_keys = ["backtraces", "standard"]
  344. assert actual["standard"] == expected["standard"]
  345. check_backtraces(obj, actual["backtraces"], expected["backtraces"])
  346. assert sorted(actual.keys()) == sorted(expected_keys)
  347. check_language_standard(actual["languageStandard"], expected["languageStandard"])
  348. if expected["defines"] is not None:
  349. expected_keys.append("defines")
  350. def check_define(actual, expected):
  351. assert is_dict(actual)
  352. expected_keys = ["define"]
  353. if expected["backtrace"] is not None:
  354. expected_keys.append("backtrace")
  355. check_backtrace(obj, actual["backtrace"], expected["backtrace"])
  356. assert sorted(actual.keys()) == sorted(expected_keys)
  357. check_list_match(lambda a, e: is_string(a["define"], e["define"]),
  358. actual["defines"], expected["defines"],
  359. check=check_define,
  360. check_exception=lambda a, e: "Define: %s" % a["define"],
  361. missing_exception=lambda e: "Define: %s" % e["define"],
  362. extra_exception=lambda a: "Define: %s" % a["define"])
  363. # FIXME: Properly test sysroot
  364. if "sysroot" in actual:
  365. expected_keys.append("sysroot")
  366. assert is_string(actual["sysroot"])
  367. assert sorted(actual.keys()) == sorted(expected_keys)
  368. check_list_match(lambda a, e: is_string(a["language"], e["language"]),
  369. obj["compileGroups"], expected["compileGroups"],
  370. check=check_compile_group,
  371. check_exception=lambda a, e: "Compile group: %s" % a["language"],
  372. missing_exception=lambda e: "Compile group: %s" % e["language"],
  373. extra_exception=lambda a: "Compile group: %s" % a["language"])
  374. assert sorted(obj.keys()) == sorted(expected_keys)
  375. return _check
  376. def check_project(c):
  377. def _check(actual, expected):
  378. assert is_dict(actual)
  379. expected_keys = ["name", "directoryIndexes"]
  380. check_list_match(lambda a, e: matches(c["directories"][a]["source"], e),
  381. actual["directoryIndexes"], expected["directorySources"],
  382. missing_exception=lambda e: "Directory source: %s" % e,
  383. extra_exception=lambda a: "Directory source: %s" % c["directories"][a]["source"])
  384. if expected["parentName"] is not None:
  385. expected_keys.append("parentIndex")
  386. assert is_int(actual["parentIndex"])
  387. assert is_string(c["projects"][actual["parentIndex"]]["name"], expected["parentName"])
  388. if expected["childNames"] is not None:
  389. expected_keys.append("childIndexes")
  390. check_list_match(lambda a, e: is_string(c["projects"][a]["name"], e),
  391. actual["childIndexes"], expected["childNames"],
  392. missing_exception=lambda e: "Child name: %s" % e,
  393. extra_exception=lambda a: "Child name: %s" % c["projects"][a]["name"])
  394. if expected["targetIds"] is not None:
  395. expected_keys.append("targetIndexes")
  396. check_list_match(lambda a, e: matches(c["targets"][a]["id"], e),
  397. actual["targetIndexes"], expected["targetIds"],
  398. missing_exception=lambda e: "Target ID: %s" % e,
  399. extra_exception=lambda a: "Target ID: %s" % c["targets"][a]["id"])
  400. assert sorted(actual.keys()) == sorted(expected_keys)
  401. return _check
  402. def gen_check_directories(c, g):
  403. expected = [
  404. read_codemodel_json_data("directories/top.json"),
  405. read_codemodel_json_data("directories/alias.json"),
  406. read_codemodel_json_data("directories/custom.json"),
  407. read_codemodel_json_data("directories/cxx.json"),
  408. read_codemodel_json_data("directories/imported.json"),
  409. read_codemodel_json_data("directories/interface.json"),
  410. read_codemodel_json_data("directories/object.json"),
  411. read_codemodel_json_data("directories/dir.json"),
  412. read_codemodel_json_data("directories/dir_dir.json"),
  413. read_codemodel_json_data("directories/external.json"),
  414. ]
  415. if matches(g["name"], "^Visual Studio "):
  416. for e in expected:
  417. if e["parentSource"] is not None:
  418. e["targetIds"] = filter_list(lambda t: not matches(t, "^\\^ZERO_CHECK"), e["targetIds"])
  419. elif g["name"] == "Xcode":
  420. if ';' in os.environ.get("CMAKE_OSX_ARCHITECTURES", ""):
  421. for e in expected:
  422. e["targetIds"] = filter_list(lambda t: not matches(t, "^\\^(link_imported_object_exe)"), e["targetIds"])
  423. else:
  424. for e in expected:
  425. e["targetIds"] = filter_list(lambda t: not matches(t, "^\\^(ALL_BUILD|ZERO_CHECK)"), e["targetIds"])
  426. return expected
  427. def check_directories(c, g):
  428. check_list_match(lambda a, e: matches(a["source"], e["source"]), c["directories"], gen_check_directories(c, g),
  429. check=check_directory(c),
  430. check_exception=lambda a, e: "Directory source: %s" % a["source"],
  431. missing_exception=lambda e: "Directory source: %s" % e["source"],
  432. extra_exception=lambda a: "Directory source: %s" % a["source"])
  433. def gen_check_targets(c, g, inSource):
  434. expected = [
  435. read_codemodel_json_data("targets/all_build_top.json"),
  436. read_codemodel_json_data("targets/zero_check_top.json"),
  437. read_codemodel_json_data("targets/interface_exe.json"),
  438. read_codemodel_json_data("targets/c_lib.json"),
  439. read_codemodel_json_data("targets/c_exe.json"),
  440. read_codemodel_json_data("targets/c_shared_lib.json"),
  441. read_codemodel_json_data("targets/c_shared_exe.json"),
  442. read_codemodel_json_data("targets/c_static_lib.json"),
  443. read_codemodel_json_data("targets/c_static_exe.json"),
  444. read_codemodel_json_data("targets/all_build_cxx.json"),
  445. read_codemodel_json_data("targets/zero_check_cxx.json"),
  446. read_codemodel_json_data("targets/cxx_lib.json"),
  447. read_codemodel_json_data("targets/cxx_exe.json"),
  448. read_codemodel_json_data("targets/cxx_standard_compile_feature_exe.json"),
  449. read_codemodel_json_data("targets/cxx_standard_exe.json"),
  450. read_codemodel_json_data("targets/cxx_shared_lib.json"),
  451. read_codemodel_json_data("targets/cxx_shared_exe.json"),
  452. read_codemodel_json_data("targets/cxx_static_lib.json"),
  453. read_codemodel_json_data("targets/cxx_static_exe.json"),
  454. read_codemodel_json_data("targets/all_build_alias.json"),
  455. read_codemodel_json_data("targets/zero_check_alias.json"),
  456. read_codemodel_json_data("targets/c_alias_exe.json"),
  457. read_codemodel_json_data("targets/cxx_alias_exe.json"),
  458. read_codemodel_json_data("targets/all_build_object.json"),
  459. read_codemodel_json_data("targets/zero_check_object.json"),
  460. read_codemodel_json_data("targets/c_object_lib.json"),
  461. read_codemodel_json_data("targets/c_object_exe.json"),
  462. read_codemodel_json_data("targets/cxx_object_lib.json"),
  463. read_codemodel_json_data("targets/cxx_object_exe.json"),
  464. read_codemodel_json_data("targets/all_build_imported.json"),
  465. read_codemodel_json_data("targets/zero_check_imported.json"),
  466. read_codemodel_json_data("targets/link_imported_exe.json"),
  467. read_codemodel_json_data("targets/link_imported_shared_exe.json"),
  468. read_codemodel_json_data("targets/link_imported_static_exe.json"),
  469. read_codemodel_json_data("targets/link_imported_object_exe.json"),
  470. read_codemodel_json_data("targets/link_imported_interface_exe.json"),
  471. read_codemodel_json_data("targets/all_build_interface.json"),
  472. read_codemodel_json_data("targets/zero_check_interface.json"),
  473. read_codemodel_json_data("targets/iface_srcs.json"),
  474. read_codemodel_json_data("targets/all_build_custom.json"),
  475. read_codemodel_json_data("targets/zero_check_custom.json"),
  476. read_codemodel_json_data("targets/custom_tgt.json"),
  477. read_codemodel_json_data("targets/custom_exe.json"),
  478. read_codemodel_json_data("targets/all_build_external.json"),
  479. read_codemodel_json_data("targets/zero_check_external.json"),
  480. read_codemodel_json_data("targets/generated_exe.json"),
  481. ]
  482. if cxx_compiler_id in ['Clang', 'AppleClang', 'GNU', 'Intel', 'IntelLLVM', 'MSVC', 'Embarcadero'] and g["name"] != "Xcode":
  483. for e in expected:
  484. if e["name"] == "cxx_exe":
  485. if matches(g["name"], "^(Visual Studio |Ninja Multi-Config)"):
  486. precompile_header_data = read_codemodel_json_data("targets/cxx_exe_precompileheader_multigen.json")
  487. else:
  488. if ';' in os.environ.get("CMAKE_OSX_ARCHITECTURES", ""):
  489. precompile_header_data = read_codemodel_json_data("targets/cxx_exe_precompileheader_2arch.json")
  490. else:
  491. precompile_header_data = read_codemodel_json_data("targets/cxx_exe_precompileheader.json")
  492. e["compileGroups"] = precompile_header_data["compileGroups"]
  493. e["sources"] = precompile_header_data["sources"]
  494. e["sourceGroups"] = precompile_header_data["sourceGroups"]
  495. if os.path.exists(os.path.join(reply_dir, "..", "..", "..", "..", "cxx", "cxx_std_11.txt")):
  496. for e in expected:
  497. if e["name"] == "cxx_standard_compile_feature_exe":
  498. language_standard_data = read_codemodel_json_data("targets/cxx_standard_compile_feature_exe_languagestandard.json")
  499. e["compileGroups"][0]["languageStandard"] = language_standard_data["languageStandard"]
  500. if not os.path.exists(os.path.join(reply_dir, "..", "..", "..", "..", "ipo_enabled.txt")):
  501. for e in expected:
  502. try:
  503. e["link"]["lto"] = None
  504. except TypeError: # "link" is not a dict, no problem.
  505. pass
  506. try:
  507. e["archive"]["lto"] = None
  508. except TypeError: # "archive" is not a dict, no problem.
  509. pass
  510. if inSource:
  511. for e in expected:
  512. if e["sources"] is not None:
  513. for s in e["sources"]:
  514. s["path"] = s["path"].replace("^.*/Tests/RunCMake/FileAPI/", "^", 1)
  515. if e["sourceGroups"] is not None:
  516. for group in e["sourceGroups"]:
  517. group["sourcePaths"] = [p.replace("^.*/Tests/RunCMake/FileAPI/", "^", 1) for p in group["sourcePaths"]]
  518. if e["compileGroups"] is not None:
  519. for group in e["compileGroups"]:
  520. group["sourcePaths"] = [p.replace("^.*/Tests/RunCMake/FileAPI/", "^", 1) for p in group["sourcePaths"]]
  521. if matches(g["name"], "^Visual Studio "):
  522. expected = filter_list(lambda e: e["name"] not in ("ZERO_CHECK") or e["id"] == "^ZERO_CHECK::@6890427a1f51a3e7e1df$", expected)
  523. for e in expected:
  524. if e["type"] == "UTILITY":
  525. if e["id"] == "^ZERO_CHECK::@6890427a1f51a3e7e1df$":
  526. e["sources"] = [
  527. {
  528. "path": "^.*/Tests/RunCMake/FileAPI/codemodel-v2-build/CMakeFiles/([0-9a-f]+/)?generate\\.stamp\\.rule$",
  529. "isGenerated": True,
  530. "sourceGroupName": "CMake Rules",
  531. "compileGroupLanguage": None,
  532. "backtrace": [
  533. {
  534. "file": "^CMakeLists\\.txt$",
  535. "line": None,
  536. "command": None,
  537. "hasParent": False,
  538. },
  539. ],
  540. },
  541. ]
  542. e["sourceGroups"] = [
  543. {
  544. "name": "CMake Rules",
  545. "sourcePaths": [
  546. "^.*/Tests/RunCMake/FileAPI/codemodel-v2-build/CMakeFiles/([0-9a-f]+/)?generate\\.stamp\\.rule$",
  547. ],
  548. },
  549. ]
  550. elif e["name"] in ("ALL_BUILD"):
  551. e["sources"] = []
  552. e["sourceGroups"] = None
  553. if e["dependencies"] is not None:
  554. for d in e["dependencies"]:
  555. if matches(d["id"], "^\\^ZERO_CHECK::@"):
  556. d["id"] = "^ZERO_CHECK::@6890427a1f51a3e7e1df$"
  557. elif g["name"] == "Xcode":
  558. if ';' in os.environ.get("CMAKE_OSX_ARCHITECTURES", ""):
  559. expected = filter_list(lambda e: e["name"] not in ("link_imported_object_exe"), expected)
  560. for e in expected:
  561. e["dependencies"] = filter_list(lambda d: not matches(d["id"], "^\\^link_imported_object_exe::@"), e["dependencies"])
  562. if e["name"] in ("c_object_lib", "cxx_object_lib"):
  563. e["artifacts"] = None
  564. else:
  565. for e in expected:
  566. e["dependencies"] = filter_list(lambda d: not matches(d["id"], "^\\^ZERO_CHECK::@"), e["dependencies"])
  567. expected = filter_list(lambda t: t["name"] not in ("ALL_BUILD", "ZERO_CHECK"), expected)
  568. if sys.platform not in ("win32", "cygwin", "msys"):
  569. for e in expected:
  570. e["artifacts"] = filter_list(lambda a: not a["_dllExtra"], e["artifacts"])
  571. if "aix" not in sys.platform:
  572. for e in expected:
  573. e["artifacts"] = filter_list(lambda a: not a.get("_aixExtra", False), e["artifacts"])
  574. return expected
  575. def check_targets(c, g, inSource):
  576. check_list_match(lambda a, e: matches(a["id"], e["id"]),
  577. c["targets"], gen_check_targets(c, g, inSource),
  578. check=check_target(c),
  579. check_exception=lambda a, e: "Target ID: %s" % a["id"],
  580. missing_exception=lambda e: "Target ID: %s" % e["id"],
  581. extra_exception=lambda a: "Target ID: %s" % a["id"])
  582. def gen_check_projects(c, g):
  583. expected = [
  584. read_codemodel_json_data("projects/codemodel-v2.json"),
  585. read_codemodel_json_data("projects/cxx.json"),
  586. read_codemodel_json_data("projects/alias.json"),
  587. read_codemodel_json_data("projects/object.json"),
  588. read_codemodel_json_data("projects/imported.json"),
  589. read_codemodel_json_data("projects/interface.json"),
  590. read_codemodel_json_data("projects/custom.json"),
  591. read_codemodel_json_data("projects/external.json"),
  592. ]
  593. if matches(g["name"], "^Visual Studio "):
  594. for e in expected:
  595. if e["parentName"] is not None:
  596. e["targetIds"] = filter_list(lambda t: not matches(t, "^\\^ZERO_CHECK"), e["targetIds"])
  597. elif g["name"] == "Xcode":
  598. if ';' in os.environ.get("CMAKE_OSX_ARCHITECTURES", ""):
  599. for e in expected:
  600. e["targetIds"] = filter_list(lambda t: not matches(t, "^\\^(link_imported_object_exe)"), e["targetIds"])
  601. else:
  602. for e in expected:
  603. e["targetIds"] = filter_list(lambda t: not matches(t, "^\\^(ALL_BUILD|ZERO_CHECK)"), e["targetIds"])
  604. return expected
  605. def check_projects(c, g):
  606. check_list_match(lambda a, e: is_string(a["name"], e["name"]), c["projects"], gen_check_projects(c, g),
  607. check=check_project(c),
  608. check_exception=lambda a, e: "Project name: %s" % a["name"],
  609. missing_exception=lambda e: "Project name: %s" % e["name"],
  610. extra_exception=lambda a: "Project name: %s" % a["name"])
  611. def check_object_codemodel_configuration(c, g, inSource):
  612. assert sorted(c.keys()) == ["directories", "name", "projects", "targets"]
  613. assert is_string(c["name"])
  614. check_directories(c, g)
  615. check_targets(c, g, inSource)
  616. check_projects(c, g)
  617. def check_object_codemodel(g):
  618. def _check(o):
  619. assert sorted(o.keys()) == ["configurations", "kind", "paths", "version"]
  620. # The "kind" and "version" members are handled by check_index_object.
  621. assert is_dict(o["paths"])
  622. assert sorted(o["paths"].keys()) == ["build", "source"]
  623. assert matches(o["paths"]["build"], "^.*/Tests/RunCMake/FileAPI/codemodel-v2-build$")
  624. assert matches(o["paths"]["source"], "^.*/Tests/RunCMake/FileAPI$")
  625. inSource = os.path.dirname(o["paths"]["build"]) == o["paths"]["source"]
  626. if g["multiConfig"]:
  627. assert sorted([c["name"] for c in o["configurations"]]) == ["Debug", "MinSizeRel", "RelWithDebInfo", "Release"]
  628. else:
  629. assert len(o["configurations"]) == 1
  630. assert o["configurations"][0]["name"] in ("", "Debug", "Release", "RelWithDebInfo", "MinSizeRel")
  631. for c in o["configurations"]:
  632. check_object_codemodel_configuration(c, g, inSource)
  633. return _check
  634. cxx_compiler_id = sys.argv[2]
  635. assert is_dict(index)
  636. assert sorted(index.keys()) == ["cmake", "objects", "reply"]
  637. check_objects(index["objects"], index["cmake"]["generator"])