core_algorithm.alc 67 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216121712181219122012211222122312241225122612271228122912301231123212331234123512361237123812391240124112421243124412451246124712481249125012511252125312541255125612571258125912601261126212631264126512661267126812691270127112721273127412751276127712781279128012811282128312841285128612871288128912901291129212931294129512961297129812991300130113021303130413051306130713081309131013111312131313141315131613171318131913201321132213231324132513261327132813291330133113321333133413351336133713381339134013411342134313441345134613471348134913501351135213531354135513561357135813591360136113621363136413651366136713681369137013711372137313741375137613771378137913801381138213831384138513861387138813891390139113921393139413951396139713981399140014011402140314041405140614071408140914101411141214131414141514161417141814191420142114221423142414251426142714281429143014311432143314341435143614371438143914401441144214431444144514461447144814491450145114521453145414551456145714581459146014611462146314641465146614671468146914701471147214731474147514761477147814791480148114821483148414851486148714881489149014911492149314941495149614971498149915001501150215031504150515061507150815091510151115121513151415151516151715181519152015211522152315241525152615271528152915301531153215331534153515361537153815391540154115421543154415451546154715481549155015511552155315541555155615571558155915601561156215631564156515661567156815691570157115721573157415751576157715781579158015811582158315841585158615871588158915901591159215931594159515961597159815991600160116021603160416051606160716081609161016111612161316141615161616171618161916201621162216231624162516261627162816291630163116321633163416351636163716381639164016411642164316441645164616471648164916501651165216531654165516561657165816591660166116621663166416651666166716681669167016711672167316741675167616771678167916801681168216831684168516861687168816891690169116921693169416951696169716981699170017011702170317041705170617071708170917101711171217131714171517161717171817191720172117221723172417251726172717281729173017311732173317341735173617371738173917401741174217431744174517461747174817491750175117521753175417551756175717581759176017611762176317641765176617671768176917701771177217731774177517761777177817791780178117821783178417851786178717881789179017911792179317941795179617971798179918001801180218031804180518061807180818091810181118121813181418151816181718181819182018211822182318241825182618271828182918301831183218331834183518361837183818391840184118421843184418451846184718481849185018511852185318541855185618571858185918601861186218631864186518661867186818691870187118721873187418751876187718781879188018811882188318841885188618871888188918901891189218931894189518961897189818991900190119021903190419051906190719081909191019111912191319141915191619171918191919201921192219231924192519261927192819291930
  1. include "modelling.alh"
  2. include "library.alh"
  3. include "primitives.alh"
  4. include "constructors.alh"
  5. include "object_operations.alh"
  6. include "mini_modify.alh"
  7. include "model_management.alh"
  8. include "ramify.alh"
  9. include "conformance_scd.alh"
  10. include "transform.alh"
  11. include "metamodels.alh"
  12. Element core = ?
  13. String core_location = "models/CoreFormalism"
  14. String core_model_location = "core"
  15. Void function main():
  16. // Initialize the Core Formalism
  17. String core_model
  18. String core_formalism_model
  19. String scd_model
  20. Element al_model
  21. String admin_group
  22. String admin_user
  23. String nobody_group
  24. String instance_of
  25. String core_formalism
  26. Element scd
  27. Element al
  28. Element pm
  29. String pm_model
  30. String coreM_model_location
  31. String pm_location
  32. String scd_location
  33. String al_location
  34. coreM_model_location = "models/core"
  35. pm_location = "models/ProcessModel"
  36. scd_location = "models/SimpleClassDiagrams"
  37. al_location = "models/ActionLanguage"
  38. scd = import_node(scd_location)
  39. al = import_node(al_location)
  40. pm = import_node(pm_location)
  41. // Create the Model itself and make public
  42. core_formalism = import_node(core_location)
  43. core = instantiate_model(core_formalism)
  44. export_node(core_model_location, core)
  45. export_node(coreM_model_location, core["model"])
  46. // Switch all new users to the user_function
  47. // This accesses the bootstrap level, so do not change this unless you know what you are doing
  48. Element root
  49. Element prev
  50. root = read_root()
  51. root = root["__hierarchy"]["__IP"]
  52. while (value_neq(root, !call)):
  53. prev = root
  54. root = root["next"]
  55. dict_delete(prev, "next")
  56. dict_add(prev, "next", user_function["body"])
  57. // Create admin group
  58. admin_group = instantiate_node(core, "Group", "")
  59. instantiate_attribute(core, admin_group, "name", "admin")
  60. // Create nobody group
  61. nobody_group = instantiate_node(core, "Group", "")
  62. instantiate_attribute(core, nobody_group, "name", "nobody")
  63. // Create admin user
  64. admin_user = instantiate_node(core, "User", "")
  65. output("Desired username for admin user?")
  66. instantiate_attribute(core, admin_user, "name", input())
  67. instantiate_attribute(core, admin_user, "admin", True)
  68. String password
  69. while (True):
  70. output("Desired password for admin user?")
  71. password = hash(input())
  72. output("Please repeat the password")
  73. if (password == hash(input())):
  74. output("Passwords match!")
  75. instantiate_attribute(core, admin_user, "password", password)
  76. break!
  77. else:
  78. output("Not the same password, please try again!")
  79. // Create link between admin user and group
  80. instantiate_link(core, "ownedBy", "", admin_group, admin_user)
  81. instantiate_link(core, "belongsTo", "", admin_user, admin_group)
  82. // Add the SimpleClassDiagrams formalism already
  83. scd_model = instantiate_node(core, "Model", "")
  84. instantiate_attribute(core, scd_model, "name", "SimpleClassDiagrams")
  85. instantiate_attribute(core, scd_model, "location", scd_location + "/model")
  86. instantiate_attribute(core, scd_model, "permissions", "221")
  87. instance_of = instantiate_link(core, "instanceOf", "", scd_model, scd_model)
  88. instantiate_attribute(core, instance_of, "type_mapping", scd["type_mapping"])
  89. // Make necessary links for the formalism to the owners
  90. instantiate_link(core, "group", "", scd_model, admin_group)
  91. instantiate_link(core, "owner", "", scd_model, admin_user)
  92. // Add the Process Model formalism
  93. pm_model = instantiate_node(core, "Model", "")
  94. instantiate_attribute(core, pm_model, "name", "ProcessModel")
  95. instantiate_attribute(core, pm_model, "location", pm_location + "/model")
  96. instantiate_attribute(core, pm_model, "permissions", "221")
  97. instance_of = instantiate_link(core, "instanceOf", "", pm_model, scd_model)
  98. instantiate_attribute(core, instance_of, "type_mapping", pm["type_mapping"])
  99. // Make necessary links for the formalism to the owners
  100. instantiate_link(core, "group", "", pm_model, admin_group)
  101. instantiate_link(core, "owner", "", pm_model, admin_user)
  102. // Add the Action Language formalism
  103. al_model = instantiate_node(core, "Model", "")
  104. instantiate_attribute(core, al_model, "name", "ActionLanguage")
  105. instantiate_attribute(core, al_model, "location", al_location + "/model")
  106. instantiate_attribute(core, al_model, "permissions", "221")
  107. instance_of = instantiate_link(core, "instanceOf", "", al_model, scd_model)
  108. instantiate_attribute(core, instance_of, "type_mapping", al["type_mapping"])
  109. // Make necessary links for the formalism to the owners
  110. instantiate_link(core, "group", "", al_model, admin_group)
  111. instantiate_link(core, "owner", "", al_model, admin_user)
  112. // Add the Manual Operation formalism
  113. Element manual
  114. String manual_model
  115. manual = instantiate_model(scd)
  116. manual_model = instantiate_node(core, "Model", "")
  117. export_node("models/ManualOperation", manual)
  118. instantiate_attribute(core, manual_model, "name", "ManualOperation")
  119. instantiate_attribute(core, manual_model, "location", "models/ManualOperation/model")
  120. instantiate_attribute(core, manual_model, "permissions", "221")
  121. instance_of = instantiate_link(core, "instanceOf", "", manual_model, scd_model)
  122. instantiate_attribute(core, instance_of, "type_mapping", create_node())
  123. // Make necessary links for the formalism to the owners
  124. instantiate_link(core, "group", "", manual_model, admin_group)
  125. instantiate_link(core, "owner", "", manual_model, admin_user)
  126. // Add the core formalism already
  127. core_formalism_model = instantiate_node(core, "Model", "")
  128. instantiate_attribute(core, core_formalism_model, "name", "CoreFormalism")
  129. instantiate_attribute(core, core_formalism_model, "location", core_location + "/model")
  130. instantiate_attribute(core, core_formalism_model, "permissions", "221")
  131. instance_of = instantiate_link(core, "instanceOf", "", core_formalism_model, scd_model)
  132. instantiate_attribute(core, instance_of, "type_mapping", core_formalism["type_mapping"])
  133. // Make necessary links for the formalism to the owners
  134. instantiate_link(core, "group", "", core_formalism_model, admin_group)
  135. instantiate_link(core, "owner", "", core_formalism_model, admin_user)
  136. // Add the core model
  137. core_model = instantiate_node(core, "Model", "")
  138. instantiate_attribute(core, core_model, "name", "core")
  139. instantiate_attribute(core, core_model, "location", coreM_model_location)
  140. instantiate_attribute(core, core_model, "permissions", "200")
  141. instance_of = instantiate_link(core, "instanceOf", "", core_model, core_formalism_model)
  142. instantiate_attribute(core, instance_of, "type_mapping", core["type_mapping"])
  143. // Make necessary links for the formalism to the owners
  144. instantiate_link(core, "group", "", core_model, admin_group)
  145. instantiate_link(core, "owner", "", core_model, admin_user)
  146. // Call this for ourselves as well
  147. log("MvC is ready!")
  148. user_function_skip_init(admin_user)
  149. // Done, so finish up
  150. // Admin user will have been deleted by the user_function as usual
  151. // Note that if there are no admin users left, it will be very difficult to manage, as nobody will have admin permissions!
  152. return !
  153. String function get_instanceOf_link(model_id : String):
  154. Element all_links
  155. String choice
  156. all_links = allOutgoingAssociationInstances(core, model_id, "instanceOf")
  157. if (read_nr_out(all_links) > 1):
  158. log("WARNING: multiple instanceOf relations were detected for this model; picking one at random!")
  159. elif (read_nr_out(all_links) == 0):
  160. log("ERROR: untyped model!")
  161. choice = set_pop(allOutgoingAssociationInstances(core, model_id, "instanceOf"))
  162. return choice!
  163. Element function get_full_model(model_id : String):
  164. Element m
  165. Element all_links
  166. String choice
  167. choice = get_instanceOf_link(model_id)
  168. m = create_node()
  169. dict_add(m, "model", import_node(read_attribute(core, model_id, "location")))
  170. dict_add(m, "type_mapping", read_attribute(core, choice, "type_mapping"))
  171. if (readAssociationDestination(core, choice) == model_id):
  172. // Found the meta-circular level, so we can stop!
  173. dict_add(m, "metamodel", m)
  174. else:
  175. dict_add(m, "metamodel", get_full_model(readAssociationDestination(core, choice)))
  176. return m!
  177. Integer function get_relation_to_model(user_id : String, model_id : String):
  178. if (set_in(allAssociationDestinations(core, model_id, "owner"), user_id)):
  179. // We are the owner
  180. return 0!
  181. else:
  182. String group_id
  183. group_id = set_pop(allAssociationDestinations(core, model_id, "group"))
  184. if (set_in(allAssociationDestinations(core, user_id, "belongsTo"), group_id)):
  185. // We are in the owning group
  186. return 1!
  187. else:
  188. // We are not related whatsoever
  189. return 2!
  190. Boolean function is_admin(user_id : String):
  191. if (read_attribute(core, user_id, "admin")):
  192. return True!
  193. else:
  194. return False!
  195. Boolean function allow_read(user_id : String, model_id : String):
  196. if (is_admin(user_id)):
  197. // Is admin, so always allow
  198. return True!
  199. else:
  200. // Check permissions
  201. String permission
  202. permission = string_get(read_attribute(core, model_id, "permissions"), get_relation_to_model(user_id, model_id))
  203. if (bool_or(permission == "1", permission == "2")):
  204. return True!
  205. else:
  206. return False!
  207. Boolean function allow_write(user_id : String, model_id : String):
  208. if (is_admin(user_id)):
  209. // Is admin, so always allow
  210. return True!
  211. else:
  212. // Check permissions
  213. String permission
  214. permission = string_get(read_attribute(core, model_id, "permissions"), get_relation_to_model(user_id, model_id))
  215. if (permission == "2"):
  216. return True!
  217. else:
  218. return False!
  219. Boolean function allow_change_metadata(user_id : String, model_id : String):
  220. if (is_admin(user_id)):
  221. // Is admin, so always allow
  222. return True!
  223. else:
  224. if (get_relation_to_model(user_id, model_id) == 0):
  225. // Only owner can chmod
  226. return True!
  227. else:
  228. return False!
  229. Boolean function allow_group_modify(user_id : String, group_id : String):
  230. if (is_admin(user_id)):
  231. // Is admin, so always allow
  232. return True!
  233. else:
  234. if (read_nr_out(set_overlap(allIncomingAssociationInstances(core, user_id, "owner"), allOutgoingAssociationInstances(core, group_id, "owner"))) > 0):
  235. // We are an owner
  236. return True!
  237. else:
  238. return False!
  239. Boolean function check_login(user_id : String):
  240. String password
  241. String stored_password
  242. stored_password = read_attribute(core, user_id, "password")
  243. output("Password for existing user?")
  244. password = hash(input())
  245. return password == stored_password!
  246. Element function extract_ftg(user_id : String):
  247. // Extract your personal FTG, showing only the readable models that can be opened
  248. // This function does the actual projection of transformations
  249. // TODO: Only keep transformations satisfying some properties!
  250. return create_node()!
  251. Element function user_function():
  252. String username
  253. String user_id
  254. String password
  255. // Load in all global variables, as this code is hotloaded!
  256. Element root
  257. root = read_root()
  258. root = root["__hierarchy"]["objects"]
  259. exec(root["bootstrap/modelling.alc"]["initializers"])
  260. exec(root["bootstrap/library.alc"]["initializers"])
  261. exec(root["bootstrap/constructors.alc"]["initializers"])
  262. exec(root["bootstrap/object_operations.alc"]["initializers"])
  263. exec(root["core/mini_modify.alc"]["initializers"])
  264. exec(root["bootstrap/model_management.alc"]["initializers"])
  265. exec(root["bootstrap/ramify.alc"]["initializers"])
  266. exec(root["bootstrap/transform.alc"]["initializers"])
  267. exec(root["bootstrap/conformance_scd.alc"]["initializers"])
  268. exec(root["core/core_algorithm.alc"]["initializers"])
  269. // Load in a hard-reference to the previously created model
  270. core = import_node(core_model_location)
  271. output("Log on as which user?")
  272. username = input()
  273. user_id = get_user_id(username)
  274. if (user_id == ""):
  275. // New user
  276. // Add user to Core Formalism
  277. user_id = instantiate_node(core, "User", "")
  278. instantiate_attribute(core, user_id, "name", username)
  279. instantiate_attribute(core, user_id, "admin", False)
  280. while (True):
  281. output("This is a new user: please give password!")
  282. password = hash(input())
  283. output("Please repeat the password")
  284. if (password == hash(input())):
  285. output("Passwords match!")
  286. output("User created")
  287. instantiate_attribute(core, user_id, "password", password)
  288. break!
  289. else:
  290. output("Not the same password, please try again!")
  291. // Now call with user created
  292. user_function_skip_init(user_id)
  293. else:
  294. while (bool_not(check_login(user_id))):
  295. output("Wrong password! Try again")
  296. user_function_skip_init(user_id)
  297. // User destroyed already, so just stop execution
  298. // TODO return a fresh node as otherwise the compiler doesn't take this
  299. return create_node()!
  300. String function get_model_id(name : String):
  301. Element models
  302. String model
  303. models = allInstances(core, "Model")
  304. while (read_nr_out(models) > 0):
  305. model = set_pop(models)
  306. if (value_eq(name, read_attribute(core, model, "name"))):
  307. return model!
  308. return ""!
  309. String function get_user_id(name : String):
  310. Element users
  311. String user
  312. users = allInstances(core, "User")
  313. while (read_nr_out(users) > 0):
  314. user = set_pop(users)
  315. if (value_eq(read_attribute(core, user, "name"), name)):
  316. return user!
  317. return ""!
  318. String function get_group_id(name : String):
  319. Element groups
  320. String group
  321. groups = allInstances(core, "Group")
  322. while (read_nr_out(groups) > 0):
  323. group = set_pop(groups)
  324. if (value_eq(read_attribute(core, group, "name"), name)):
  325. return group!
  326. return ""!
  327. Void function model_create(model : Element, name : String, user_id : String, type_id : String, kind : String):
  328. String location
  329. String model_id
  330. String instance_of
  331. location = "models/" + cast_id2s(model)
  332. export_node(location, model["model"])
  333. // Manage meta-info
  334. model_id = instantiate_node(core, kind, "")
  335. instantiate_attribute(core, model_id, "name", name)
  336. instantiate_attribute(core, model_id, "location", location)
  337. instantiate_attribute(core, model_id, "permissions", "200")
  338. instantiate_link(core, "owner", "", model_id, user_id)
  339. instantiate_link(core, "group", "", model_id, get_group_id("nobody"))
  340. instance_of = instantiate_link(core, "instanceOf", "", model_id, type_id)
  341. instantiate_attribute(core, instance_of, "type_mapping", model["type_mapping"])
  342. return!
  343. Void function model_overwrite(model : Element, model_id : String):
  344. String location
  345. String instanceOf_link
  346. location = "models/" + cast_id2s(model)
  347. export_node(location, model["model"])
  348. // Change location in meta-data
  349. unset_attribute(core, model_id, "location")
  350. instantiate_attribute(core, model_id, "location", location)
  351. instanceOf_link = get_instanceOf_link(model_id)
  352. unset_attribute(core, instanceOf_link, "type_mapping")
  353. instantiate_attribute(core, instanceOf_link, "type_mapping", model["type_mapping"])
  354. return!
  355. Boolean function check_is_typed_by(model_id : String, metamodel_id : String):
  356. // TODO check if there is actually an instanceOf link between them
  357. // --> quick check!
  358. return True!
  359. Boolean function check_conformance(model_id : String):
  360. // TODO check if it actually conforms, considering that instanceOf link
  361. // --> in-depth check
  362. return True!
  363. Boolean function pm_finished(worklist : Element, pm : String):
  364. Element finished
  365. Integer cnt
  366. Integer i
  367. // Check if any of the "finish" elements are in the worklist
  368. // If so, we can already finish, and therefore will stop immediately
  369. finished = allInstances(pm, "Finish")
  370. i = 0
  371. cnt = read_nr_out(finished)
  372. log("Finished elements: " + set_to_string(finished))
  373. log("Check finished")
  374. while (i < cnt):
  375. // Check each finished element individually
  376. log("Check element " + cast_v2s(dict_read(read_edge_dst(read_out(worklist, i)), 0)))
  377. if (set_in(finished, dict_read(read_edge_dst(read_out(worklist, i)), 0))):
  378. log("Yes")
  379. return True!
  380. i = i + 1
  381. log("NO")
  382. return False!
  383. Boolean function enact_action(pm : Element, element : String, prefix : String, user_id : String):
  384. Boolean result
  385. String transformation_id
  386. Element lst
  387. String elem
  388. Element inputs
  389. Element outputs
  390. String type_name
  391. String exact_type
  392. Element trace_links
  393. Element output_mms
  394. Element consumes_link
  395. Element types
  396. String name
  397. inputs = create_node()
  398. outputs = create_node()
  399. output_mms = create_node()
  400. types = create_node()
  401. // TODO use the prefix for data locations (in model write/read in MvC)
  402. // Read out the referenced element from the MvC
  403. transformation_id = get_model_id(read_attribute(pm, element, "name"))
  404. // Find all inputs and their types (i.e., key)
  405. lst = allOutgoingAssociationInstances(pm, element, "Consumes")
  406. while (read_nr_out(lst) > 0):
  407. consumes_link = set_pop(lst)
  408. // As there are no inheritance relations between full models, we can just read out the typename
  409. name = read_attribute(pm, consumes_link, "name")
  410. dict_add(inputs, name, string_join(prefix, read_attribute(pm, elem, "name")))
  411. dict_add(types, name, get_attribute(pm, followAssociation(pm, elem), "type"))
  412. // Find all outputs and their types (i.e., key)
  413. lst = allAssociationDestinations(pm, element, "Produces")
  414. while (read_nr_out(lst) > 0):
  415. elem = set_pop(lst)
  416. // As there are no inheritance relations between full models, we can just read out the typename
  417. type_name = read_attribute(pm, elem, "type")
  418. dict_add(outputs, type_name, string_join(prefix, read_attribute(pm, elem, "name")))
  419. dict_add(output_mms, type_name, get_full_model(get_model_id(type_name)))
  420. exact_type = read_type(core, transformation_id)
  421. if (exact_type == "ModelTransformation"):
  422. // Model transformation is always in-place and uses only a single metamodel
  423. // Therefore, we must:
  424. // 1) Create an empty model, instance of merged metamodel
  425. // 2) Merge the different source models and retype
  426. // 3) Perform the transformation on the merged model
  427. // 4) Split the resulting model based on the target formalisms
  428. //
  429. Element input_model
  430. Element schedule_model
  431. String trace_link_id
  432. Element merged_model
  433. String merged_metamodel_id
  434. String ramified_metamodel_id
  435. schedule_model = get_full_model(transformation_id)
  436. // 1) Create empty instance of merged metamodel
  437. ramified_metamodel_id = set_pop(followAssociation(core, transformation_id, "instanceOf"))
  438. trace_links = allOutgoingAssociationInstances(core, ramified_metamodel_id, "tracability")
  439. merged_metamodel_id = ""
  440. while (read_nr_out(trace_links) > 0):
  441. trace_link_id = set_pop(trace_links)
  442. if (value_eq(read_attribute(core, trace_link_id, "type"), "RAMified")):
  443. merged_metamodel_id = readAssociationDestination(core, trace_link_id)
  444. if (merged_metamodel_id != ""):
  445. merged_model = instantiate_model(get_full_model(merged_metamodel_id))
  446. // 2) Merge source models
  447. String key
  448. Element keys
  449. Element input_keys
  450. Element output_keys
  451. input_keys = dict_keys(inputs)
  452. while (read_nr_out(input_keys) > 0):
  453. key = set_pop(input_keys)
  454. model_join(merged_model, get_full_model(get_model_id(inputs[key])), string_join(types[key], "/"))
  455. // 3) Transform
  456. result = transform(merged_model, schedule_model)
  457. // 4) Split in different files depending on type
  458. String desired_metamodel_id
  459. Element split_off_model
  460. output_keys = dict_keys(outputs)
  461. while (read_nr_out(output_keys) > 0):
  462. key = set_pop(output_keys)
  463. desired_metamodel_id = get_model_id(key)
  464. split_off_model = model_split(merged_model, get_full_model(desired_metamodel_id), key + "/"))
  465. // Check if the destination model already exists
  466. if (get_model_id(outputs[key]) == ""):
  467. // New model
  468. model_create(split_off_model, outputs[key], user_id, desired_metamodel_id, "Model")
  469. else:
  470. // Model exists, so we overwrite
  471. model_overwrite(split_off_model, get_model_id(outputs[key]))
  472. else:
  473. log("Intermediate not found")
  474. elif (exact_type == "ActionLanguage"):
  475. // TODO might be broken with switch to name-based merging of inputs with same type
  476. Element dictionary
  477. Element new_inputs
  478. Element input_keys
  479. Element output_keys
  480. Element result
  481. String key
  482. Element func
  483. // 1) Group source models in dictionary
  484. // --> This is just the "inputs" variable, but resolve all references
  485. new_inputs = create_node()
  486. input_keys = dict_keys(inputs)
  487. while (read_nr_out(input_keys) > 0):
  488. key = set_pop(input_keys)
  489. dict_add(new_inputs, key, get_full_model(get_model_id(inputs[key])))
  490. inputs = new_inputs
  491. // 2) Execute action language model
  492. func = get_func_AL_model(get_full_model(transformation_id))
  493. result = func(inputs, output_mms)
  494. // 3) Split output dictionary back to seperate models
  495. output_keys = dict_keys(outputs)
  496. while (read_nr_out(output_keys) > 0):
  497. key = set_pop(output_keys)
  498. // Check if the destination model already exists
  499. if (get_model_id(outputs[key]) == ""):
  500. // New model
  501. model_create(result[key], outputs[key], user_id, get_model_id(key), "Model")
  502. else:
  503. // Model exists, so we overwrite
  504. model_overwrite(result[key], get_model_id(outputs[key]))
  505. elif (exact_type == "ManualOperation"):
  506. // Identical to model transformations, but give control to users for modification
  507. // 1) Create empty instance of merged metamodel
  508. Element input_model
  509. String trace_link_id
  510. Element merged_model
  511. String merged_metamodel_id
  512. trace_links = allOutgoingAssociationInstances(core, transformation_id, "tracability")
  513. merged_metamodel_id = ""
  514. while (read_nr_out(trace_links) > 0):
  515. trace_link_id = set_pop(trace_links)
  516. if (value_eq(read_attribute(core, trace_link_id, "type"), "operatesOn")):
  517. merged_metamodel_id = readAssociationDestination(core, trace_link_id)
  518. if (merged_metamodel_id != ""):
  519. merged_model = instantiate_model(get_full_model(merged_metamodel_id))
  520. // 2) Merge source models
  521. String key
  522. Element keys
  523. Element input_keys
  524. Element output_keys
  525. input_keys = dict_keys(inputs)
  526. while (read_nr_out(input_keys) > 0):
  527. key = set_pop(input_keys)
  528. model_join(merged_model, get_full_model(get_model_id(inputs[key])), string_join(types[key], "/"))
  529. // 3) Transform
  530. output("Please perform manual transformation " + cast_v2s(read_attribute(pm, element, "name")))
  531. modify(merged_model, True)
  532. // 4) Split in different files depending on type
  533. String desired_metamodel_id
  534. Element split_off_model
  535. output_keys = dict_keys(outputs)
  536. while (read_nr_out(output_keys) > 0):
  537. key = set_pop(output_keys)
  538. desired_metamodel_id = get_model_id(key)
  539. split_off_model = model_split(merged_model, get_full_model(desired_metamodel_id), key + "/")
  540. // Check if the destination model already exists
  541. if (get_model_id(outputs[key]) == ""):
  542. // New model
  543. model_create(split_off_model, outputs[key], user_id, desired_metamodel_id, "Model")
  544. else:
  545. // Model exists, so we overwrite
  546. model_overwrite(split_off_model, get_model_id(outputs[key]))
  547. else:
  548. output("Could not find merged metamodel")
  549. // TODO find out whether it succeeded or not
  550. result = True
  551. else:
  552. output("Did not know how to interpret model of type " + exact_type)
  553. return result!
  554. Void function enact_PM(pm : Element, prefix : String, user_id : String):
  555. Element worklist
  556. String element
  557. String start
  558. String type
  559. Boolean result
  560. Element tuple
  561. Element counters
  562. Element join_nodes
  563. // Initialize Join counters
  564. counters = create_node()
  565. join_nodes = allInstances(pm, "ForkJoin")
  566. while (read_nr_out(join_nodes) > 0):
  567. dict_add(counters, set_pop(join_nodes), 0)
  568. // Create the worklist with the Start instance as first element
  569. worklist = create_node()
  570. set_add(worklist, create_tuple(set_pop(allInstances(pm, "Start")), True))
  571. while (bool_not(pm_finished(worklist, pm))):
  572. // Pop a random element from the list and execute it
  573. tuple = set_pop(worklist)
  574. element = tuple[0]
  575. result = tuple[1]
  576. log("Enacting " + cast_v2s(element))
  577. // Find the type (to see what to do with it)
  578. // this does not yet yield the type of transformation, if it is an Execution
  579. type = read_type(pm, element)
  580. if (type == "Start"):
  581. // Initial node, just progress to the next elements
  582. // Nothing to do here though, as we have just started
  583. result = True
  584. elif (type == "Finish"):
  585. // Should be impossible, as we would have ended...
  586. result = result
  587. elif (type == "ForkJoin"):
  588. // Only do this if all dependencies are fullfilled
  589. // So add to the counter of this Join
  590. dict_overwrite(counters, element, integer_addition(counters[element], 1))
  591. // Now check whether we have enough tokens to execute the Join itself
  592. Integer required
  593. Integer got
  594. required = read_nr_out(allIncomingAssociationInstances(pm, element, "Next")) + read_nr_out(allIncomingAssociationInstances(pm, element, "Else"))
  595. got = counters[element]
  596. if (got == required):
  597. // Reset counter to 0
  598. dict_overwrite(counters, element, 0)
  599. // And continue
  600. else:
  601. // We haven't gotten all yet, so we wait (i.e., continue without adding Next link to worklist)
  602. continue!
  603. elif (type == "Exec"):
  604. // Execute a transformation
  605. // This the difficult part!
  606. result = enact_action(pm, element, prefix, user_id)
  607. elif (type == "Decision"):
  608. // If the previous result is true, we add the normal one, otherwise the false one
  609. // in this context, that means that if it is false, we should add it manually to the list, and then continue the simulation loop
  610. if (bool_not(result)):
  611. // Apparently it is False, so map this to the "Else" branch
  612. set_add(worklist, create_tuple(set_pop(allAssociationDestinations(pm, element, "Else")), True))
  613. continue!
  614. else:
  615. // Apparently it is True, so map this to the "Then" branch
  616. set_add(worklist, create_tuple(set_pop(allAssociationDestinations(pm, element, "Then")), True))
  617. continue!
  618. // We have finished the execution, so add all outgoing edges to the worklist
  619. Element all_next
  620. all_next = allAssociationDestinations(pm, element, "Next")
  621. String next
  622. while (read_nr_out(all_next) > 0):
  623. next = set_pop(all_next)
  624. log("Adding to worklist: " + next)
  625. set_add(worklist, create_tuple(next, result))
  626. log("FINISHED")
  627. // Reached a finish element, so stop
  628. return !
  629. Void function user_function_skip_init(user_id : String):
  630. String cmd
  631. output("Welcome to the Model Management Interface v2.0!")
  632. output("Use the 'help' command for a list of possible commands")
  633. while (True):
  634. output("Ready for command...")
  635. cmd = input()
  636. if (cmd == "help"):
  637. output("Model operations")
  638. output(" model_add -- Add a new model")
  639. output(" model_modify -- Modify an existing model")
  640. output(" model_list -- List all models")
  641. output(" model_list_full -- List all models with full info")
  642. output(" model_overwrite -- Overwrites a model with an uploaded model, leaving all metadata")
  643. output(" verify -- Check whether a model conforms to its metamodel")
  644. output("")
  645. output("Transformation-specific operations")
  646. output(" transformation_add_MT_language -- Create a RAMified metamodel of a set of models")
  647. output(" transformation_add_MT -- Initialize a new model transformation")
  648. output(" transformation_add_AL -- Initialize a new action language transformation")
  649. output(" transformation_add_MANUAL -- Initialize a new manual transformation")
  650. output(" transformation_execute -- Execute a transformation on a set of input models")
  651. output(" transformation_list -- List all model transformations")
  652. output(" transformation_list_full -- List all model transformations with permissions")
  653. output(" transformation_detail -- List transformation details")
  654. output(" transformation_RAMify -- RAMify a metamodel (again)")
  655. output("")
  656. output("Process operations")
  657. output(" process_execute -- Execute a process model")
  658. output("")
  659. output("Model permission operations")
  660. output(" permission_modify -- Change model permissions")
  661. output(" permission_owner -- Change model owner")
  662. output(" permission_group -- Change model group")
  663. output("")
  664. output("Group operations")
  665. output(" group_create -- Create a group")
  666. output(" group_delete -- Delete a group")
  667. output(" group_owner_add -- Add group owner")
  668. output(" group_owner_delete -- Remove group owner")
  669. output(" group_join -- Add someone to your group")
  670. output(" group_kick -- Kick someone from your group")
  671. output(" group_list -- List all groups you are a member of")
  672. output("")
  673. output("Admin operations")
  674. output(" admin_promote -- Promote a user to admin status")
  675. output(" admin_demote -- Demote a user to normal status")
  676. output("")
  677. output("General operations")
  678. output(" self-destruct -- Remove current user and revoke all permissions ")
  679. output(" exit -- Kill the current task, while retaining user")
  680. elif (cmd == "model_add"):
  681. // Model addition operation, which uses model upload commands of the compiler
  682. String name
  683. String type
  684. String location
  685. String type_id
  686. Element new_model
  687. String new_model_id
  688. output("Creating new model!")
  689. output("Model type?")
  690. type_id = get_model_id(input())
  691. if (type_id != ""):
  692. // Type exists
  693. if (allow_read(user_id, type_id)):
  694. // And is readable
  695. output("Model name?")
  696. name = input()
  697. if (get_model_id(name) == ""):
  698. // Model doesn't exist yet
  699. output("Waiting for model constructors...")
  700. new_model = construct_model_raw(get_full_model(type_id))
  701. model_create(new_model, name, user_id, type_id, "Model")
  702. output("Model upload success!")
  703. else:
  704. output("Model with that name already exists!")
  705. else:
  706. output("Permission denied")
  707. else:
  708. output("Could not find type model!")
  709. elif (cmd == "process_execute"):
  710. // Execute a process model until it reaches termination
  711. String process_id
  712. output("Which process model do you want to execute?")
  713. process_id = get_model_id(input())
  714. if (process_id != ""):
  715. if (allow_read(user_id, process_id)):
  716. output("Model prefix to use?")
  717. enact_PM(get_full_model(process_id), input(), user_id)
  718. else:
  719. output("Permission denied")
  720. else:
  721. output("No such model")
  722. elif (cmd == "transformation_execute"):
  723. // Execute a transformation, whatever type it is
  724. // First we detect the type, so we know how to prepare for invocation
  725. String transformation_id
  726. String exact_type
  727. Element sources
  728. Element targets
  729. String source
  730. String target
  731. String name_id
  732. Element inputs
  733. Element outputs
  734. Element trace_links
  735. String target_model_name
  736. String source_model_name
  737. output("Which transformation do you want to execute?")
  738. transformation_id = get_model_id(input())
  739. if (transformation_id != ""):
  740. if (allow_read(user_id, transformation_id)):
  741. if (is_nominal_instance(core, transformation_id, "Transformation")):
  742. // Read out source and target links
  743. sources = allOutgoingAssociationInstances(core, transformation_id, "transformInput")
  744. inputs = create_node()
  745. while (read_nr_out(sources) > 0):
  746. source = set_pop(sources)
  747. output(string_join("Which model to bind for source element ", read_attribute(core, source, "name")))
  748. source_model_name = input()
  749. name_id = get_model_id(source_model_name)
  750. if (name_id != ""):
  751. if (allow_read(user_id, name_id)):
  752. // Check for conformance to the specified metamodel!
  753. Element specified_model
  754. // TODO Maybe find out which conformance relation to use, as there might be multiple!
  755. if (check_is_typed_by(name_id, source)):
  756. if (check_conformance(name_id)):
  757. dict_add(inputs, read_attribute(core, source, "name"), source_model_name)
  758. else:
  759. output("Model has correct type but does not conform completely!")
  760. set_add(sources, source)
  761. else:
  762. output("Model has different type!")
  763. set_add(sources, source)
  764. else:
  765. output("Permission denied")
  766. set_add(sources, source)
  767. else:
  768. output("No such model")
  769. set_add(sources, source)
  770. targets = allOutgoingAssociationInstances(core, transformation_id, "transformOutput")
  771. outputs = create_node()
  772. while (read_nr_out(targets) > 0):
  773. target = set_pop(targets)
  774. output(string_join("Which model to create for target element ", read_attribute(core, target, "name")))
  775. target_model_name = input()
  776. if (get_model_id(target_model_name) == ""):
  777. // Doesn't exist yet, so we can easily create
  778. dict_add(outputs, read_attribute(core, target, "name"), target_model_name)
  779. else:
  780. // Already exists, so we need to check for write access
  781. if (allow_write(user_id, get_model_id(target_model_name))):
  782. dict_add(outputs, read_attribute(core, target, "name"), target_model_name)
  783. else:
  784. output("Permission denied; try again")
  785. exact_type = read_type(core, transformation_id)
  786. if (exact_type == "ModelTransformation"):
  787. // Model transformation is always in-place and uses only a single metamodel
  788. // Therefore, we must:
  789. // 1) Create an empty model, instance of merged metamodel
  790. // 2) Merge the different source models and retype
  791. // 3) Perform the transformation on the merged model
  792. // 4) Split the resulting model based on the target formalisms
  793. //
  794. Element input_model
  795. Element schedule_model
  796. String trace_link_id
  797. Element merged_model
  798. String merged_metamodel_id
  799. String ramified_metamodel_id
  800. Boolean result
  801. schedule_model = get_full_model(transformation_id)
  802. // 1) Create empty instance of merged metamodel
  803. ramified_metamodel_id = set_pop(followAssociation(core, transformation_id, "instanceOf"))
  804. trace_links = allOutgoingAssociationInstances(core, ramified_metamodel_id, "tracability")
  805. merged_metamodel_id = ""
  806. while (read_nr_out(trace_links) > 0):
  807. trace_link_id = set_pop(trace_links)
  808. if (value_eq(read_attribute(core, trace_link_id, "type"), "RAMified")):
  809. merged_metamodel_id = readAssociationDestination(core, trace_link_id)
  810. if (merged_metamodel_id != ""):
  811. merged_model = instantiate_model(get_full_model(merged_metamodel_id))
  812. // 2) Merge source models
  813. String key
  814. Element keys
  815. Element input_keys
  816. Element output_keys
  817. input_keys = dict_keys(inputs)
  818. while (read_nr_out(input_keys) > 0):
  819. key = set_pop(input_keys)
  820. model_join(merged_model, get_full_model(get_model_id(inputs[key])), key + "/")
  821. // 3) Transform
  822. result = transform(merged_model, schedule_model)
  823. output("Transformation executed with result: " + cast_v2s(result))
  824. // 4) Split in different files depending on type
  825. String desired_metamodel_id
  826. Element split_off_model
  827. output_keys = dict_keys(outputs)
  828. while (read_nr_out(output_keys) > 0):
  829. key = set_pop(output_keys)
  830. desired_metamodel_id = get_model_id(key)
  831. split_off_model = model_split(merged_model, get_full_model(desired_metamodel_id), key + "/")
  832. // Check if the destination model already exists
  833. if (get_model_id(outputs[key]) == ""):
  834. // New model
  835. model_create(split_off_model, outputs[key], user_id, desired_metamodel_id, "Model")
  836. else:
  837. // Model exists, so we overwrite
  838. model_overwrite(split_off_model, get_model_id(outputs[key]))
  839. else:
  840. output("Could not resolve intermediate merged metamodel")
  841. elif (exact_type == "ActionLanguage"):
  842. Element dictionary
  843. Element new_inputs
  844. Element input_keys
  845. Element output_keys
  846. Element result
  847. String key
  848. Element func
  849. // 1) Group source models in dictionary
  850. // --> This is just the "inputs" variable, but resolve all references
  851. new_inputs = create_node()
  852. input_keys = dict_keys(inputs)
  853. while (read_nr_out(input_keys) > 0):
  854. key = set_pop(input_keys)
  855. dict_add(new_inputs, key, get_full_model(get_model_id(inputs[key])))
  856. inputs = new_inputs
  857. // 2) Execute action language model
  858. func = get_func_AL_model(get_full_model(transformation_id))
  859. result = func(inputs)
  860. // 3) Split output dictionary back to seperate models
  861. output_keys = dict_keys(outputs)
  862. while (read_nr_out(output_keys) > 0):
  863. key = set_pop(output_keys)
  864. // Check if the destination model already exists
  865. if (get_model_id(outputs[key]) == ""):
  866. // New model
  867. model_create(result[key], outputs[key], user_id, get_model_id(key), "Model")
  868. else:
  869. // Model exists, so we overwrite
  870. model_overwrite(result[key], get_model_id(outputs[key]))
  871. elif (exact_type == "ManualOperation"):
  872. // Identical to model transformations, but give control to users for modification
  873. // 1) Create empty instance of merged metamodel
  874. Element input_model
  875. String trace_link_id
  876. Element merged_model
  877. String merged_metamodel_id
  878. trace_links = allOutgoingAssociationInstances(core, transformation_id, "tracability")
  879. merged_metamodel_id = ""
  880. while (read_nr_out(trace_links) > 0):
  881. trace_link_id = set_pop(trace_links)
  882. if (value_eq(read_attribute(core, trace_link_id, "type"), "operatesOn")):
  883. merged_metamodel_id = readAssociationDestination(core, trace_link_id)
  884. if (merged_metamodel_id != ""):
  885. merged_model = instantiate_model(get_full_model(merged_metamodel_id))
  886. // 2) Merge source models
  887. String key
  888. Element keys
  889. Element input_keys
  890. Element output_keys
  891. input_keys = dict_keys(inputs)
  892. while (read_nr_out(input_keys) > 0):
  893. key = set_pop(input_keys)
  894. model_join(merged_model, get_full_model(get_model_id(inputs[key])), key + "/")
  895. // 3) Transform
  896. modify(merged_model, True)
  897. // 4) Split in different files depending on type
  898. String desired_metamodel_id
  899. Element split_off_model
  900. output_keys = dict_keys(outputs)
  901. while (read_nr_out(output_keys) > 0):
  902. key = set_pop(output_keys)
  903. desired_metamodel_id = get_model_id(key)
  904. split_off_model = model_split(merged_model, get_full_model(desired_metamodel_id), key + "/")
  905. // Check if the destination model already exists
  906. if (get_model_id(outputs[key]) == ""):
  907. // New model
  908. model_create(split_off_model, outputs[key], user_id, desired_metamodel_id, "Model")
  909. else:
  910. // Model exists, so we overwrite
  911. model_overwrite(split_off_model, get_model_id(outputs[key]))
  912. else:
  913. output("Could not find merged metamodel")
  914. else:
  915. output("Did not know how to interpret model of type " + exact_type)
  916. else:
  917. output("Model is not an executable transformation")
  918. else:
  919. output("Permission denied")
  920. else:
  921. output("No such transformation")
  922. elif (cmd == "verify"):
  923. // Check whether a model conforms to its specification (with the selected type mapping)
  924. String model_id
  925. String result
  926. output("Which model to verify?")
  927. model_id = get_model_id(input())
  928. if (model_id != ""):
  929. if (allow_read(user_id, model_id)):
  930. result = conformance_scd(get_full_model(model_id))
  931. output(result)
  932. else:
  933. output("Permission denied")
  934. else:
  935. output("No such model")
  936. elif (cmd == "model_overwrite"):
  937. // Overwrites an existing model without changing any metadata
  938. String model_id
  939. Element new_model
  940. output("Which model to overwrite?")
  941. model_id = get_model_id(input())
  942. if (model_id != ""):
  943. if (allow_write(user_id, model_id)):
  944. if (allow_read(user_id, set_pop(followAssociation(core, model_id, "instanceOf")))):
  945. output("Waiting for model constructors...")
  946. new_model = construct_model_raw(get_full_model(set_pop(followAssociation(core, model_id, "instanceOf"))))
  947. model_overwrite(new_model, model_id)
  948. output("Model overwrite success!")
  949. else:
  950. output("Permission denied")
  951. else:
  952. output("Permission denied")
  953. else:
  954. output("No such model")
  955. elif (cmd == "model_modify"):
  956. // Model modify operation, which uses the mini_modify.alc operations, though with extensions for access control
  957. String model_id
  958. String type_id
  959. output("Which model do you want to modify?")
  960. model_id = get_model_id(input())
  961. if (model_id != ""):
  962. if (allow_read(user_id, model_id)):
  963. type_id = set_pop(allAssociationDestinations(core, model_id, "instanceOf"))
  964. if (allow_read(user_id, type_id)):
  965. modify(get_full_model(model_id), allow_write(user_id, model_id))
  966. else:
  967. output("Permission denied")
  968. else:
  969. output("Permission denied")
  970. else:
  971. output("Could not find model!")
  972. elif (cmd == "model_delete"):
  973. // Delete a model and all of its related transformations
  974. String model_id
  975. output("=================================================")
  976. output("WARNING: Deletion is a very destructive operation")
  977. output(" as it also deletes all transformations ")
  978. output(" defined which make use of this model! ")
  979. output("=================================================")
  980. output("")
  981. output("Currently not supported!")
  982. elif (cmd == "model_list"):
  983. // List all models
  984. Element models
  985. String m
  986. models = allInstances(core, "Model")
  987. while (read_nr_out(models) > 0):
  988. m = set_pop(models)
  989. output(string_join((string_join(" ", read_attribute(core, m, "name")) + " : "), read_attribute(core, set_pop(followAssociation(core, m, "instanceOf")), "name")))
  990. elif (cmd == "model_list_full"):
  991. // List all models with full info
  992. Element models
  993. String m
  994. String permissions
  995. String owner
  996. String group
  997. String name
  998. String type
  999. models = allInstances(core, "Model")
  1000. while (read_nr_out(models) > 0):
  1001. m = set_pop(models)
  1002. permissions = read_attribute(core, m, "permissions")
  1003. owner = read_attribute(core, set_pop(allAssociationDestinations(core, m, "owner")), "name")
  1004. group = read_attribute(core, set_pop(allAssociationDestinations(core, m, "group")), "name")
  1005. name = read_attribute(core, m, "name")
  1006. type = read_attribute(core, set_pop(allAssociationDestinations(core, m, "instanceOf")), "name")
  1007. output(((((((((" " + permissions) + " ") + owner) + " ") + group) + " ") + name) + " : ") + type)
  1008. elif (cmd == "transformation_add_MT_language"):
  1009. // Create a model transformation language from a set of input and output formalisms
  1010. String name
  1011. String model_id
  1012. Element source
  1013. Element target
  1014. Element all_formalisms
  1015. Element merged_formalism
  1016. Element ramified_formalism
  1017. String old_type_id
  1018. String type_id
  1019. String location
  1020. String new_model_id
  1021. old_type_id = ""
  1022. // Read involved formalisms
  1023. all_formalisms = create_node()
  1024. output("Formalisms to include (terminate with empty string)?")
  1025. name = input()
  1026. while (name != ""):
  1027. model_id = get_model_id(name)
  1028. if (model_id != ""):
  1029. if (allow_read(user_id, model_id)):
  1030. type_id = set_pop(allAssociationDestinations(core, model_id, "instanceOf"))
  1031. if (bool_or(old_type_id == "", type_id == old_type_id)):
  1032. set_add(all_formalisms, create_tuple(name, get_full_model(model_id)))
  1033. old_type_id = type_id
  1034. elif (old_type_id != type_id):
  1035. // Already have a previous type_id and now another: CLASH
  1036. output("Cannot add model as types not compatible with previous models; try again")
  1037. else:
  1038. output("Model not readable; try again")
  1039. else:
  1040. output("No such model; try again")
  1041. name = input()
  1042. // Merge all into a single metamodel
  1043. if (read_nr_out(all_formalisms) > 0):
  1044. output("Name of the RAMified transformation metamodel?")
  1045. name = input()
  1046. if (get_model_id(name) == ""):
  1047. String merged_formalism_id
  1048. String ramified_formalism_id
  1049. String source_formalism_id
  1050. String tracability_link
  1051. // New location is available, so write
  1052. merged_formalism = model_fuse(set_copy(all_formalisms))
  1053. model_create(merged_formalism, "__merged_" + name, user_id, type_id, "Model")
  1054. merged_formalism_id = get_model_id("__merged_" + name)
  1055. // Add tracability links at this level
  1056. while (read_nr_out(all_formalisms) > 0):
  1057. source_formalism_id = get_model_id(list_read(set_pop(all_formalisms), 0))
  1058. tracability_link = instantiate_link(core, "tracability", "", merged_formalism_id, source_formalism_id)
  1059. instantiate_attribute(core, tracability_link, "type", "merged")
  1060. // Merge complete, now RAMify!
  1061. ramified_formalism = ramify(merged_formalism)
  1062. model_create(ramified_formalism, name, user_id, type_id, "Model")
  1063. ramified_formalism_id = get_model_id(name)
  1064. // Add tracability link at this level
  1065. tracability_link = instantiate_link(core, "tracability", "", ramified_formalism_id, merged_formalism_id)
  1066. instantiate_attribute(core, tracability_link, "type", "RAMified")
  1067. else:
  1068. output("Model already exists!")
  1069. else:
  1070. output("At least one formalism is required")
  1071. elif (cmd == "transformation_RAMify"):
  1072. // RAMify a metamodel
  1073. String merged_model_id
  1074. String target_model_name
  1075. String target_model_id
  1076. Element target_model
  1077. String tracability_link
  1078. output("Which metamodel do you want to RAMify?")
  1079. merged_model_id = get_model_id(input())
  1080. if (merged_model_id != ""):
  1081. if (allow_read(user_id, merged_model_id)):
  1082. output("Where do you want to store the RAMified metamodel?")
  1083. target_model_name = input()
  1084. target_model_id = get_model_id(target_model_name)
  1085. if (target_model_id == ""):
  1086. // New model, so everything is fine
  1087. target_model = ramify(get_full_model(merged_model_id))
  1088. model_create(target_model, target_model_name, user_id, set_pop(allAssociationDestinations(core, merged_model_id, "instanceOf")), "Model")
  1089. target_model_id = get_model_id(target_model_name)
  1090. tracability_link = instantiate_link(core, "tracability", "", target_model_id, merged_model_id)
  1091. instantiate_attribute(core, tracability_link, "type", "RAMified")
  1092. else:
  1093. // Existing model, so overwrite
  1094. if (allow_write(user_id, target_model_id)):
  1095. target_model = ramify(get_full_model(merged_model_id))
  1096. model_overwrite(target_model, target_model_id)
  1097. model_delete_element(core, set_pop(allOutgoingAssociationInstances(core, target_model_id, "tracability")))
  1098. tracability_link = instantiate_link(core, "tracability", "", target_model_id, merged_model_id)
  1099. instantiate_attribute(core, tracability_link, "type", "RAMified")
  1100. else:
  1101. output("Permission denied")
  1102. else:
  1103. output("Permission denied!")
  1104. else:
  1105. output("No such model")
  1106. elif (cmd == "transformation_add_MANUAL"):
  1107. // Add a manual transformation model
  1108. output("Which metamodels do you want to use as source for the manual operation (empty string to finish)?")
  1109. String model_id
  1110. Element models
  1111. Element source
  1112. Element target
  1113. String name
  1114. Element all_formalisms
  1115. Element merged_formalism
  1116. String merged_formalism_id
  1117. String source_formalism_id
  1118. String tracability_link
  1119. String type_id
  1120. String old_type_id
  1121. name = input()
  1122. source = create_node()
  1123. target = create_node()
  1124. all_formalisms = create_node()
  1125. type_id = ""
  1126. old_type_id = ""
  1127. while (name != ""):
  1128. model_id = get_model_id(name)
  1129. if (model_id != ""):
  1130. if (allow_read(user_id, model_id)):
  1131. if (bool_not(set_in(source, model_id))):
  1132. type_id = set_pop(allAssociationDestinations(core, model_id, "instanceOf"))
  1133. if (bool_or(old_type_id == "", type_id == old_type_id)):
  1134. old_type_id = type_id
  1135. set_add(source, model_id)
  1136. set_add(all_formalisms, create_tuple(name, get_full_model(model_id)))
  1137. output("Model added as source")
  1138. elif (old_type_id != type_id):
  1139. // Already have a previous type_id and now another: CLASH
  1140. output("Cannot add model as types not compatible with previous models; try again")
  1141. else:
  1142. output("Model already selected as source")
  1143. else:
  1144. output("Permission denied")
  1145. else:
  1146. output("No such model; try again")
  1147. name = input()
  1148. output("Which metamodels do you want to use as target for the manual operation (empty string to finish)?")
  1149. name = input()
  1150. while (name != ""):
  1151. model_id = get_model_id(name)
  1152. if (model_id != ""):
  1153. if (allow_read(user_id, model_id)):
  1154. if (bool_not(set_in(target, model_id))):
  1155. type_id = set_pop(allAssociationDestinations(core, model_id, "instanceOf"))
  1156. if (bool_or(old_type_id == "", type_id == old_type_id)):
  1157. old_type_id = type_id
  1158. set_add(target, model_id)
  1159. set_add(all_formalisms, create_tuple(name, get_full_model(model_id)))
  1160. output("Model added as target")
  1161. elif (old_type_id != type_id):
  1162. // Already have a previous type_id and now another: CLASH
  1163. output("Cannot add model as types not compatible with previous models; try again")
  1164. else:
  1165. output("Model already selected as target")
  1166. else:
  1167. output("Permission denied")
  1168. else:
  1169. output("No such model; try again")
  1170. name = input()
  1171. output("Name of Manual operation model?")
  1172. name = input()
  1173. if (get_model_id(name) == ""):
  1174. // Finished with all information, now create the model itself!
  1175. model_create(instantiate_model(get_full_model(get_model_id("ManualOperation"))), name, user_id, get_model_id("ManualOperation"), "ManualOperation")
  1176. model_id = get_model_id(name)
  1177. // Write out a merged metamodel containing all these models: this is the MM for the manual operation
  1178. // New location is available, so write
  1179. merged_formalism = model_fuse(set_copy(all_formalisms))
  1180. model_create(merged_formalism, "__merged_" + name, user_id, type_id, "Model")
  1181. merged_formalism_id = get_model_id("__merged_" + name)
  1182. // Add tracability links at this level
  1183. while (read_nr_out(all_formalisms) > 0):
  1184. source_formalism_id = get_model_id(list_read(set_pop(all_formalisms), 0))
  1185. tracability_link = instantiate_link(core, "tracability", "", merged_formalism_id, source_formalism_id)
  1186. instantiate_attribute(core, tracability_link, "type", "merged")
  1187. tracability_link = instantiate_link(core, "tracability", "", model_id, merged_formalism_id)
  1188. instantiate_attribute(core, tracability_link, "type", "operatesOn")
  1189. // Extend metadata with info on source and target
  1190. String link
  1191. String dst
  1192. while (read_nr_out(source) > 0):
  1193. dst = set_pop(source)
  1194. link = instantiate_link(core, "transformInput", "", model_id, dst)
  1195. instantiate_attribute(core, link, "name", read_attribute(core, dst, "name"))
  1196. while (read_nr_out(target) > 0):
  1197. dst = set_pop(target)
  1198. link = instantiate_link(core, "transformOutput", "", model_id, dst)
  1199. instantiate_attribute(core, link, "name", read_attribute(core, dst, "name"))
  1200. else:
  1201. output("Model already exists")
  1202. elif (cmd == "transformation_add_AL"):
  1203. // Add an action language transformation model
  1204. output("Which metamodels do you want to use as source for the action code (empty string to finish)?")
  1205. String model_id
  1206. Element models
  1207. Element source
  1208. Element target
  1209. String name
  1210. name = input()
  1211. source = create_node()
  1212. target = create_node()
  1213. while (name != ""):
  1214. model_id = get_model_id(name)
  1215. if (model_id != ""):
  1216. if (bool_not(set_in(source, model_id))):
  1217. set_add(source, model_id)
  1218. output("Model added as source")
  1219. else:
  1220. output("Model already selected as source")
  1221. else:
  1222. output("No such model; try again")
  1223. name = input()
  1224. output("Which metamodels do you want to use as target for the action code (empty string to finish)?")
  1225. name = input()
  1226. while (name != ""):
  1227. model_id = get_model_id(name)
  1228. if (model_id != ""):
  1229. if (bool_not(set_in(target, model_id))):
  1230. set_add(target, model_id)
  1231. output("Model added as target")
  1232. else:
  1233. output("Model already selected as target")
  1234. else:
  1235. output("No such model; try again")
  1236. name = input()
  1237. output("Name of Action Language model?")
  1238. name = input()
  1239. if (get_model_id(name) == ""):
  1240. // Finished with all information, now create the model itself!
  1241. output("Waiting for model constructors...")
  1242. add_code_model(get_full_model(get_model_id("ActionLanguage")), "AL/" + name, construct_function())
  1243. model_create(import_node("AL/" + name), name, user_id, get_model_id("ActionLanguage"), "ActionLanguage")
  1244. model_id = get_model_id(name)
  1245. // Extend metadata with info on source and target
  1246. String link
  1247. String dst
  1248. while (read_nr_out(source) > 0):
  1249. dst = set_pop(source)
  1250. link = instantiate_link(core, "transformInput", "", model_id, dst)
  1251. instantiate_attribute(core, link, "name", read_attribute(core, dst, "name"))
  1252. while (read_nr_out(target) > 0):
  1253. dst = set_pop(target)
  1254. link = instantiate_link(core, "transformOutput", "", model_id, dst)
  1255. instantiate_attribute(core, link, "name", read_attribute(core, dst, "name"))
  1256. else:
  1257. output("Model already exists")
  1258. elif (cmd == "transformation_add_MT"):
  1259. // Add a model transformation model
  1260. // Just a usual model instantiation, but need to add the source and target links based on user info
  1261. String ramified_metamodel_id
  1262. String model_id
  1263. Element models
  1264. Element links
  1265. String link_id
  1266. Element supported
  1267. Element source
  1268. Element target
  1269. String name
  1270. String new_model_id
  1271. String merged_link_id
  1272. Element links_merged
  1273. String merged_metamodel_id
  1274. source = create_node()
  1275. target = create_node()
  1276. supported = create_node()
  1277. output("RAMified metamodel to use?")
  1278. ramified_metamodel_id = get_model_id(input())
  1279. if (ramified_metamodel_id != ""):
  1280. if (allow_read(user_id, ramified_metamodel_id)):
  1281. output("Supported metamodels:")
  1282. links = allOutgoingAssociationInstances(core, ramified_metamodel_id, "tracability")
  1283. while (read_nr_out(links) > 0):
  1284. link_id = set_pop(links)
  1285. merged_metamodel_id = readAssociationDestination(core, link_id)
  1286. if (value_eq(read_attribute(core, link_id, "type"), "RAMified")):
  1287. links_merged = allOutgoingAssociationInstances(core, merged_metamodel_id, "tracability")
  1288. while (read_nr_out(links_merged) > 0):
  1289. merged_link_id = set_pop(links_merged)
  1290. if (value_eq(read_attribute(core, merged_link_id, "type"), "merged")):
  1291. output(string_join(" ", read_attribute(core, readAssociationDestination(core, merged_link_id), "name")))
  1292. set_add(supported, readAssociationDestination(core, merged_link_id))
  1293. output("")
  1294. output("Which ones do you want to use as source (empty string to finish)?")
  1295. name = input()
  1296. while (name != ""):
  1297. model_id = get_model_id(name)
  1298. if (model_id != ""):
  1299. if (set_in(supported, model_id)):
  1300. if (bool_not(set_in(source, model_id))):
  1301. set_add(source, model_id)
  1302. output("Model added as source")
  1303. else:
  1304. output("Model already selected as source")
  1305. else:
  1306. output("Model is not supported by RAMified metamodel!")
  1307. else:
  1308. output("No such model; try again")
  1309. name = input()
  1310. output("Which ones do you want to use as target (empty string to finish)?")
  1311. name = input()
  1312. while (name != ""):
  1313. model_id = get_model_id(name)
  1314. if (model_id != ""):
  1315. if (set_in(supported, model_id)):
  1316. if (bool_not(set_in(target, model_id))):
  1317. set_add(target, model_id)
  1318. output("Model added as target")
  1319. else:
  1320. output("Model already selected as target")
  1321. else:
  1322. output("Model is not supported by RAMified metamodel!")
  1323. else:
  1324. output("No such model; try again")
  1325. name = input()
  1326. output("Name of new transformation?")
  1327. name = input()
  1328. if (get_model_id(name) == ""):
  1329. String new_model
  1330. // Finished with all information, now create the model itself!
  1331. output("Waiting for model constructors...")
  1332. new_model = construct_model_raw(get_full_model(ramified_metamodel_id))
  1333. model_create(new_model, name, user_id, ramified_metamodel_id, "ModelTransformation")
  1334. model_id = get_model_id(name)
  1335. // Extend metadata with info on source and target
  1336. String link
  1337. String dst
  1338. while (read_nr_out(source) > 0):
  1339. dst = set_pop(source)
  1340. link = instantiate_link(core, "transformInput", "", model_id, dst)
  1341. instantiate_attribute(core, link, "name", read_attribute(core, dst, "name"))
  1342. while (read_nr_out(target) > 0):
  1343. dst = set_pop(target)
  1344. link = instantiate_link(core, "transformOutput", "", model_id, dst)
  1345. instantiate_attribute(core, link, "name", read_attribute(core, dst, "name"))
  1346. else:
  1347. output("Model already exists")
  1348. else:
  1349. output("Permission denied")
  1350. else:
  1351. output("No such model")
  1352. elif (cmd == "transformation_list"):
  1353. // List all models
  1354. Element models
  1355. String m
  1356. String type
  1357. models = allInstances(core, "Transformation")
  1358. while (read_nr_out(models) > 0):
  1359. m = set_pop(models)
  1360. output(string_join(("[" + read_type(core, m)) + "]", string_join((string_join(" ", read_attribute(core, m, "name")) + " : "), read_attribute(core, set_pop(followAssociation(core, m, "instanceOf")), "name"))))
  1361. elif (cmd == "transformation_list_full"):
  1362. // List all models with full info
  1363. Element models
  1364. String m
  1365. String permissions
  1366. String owner
  1367. String group
  1368. String name
  1369. String type
  1370. models = allInstances(core, "Transformation")
  1371. while (read_nr_out(models) > 0):
  1372. m = set_pop(models)
  1373. permissions = read_attribute(core, m, "permissions")
  1374. owner = read_attribute(core, set_pop(allAssociationDestinations(core, m, "owner")), "name")
  1375. group = read_attribute(core, set_pop(allAssociationDestinations(core, m, "group")), "name")
  1376. name = read_attribute(core, m, "name")
  1377. type = read_attribute(core, set_pop(allAssociationDestinations(core, m, "instanceOf")), "name")
  1378. output(((((((((" " + permissions) + " ") + owner) + " ") + group) + " ") + ((("[" + read_type(core, m)) + "] ") + name)) + " : ") + type)
  1379. elif (cmd == "permission_modify"):
  1380. String permissions
  1381. Integer permission
  1382. String model_id
  1383. output("Which model do you want to change permissions of?")
  1384. model_id = get_model_id(input())
  1385. if (model_id != ""):
  1386. if (get_relation_to_model(user_id, model_id) == 0):
  1387. output("New permissions?")
  1388. permissions = input()
  1389. Boolean fail
  1390. Integer i
  1391. i = 0
  1392. if (string_len(permissions) != 3):
  1393. fail = True
  1394. while (i < 3):
  1395. permission = cast_s2i(string_get(permissions, i))
  1396. if (bool_or(permission < 0, permission > 2)):
  1397. fail = True
  1398. break!
  1399. i = i + 1
  1400. if (bool_not(fail)):
  1401. unset_attribute(core, model_id, "permissions")
  1402. instantiate_attribute(core, model_id, "permissions", permissions)
  1403. else:
  1404. output("Permissions must be a string of three characters with each character being a digit between 0 and 2")
  1405. else:
  1406. output("Permission denied!")
  1407. else:
  1408. output("No such model!")
  1409. elif (cmd == "permission_owner"):
  1410. String permissions
  1411. String model_id
  1412. String user_id
  1413. output("Which model do you want to change owner of?")
  1414. model_id = get_model_id(input())
  1415. if (model_id != ""):
  1416. if (bool_or(get_relation_to_model(user_id, model_id) == 0, is_admin(user_id))):
  1417. output("New owner?")
  1418. user_id = get_user_id(input())
  1419. if (user_id != ""):
  1420. model_delete_element(core, set_pop(allOutgoingAssociationInstances(core, model_id, "owner")))
  1421. instantiate_link(core, "owner", "", model_id, user_id)
  1422. else:
  1423. output("No such user!")
  1424. else:
  1425. output("Permission denied!")
  1426. else:
  1427. output("No such model!")
  1428. elif (cmd == "permission_group"):
  1429. String permissions
  1430. String model_id
  1431. String group_id
  1432. output("Which model do you want to change permissions of?")
  1433. model_id = get_model_id(input())
  1434. if (model_id != ""):
  1435. if (bool_or(get_relation_to_model(user_id, model_id) == 0, is_admin(user_id))):
  1436. output("New group?")
  1437. group_id = get_group_id(input())
  1438. if (group_id != ""):
  1439. model_delete_element(core, set_pop(allOutgoingAssociationInstances(core, model_id, "group")))
  1440. instantiate_link(core, "group", "", model_id, group_id)
  1441. else:
  1442. output("No such group!")
  1443. else:
  1444. output("Permission denied!")
  1445. else:
  1446. output("No such model!")
  1447. elif (cmd == "group_create"):
  1448. // Create a new group and become its owner
  1449. String group_id
  1450. String name
  1451. output("Which group do you want to create?")
  1452. name = input()
  1453. group_id = get_group_id(name)
  1454. if (group_id == ""):
  1455. group_id = instantiate_node(core, "Group", "")
  1456. instantiate_attribute(core, group_id, "name", name)
  1457. instantiate_link(core, "belongsTo", "", user_id, group_id)
  1458. instantiate_link(core, "owner", "", group_id, user_id)
  1459. output("Group created!")
  1460. else:
  1461. output("Group already exists")
  1462. elif (cmd == "group_delete"):
  1463. // Delete an existing group
  1464. String group_id
  1465. String name
  1466. output("Which group do you want to delete?")
  1467. name = input()
  1468. group_id = get_group_id(name)
  1469. if (group_id != ""):
  1470. if (allow_group_modify(user_id, group_id)):
  1471. model_delete_element(core, group_id)
  1472. else:
  1473. output("Permission denied")
  1474. else:
  1475. output("No such group")
  1476. elif (cmd == "group_owner_add"):
  1477. // Add an owner to your group
  1478. String group_id
  1479. String other_user_id
  1480. output("Which group do you want to add an owner to?")
  1481. group_id = get_group_id(input())
  1482. if (group_id != ""):
  1483. if (allow_group_modify(user_id, group_id)):
  1484. output("Which user do you want to make an owner?")
  1485. other_user_id = get_user_id(input())
  1486. if (other_user_id != ""):
  1487. Element overlap
  1488. overlap = set_overlap(allIncomingAssociationInstances(core, other_user_id, "owner"), allOutgoingAssociationInstances(core, group_id, "owner"))
  1489. if (read_nr_out(overlap) == 0):
  1490. instantiate_link(core, "owner", "", group_id, other_user_id)
  1491. overlap = set_overlap(allOutgoingAssociationInstances(core, other_user_id, "belongsTo"), allIncomingAssociationInstances(core, group_id, "belongsTo"))
  1492. if (read_nr_out(overlap) == 0):
  1493. instantiate_link(core, "belongsTo", "", other_user_id, group_id)
  1494. output("New owner added to group!")
  1495. else:
  1496. output("User is already an owner!")
  1497. else:
  1498. output("No such user")
  1499. else:
  1500. output("Permission denied!")
  1501. else:
  1502. output("No such group")
  1503. elif (cmd == "group_owner_delete"):
  1504. // Remove an owner from your group
  1505. String group_id
  1506. String other_user_id
  1507. output("Which group do you want to disown someone from?")
  1508. group_id = get_group_id(input())
  1509. if (group_id != ""):
  1510. if (allow_group_modify(user_id, group_id)):
  1511. output("Which user do you want to disown?")
  1512. other_user_id = get_user_id(input())
  1513. if (other_user_id != ""):
  1514. Element overlap
  1515. overlap = set_overlap(allOutgoingAssociationInstances(core, other_user_id, "belongsTo"), allIncomingAssociationInstances(core, group_id, "belongsTo"))
  1516. if (read_nr_out(overlap) > 0):
  1517. overlap = set_overlap(allIncomingAssociationInstances(core, other_user_id, "owner"), allOutgoingAssociationInstances(core, group_id, "owner"))
  1518. if (read_nr_out(overlap) > 0):
  1519. model_delete_element(core, set_pop(overlap))
  1520. output("Disowned group from user!")
  1521. else:
  1522. output("User is not even an owner of the group!")
  1523. else:
  1524. output("User is not even a member of the group!")
  1525. else:
  1526. output("No such user")
  1527. else:
  1528. output("Permission denied!")
  1529. else:
  1530. output("No such group")
  1531. elif (cmd == "group_join"):
  1532. // Add someone to your group
  1533. String group_id
  1534. String other_user_id
  1535. output("Which group do you want to add someone to?")
  1536. group_id = get_group_id(input())
  1537. if (group_id != ""):
  1538. if (allow_group_modify(user_id, group_id)):
  1539. output("Which user do you want to add?")
  1540. other_user_id = get_user_id(input())
  1541. if (other_user_id != ""):
  1542. Element overlap
  1543. overlap = set_overlap(allOutgoingAssociationInstances(core, other_user_id, "belongsTo"), allIncomingAssociationInstances(core, group_id, "belongsTo"))
  1544. if (read_nr_out(overlap) == 0):
  1545. instantiate_link(core, "belongsTo", "", other_user_id, group_id)
  1546. output("User added to the group!")
  1547. else:
  1548. output("User is already a member of the group!")
  1549. else:
  1550. output("No such user")
  1551. else:
  1552. output("Permission denied!")
  1553. else:
  1554. output("No such group")
  1555. elif (cmd == "group_kick"):
  1556. // Remove someone from your group
  1557. String group_id
  1558. String other_user_id
  1559. output("Which group do you want to kick someone from?")
  1560. group_id = get_group_id(input())
  1561. if (group_id != ""):
  1562. if (allow_group_modify(user_id, group_id)):
  1563. output("Which user do you want to kick?")
  1564. other_user_id = get_user_id(input())
  1565. if (other_user_id != ""):
  1566. Element overlap
  1567. overlap = set_overlap(allOutgoingAssociationInstances(core, other_user_id, "belongsTo"), allIncomingAssociationInstances(core, group_id, "belongsTo"))
  1568. if (read_nr_out(overlap) > 0):
  1569. model_delete_element(core, set_pop(overlap))
  1570. // Check if user was an owner as well
  1571. overlap = set_overlap(allIncomingAssociationInstances(core, other_user_id, "owner"), allOutgoingAssociationInstances(core, group_id, "owner"))
  1572. if (read_nr_out(overlap) > 0):
  1573. model_delete_element(core, set_pop(overlap))
  1574. output("User kicked!")
  1575. else:
  1576. output("User is not even a member of the group!")
  1577. else:
  1578. output("No such user")
  1579. else:
  1580. output("Permission denied!")
  1581. else:
  1582. output("No such group")
  1583. elif (cmd == "group_list"):
  1584. // List all groups you are a member of (and whether you are admin or not!)
  1585. Element groups
  1586. String group_id
  1587. String admin
  1588. groups = allAssociationDestinations(core, user_id, "belongsTo")
  1589. while (read_nr_out(groups) > 0):
  1590. group_id = set_pop(groups)
  1591. if (set_in(allOutgoingAssociationInstances(core, group_id, "owner"), user_id)):
  1592. admin = " A "
  1593. else:
  1594. admin = " "
  1595. output(string_join(admin, read_attribute(core, group_id, "name")))
  1596. elif (cmd == "admin_promote"):
  1597. // Promote a user to admin status
  1598. if (is_admin(user_id)):
  1599. String other_user_id
  1600. output("Which user do you want to promote?")
  1601. other_user_id = get_user_id(input())
  1602. if (other_user_id != ""):
  1603. unset_attribute(core, other_user_id, "admin")
  1604. instantiate_attribute(core, other_user_id, "admin", True)
  1605. output("Permissions granted!")
  1606. else:
  1607. output("No such user!")
  1608. else:
  1609. output("Permission denied!")
  1610. elif (cmd == "admin_demote"):
  1611. // Demote a user to normal status
  1612. if (is_admin(user_id)):
  1613. String other_user_id
  1614. output("Which user do you want to demote?")
  1615. other_user_id = get_user_id(input())
  1616. if (other_user_id != ""):
  1617. unset_attribute(core, other_user_id, "admin")
  1618. instantiate_attribute(core, other_user_id, "admin", False)
  1619. output("Permissions revoked!")
  1620. else:
  1621. output("No such user!")
  1622. else:
  1623. output("Permission denied!")
  1624. elif (cmd == "self-destruct"):
  1625. // Delete user from Core Formalism
  1626. model_delete_element(core, user_id)
  1627. return !
  1628. elif (cmd == "exit"):
  1629. // Exit by actually removing the user and decoupling it from all of its models
  1630. // Restarting with the same user name will NOT grant you access to anything of the previous user with that same name
  1631. // as the current user will have been deleted
  1632. return !
  1633. else:
  1634. output("Unknown command: " + cmd)
  1635. // We never get here!
  1636. return !