add_build.js 26 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662
  1. const Features = (() => {
  2. let features = {};
  3. let defines_dictionary = {};
  4. let labels_dictionary = {};
  5. let category_dictionary = {};
  6. let selected_options = 0;
  7. function resetDictionaries() {
  8. // clear old dictionaries
  9. defines_dictionary = {};
  10. labels_dictionary = {};
  11. category_dictionary = {};
  12. features.forEach((category) => {
  13. category_dictionary[category.name] = category;
  14. category['options'].forEach((option) => {
  15. defines_dictionary[option.define] = labels_dictionary[option.label] = option;
  16. });
  17. });
  18. }
  19. function store_category_in_options() {
  20. features.forEach((category) => {
  21. category['options'].forEach((option) => {
  22. option.category_name = category.name;
  23. });
  24. });
  25. }
  26. function updateRequiredFor() {
  27. features.forEach((category) => {
  28. category['options'].forEach((option) => {
  29. if (option.dependency != null) {
  30. option.dependency.split(',').forEach((dependency) => {
  31. let dep = getOptionByLabel(dependency);
  32. if (dep.requiredFor == undefined) {
  33. dep.requiredFor = [];
  34. }
  35. dep.requiredFor.push(option.label);
  36. });
  37. }
  38. });
  39. });
  40. }
  41. function reset(new_features) {
  42. features = new_features;
  43. resetDictionaries();
  44. updateRequiredFor();
  45. store_category_in_options();
  46. }
  47. function getOptionByDefine(define) {
  48. return defines_dictionary[define];
  49. }
  50. function getOptionByLabel(label) {
  51. return labels_dictionary[label];
  52. }
  53. function getCategoryByName(category_name) {
  54. return category_dictionary[category_name];
  55. }
  56. function getCategoryIdByName(category_name) {
  57. return 'category_'+category_name.split(" ").join("_");
  58. }
  59. function featureIsDisabledByDefault(feature_label) {
  60. return getOptionByLabel(feature_label).default == 0;
  61. }
  62. function featureisEnabledByDefault(feature_label) {
  63. return !featureIsDisabledByDefault(feature_label);
  64. }
  65. function updateDefaults(defines_array) {
  66. // updates default on the basis of define array passed
  67. // the define array consists define in format, EXAMPLE_DEFINE or !EXAMPLE_DEFINE
  68. // we update the defaults in features object by processing those defines
  69. for (let i=0; i<defines_array.length; i++) {
  70. let select_opt = (defines_array[i][0] != '!');
  71. let sanitised_define = (select_opt ? defines_array[i] : defines_array[i].substring(1)); // this removes the leading '!' from define if it contatins
  72. if (getOptionByDefine(sanitised_define)) {
  73. getOptionByDefine(sanitised_define).default = select_opt ? 1 : 0;
  74. }
  75. }
  76. }
  77. function enableDependenciesForFeature(feature_label) {
  78. let feature = getOptionByLabel(feature_label);
  79. if (feature.dependency == null) {
  80. return;
  81. }
  82. let children = feature.dependency.split(',');
  83. children.forEach((child) => {
  84. const check = true;
  85. checkUncheckOptionByLabel(child, check);
  86. });
  87. }
  88. function handleOptionStateChange(feature_label, triggered_by_ui) {
  89. if (document.getElementById(feature_label).checked) {
  90. selected_options += 1;
  91. enableDependenciesForFeature(feature_label);
  92. } else {
  93. selected_options -= 1;
  94. if (triggered_by_ui) {
  95. askToDisableDependentsForFeature(feature_label);
  96. } else {
  97. disabledDependentsForFeature(feature_label);
  98. }
  99. }
  100. updateCategoryCheckboxState(getOptionByLabel(feature_label).category_name);
  101. updateGlobalCheckboxState();
  102. }
  103. function askToDisableDependentsForFeature(feature_label) {
  104. let enabled_dependent_features = getEnabledDependentFeaturesFor(feature_label);
  105. if (enabled_dependent_features.length <= 0) {
  106. return;
  107. }
  108. document.getElementById('modalBody').innerHTML = "The feature(s) <strong>"+enabled_dependent_features.join(", ")+"</strong> is/are dependant on <strong>"+feature_label+"</strong>" +
  109. " and hence will be disabled too.<br><strong>Do you want to continue?</strong>";
  110. document.getElementById('modalDisableButton').onclick = () => { disabledDependentsForFeature(feature_label); };
  111. document.getElementById('modalCancelButton').onclick = document.getElementById('modalCloseButton').onclick = () => {
  112. const check = true;
  113. checkUncheckOptionByLabel(feature_label, check);
  114. };
  115. var confirmationModal = bootstrap.Modal.getOrCreateInstance(document.getElementById('dependencyCheckModal'));
  116. confirmationModal.show();
  117. }
  118. function disabledDependentsForFeature(feature_label) {
  119. let feature = getOptionByLabel(feature_label);
  120. if (feature.requiredFor == undefined) {
  121. return;
  122. }
  123. let dependents = feature.requiredFor;
  124. dependents.forEach((dependent) => {
  125. const check = false;
  126. checkUncheckOptionByLabel(dependent, false);
  127. });
  128. }
  129. function updateCategoryCheckboxState(category_name) {
  130. let category = getCategoryByName(category_name);
  131. if (category == undefined) {
  132. console.log("Could not find category by given name");
  133. }
  134. let checked_options_count = 0;
  135. category.options.forEach((option) => {
  136. let element = document.getElementById(option.label);
  137. if (element && element.checked) {
  138. checked_options_count += 1;
  139. }
  140. });
  141. let category_checkbox_element = document.getElementById(getCategoryIdByName(category_name));
  142. if (category_checkbox_element == undefined) {
  143. console.log("Could not find element for given category");
  144. }
  145. let indeterminate_state = false;
  146. switch(checked_options_count) {
  147. case 0:
  148. category_checkbox_element.checked = false;
  149. break;
  150. case category.options.length:
  151. category_checkbox_element.checked = true;
  152. break;
  153. default:
  154. indeterminate_state = true;
  155. break;
  156. }
  157. category_checkbox_element.indeterminate = indeterminate_state;
  158. }
  159. function updateGlobalCheckboxState() {
  160. const total_options = Object.keys(defines_dictionary).length;
  161. let global_checkbox = document.getElementById("check-uncheck-all");
  162. let indeterminate_state = false;
  163. switch (selected_options) {
  164. case 0:
  165. global_checkbox.checked = false;
  166. break
  167. case total_options:
  168. global_checkbox.checked = true;
  169. break;
  170. default:
  171. indeterminate_state = true;
  172. break;
  173. }
  174. global_checkbox.indeterminate = indeterminate_state;
  175. }
  176. function getEnabledDependentFeaturesHelper(feature_label, visited, dependent_features) {
  177. if (visited[feature_label] != undefined || document.getElementById(feature_label).checked == false) {
  178. return;
  179. }
  180. visited[feature_label] = true;
  181. dependent_features.push(feature_label);
  182. let feature = getOptionByLabel(feature_label);
  183. if (feature.requiredFor == null) {
  184. return;
  185. }
  186. feature.requiredFor.forEach((dependent_feature) => {
  187. getEnabledDependentFeaturesHelper(dependent_feature, visited, dependent_features);
  188. });
  189. }
  190. function getEnabledDependentFeaturesFor(feature_label) {
  191. let dependent_features = [];
  192. let visited = {};
  193. if (getOptionByLabel(feature_label).requiredFor) {
  194. getOptionByLabel(feature_label).requiredFor.forEach((dependent_feature) => {
  195. getEnabledDependentFeaturesHelper(dependent_feature, visited, dependent_features);
  196. });
  197. }
  198. return dependent_features;
  199. }
  200. function applyDefaults() {
  201. features.forEach(category => {
  202. category['options'].forEach(option => {
  203. const check = featureisEnabledByDefault(option.label);
  204. checkUncheckOptionByLabel(option.label, check);
  205. });
  206. });
  207. }
  208. function checkUncheckOptionByLabel(label, check) {
  209. let element = document.getElementById(label);
  210. if (element == undefined || element.checked == check) {
  211. return;
  212. }
  213. element.checked = check;
  214. const triggered_by_ui = false;
  215. handleOptionStateChange(label, triggered_by_ui);
  216. }
  217. function checkUncheckAll(check) {
  218. features.forEach(category => {
  219. checkUncheckCategory(category.name, check);
  220. });
  221. }
  222. function checkUncheckCategory(category_name, check) {
  223. getCategoryByName(category_name).options.forEach(option => {
  224. checkUncheckOptionByLabel(option.label, check);
  225. });
  226. }
  227. return {reset, handleOptionStateChange, getCategoryIdByName, updateDefaults, applyDefaults, checkUncheckAll, checkUncheckCategory};
  228. })();
  229. var init_categories_expanded = false;
  230. var pending_update_calls = 0; // to keep track of unresolved Promises
  231. function init() {
  232. fetchVehicles();
  233. }
  234. // enables or disables the elements with ids passed as an array
  235. // if enable is true, the elements are enabled and vice-versa
  236. function enableDisableElementsById(ids, enable) {
  237. for (let i=0; i<ids.length; i++) {
  238. let element = document.getElementById(ids[i]);
  239. if (element) {
  240. element.disabled = (!enable);
  241. }
  242. }
  243. }
  244. // sets a spinner inside the division with given id
  245. // also sets a custom message inside the division
  246. // this indicates that an ajax call related to that element is in progress
  247. function setSpinnerToDiv(id, message) {
  248. let element = document.getElementById(id);
  249. if (element) {
  250. element.innerHTML = '<div class="container-fluid d-flex align-content-between">' +
  251. '<strong>'+message+'</strong>' +
  252. '<div class="spinner-border ms-auto" role="status" aria-hidden="true"></div>' +
  253. '</div>';
  254. }
  255. }
  256. function fetchVehicles() {
  257. // following elemets will be blocked (disabled) when we make the request
  258. let elements_to_block = ['vehicle', 'version', 'board', 'submit', 'reset_def', 'exp_col_button'];
  259. enableDisableElementsById(elements_to_block, false);
  260. let request_url = '/get_vehicles';
  261. setSpinnerToDiv('vehicle_list', 'Fetching vehicles...');
  262. pending_update_calls += 1;
  263. sendAjaxRequestForJsonResponse(request_url)
  264. .then((json_response) => {
  265. let all_vehicles = json_response;
  266. let new_vehicle = all_vehicles.find(vehicle => vehicle.name === "Copter") ? "copter": all_vehicles[0].id;
  267. updateVehicles(all_vehicles, new_vehicle);
  268. })
  269. .catch((message) => {
  270. console.log("Vehicle update failed. "+message);
  271. })
  272. .finally(() => {
  273. enableDisableElementsById(elements_to_block, true);
  274. pending_update_calls -= 1;
  275. fetchAndUpdateDefaults();
  276. });
  277. }
  278. function updateVehicles(all_vehicles, new_vehicle_id) {
  279. let vehicle_element = document.getElementById('vehicle');
  280. let old_vehicle_id = vehicle_element ? vehicle_element.value : '';
  281. fillVehicles(all_vehicles, new_vehicle_id);
  282. if (old_vehicle_id != new_vehicle_id) {
  283. onVehicleChange(new_vehicle_id);
  284. }
  285. }
  286. function onVehicleChange(new_vehicle_id) {
  287. // following elemets will be blocked (disabled) when we make the request
  288. let elements_to_block = ['vehicle', 'version', 'board', 'submit', 'reset_def', 'exp_col_button'];
  289. enableDisableElementsById(elements_to_block, false);
  290. let request_url = '/get_versions/'+new_vehicle_id;
  291. setSpinnerToDiv('version_list', 'Fetching versions...');
  292. pending_update_calls += 1;
  293. sendAjaxRequestForJsonResponse(request_url)
  294. .then((json_response) => {
  295. let all_versions = json_response;
  296. all_versions = sortVersions(all_versions);
  297. const new_version = all_versions[0].id;
  298. updateVersions(all_versions, new_version);
  299. })
  300. .catch((message) => {
  301. console.log("Version update failed. "+message);
  302. })
  303. .finally(() => {
  304. enableDisableElementsById(elements_to_block, true);
  305. pending_update_calls -= 1;
  306. fetchAndUpdateDefaults();
  307. });
  308. }
  309. function updateVersions(all_versions, new_version) {
  310. let version_element = document.getElementById('version');
  311. let old_version = version_element ? version_element.value : '';
  312. fillVersions(all_versions, new_version);
  313. if (old_version != new_version) {
  314. onVersionChange(new_version);
  315. }
  316. }
  317. function onVersionChange(new_version) {
  318. // following elemets will be blocked (disabled) when we make the request
  319. let elements_to_block = ['vehicle', 'version', 'board', 'submit', 'reset_def', 'exp_col_button'];
  320. enableDisableElementsById(elements_to_block, false);
  321. let vehicle_id = document.getElementById("vehicle").value;
  322. let version_id = new_version;
  323. let request_url = `/boards_and_features/${vehicle_id}/${version_id}`;
  324. // create a temporary container to set spinner inside it
  325. let temp_container = document.createElement('div');
  326. temp_container.id = "temp_container";
  327. temp_container.setAttribute('class', 'container-fluid w-25 mt-3');
  328. let features_list_element = document.getElementById('build_options'); // append the temp container to the main features_list container
  329. features_list_element.innerHTML = "";
  330. features_list_element.appendChild(temp_container);
  331. setSpinnerToDiv('temp_container', 'Fetching features...');
  332. setSpinnerToDiv('board_list', 'Fetching boards...');
  333. pending_update_calls += 1;
  334. sendAjaxRequestForJsonResponse(request_url)
  335. .then((json_response) => {
  336. let boards = json_response.boards;
  337. let new_board = json_response.default_board;
  338. let new_features = json_response.features;
  339. Features.reset(new_features);
  340. updateBoards(boards, new_board);
  341. fillBuildOptions(new_features);
  342. })
  343. .catch((message) => {
  344. console.log("Boards and features update failed. "+message);
  345. })
  346. .finally(() => {
  347. enableDisableElementsById(elements_to_block, true);
  348. pending_update_calls -= 1;
  349. fetchAndUpdateDefaults();
  350. });
  351. }
  352. function updateBoards(all_boards, new_board) {
  353. let board_element = document.getElementById('board');
  354. let old_board = board_element ? board.value : '';
  355. fillBoards(all_boards, new_board);
  356. if (old_board != new_board) {
  357. onBoardChange(new_board);
  358. }
  359. }
  360. function onBoardChange(new_board) {
  361. fetchAndUpdateDefaults();
  362. }
  363. function fetchAndUpdateDefaults() {
  364. // return early if there is an unresolved promise (i.e., there is an ongoing ajax call)
  365. if (pending_update_calls > 0) {
  366. return;
  367. }
  368. elements_to_block = ['reset_def'];
  369. document.getElementById('reset_def').innerHTML = '<span class="spinner-border spinner-border-sm me-2" role="status" aria-hidden="true"></span>Fetching defaults';
  370. enableDisableElementsById(elements_to_block, false);
  371. let version_id = document.getElementById('version').value;
  372. let vehicle = document.getElementById('vehicle').value;
  373. let board = document.getElementById('board').value;
  374. let request_url = '/get_defaults/'+vehicle+'/'+version_id+'/'+board;
  375. sendAjaxRequestForJsonResponse(request_url)
  376. .then((json_response) => {
  377. Features.updateDefaults(json_response);
  378. })
  379. .catch((message) => {
  380. console.log("Default reset failed. "+message);
  381. })
  382. .finally(() => {
  383. if (document.getElementById('auto_apply_def').checked) {
  384. Features.applyDefaults();
  385. }
  386. enableDisableElementsById(elements_to_block, true);
  387. document.getElementById('reset_def').innerHTML = '<i class="bi bi-arrow-counterclockwise me-2"></i>Reset feature defaults';
  388. });
  389. }
  390. function fillBoards(boards, default_board) {
  391. let output = document.getElementById('board_list');
  392. output.innerHTML = '<label for="board" class="form-label"><strong>Select Board</strong></label>' +
  393. '<select name="board" id="board" class="form-select" aria-label="Select Board" onchange="onBoardChange(this.value);"></select>';
  394. let boardList = document.getElementById("board")
  395. boards.forEach(board => {
  396. let opt = document.createElement('option');
  397. opt.value = board;
  398. opt.innerHTML = board;
  399. opt.selected = (board === default_board);
  400. boardList.appendChild(opt);
  401. });
  402. }
  403. var toggle_all_categories = (() => {
  404. let all_categories_expanded = init_categories_expanded;
  405. function toggle_method() {
  406. // toggle global state
  407. all_categories_expanded = !all_categories_expanded;
  408. let all_collapse_elements = document.getElementsByClassName('feature-group');
  409. for (let i=0; i<all_collapse_elements.length; i+=1) {
  410. let collapse_element = all_collapse_elements[i];
  411. collapse_instance = bootstrap.Collapse.getOrCreateInstance(collapse_element);
  412. if (all_categories_expanded && !collapse_element.classList.contains('show')) {
  413. collapse_instance.show();
  414. } else if (!all_categories_expanded && collapse_element.classList.contains('show')) {
  415. collapse_instance.hide();
  416. }
  417. }
  418. }
  419. return toggle_method;
  420. })();
  421. function createCategoryCard(category_name, options, expanded) {
  422. options_html = "";
  423. options.forEach(option => {
  424. options_html += '<div class="form-check">' +
  425. '<input class="form-check-input" type="checkbox" value="1" name="'+option['label']+'" id="'+option['label']+'" onclick="Features.handleOptionStateChange(this.id, true);">' +
  426. '<label class="form-check-label ms-2" for="'+option['label']+'">' +
  427. option['description'].replace(/enable/i, "") +
  428. '</label>' +
  429. '</div>';
  430. });
  431. let id_prefix = Features.getCategoryIdByName(category_name);
  432. let card_element = document.createElement('div');
  433. card_element.setAttribute('class', 'card ' + (expanded == true ? 'h-100' : ''));
  434. card_element.id = id_prefix + '_card';
  435. card_element.innerHTML = '<div class="card-header ps-3">' +
  436. '<div class="d-flex justify-content-between">' +
  437. '<div class="d-inline-flex">' +
  438. '<span class="align-middle me-3"><input class="form-check-input" type="checkbox" id="'+Features.getCategoryIdByName(category_name)+'" onclick="Features.checkUncheckCategory(\''+category_name+'\', this.checked);"></span>' +
  439. '<strong>' +
  440. '<label for="check-uncheck-category">' + category_name + '</label>' +
  441. '</strong>' +
  442. '</div>' +
  443. '<button class="btn btn-sm btn-outline-secondary" type="button" data-bs-toggle="collapse" data-bs-target="#'+id_prefix+'_collapse" aria-expanded="false" aria-controls="'+id_prefix+'_collapse">' +
  444. '<i class="bi bi-chevron-'+(expanded == true ? 'up' : 'down')+'" id="'+id_prefix+'_icon'+'"></i>' +
  445. '</button>' +
  446. '</div>' +
  447. '</div>';
  448. let collapse_element = document.createElement('div');
  449. collapse_element.setAttribute('class', 'feature-group collapse '+(expanded == true ? 'show' : ''));
  450. collapse_element.id = id_prefix + '_collapse';
  451. collapse_element.innerHTML = '<div class="container-fluid px-3 py-2">'+options_html+'</div>';
  452. card_element.appendChild(collapse_element);
  453. // add relevent event listeners
  454. collapse_element.addEventListener('hide.bs.collapse', () => {
  455. card_element.classList.remove('h-100');
  456. document.getElementById(id_prefix+'_icon').setAttribute('class', 'bi bi-chevron-down');
  457. });
  458. collapse_element.addEventListener('shown.bs.collapse', () => {
  459. card_element.classList.add('h-100');
  460. document.getElementById(id_prefix+'_icon').setAttribute('class', 'bi bi-chevron-up');
  461. });
  462. return card_element;
  463. }
  464. function fillBuildOptions(buildOptions) {
  465. let output = document.getElementById('build_options');
  466. output.innerHTML = `<div class="d-flex mb-3 justify-content-between">
  467. <div class="d-flex d-flex align-items-center">
  468. <p class="card-text"><strong>Available features for the current selection are:</strong></p>
  469. </div>
  470. <button type="button" class="btn btn-outline-primary" id="exp_col_button" onclick="toggle_all_categories();"><i class="bi bi-chevron-expand me-2"></i>Expand/Collapse all categories</button>
  471. </div>`;
  472. buildOptions.forEach((category, cat_idx) => {
  473. if (cat_idx % 4 == 0) {
  474. let new_row = document.createElement('div');
  475. new_row.setAttribute('class', 'row');
  476. new_row.id = 'category_'+parseInt(cat_idx/4)+'_row';
  477. output.appendChild(new_row);
  478. }
  479. let col_element = document.createElement('div');
  480. col_element.setAttribute('class', 'col-md-3 col-sm-6 mb-2');
  481. col_element.appendChild(createCategoryCard(category['name'], category['options'], init_categories_expanded));
  482. document.getElementById('category_'+parseInt(cat_idx/4)+'_row').appendChild(col_element);
  483. });
  484. }
  485. // returns a Promise
  486. // the promise is resolved when we recieve status code 200 from the AJAX request
  487. // the JSON response for the request is returned in such case
  488. // the promise is rejected when the status code is not 200
  489. // the status code is returned in such case
  490. function sendAjaxRequestForJsonResponse(url) {
  491. return new Promise((resolve, reject) => {
  492. var xhr = new XMLHttpRequest();
  493. xhr.open('GET', url);
  494. // disable cache, thanks to: https://stackoverflow.com/questions/22356025/force-cache-control-no-cache-in-chrome-via-xmlhttprequest-on-f5-reload
  495. xhr.setRequestHeader("Cache-Control", "no-cache, no-store, max-age=0");
  496. xhr.setRequestHeader("Expires", "Tue, 01 Jan 1980 1:00:00 GMT");
  497. xhr.setRequestHeader("Pragma", "no-cache");
  498. xhr.onload = function () {
  499. if (xhr.status == 200) {
  500. resolve(JSON.parse(xhr.response));
  501. } else {
  502. reject("Got response:"+xhr.response+" (Status Code: "+xhr.status+")");
  503. }
  504. }
  505. xhr.send();
  506. });
  507. }
  508. function fillVehicles(vehicles, vehicle_id_to_select) {
  509. var output = document.getElementById('vehicle_list');
  510. output.innerHTML = '<label for="vehicle" class="form-label"><strong>Select Vehicle</strong></label>' +
  511. '<select name="vehicle" id="vehicle" class="form-select" aria-label="Select Vehicle" onchange="onVehicleChange(this.value);"></select>';
  512. vehicleList = document.getElementById("vehicle");
  513. vehicles.forEach(vehicle => {
  514. opt = document.createElement('option');
  515. opt.value = vehicle.id;
  516. opt.innerHTML = vehicle.name;
  517. opt.selected = (vehicle.id === vehicle_id_to_select);
  518. vehicleList.appendChild(opt);
  519. });
  520. }
  521. function compareVersionNums(a, b) {
  522. const versionRegex = /(\d+)\.(\d+)\.(\d+)/;
  523. const [, aMajor, aMinor, aPatch] = a.match(versionRegex).map(Number);
  524. const [, bMajor, bMinor, bPatch] = b.match(versionRegex).map(Number);
  525. if (aMajor !== bMajor) return bMajor - aMajor;
  526. if (aMinor !== bMinor) return bMinor - aMinor;
  527. return bPatch - aPatch;
  528. }
  529. function sortVersions(versions) {
  530. const order = {
  531. "beta" : 0,
  532. "latest": 1,
  533. "stable": 2,
  534. "tag" : 3,
  535. }
  536. versions.sort((a, b) => {
  537. const version_a_type = a.title.split(" ")[0].toLowerCase();
  538. const version_b_type = b.title.split(" ")[0].toLowerCase();
  539. // sort the version types in order mentioned above
  540. if (version_a_type != version_b_type) {
  541. return order[version_a_type] - order[version_b_type];
  542. }
  543. // for numbered versions, do reverse sorting to make sure recent versions come first
  544. if (version_a_type == "stable" || version_b_type == "beta") {
  545. const version_a_num = a.title.split(" ")[1];
  546. const version_b_num = b.title.split(" ")[1];
  547. return compareVersionNums(version_a_num, version_b_num);
  548. }
  549. return a.title.localeCompare(b.title);
  550. });
  551. // Push the first stable version in the list to the top
  552. const firstStableIndex = versions.findIndex(v => v.title.split(" ")[0].toLowerCase() === "stable");
  553. if (firstStableIndex !== -1) {
  554. const stableVersion = versions.splice(firstStableIndex, 1)[0];
  555. versions.unshift(stableVersion);
  556. }
  557. return versions;
  558. }
  559. function fillVersions(versions, version_to_select) {
  560. var output = document.getElementById('version_list');
  561. output.innerHTML = '<label for="version" class="form-label"><strong>Select Version</strong></label>' +
  562. '<select name="version" id="version" class="form-select" aria-label="Select Version" onchange="onVersionChange(this.value);"></select>';
  563. versionList = document.getElementById("version");
  564. versions.forEach(version => {
  565. opt = document.createElement('option');
  566. opt.value = version.id;
  567. opt.innerHTML = version.title;
  568. opt.selected = (version.id === version_to_select);
  569. versionList.appendChild(opt);
  570. });
  571. }