modelverse_connector.js 26 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736
  1. class ModelVerseConnector {
  2. constructor(address) {
  3. ModelVerseConnector.taskname = "task_manager";
  4. ModelVerseConnector.address = (address == undefined) ? "http://127.0.0.1:8001" : address;
  5. ModelVerseConnector.ERROR = 0;
  6. ModelVerseConnector.WORKING = 1;
  7. ModelVerseConnector.OKAY = 2;
  8. ModelVerseConnector.connected = true;
  9. ModelVerseConnector.curr_model = null;
  10. ModelVerseConnector.element_map = {};
  11. ModelVerseConnector.PM2MV_metamodel_map = {
  12. "/Formalisms/__LanguageSyntax__/SimpleClassDiagram/SimpleClassDiagram" : "formalisms/SimpleClassDiagrams"
  13. };
  14. ModelVerseConnector.MV2PM_metamodel_map = ModelVerseConnector.reverse_dict(ModelVerseConnector.PM2MV_metamodel_map);
  15. }
  16. static reverse_dict(dict){
  17. var ret = {};
  18. for(let key of Object.keys(dict)){
  19. ret[dict[key]] = key;
  20. }
  21. return ret;
  22. }
  23. static set_status(status) {
  24. let red = "rgb(220,20,60)";
  25. let yellow = "rgb(218,165,32)";
  26. let green = "rgb(50,205,50)";
  27. let colours = [red, yellow, green];
  28. let set_colour = function (colour) {
  29. let mv_toolbar = $('#div_toolbar_\\2f Toolbars\\2f ModelVerse\\2f ModelVerse\\2e buttons\\2e model');
  30. mv_toolbar.css("background-color", colour)
  31. };
  32. set_colour(colours[status]);
  33. }
  34. static save_model(model_name, data){
  35. ModelVerseConnector.set_status(ModelVerseConnector.WORKING);
  36. console.log("Save model: " + model_name);
  37. let parsed_data = JSON.parse(data);
  38. // console.log(parsed_data);
  39. let m = JSON.parse(parsed_data['data']['m']);
  40. let mms = JSON.parse(parsed_data['data']['mms']);
  41. //detect the metamodels
  42. if (Object.keys(mms).length > 1){
  43. console.log("Warning: More than one meta-model detected!")
  44. }
  45. let primary_mm_PM = Object.keys(mms)[0];
  46. let primary_mm_MV = ModelVerseConnector.PM2MV_metamodel_map[primary_mm_PM];
  47. //TODO: Allow user to select meta-model when it is not found
  48. // console.log("MV PM: " + primary_mm_PM);
  49. // console.log("MV MM: " + primary_mm_MV);
  50. if (primary_mm_MV == undefined){
  51. WindowManagement.openDialog(_ERROR,'Cannot find meta-model in ModelVerse: "' + primary_mm_PM + '"');
  52. return;
  53. }
  54. let model_delete = {
  55. "data": utils.jsons(["model_delete", model_name])
  56. };
  57. let model_create = {
  58. "data": utils.jsons(["model_add", primary_mm_MV, model_name, ""])
  59. };
  60. let model_edit = {
  61. "data": utils.jsons(["model_modify", model_name, primary_mm_MV])
  62. };
  63. ModelVerseConnector.curr_model = model_name;
  64. ModelVerseConnector.send_command(model_create)
  65. .then(ModelVerseConnector.get_output)
  66. .then(ModelVerseConnector.send_command(model_edit))
  67. .then(ModelVerseConnector.get_output)
  68. .then(function(data){
  69. let node_creation_promises = [];
  70. for (const [key, node] of Object.entries(m.nodes)) {
  71. if (node.name == undefined){
  72. continue;
  73. }
  74. if (!(node.linktype == undefined)){
  75. continue;
  76. }
  77. let node_name = node.name.value;
  78. let node_type = node.$type.split("/").slice(-1)[0];
  79. node_creation_promises.push(ModelVerseConnector.send_command(
  80. {"data": utils.jsons(["instantiate_node", node_type, node_name])}
  81. ));
  82. let set_id = function (id){
  83. ModelVerseConnector.element_map[key] = id.split(" ")[1].replace("\"", "");
  84. };
  85. node_creation_promises.push(ModelVerseConnector.get_output(set_id));
  86. }
  87. let simple_type = ["String", "Int", "Float", "Boolean", "Code", "File", "Map", "List", "ENUM"];
  88. for (let st of simple_type){
  89. node_creation_promises.push(ModelVerseConnector.send_command(
  90. {"data": utils.jsons(["instantiate_node", "SimpleAttribute", st])}
  91. ));
  92. node_creation_promises.push(ModelVerseConnector.get_output());
  93. }
  94. Promise.all(node_creation_promises).then( function(){
  95. let edge_creation_promises = [];
  96. for (const [key, node] of Object.entries(m.nodes)) {
  97. if (node.name == undefined || node.linktype != undefined) {
  98. let node_type = node.$type.split("/").slice(-1)[0];
  99. let node_name = null;
  100. if (node.name != undefined) {
  101. node_name = node.name.value;
  102. }else{
  103. node_name = node_type + key;
  104. }
  105. let src = null;
  106. let dest = null;
  107. for (const [edge_key, edge] of Object.entries(m.edges)) {
  108. if (edge['src'] == key) {
  109. let ed = edge['dest'];
  110. dest = ModelVerseConnector.element_map[ed];
  111. } else if (edge['dest'] == key) {
  112. let es = edge['src'];
  113. src = ModelVerseConnector.element_map[es];
  114. }
  115. }
  116. let set_id = function (id){
  117. ModelVerseConnector.element_map[key] = id.split(" ")[1].replace("\"", "");
  118. };
  119. edge_creation_promises.push(ModelVerseConnector.send_command(
  120. {"data": utils.jsons(["instantiate_edge", node_type, node_name, src, dest])}
  121. ));
  122. edge_creation_promises.push(ModelVerseConnector.get_output(set_id));
  123. }
  124. }
  125. Promise.all(edge_creation_promises).then(function() {
  126. let attrib_creation_promises = [];
  127. for (const [key, node] of Object.entries(m.nodes)) {
  128. let ele = ModelVerseConnector.element_map[key];
  129. let node_type = node.$type.split("/").slice(-1)[0];
  130. if (node.abstract != undefined && node.abstract.value){
  131. attrib_creation_promises.push(ModelVerseConnector.send_command(
  132. {"data": utils.jsons(["attr_add", ele, "abstract", true])}
  133. ));
  134. attrib_creation_promises.push(ModelVerseConnector.get_output());
  135. }
  136. if (node.name != undefined && node_type != "GlobalConstraint"){
  137. attrib_creation_promises.push(ModelVerseConnector.send_command(
  138. {"data": utils.jsons(["attr_add", ele, "name", node.name.value])}
  139. ));
  140. attrib_creation_promises.push(ModelVerseConnector.get_output());
  141. }
  142. //TODO: Cardinalities
  143. if (node.attributes != undefined) {
  144. console.log(node);
  145. for (const [key, attrib] of Object.entries(node.attributes.value)) {
  146. //console.log(attrib);
  147. let type = attrib.type[0].toUpperCase() + attrib.type.substring(1);
  148. if (type.startsWith("ENUM")){
  149. type = "ENUM";
  150. }
  151. type = type.split("<")[0];
  152. attrib_creation_promises.push(ModelVerseConnector.send_command(
  153. {"data": utils.jsons(["define_attribute", ele, attrib.name, type])}
  154. ));
  155. attrib_creation_promises.push(ModelVerseConnector.get_output());
  156. }
  157. }
  158. }
  159. ModelVerseConnector.set_status(ModelVerseConnector.OKAY);
  160. });
  161. });
  162. });
  163. }
  164. static load_MV_model(metamodels, AS) {
  165. return new Promise(
  166. function (resolve, reject) {
  167. console.log("Load MV Model");
  168. console.log(AS);
  169. console.log(metamodels);
  170. let primary_MV_metamodel = metamodels.split(" ")[1].split(",")[0];
  171. let primary_PM_metamodel = ModelVerseConnector.MV2PM_metamodel_map[primary_MV_metamodel];
  172. console.log("MV MM: " + primary_MV_metamodel);
  173. console.log("PM MM: " + primary_PM_metamodel);
  174. let metamodel = primary_PM_metamodel + ".defaultIcons.metamodel";
  175. DataUtils.loadmm(metamodel,
  176. function(){
  177. console.log("Metamodel loaded: " + metamodel);
  178. });
  179. let class_type = "/Formalisms/__LanguageSyntax__/SimpleClassDiagram/SimpleClassDiagram.defaultIcons/ClassIcon";
  180. let model_classes = [];
  181. let model_associations = [];
  182. let model_inheris = [];
  183. let model_attribs = {};
  184. // for (let i in AS) {
  185. // let obj = AS[i];
  186. // let obj_type = obj["__type"];
  187. //
  188. // if (obj_type == "Class") {
  189. // model_classes.push(obj["__id"]);
  190. //
  191. // }else if (obj_type == "Association"){
  192. // model_associations.push([obj["__source"], obj["__target"], obj["__id"]]);
  193. //
  194. // }else if (obj_type == "Inheritance"){
  195. // model_inheris.push([obj["__source"], obj["__target"]]);
  196. //
  197. // }else if (obj_type == "AttributeLink") {
  198. // if (model_attribs[obj["__source"]] == undefined){
  199. // model_attribs[obj["__source"]] = [];
  200. // }
  201. // model_attribs[obj["__source"]].push([obj["__target"], obj["__id"]]);
  202. // }
  203. //
  204. // }
  205. //
  206. //
  207. // let class_locs = {};
  208. //
  209. // for (const cs_ele of CS){
  210. // if (!(cs_ele["__type"] == "Group")){
  211. // continue;
  212. // }
  213. //
  214. // let asid = cs_ele["__asid"];
  215. // let pos = [cs_ele["x"], cs_ele["y"]];
  216. //
  217. // class_locs[asid] = pos;
  218. // }
  219. //
  220. // let ele_ids = {};
  221. //
  222. //
  223. // __typeToCreate = class_type;
  224. //
  225. // let map_promises = [];
  226. // for (const id of model_classes){
  227. //
  228. // map_promises.push(new Promise(function(resolve, reject){
  229. // let updateClass =
  230. //
  231. // function(status, resp){
  232. //
  233. // let data = JSON.parse(resp);
  234. //
  235. // let uri = class_type + "/" + data["data"] + ".instance";
  236. // ele_ids[id] = uri;
  237. //
  238. // let changes = {"name": id};
  239. //
  240. // if (model_attribs[id] != undefined){
  241. // let attrib_changes = [];
  242. //
  243. // for (let attrib of model_attribs[id]){
  244. // //console.log(attrib);
  245. //
  246. // let attrib_change = {
  247. // "name": attrib[1],
  248. // "type" : attrib[0]
  249. // };
  250. // attrib_changes.push(attrib_change);
  251. // }
  252. // changes["attributes"] = attrib_changes;
  253. // }
  254. //
  255. // DataUtils.update(uri, changes);
  256. // resolve();
  257. // };
  258. //
  259. //
  260. // let pos = class_locs[id];
  261. // if (pos == undefined || pos == null){
  262. // pos = [100, 100];
  263. // }
  264. //
  265. // let vert_offset = 200;
  266. // DataUtils.create(pos[0], pos[1] + vert_offset, updateClass);
  267. // }));
  268. // }
  269. //
  270. // Promise.all(map_promises).then(function(){
  271. //
  272. // for (const inheri of model_inheris){
  273. // let connectionType = "/Formalisms/__LanguageSyntax__/SimpleClassDiagram/SimpleClassDiagram.defaultIcons/InheritanceLink.type";
  274. //
  275. // let source = ele_ids[inheri[0]];
  276. // let target = ele_ids[inheri[1]];
  277. //
  278. // if (source == undefined || target == undefined){
  279. // console.log("ERROR: Can't create inheritance between " + inheri[0] + " and " + inheri[1]);
  280. // continue;
  281. // }
  282. //
  283. // HttpUtils.httpReq(
  284. // 'POST',
  285. // HttpUtils.url(connectionType,__NO_USERNAME),
  286. // {'src':source,
  287. // 'dest':target,
  288. // 'pos':undefined,
  289. // 'segments':undefined});
  290. //
  291. // }
  292. //
  293. // })
  294. // .then(function(){
  295. // let assoc_create_promises = [];
  296. //
  297. // for (const assoc of model_associations){
  298. //
  299. // assoc_create_promises.push(new Promise(function(resolve, reject){
  300. // let connectionType = "/Formalisms/__LanguageSyntax__/SimpleClassDiagram/SimpleClassDiagram.defaultIcons/AssociationLink.type";
  301. //
  302. // let source = ele_ids[assoc[0]];
  303. // let target = ele_ids[assoc[1]];
  304. //
  305. // if (source == undefined || target == undefined){
  306. // console.log("ERROR: Can't create association between " + assoc[0] + " and " + assoc[1]);
  307. // resolve();
  308. // }
  309. //
  310. // let assoc_create_callback = function(status, resp){
  311. // let id = JSON.parse(resp)["data"];
  312. // let assoc_id = connectionType.replace(".type", "/") + id + ".instance";
  313. // ele_ids[assoc[2]] = assoc_id;
  314. //
  315. // resolve();
  316. // };
  317. //
  318. // HttpUtils.httpReq(
  319. // 'POST',
  320. // HttpUtils.url(connectionType,__NO_USERNAME),
  321. // {'src':source,
  322. // 'dest':target,
  323. // 'pos':undefined,
  324. // 'segments':undefined},
  325. // assoc_create_callback);
  326. // }));
  327. //
  328. // }
  329. //
  330. // Promise.all(assoc_create_promises).then(function(){
  331. // for (const assoc of model_associations){
  332. // let uri = ele_ids[assoc[2]];
  333. // let changes = {"name" : assoc[2]};
  334. //
  335. // console.log("Updating " + uri);
  336. //
  337. // DataUtils.update(uri, changes);
  338. // }
  339. // });
  340. //
  341. //
  342. // });
  343. resolve();
  344. });
  345. }
  346. /*********COMMUNICATION FUNCTIONS**********/
  347. static send_command(param_dict) {
  348. return new Promise(
  349. function (resolve, reject) {
  350. let callback = function (status, resp) {
  351. if (utils.isHttpSuccessCode(status)) {
  352. //console.log("send_command Resolve: " + resp);
  353. resolve(resp);
  354. } else {
  355. console.log("send_command Reject: " + resp);
  356. reject(resp);
  357. }
  358. };
  359. if (!("op" in param_dict)) {
  360. param_dict["op"] = "set_input";
  361. }
  362. if (!("taskname" in param_dict)) {
  363. param_dict["taskname"] = ModelVerseConnector.taskname;
  364. }
  365. let params = "";
  366. for (const [key, value] of Object.entries(param_dict)) {
  367. params += key + "=" + value + "&";
  368. }
  369. //take off last &
  370. params = params.slice(0, -1);
  371. console.log("Sending: " + params);
  372. HttpUtils.httpReq("POST", ModelVerseConnector.address,
  373. params,
  374. callback
  375. );
  376. });
  377. }
  378. static get_output(clbk) {
  379. return new Promise(
  380. function (resolve, reject) {
  381. let callback = function (status, resp) {
  382. if (utils.isHttpSuccessCode(status)) {
  383. console.log("get_output Resolve: " + resp);
  384. if (clbk != undefined && typeof clbk == "function"){
  385. clbk(resp);
  386. }
  387. resolve(resp);
  388. } else {
  389. console.log("get_output reject: " + resp);
  390. reject(resp);
  391. }
  392. };
  393. let params = "op=get_output&taskname=" + ModelVerseConnector.taskname;
  394. HttpUtils.httpReq("POST", ModelVerseConnector.address,
  395. params,
  396. callback
  397. );
  398. }
  399. );
  400. }
  401. /*********END COMMUNICATION FUNCTIONS**********/
  402. /*********WRAPPER FUNCTIONS**********/
  403. static connect(username_param, password_param) {
  404. console.log("Connecting to: " + ModelVerseConnector.address);
  405. ModelVerseConnector.set_status(ModelVerseConnector.WORKING);
  406. let username = username_param || "admin";
  407. let password = password_param || "admin";
  408. let username_params = {
  409. "value": "\"" + username + "\""
  410. };
  411. let password_params = {
  412. "value": "\"" + password + "\""
  413. };
  414. let quiet_mode_params = {
  415. "value": "\"quiet\""
  416. };
  417. this.get_output().then(
  418. function(data){
  419. data = data.replace(/"/g, "");
  420. ModelVerseConnector.taskname = data;
  421. }
  422. )
  423. .then(() => this.send_command(username_params)).then(this.get_output)
  424. .then(() => this.send_command(password_params)).then(this.get_output)
  425. .then(() => this.send_command(quiet_mode_params)).then(this.get_output)
  426. .then(this.get_output)
  427. .then(function () {
  428. ModelVerseConnector.set_status(ModelVerseConnector.OKAY);
  429. })
  430. .catch(
  431. function () {
  432. WindowManagement.openDialog(_ERROR, 'failed to login to the ModelVerse!');
  433. ModelVerseConnector.set_status(ModelVerseConnector.ERROR);
  434. }
  435. );
  436. };
  437. //TODO: Cache this data if too slow
  438. static async get_files_in_folder(folder_name){
  439. return await ModelVerseConnector.model_list(folder_name);
  440. }
  441. static model_list(folder_name){
  442. return new Promise(function(resolve, reject) {
  443. console.log("Listing models in: '" + folder_name + "'");
  444. let folder_param = folder_name;
  445. //fix slashes on filename
  446. if (folder_param.endsWith("/")){
  447. folder_param = folder_param.slice(0, -1);
  448. }
  449. if (folder_param.startsWith("/")){
  450. folder_param = folder_param.slice(1);
  451. }
  452. let model_types = {
  453. "data": utils.jsons(["model_list", folder_param])
  454. };
  455. ModelVerseConnector.send_command(model_types).then(ModelVerseConnector.get_output)
  456. .then(function (data) {
  457. let files = [];
  458. data = data.replace("Success: ", "");
  459. let new_files = JSON.parse(data).split("\n");
  460. for (let i in new_files) {
  461. let file = new_files[i];
  462. files.push(folder_name + file);
  463. }
  464. files.sort();
  465. resolve(files);
  466. });
  467. });
  468. }
  469. static choose_model(status, model_to_save){
  470. console.log("Choosing model: ");
  471. if (status != undefined && status != 200){
  472. ModelVerseConnector.set_status(ModelVerseConnector.ERROR);
  473. return;
  474. };
  475. let loading_mode = (model_to_save == undefined);
  476. let folders = [""];
  477. let files = [];
  478. ModelVerseConnector.set_status(ModelVerseConnector.WORKING);
  479. // only exit on load
  480. if (ModelVerseConnector.curr_model && loading_mode){
  481. let command = {"data": utils.jsons(["exit"])};
  482. this.send_command(command).then(this.get_output)
  483. .then(function(data){
  484. ModelVerseConnector.curr_model = null;
  485. });
  486. }
  487. let startDir = "/";
  488. let fileb = FileBrowser.getFileBrowser(ModelVerseConnector.get_files_in_folder, false, !loading_mode, __getRecentDir(startDir));
  489. let feedback = GUIUtils.getTextSpan('', "feedback");
  490. let title = "ModelVerse Explorer";
  491. let callback = function (filenames) {
  492. if (loading_mode) {
  493. ModelVerseConnector.load_model(filenames[0]);
  494. }else{
  495. ModelVerseConnector.save_model(filenames[0], model_to_save);
  496. }
  497. };
  498. GUIUtils.setupAndShowDialog(
  499. [fileb['filebrowser'], null, null, feedback],
  500. function () {
  501. let value = [fileb['getselection']()];
  502. if (value.length > 0 && value[0] != "" && startDir) {
  503. __setRecentDir(startDir, value[0].substring(0, value[0].lastIndexOf('/') + 1));
  504. }
  505. return value;
  506. },
  507. __TWO_BUTTONS,
  508. title,
  509. callback);
  510. ModelVerseConnector.set_status(ModelVerseConnector.OKAY);
  511. }
  512. static load_model(model_name) {
  513. let metamodel = "formalisms/SimpleClassDiagrams";
  514. //fix slashes on filename
  515. // if (model_name.endsWith("/")){
  516. // model_name = model_name.slice(0, -1);
  517. // }
  518. if (model_name.startsWith("/")){
  519. model_name = model_name.slice(1);
  520. }
  521. console.log("Loading model: " + model_name);
  522. ModelVerseConnector.set_status(ModelVerseConnector.WORKING);
  523. ModelVerseConnector.curr_model = model_name;
  524. //get AS for model
  525. let model_types_command = {
  526. "data": utils.jsons(["model_types", model_name])
  527. };
  528. let model_modify = {
  529. "data": utils.jsons(["model_modify", model_name, metamodel])
  530. };
  531. let model_dump = {
  532. "data": utils.jsons(["JSON"])
  533. };
  534. let model_types = null;
  535. //AS COMMANDS
  536. this.send_command(model_types_command).then(this.get_output)
  537. .then(function(data){
  538. console.log("model_types");
  539. console.log(data);
  540. model_types = data;
  541. })
  542. .then(this.send_command(model_modify)).then(this.get_output)
  543. .then(function(data){
  544. console.log("model_modify");
  545. console.log(data);
  546. })
  547. .then(this.send_command(model_dump)).then(this.get_output)
  548. .then(function(data){
  549. data = data.replace("Success: ", "");
  550. let AS = eval(JSON.parse(data));
  551. ModelVerseConnector.load_MV_model(model_types, AS)
  552. })
  553. .then(function () {
  554. ModelVerseConnector.set_status(ModelVerseConnector.OKAY);
  555. })
  556. .catch(
  557. function (err) {
  558. console.log("Error with model loading!");
  559. console.log(err);
  560. ModelVerseConnector.set_status(ModelVerseConnector.ERROR);
  561. }
  562. );
  563. }
  564. /*********END WRAPPER FUNCTIONS**********/
  565. }