codemodel-v2-check.py 42 KB

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