modelverse_connector.js 37 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058
  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. let 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,'Meta-model may not exist in ModelVerse: "' + primary_mm_PM + '"');
  52. //return;
  53. if (primary_mm_PM.startsWith("/")){
  54. primary_mm_PM = primary_mm_PM.slice(1);
  55. }
  56. primary_mm_MV = primary_mm_PM;
  57. }
  58. let model_delete = {
  59. "data": utils.jsons(["model_delete", model_name])
  60. };
  61. let model_create = {
  62. "data": utils.jsons(["model_add", primary_mm_MV, model_name, ""])
  63. };
  64. let model_edit = {
  65. "data": utils.jsons(["model_modify", model_name, primary_mm_MV])
  66. };
  67. ModelVerseConnector.curr_model = model_name;
  68. ModelVerseConnector.send_command(model_create)
  69. .then(ModelVerseConnector.get_output)
  70. .then(function (data) {
  71. if (data.includes("Model not found")){
  72. ModelVerseConnector.set_status(ModelVerseConnector.ERROR);
  73. WindowManagement.openDialog(_ERROR,data);
  74. return;
  75. }
  76. })
  77. .then(ModelVerseConnector.send_command(model_edit))
  78. .then(ModelVerseConnector.get_output)
  79. .then(function(data){
  80. //find edges
  81. //these have srcs and dests in the edge list
  82. let edge_map = {};
  83. for (const [key, node] of Object.entries(m.nodes)) {
  84. let src = null;
  85. let dest = null;
  86. for (const [edge_key, edge] of Object.entries(m.edges)) {
  87. //iterate through each pair of edges
  88. if (edge_key == m.edges.length - 1){
  89. continue;
  90. }
  91. //only look at pairs
  92. if (parseInt(edge_key) % 2 == 1){
  93. continue;
  94. }
  95. let next_edge = m.edges[parseInt(edge_key) + 1];
  96. //see if the links overlap -> this node is an edge
  97. if (edge["dest"] == next_edge["src"] && next_edge["src"] == key){
  98. src = edge['src'];
  99. dest = next_edge['dest']
  100. }
  101. }
  102. if (src == null || dest == null){
  103. continue;
  104. }
  105. edge_map[key] = [src, dest];
  106. }
  107. let node_creation_promises = [];
  108. for (const [key, node] of Object.entries(m.nodes)) {
  109. // if (node.name == undefined){
  110. // continue;
  111. // }
  112. // console.log("Node creation:");
  113. // console.log(node);
  114. if (!(node.linktype == undefined)){
  115. continue;
  116. }
  117. if (Object.keys(edge_map).includes(key)){
  118. continue;
  119. }
  120. let node_name = key;
  121. if (node.name != undefined){
  122. node_name = node.name.value;
  123. }
  124. let node_type = node.$type.split("/").slice(-1)[0];
  125. node_creation_promises.push(ModelVerseConnector.send_command(
  126. {"data": utils.jsons(["instantiate_node", node_type, node_name])}
  127. ));
  128. let set_id = function (id){
  129. if (id.includes("Success")){
  130. ModelVerseConnector.element_map[key] = id.split(" ")[1].replace("\"", "");
  131. }
  132. };
  133. node_creation_promises.push(ModelVerseConnector.get_output(set_id));
  134. }
  135. //TODO: Only for SimpleClassDiagrams?
  136. let simple_type = ["String", "Int", "Float", "Boolean", "Code", "File", "Map", "List", "ENUM"];
  137. for (let st of simple_type){
  138. node_creation_promises.push(ModelVerseConnector.send_command(
  139. {"data": utils.jsons(["instantiate_node", "SimpleAttribute", st])}
  140. ));
  141. node_creation_promises.push(ModelVerseConnector.get_output());
  142. }
  143. //get cardinalities
  144. let card_dict = {};
  145. let attrib_creation_promises = [];
  146. // console.log("Cardinalities");
  147. for (const [key, node] of Object.entries(m.nodes)) {
  148. if (node.cardinalities == undefined || node.cardinalities.value.length == 0){
  149. continue;
  150. }
  151. //console.log(node);
  152. for (const card of node.cardinalities.value){
  153. //console.log(card);
  154. let cardname = card["type"] + card["dir"];
  155. card_dict[cardname] = [card["min"], card["max"]];
  156. // console.log(card_dict);
  157. }
  158. }
  159. Promise.all(node_creation_promises).then( function(){
  160. let edge_creation_promises = [];
  161. for (const [key, node] of Object.entries(m.nodes)) {
  162. if (!(Object.keys(edge_map).includes(key))){
  163. continue;
  164. }
  165. // console.log("Creating edge:");
  166. // console.log(node);
  167. let node_type = node.$type.split("/").slice(-1)[0];
  168. let node_name = null;
  169. if (node.name != undefined) {
  170. node_name = node.name.value;
  171. }else{
  172. node_name = node_type + key;
  173. }
  174. let es = edge_map[key][0];
  175. let ed = edge_map[key][1];
  176. let src = ModelVerseConnector.element_map[es];
  177. let dest = ModelVerseConnector.element_map[ed];
  178. let set_id = function (id){
  179. if (id.includes("Success")){
  180. ModelVerseConnector.element_map[key] = id.split(" ")[1].replace("\"", "");
  181. }
  182. };
  183. if (src != null && dest != null) {
  184. edge_creation_promises.push(ModelVerseConnector.send_command(
  185. {"data": utils.jsons(["instantiate_edge", node_type, node_name, src, dest])}
  186. ));
  187. edge_creation_promises.push(ModelVerseConnector.get_output(set_id));
  188. }
  189. }
  190. Promise.all(edge_creation_promises).then(function() {
  191. for (const [key, node] of Object.entries(m.nodes)) {
  192. let ele = ModelVerseConnector.element_map[key];
  193. let node_type = node.$type.split("/").slice(-1)[0];
  194. if (node.abstract != undefined && node.abstract.value){
  195. attrib_creation_promises.push(ModelVerseConnector.send_command(
  196. {"data": utils.jsons(["attr_add", ele, "abstract", true])}
  197. ));
  198. attrib_creation_promises.push(ModelVerseConnector.get_output());
  199. }
  200. if (node.name != undefined && node_type != "GlobalConstraint"){
  201. attrib_creation_promises.push(ModelVerseConnector.send_command(
  202. {"data": utils.jsons(["attr_add", ele, "name", node.name.value])}
  203. ));
  204. attrib_creation_promises.push(ModelVerseConnector.get_output());
  205. }
  206. if (node.name != undefined){
  207. // console.log(Object.keys(card_dict));
  208. let src_card = card_dict[node.name.value + "out"];
  209. let trgt_card = card_dict[node.name.value + "in"];
  210. // console.log("Src:");
  211. // console.log(src_card);
  212. if (src_card != undefined){
  213. attrib_creation_promises.push(ModelVerseConnector.send_command(
  214. {"data": utils.jsons(["attr_add", ele, "source_lower_cardinality", src_card[0]])}
  215. ));
  216. attrib_creation_promises.push(ModelVerseConnector.get_output());
  217. attrib_creation_promises.push(ModelVerseConnector.send_command(
  218. {"data": utils.jsons(["attr_add", ele, "source_upper_cardinality", src_card[1]])}
  219. ));
  220. attrib_creation_promises.push(ModelVerseConnector.get_output());
  221. }
  222. // console.log("Trgt:");
  223. // console.log(trgt_card);
  224. if (trgt_card != undefined){
  225. attrib_creation_promises.push(ModelVerseConnector.send_command(
  226. {"data": utils.jsons(["attr_add", ele, "target_lower_cardinality", trgt_card[0]])}
  227. ));
  228. attrib_creation_promises.push(ModelVerseConnector.get_output());
  229. attrib_creation_promises.push(ModelVerseConnector.send_command(
  230. {"data": utils.jsons(["attr_add", ele, "target_upper_cardinality", trgt_card[1]])}
  231. ));
  232. attrib_creation_promises.push(ModelVerseConnector.get_output());
  233. }
  234. }
  235. if (node.attributes != undefined) {
  236. //console.log(node);
  237. for (const [key, attrib] of Object.entries(node.attributes.value)) {
  238. //console.log(attrib);
  239. let type = attrib.type[0].toUpperCase() + attrib.type.substring(1);
  240. if (type.startsWith("ENUM")){
  241. type = "ENUM";
  242. }
  243. type = type.split("<")[0];
  244. attrib_creation_promises.push(ModelVerseConnector.send_command(
  245. {"data": utils.jsons(["define_attribute", ele, attrib.name, type])}
  246. ));
  247. attrib_creation_promises.push(ModelVerseConnector.get_output());
  248. }
  249. }
  250. }
  251. ModelVerseConnector.set_status(ModelVerseConnector.OKAY);
  252. });
  253. });
  254. });
  255. }
  256. static load_MV_model(metamodels, AS) {
  257. return new Promise(
  258. function (resolve, reject) {
  259. console.log("Load MV Model");
  260. console.log(AS);
  261. console.log(metamodels);
  262. let primary_MV_metamodel = metamodels.split(" ")[1].split(",")[0];
  263. let primary_PM_metamodel = ModelVerseConnector.MV2PM_metamodel_map[primary_MV_metamodel];
  264. if (primary_PM_metamodel == undefined){
  265. console.log("Warning: No metamodel known for " + primary_MV_metamodel);
  266. primary_PM_metamodel = primary_MV_metamodel;
  267. }
  268. console.log("MV MM: " + primary_MV_metamodel);
  269. console.log("PM MM: " + primary_PM_metamodel);
  270. let csmetamodel = ".defaultIcons";
  271. //this concrete syntax is better
  272. if (primary_MV_metamodel == "formalisms/SimpleClassDiagrams"){
  273. csmetamodel = ".umlIcons";
  274. }
  275. let metamodel = primary_PM_metamodel + csmetamodel + ".metamodel";
  276. DataUtils.loadmm(metamodel,
  277. function(){
  278. console.log("Metamodel loaded: " + metamodel);
  279. });
  280. let model_elements = [];
  281. let model_links = [];
  282. let model_links_dict = {};
  283. let model_attrib_types = [];
  284. let model_attribs = {};
  285. //class name, etc.
  286. let model_properties = {};
  287. for (const obj of Object.values(AS)) {
  288. let obj_type = obj["__type"];
  289. let name = obj["name"];
  290. if (name == undefined){
  291. name = obj_type;
  292. }
  293. if (obj_type == "SimpleAttribute"){
  294. model_attrib_types.push(name);
  295. continue;
  296. }
  297. let src = obj["__source"];
  298. let trgt = obj["__target"];
  299. let add_properties = true;
  300. //console.log("obj " + obj_type + " " + name + " = " + src + " - " + trgt);
  301. if (src == undefined && trgt == undefined){
  302. model_elements.push([name, obj_type]);
  303. }else{
  304. if (obj_type == "AttributeLink"){//model_attrib_types.includes(trgt)){
  305. if (model_attribs[src] == undefined){
  306. model_attribs[src] = [];
  307. }
  308. model_attribs[src].push([name, trgt]);
  309. add_properties = false;
  310. }else{
  311. model_links.push([obj_type, src, trgt, obj["__id"]]);
  312. model_links_dict[obj["__id"]] = [src, trgt];
  313. }
  314. }
  315. if (add_properties) {
  316. for (let [prop_name, prop_value] of Object.entries(obj)) {
  317. console.log(name + " :: " + prop_name + ' = ' + prop_value);
  318. if (prop_name.startsWith("__")) {
  319. continue;
  320. }
  321. if (prop_value == null){
  322. continue;
  323. }
  324. if (model_properties[name] == undefined) {
  325. model_properties[name] = [];
  326. }
  327. if (prop_name.endsWith("_cardinality")){
  328. if (!(Object.keys(model_links_dict).includes(name))){
  329. continue;
  330. }
  331. let dest = undefined;
  332. let lower_upper = prop_name.split("_")[1];
  333. lower_upper = (lower_upper == "lower")? "min":"max";
  334. if (prop_name.startsWith("source")){
  335. dest = model_links_dict[name][0];
  336. prop_name = "cardinality_" + lower_upper + "_" + name + "_out_";
  337. }else if (prop_name.startsWith("target")){
  338. dest = model_links_dict[name][1];
  339. prop_name = "cardinality_" + lower_upper + "_" + name + "_in_";
  340. }
  341. if (model_properties[dest] == undefined) {
  342. model_properties[dest] = [];
  343. }
  344. model_properties[dest].push([prop_name, prop_value]);
  345. continue;
  346. }
  347. // console.log(name + " :: " + prop_name + ' = ' + prop_value);
  348. model_properties[name].push([prop_name, prop_value]);
  349. }
  350. }
  351. }
  352. let ele_ids = {};
  353. //TODO: Replace with better layout
  354. let start_x = 100;
  355. let start_y = 100;
  356. let x_offset = 250;
  357. let max_x = 4;
  358. let y_offset = 200;
  359. let i = 0;
  360. let element_promises = [];
  361. for (const [name, obj_type] of model_elements){
  362. let class_type = primary_PM_metamodel + csmetamodel + "/" + obj_type + "Icon";
  363. __typeToCreate = class_type;
  364. element_promises.push(new Promise(function(resolve, reject){
  365. let updateClass =
  366. function(status, resp){
  367. if (Math.floor(status / 100) != 2){
  368. resolve();
  369. return;
  370. }
  371. // console.log(status);
  372. // console.log(resp);
  373. let data = JSON.parse(resp);
  374. let uri = class_type + "/" + data["data"] + ".instance";
  375. ele_ids[name] = uri;
  376. resolve();
  377. };
  378. let x_pos = start_x + Math.floor(i % max_x) * x_offset;
  379. let y_pos = start_y + Math.floor(i / max_x) * y_offset;
  380. DataUtils.create(x_pos, y_pos, updateClass);
  381. i +=1;
  382. }));
  383. }
  384. Promise.all(element_promises).then(function(){
  385. console.log("Starting link promises");
  386. let link_promises = [];
  387. for (const [obj_type, src, trgt, obj_id] of model_links){
  388. console.log("Link:");
  389. console.log(obj_type + " " + src + " " + trgt + " " + obj_id);
  390. link_promises.push(new Promise(function(resolve, reject) {
  391. let source_element = ele_ids[src];
  392. let target_element = ele_ids[trgt];
  393. //skip attribute links
  394. if (obj_type == "AttributeLink"){
  395. resolve();
  396. return;
  397. }
  398. if (source_element == undefined || target_element == undefined) {
  399. console.log("ERROR: Can't create link '" + obj_type + "' between " + src + " and " + trgt);
  400. resolve();
  401. return;
  402. }
  403. let connectionType = primary_PM_metamodel + csmetamodel + "/" + obj_type + "Link.type";
  404. let link_create_callback = function(status, resp){
  405. // console.log(status);
  406. // console.log(resp);
  407. let id = JSON.parse(resp)["data"];
  408. let assoc_id = connectionType.replace(".type", "/") + id + ".instance";
  409. // console.log(obj_id + " = " + assoc_id);
  410. ele_ids[obj_id] = assoc_id;
  411. resolve();
  412. };
  413. console.log(connectionType);
  414. HttpUtils.httpReq(
  415. 'POST',
  416. HttpUtils.url(connectionType, __NO_USERNAME),
  417. {
  418. 'src': source_element,
  419. 'dest': target_element,
  420. 'pos': undefined,
  421. 'segments': undefined
  422. },
  423. link_create_callback);
  424. }));
  425. }
  426. Promise.all(link_promises).then(function(){
  427. console.log("Start properties");
  428. for (const [ele, properties] of Object.entries(model_properties)) {
  429. let uri = ele_ids[ele];
  430. if (uri == undefined) {
  431. console.log("Uri not found for element: " + ele);
  432. continue;
  433. }
  434. // console.log("Element: " + ele + " = uri: " + uri);
  435. let changes = {};
  436. let cardinalities = [];
  437. let card_dict = {};
  438. for (const [key, value] of Object.entries(properties)) {
  439. // console.log(value[0] + " = ");
  440. // console.log(value[1]);
  441. //TODO: Fix this
  442. if (value[0].includes("constraint")) {
  443. continue;
  444. }
  445. if (value[0].startsWith("cardinality")) {
  446. let minmax = value[0].split("_")[1];
  447. let assoc_name = value[0].split("_")[2];
  448. let dir = value[0].split("_")[3];
  449. // console.log("Card:");
  450. // console.log(minmax + " " + assoc_name + " " + dir);
  451. let found_card = false;
  452. for (let [key, existing_card] of Object.entries(cardinalities)){
  453. if (existing_card["type"] == assoc_name){
  454. found_card = true;
  455. cardinalities[key][minmax] = value[1];
  456. }
  457. }
  458. if (!found_card)
  459. {
  460. let new_card = {
  461. "dir" : dir,
  462. "type" : assoc_name
  463. };
  464. new_card[minmax] = value[1];
  465. cardinalities.push(new_card);
  466. }
  467. }else {
  468. //all other properties
  469. changes[value[0]] = value[1];
  470. }
  471. }
  472. if (cardinalities.length > 0) {
  473. changes["cardinalities"] = cardinalities;
  474. }
  475. DataUtils.update(uri, changes);
  476. }
  477. console.log("Start attributes");
  478. for (const [ele, attributes] of Object.entries(model_attribs)){
  479. let uri = ele_ids[ele];
  480. if (uri == undefined){
  481. console.log("Uri not found for element: " + ele);
  482. continue;
  483. }
  484. let attrib_changes = [];
  485. // console.log("Element: " + ele + " = uri: " + uri);
  486. for (const[key, value] of attributes){
  487. //TODO: Make attributes valid PM types
  488. let pm_value = value.toLowerCase();
  489. if (pm_value == "natural" || pm_value == "integer"){
  490. pm_value = "int";
  491. }
  492. // console.log(key + " = " + pm_value);
  493. let attrib_change = {
  494. "name": key,
  495. "type" : pm_value
  496. };
  497. attrib_changes.push(attrib_change);
  498. }
  499. DataUtils.update(uri, {"attributes" : attrib_changes});
  500. }
  501. });
  502. });
  503. resolve();
  504. });
  505. }
  506. /*********COMMUNICATION FUNCTIONS**********/
  507. static send_command(param_dict) {
  508. return new Promise(
  509. function (resolve, reject) {
  510. let callback = function (status, resp) {
  511. if (utils.isHttpSuccessCode(status)) {
  512. //console.log("send_command Resolve: " + resp);
  513. resolve(resp);
  514. } else {
  515. console.log("send_command Reject: " + resp);
  516. reject(resp);
  517. }
  518. };
  519. if (!("op" in param_dict)) {
  520. param_dict["op"] = "set_input";
  521. }
  522. if (!("taskname" in param_dict)) {
  523. param_dict["taskname"] = ModelVerseConnector.taskname;
  524. }
  525. let params = "";
  526. for (const [key, value] of Object.entries(param_dict)) {
  527. params += key + "=" + value + "&";
  528. }
  529. //take off last &
  530. params = params.slice(0, -1);
  531. console.log("Sending: " + params);
  532. HttpUtils.httpReq("POST", ModelVerseConnector.address,
  533. params,
  534. callback
  535. );
  536. });
  537. }
  538. static get_output(clbk) {
  539. return new Promise(
  540. function (resolve, reject) {
  541. let callback = function (status, resp) {
  542. if (utils.isHttpSuccessCode(status)) {
  543. console.log("get_output Resolve: " + resp);
  544. if (clbk != undefined && typeof clbk == "function"){
  545. clbk(resp);
  546. }
  547. resolve(resp);
  548. } else {
  549. console.log("get_output reject: " + resp);
  550. reject(resp);
  551. }
  552. };
  553. let params = "op=get_output&taskname=" + ModelVerseConnector.taskname;
  554. HttpUtils.httpReq("POST", ModelVerseConnector.address,
  555. params,
  556. callback
  557. );
  558. }
  559. );
  560. }
  561. /*********END COMMUNICATION FUNCTIONS**********/
  562. /*********WRAPPER FUNCTIONS**********/
  563. static connect(username_param, password_param) {
  564. console.log("Connecting to: " + ModelVerseConnector.address);
  565. ModelVerseConnector.set_status(ModelVerseConnector.WORKING);
  566. let username = username_param || "admin";
  567. let password = password_param || "admin";
  568. let username_params = {
  569. "value": "\"" + username + "\""
  570. };
  571. let password_params = {
  572. "value": "\"" + password + "\""
  573. };
  574. let quiet_mode_params = {
  575. "value": "\"quiet\""
  576. };
  577. this.get_output().then(
  578. function(data){
  579. data = data.replace(/"/g, "");
  580. ModelVerseConnector.taskname = data;
  581. }
  582. )
  583. .then(() => this.send_command(username_params)).then(this.get_output)
  584. .then(() => this.send_command(password_params)).then(this.get_output)
  585. .then(() => this.send_command(quiet_mode_params)).then(this.get_output)
  586. .then(this.get_output)
  587. .then(function () {
  588. ModelVerseConnector.set_status(ModelVerseConnector.OKAY);
  589. })
  590. .catch(
  591. function () {
  592. WindowManagement.openDialog(_ERROR, 'failed to login to the ModelVerse!');
  593. ModelVerseConnector.set_status(ModelVerseConnector.ERROR);
  594. }
  595. );
  596. };
  597. //TODO: Cache this data if too slow
  598. static async get_files_in_folder(folder_name){
  599. return await ModelVerseConnector.model_list(folder_name);
  600. }
  601. static model_list(folder_name){
  602. return new Promise(function(resolve, reject) {
  603. console.log("Listing models in: '" + folder_name + "'");
  604. let folder_param = folder_name;
  605. //fix slashes on filename
  606. if (folder_param.endsWith("/")){
  607. folder_param = folder_param.slice(0, -1);
  608. }
  609. if (folder_param.startsWith("/")){
  610. folder_param = folder_param.slice(1);
  611. }
  612. let model_types = {
  613. "data": utils.jsons(["model_list", folder_param])
  614. };
  615. ModelVerseConnector.send_command(model_types).then(ModelVerseConnector.get_output)
  616. .then(function (data) {
  617. let files = [];
  618. data = data.replace("Success: ", "");
  619. let new_files = JSON.parse(data).split("\n");
  620. for (let i in new_files) {
  621. let file = new_files[i];
  622. files.push(folder_name + file);
  623. }
  624. files.sort();
  625. resolve(files);
  626. });
  627. });
  628. }
  629. static choose_model(status, model_to_save){
  630. console.log("Choosing model: ");
  631. if (status != undefined && status != 200){
  632. ModelVerseConnector.set_status(ModelVerseConnector.ERROR);
  633. return;
  634. };
  635. let loading_mode = (model_to_save == undefined);
  636. let folders = [""];
  637. let files = [];
  638. ModelVerseConnector.set_status(ModelVerseConnector.WORKING);
  639. //if editing a model, exit it
  640. if (ModelVerseConnector.curr_model){
  641. let command = {"data": utils.jsons(["exit"])};
  642. ModelVerseConnector.send_command(command).then(this.get_output)
  643. .then(function(data){
  644. ModelVerseConnector.curr_model = null;
  645. });
  646. }
  647. let startDir = "/";
  648. let fileb = FileBrowser.getFileBrowser(ModelVerseConnector.get_files_in_folder, false, !loading_mode, startDir);
  649. let feedback = GUIUtils.getTextSpan('', "feedback");
  650. let title = "ModelVerse Explorer";
  651. let callback = function (filenames) {
  652. //fix slashes on filename
  653. // if (filenames[0].endsWith("/")){
  654. // filenames[0] = filenames[0].slice(0, -1);
  655. // }
  656. if (filenames[0].startsWith("/")){
  657. filenames[0] = filenames[0].slice(1);
  658. }
  659. if (loading_mode) {
  660. ModelVerseConnector.load_model(filenames[0]);
  661. }else{
  662. ModelVerseConnector.save_model(filenames[0], model_to_save);
  663. }
  664. };
  665. let folder_buttons = $('<div>');
  666. let new_folder_b = $('<button>');
  667. new_folder_b.attr('id', 'new_folder')
  668. .html('new folder')
  669. .click(function (ev) {
  670. let folder_name = prompt("please fill in a name for the folder");
  671. if (folder_name == null) {
  672. return;
  673. }
  674. folder_name = folder_name.replace(/^\s+|\s+$/g, ''); // trim
  675. if (!folder_name.match(/^[a-zA-Z0-9_\s]+$/i)) {
  676. feedback.html("invalid folder name: " + folder_name);
  677. } else {
  678. let full_folder_name = fileb['getcurrfolder']() + folder_name;
  679. console.log("Creating: " + full_folder_name);
  680. let mk_folder_command = {
  681. "data": utils.jsons(["folder_create", full_folder_name])
  682. };
  683. ModelVerseConnector.send_command(mk_folder_command).then(ModelVerseConnector.get_output)
  684. .then(function (data) {
  685. console.log("Got data: " + data);
  686. });
  687. }
  688. });
  689. folder_buttons.append(new_folder_b);
  690. GUIUtils.setupAndShowDialog(
  691. [fileb['filebrowser'], loading_mode?null:folder_buttons, null, feedback],
  692. function () {
  693. let value = [fileb['getselection']()];
  694. if (value.length > 0 && value[0] != "" && startDir) {
  695. __setRecentDir(startDir, value[0].substring(0, value[0].lastIndexOf('/') + 1));
  696. }
  697. return value;
  698. },
  699. __TWO_BUTTONS,
  700. title,
  701. callback);
  702. ModelVerseConnector.set_status(ModelVerseConnector.OKAY);
  703. }
  704. static load_model(model_name) {
  705. //TODO: Allow user to choose metamodel
  706. let metamodel = "formalisms/SimpleClassDiagrams";
  707. if (model_name.includes("autotest") && model_name != "autotest/autotest"){
  708. metamodel = "autotest/autotest";
  709. }
  710. console.log("Loading model: " + model_name);
  711. ModelVerseConnector.set_status(ModelVerseConnector.WORKING);
  712. ModelVerseConnector.curr_model = model_name;
  713. //get AS for model
  714. let model_types_command = {
  715. "data": utils.jsons(["model_types", model_name])
  716. };
  717. let model_modify = {
  718. "data": utils.jsons(["model_modify", model_name, metamodel])
  719. };
  720. let model_dump = {
  721. "data": utils.jsons(["JSON"])
  722. };
  723. let model_types = null;
  724. //AS COMMANDS
  725. this.send_command(model_types_command).then(this.get_output)
  726. .then(function(data){
  727. console.log("model_types");
  728. console.log(data);
  729. model_types = data;
  730. })
  731. .then(this.send_command(model_modify)).then(this.get_output)
  732. .then(function(data){
  733. console.log("model_modify");
  734. console.log(data);
  735. })
  736. .then(this.send_command(model_dump)).then(this.get_output)
  737. .then(function(data){
  738. data = data.replace("Success: ", "");
  739. let AS = eval(JSON.parse(data));
  740. ModelVerseConnector.load_MV_model(model_types, AS)
  741. })
  742. .then(function () {
  743. ModelVerseConnector.set_status(ModelVerseConnector.OKAY);
  744. })
  745. .catch(
  746. function (err) {
  747. console.log("Error with model loading!");
  748. console.log(err);
  749. ModelVerseConnector.set_status(ModelVerseConnector.ERROR);
  750. }
  751. );
  752. }
  753. /*********END WRAPPER FUNCTIONS**********/
  754. }