core_algorithm.alc 25 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749
  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. Element core = ?
  10. Void function main():
  11. // Initialize the Core Formalism
  12. String core_location
  13. String core_model
  14. String admin_group
  15. String admin_user
  16. core_location = "models/CoreFormalism"
  17. // Create the Model itself and make public
  18. core = instantiate_model(import_node(core_location))
  19. // Create admin group
  20. admin_group = instantiate_node(core, "Group", "")
  21. instantiate_attribute(core, admin_group, "name", "admin")
  22. // Create admin user
  23. admin_user = instantiate_node(core, "User", "")
  24. output("Desired username for admin user?")
  25. instantiate_attribute(core, admin_user, "name", input())
  26. instantiate_attribute(core, admin_user, "admin", True)
  27. // Create link between admin user and group
  28. instantiate_link(core, "ownedBy", "", admin_group, admin_user)
  29. instantiate_link(core, "belongsTo", "", admin_user, admin_group)
  30. // Add the core formalism already
  31. core_model = instantiate_node(core, "Model", "")
  32. instantiate_attribute(core, core_model, "name", "CoreFormalism")
  33. instantiate_attribute(core, core_model, "location", core_location)
  34. instantiate_attribute(core, core_model, "permissions", "220")
  35. // Make necessary links for the formalism to the owners
  36. instantiate_link(core, "group", "", core_model, admin_group)
  37. instantiate_link(core, "owner", "", core_model, admin_user)
  38. // Switch all new users to the user_function
  39. // This accesses the bootstrap level, so do not change this unless you know what you are doing
  40. Element root
  41. root = read_root()
  42. dict_delete(root["__hierarchy"], "__IP")
  43. dict_add(root["__hierarchy"], "__IP", user_function)
  44. // Call this for ourselves as well
  45. user_function_skip_init(admin_user)
  46. // Done, so finish up
  47. // Admin user will have been deleted by the user_function as usual
  48. // Note that if there are no admin users left, it will be very difficult to manage, as nobody will have admin permissions!
  49. return !
  50. Integer function get_relation_to_model(user_id : String, model_id : String):
  51. if (set_in(allAssociationDestinations(core, model_id, "owner"), user_id)):
  52. // We are the owner
  53. return 0!
  54. else:
  55. String group_id
  56. group_id = set_pop(allAssociationDestinations(core, model_id, "group"))
  57. if (set_in(allAssociationDestinations(core, user_id, "belongsTo"), group_id)):
  58. // We are in the owning group
  59. return 1!
  60. else:
  61. // We are not related whatsoever
  62. return 2!
  63. Boolean function is_admin(user_id : String):
  64. if (read_attribute(core, user_id, "admin")):
  65. return True!
  66. else:
  67. return False!
  68. Boolean function allow_read(user_id : String, model_id : String):
  69. if (is_admin(user_id)):
  70. // Is admin, so always allow
  71. return True!
  72. else:
  73. // Check permissions
  74. String permission
  75. permission = string_get(read_attribute(core, model_id, "permissions"), get_relation_to_model(user_id, model_id))
  76. if (bool_or(permission == "1", permission == "2")):
  77. return True!
  78. else:
  79. return False!
  80. Boolean function allow_write(user_id : String, model_id : String):
  81. if (is_admin(user_id)):
  82. // Is admin, so always allow
  83. return True!
  84. else:
  85. // Check permissions
  86. String permission
  87. permission = string_get(read_attribute(core, model_id, "permissions"), get_relation_to_model(user_id, model_id))
  88. if (permission == "2"):
  89. return True!
  90. else:
  91. return False!
  92. Boolean function allow_change_metadata(user_id : String, model_id : String):
  93. if (is_admin(user_id)):
  94. // Is admin, so always allow
  95. return True!
  96. else:
  97. if (get_relation_to_model(user_id, model_id) == 0):
  98. // Only owner can chmod
  99. return True!
  100. else:
  101. return False!
  102. Boolean function allow_group_modify(user_id : String, group_id : String):
  103. if (is_admin(user_id)):
  104. // Is admin, so always allow
  105. return True!
  106. else:
  107. if (read_nr_out(set_overlap(allIncomingAssociationInstances(core, user_id, "owner"), allOutgoingAssociationInstances(core, group_id, "owner"))) > 0):
  108. // We are an owner
  109. return True!
  110. else:
  111. return False!
  112. Boolean function check_login(user_id : String):
  113. // TODO
  114. return False!
  115. Element function user_function():
  116. String username
  117. String user_id
  118. output("Log on as which user?")
  119. output("non-existing user will be created")
  120. username = input()
  121. user_id = get_user_id(username)
  122. if (user_id == ""):
  123. // New user
  124. // Add user to Core Formalism
  125. user_id = instantiate_node(core, "User", "")
  126. instantiate_attribute(core, user_id, "name", username)
  127. instantiate_attribute(core, user_id, "admin", False)
  128. // Now call with user created
  129. user_function_skip_init(user_id)
  130. else:
  131. if (check_login(user_id)):
  132. user_function_skip_init(user_id)
  133. // User destroyed already, so just stop execution
  134. return create_node()!
  135. String function get_model_id(name : String):
  136. Element models
  137. String model
  138. models = allInstances(core, "Model")
  139. while (read_nr_out(models) > 0):
  140. model = set_pop(models)
  141. if (value_eq(name, read_attribute(core, model, "name"))):
  142. return model!
  143. return ""!
  144. String function get_user_id(name : String):
  145. Element users
  146. String user
  147. users = allInstances(core, "User")
  148. while (read_nr_out(users) > 0):
  149. user = set_pop(users)
  150. if (value_eq(read_attribute(core, user, "name"), name)):
  151. return user!
  152. return ""!
  153. String function get_group_id(name : String):
  154. Element groups
  155. String group
  156. groups = allInstances(core, "Group")
  157. while (read_nr_out(groups) > 0):
  158. group = set_pop(groups)
  159. if (value_eq(read_attribute(core, group, "name"), name)):
  160. return group!
  161. return ""!
  162. Void function user_function_skip_init(user_id : String):
  163. Boolean do_continue
  164. String cmd
  165. do_continue = True
  166. output("Welcome to the Model Management Interface v2.0!")
  167. output("Use the 'help' command for a list of possible commands")
  168. while (do_continue):
  169. output("Ready for command...")
  170. cmd = input()
  171. if (cmd == "help"):
  172. output("Model operations")
  173. output(" model_add -- Add a new model")
  174. output(" model_modify -- Modify an existing model")
  175. output(" model_delete -- [TODO] Delete a model and all related transformations")
  176. output(" model_list -- List all models")
  177. output(" model_list_full -- List all models with full info")
  178. output("")
  179. output("Transformation-specific operations")
  180. output(" transformation_add_MT_language -- Create a RAMified metamodel")
  181. output(" transformation_reRAMify -- TODO")
  182. output(" transformation_add_MT -- TODO")
  183. output(" transformation_add_AL -- TODO")
  184. output(" transformation_source_add -- TODO")
  185. output(" transformation_source_delete -- TODO")
  186. output(" transformation_target_add -- TODO")
  187. output(" transformation_target_delete -- TODO")
  188. output(" transformation_execute -- TODO")
  189. output("")
  190. output("Model permission operations")
  191. output(" permission_modify -- Change model permissions")
  192. output(" permission_owner -- Change model owner")
  193. output(" permission_group -- Change model group")
  194. output("")
  195. output("Group operations")
  196. output(" group_create -- Create a group")
  197. output(" group_delete -- Delete a group")
  198. output(" group_owner_add -- Add group owner")
  199. output(" group_owner_delete -- Remove group owner")
  200. output(" group_join -- Add someone to your group")
  201. output(" group_kick -- Kick someone from your group")
  202. output(" group_list -- List all groups you are a member of")
  203. output("")
  204. output("Admin operations")
  205. output(" admin_promote -- Promote a user to admin status")
  206. output(" admin_demote -- Demote a user to normal status")
  207. output("")
  208. output("General operations")
  209. output(" account_delete -- Remove current user and revoke all permissions ")
  210. elif (cmd == "model_add"):
  211. // Model addition operation, which uses model upload commands of the compiler
  212. String name
  213. String type
  214. String location
  215. String type_id
  216. Element new_model
  217. String new_model_id
  218. output("Creating new model!")
  219. output("Model type?")
  220. type_id = get_model_id(input())
  221. if (type_id != ""):
  222. // Type exists
  223. if (allow_read(user_id, type_id)):
  224. // And is readable
  225. output("Model name?")
  226. name = input()
  227. if (get_model_id(name) == ""):
  228. // Model doesn't exist yet
  229. output("Waiting for model constructors...")
  230. // TODO Update construct_model call to this interface
  231. // new_model = construct_model(read_attribute(core, type_id, "location"))
  232. output("Model upload success!")
  233. location = "/models/" + cast_id2s(new_model)
  234. export_node(new_model, location)
  235. // Manage meta-info
  236. new_model_id = instantiate_node(core, "Model", "")
  237. instantiate_attribute(core, new_model_id, "name", name)
  238. instantiate_attribute(core, new_model_id, "location", location)
  239. instantiate_attribute(core, new_model_id, "permissions", "200")
  240. instantiate_link(core, "owner", "", new_model_id, user_id)
  241. instantiate_link(core, "instanceOf", "", new_model_id, type_id)
  242. output("Meta-info correctly set!")
  243. else:
  244. output("Model with that name already exists!")
  245. else:
  246. output("You are not allowed to read this type model!")
  247. else:
  248. output("Could not find type model!")
  249. elif (cmd == "model_modify"):
  250. // Model modify operation, which uses the mini_modify.alc operations, though with extensions for access control
  251. String model_id
  252. String type_id
  253. output("Which model do you want to modify?")
  254. model_id = get_model_id(input())
  255. if (model_id != ""):
  256. if (allow_read(user_id, model_id)):
  257. type_id = set_pop(allAssociationDestinations(core, model_id, "instanceOf"))
  258. if (allow_read(user_id, type_id)):
  259. modify(import_node(read_attribute(core, model_id, "location")), allow_write(user_id, model_id))
  260. else:
  261. output("You are not allowed to read the type model!")
  262. else:
  263. output("You are not allowed to read this model!")
  264. else:
  265. output("Could not find model!")
  266. elif (cmd == "model_delete"):
  267. // Delete a model and all of its related transformations
  268. String model_id
  269. output("=================================================")
  270. output("WARNING: Deletion is a very destructive operation")
  271. output(" as it also deletes all transformations ")
  272. output(" defined which make use of this model! ")
  273. output("=================================================")
  274. output("")
  275. output("Currently not supported!")
  276. elif (cmd == "model_list"):
  277. // List all models
  278. Element models
  279. String m
  280. models = allInstances(core, "Model")
  281. while (read_nr_out(models) > 0):
  282. m = set_pop(models)
  283. output(string_join((string_join(" ", read_attribute(core, m, "name")) + " : "), read_attribute(core, set_pop(allAssociationDestinations(core, m, "instanceOf")), "name")))
  284. elif (cmd == "model_list_full"):
  285. // List all models with full info
  286. Element models
  287. String m
  288. String permissions
  289. String owner
  290. String group
  291. String name
  292. String type
  293. String size
  294. models = allInstances(core, "Model")
  295. while (read_nr_out(models) > 0):
  296. m = set_pop(models)
  297. permissions = read_attribute(core, m, "permissions")
  298. owner = read_attribute(core, set_pop(allAssociationDestinations(core, m, "owner")), "name")
  299. group = read_attribute(core, set_pop(allAssociationDestinations(core, m, "group")), "name")
  300. name = read_attribute(core, m, "name")
  301. size = cast_i2s(read_nr_out(dict_read(import_node(read_attribute(core, m, "location")), "model")))
  302. type = read_attribute(core, set_pop(allAssociationDestinations(core, m, "instanceOf")), "name")
  303. output(((((((((((" " + permissions) + " ") + owner) + " ") + group) + " ") + size) + " ") + name) + " : ") + type)
  304. elif (cmd == "transformation_add_MT_language"):
  305. // Create a model transformation language from a set of input and output formalisms
  306. String name
  307. String model_id
  308. Element source
  309. Element target
  310. Element all_formalisms
  311. Element merged_formalism
  312. Element ramified_formalism
  313. String old_type_id
  314. String type_id
  315. String location
  316. String new_model_id
  317. source = create_node()
  318. target = create_node()
  319. old_type_id = ""
  320. // Read source formalisms
  321. output("Source formalisms (terminate with empty string)?")
  322. name = input()
  323. while (name != ""):
  324. model_id = get_model_id(name)
  325. if (model_id != ""):
  326. if (allow_read(user_id, model_id)):
  327. type_id = set_pop(allAssociationDestinations(core, model_id, "instanceOf"))
  328. if (bool_or(old_type_id == "", type_id == old_type_id)):
  329. set_add(source, model_id)
  330. set_add(all_formalisms, create_tuple(name, import_node(read_attribute(core, model_id, "location"))))
  331. old_type_id = type_id
  332. elif (old_type_id != type_id):
  333. // Already have a previous type_id and now another: CLASH
  334. output("Cannot add model as types not compatible with previous models; try again")
  335. else:
  336. output("Model not readable; try again")
  337. name = input()
  338. else:
  339. output("No such model; try again")
  340. // Read target formalisms
  341. output("Target formalisms (terminate with empty string)?")
  342. name = input()
  343. while (name != ""):
  344. model_id = get_model_id(name)
  345. if (model_id != ""):
  346. if (allow_read(user_id, model_id)):
  347. type_id = set_pop(allAssociationDestinations(core, model_id, "instanceOf"))
  348. if (bool_or(old_type_id == "", type_id == old_type_id)):
  349. set_add(target, model_id)
  350. if (bool_not(set_in(source, model_id))):
  351. set_add(all_formalisms, create_tuple(name, import_node(read_attribute(core, model_id, "location"))))
  352. old_type_id = type_id
  353. elif (old_type_id != type_id):
  354. // Already have a previous type_id and now another: CLASH
  355. output("Cannot add model as types not compatible with previous models; try again")
  356. else:
  357. output("Model not readable; try again")
  358. name = input()
  359. else:
  360. output("No such model; try again")
  361. // Merge both into a single metamodel
  362. if (read_nr_out(source) > 0):
  363. if (read_nr_out(target) > 0):
  364. output("Name of the RAMified tranformation metamodel?")
  365. name = input()
  366. if (get_model_id(name) == ""):
  367. // New location is available, so write
  368. merged_formalism = model_fuse(all_formalisms)
  369. location = "/models/" + cast_id2s(merged_formalism)
  370. export_node(merged_formalism, location)
  371. // Manage meta-info
  372. new_model_id = instantiate_node(core, "Model", "")
  373. instantiate_attribute(core, new_model_id, "name", "__merged_" + name)
  374. instantiate_attribute(core, new_model_id, "location", location)
  375. instantiate_attribute(core, new_model_id, "permissions", "200")
  376. instantiate_link(core, "owner", "", new_model_id, user_id)
  377. instantiate_link(core, "instanceOf", "", new_model_id, type_id)
  378. // Merge complete, now RAMify!
  379. ramified_formalism = ramify(merged_formalism)
  380. location = "/models/" + cast_id2s(ramified_formalism)
  381. export_node(ramified_formalism, location)
  382. // Manage meta-info
  383. new_model_id = instantiate_node(core, "Model", "")
  384. instantiate_attribute(core, new_model_id, "name", name)
  385. instantiate_attribute(core, new_model_id, "location", location)
  386. instantiate_attribute(core, new_model_id, "permissions", "200")
  387. instantiate_link(core, "owner", "", new_model_id, user_id)
  388. instantiate_link(core, "instanceOf", "", new_model_id, type_id)
  389. else:
  390. output("Model already exists!")
  391. else:
  392. output("At least one target formalism is required")
  393. else:
  394. output("At least one source formalism is required")
  395. elif (cmd == "permission_modify"):
  396. String permissions
  397. Integer permission
  398. String model_id
  399. output("Which model do you want to change permissions of?")
  400. model_id = get_model_id(input())
  401. if (model_id != ""):
  402. if (get_relation_to_model(user_id, model_id) == 0):
  403. output("New permissions?")
  404. permissions = input()
  405. Boolean fail
  406. Integer i
  407. i = 0
  408. if (string_len(permissions) != 3):
  409. fail = True
  410. while (bool_and(bool_not(fail), i < 3)):
  411. permission = cast_s2i(string_get(permissions, i))
  412. if (bool_or(permission < 0, permission > 2)):
  413. fail = True
  414. if (bool_not(fail)):
  415. unset_attribute(core, model_id, "permissions")
  416. instantiate_attribute(core, model_id, "permissions", permissions)
  417. else:
  418. output("Permissions must be a string of three characters with each character being a digit between 0 and 2")
  419. else:
  420. output("Permission denied!")
  421. else:
  422. output("No such model!")
  423. elif (cmd == "permission_owner"):
  424. String permissions
  425. String model_id
  426. String user_id
  427. output("Which model do you want to change owner of?")
  428. model_id = get_model_id(input())
  429. if (model_id != ""):
  430. if (get_relation_to_model(user_id, model_id) == 0):
  431. output("New owner?")
  432. user_id = get_user_id(input())
  433. if (user_id != ""):
  434. model_delete_element(core, set_pop(allOutgoingAssociationInstances(core, model_id, "owner")))
  435. instantiate_link(core, "owner", "", model_id, user_id)
  436. else:
  437. output("No such user!")
  438. else:
  439. output("Permission denied!")
  440. else:
  441. output("No such model!")
  442. elif (cmd == "permission_group"):
  443. String permissions
  444. String model_id
  445. String group_id
  446. output("Which model do you want to change permissions of?")
  447. model_id = get_model_id(input())
  448. if (model_id != ""):
  449. if (get_relation_to_model(user_id, model_id) == 0):
  450. output("New group?")
  451. group_id = get_group_id(input())
  452. if (group_id != ""):
  453. model_delete_element(core, set_pop(allOutgoingAssociationInstances(core, model_id, "group")))
  454. instantiate_link(core, "group", "", model_id, group_id)
  455. else:
  456. output("No such group!")
  457. else:
  458. output("Permission denied!")
  459. else:
  460. output("No such model!")
  461. elif (cmd == "group_create"):
  462. // Create a new group and become its owner
  463. String group_id
  464. String name
  465. output("Which group do you want to create?")
  466. name = input()
  467. group_id = get_group_id(name)
  468. if (group_id == ""):
  469. group_id = instantiate_node(core, "Group", "")
  470. instantiate_attribute(core, group_id, "name", name)
  471. instantiate_link(core, "belongsTo", "", user_id, group_id)
  472. instantiate_link(core, "owner", "", group_id, user_id)
  473. output("Group created!")
  474. else:
  475. output("Group already exists")
  476. elif (cmd == "group_delete"):
  477. // Delete an existing group
  478. String group_id
  479. String name
  480. output("Which group do you want to delete?")
  481. name = input()
  482. group_id = get_group_id(name)
  483. if (group_id != ""):
  484. if (allow_group_modify(user_id, group_id)):
  485. model_delete_element(core, group_id)
  486. else:
  487. output("Permission denied")
  488. else:
  489. output("No such group")
  490. elif (cmd == "group_owner_add"):
  491. // Add an owner to your group
  492. String group_id
  493. String other_user_id
  494. output("Which group do you want to add an owner to?")
  495. group_id = get_group_id(input())
  496. if (group_id != ""):
  497. if (allow_group_modify(user_id, group_id)):
  498. output("Which user do you want to make an owner?")
  499. other_user_id = get_user_id(input())
  500. if (other_user_id != ""):
  501. Element overlap
  502. overlap = set_overlap(allIncomingAssociationInstances(core, user_id, "owner"), allOutgoingAssociationInstances(core, group_id, "owner"))
  503. if (read_nr_out(overlap) == 0):
  504. instantiate_link(core, "owner", "", group_id, user_id)
  505. overlap = set_overlap(allOutgoingAssociationInstances(core, user_id, "belongsTo"), allIncomingAssociationInstances(core, group_id, "belongsTo"))
  506. if (read_nr_out(overlap) == 0):
  507. instantiate_link(core, "belongsTo", "", user_id, group_id)
  508. output("New owner added to group!")
  509. else:
  510. output("User is already an owner!")
  511. else:
  512. output("No such user")
  513. else:
  514. output("Permission denied!")
  515. else:
  516. output("No such group")
  517. elif (cmd == "group_owner_delete"):
  518. // Remove an owner from your group
  519. String group_id
  520. String other_user_id
  521. output("Which group do you want to disown someone from?")
  522. group_id = get_group_id(input())
  523. if (group_id != ""):
  524. if (allow_group_modify(user_id, group_id)):
  525. output("Which user do you want to disown?")
  526. other_user_id = get_user_id(input())
  527. if (other_user_id != ""):
  528. Element overlap
  529. overlap = set_overlap(allOutgoingAssociationInstances(core, user_id, "belongsTo"), allIncomingAssociationInstances(core, group_id, "belongsTo"))
  530. if (read_nr_out(overlap) > 0):
  531. overlap = set_overlap(allIncomingAssociationInstances(core, user_id, "owner"), allOutgoingAssociationInstances(core, group_id, "owner"))
  532. if (read_nr_out(overlap) > 0):
  533. model_delete_element(core, set_pop(overlap))
  534. output("Disowned group from user!")
  535. else:
  536. output("User is not even an owner of the group!")
  537. else:
  538. output("User is not even a member of the group!")
  539. else:
  540. output("No such user")
  541. else:
  542. output("Permission denied!")
  543. else:
  544. output("No such group")
  545. elif (cmd == "group_join"):
  546. // Add someone to your group
  547. String group_id
  548. String other_user_id
  549. output("Which group do you want to add someone to?")
  550. group_id = get_group_id(input())
  551. if (group_id != ""):
  552. if (allow_group_modify(user_id, group_id)):
  553. output("Which user do you want to add?")
  554. other_user_id = get_user_id(input())
  555. if (other_user_id != ""):
  556. Element overlap
  557. overlap = set_overlap(allOutgoingAssociationInstances(core, user_id, "belongsTo"), allIncomingAssociationInstances(core, group_id, "belongsTo"))
  558. if (read_nr_out(overlap) == 0):
  559. instantiate_link(core, "belongsTo", "", user_id, group_id)
  560. output("User added to the group!")
  561. else:
  562. output("User is already a member of the group!")
  563. else:
  564. output("No such user")
  565. else:
  566. output("Permission denied!")
  567. else:
  568. output("No such group")
  569. elif (cmd == "group_kick"):
  570. // Remove someone from your group
  571. String group_id
  572. String other_user_id
  573. output("Which group do you want to kick someone from?")
  574. group_id = get_group_id(input())
  575. if (group_id != ""):
  576. if (allow_group_modify(user_id, group_id)):
  577. output("Which user do you want to kick?")
  578. other_user_id = get_user_id(input())
  579. if (other_user_id != ""):
  580. Element overlap
  581. overlap = set_overlap(allOutgoingAssociationInstances(core, user_id, "belongsTo"), allIncomingAssociationInstances(core, group_id, "belongsTo"))
  582. if (read_nr_out(overlap) > 0):
  583. model_delete_element(core, set_pop(overlap))
  584. // Check if user was an owner as well
  585. overlap = set_overlap(allIncomingAssociationInstances(core, user_id, "owner"), allOutgoingAssociationInstances(core, group_id, "owner"))
  586. if (read_nr_out(overlap) > 0):
  587. model_delete_element(core, set_pop(overlap))
  588. output("User kicked!")
  589. else:
  590. output("User is not even a member of the group!")
  591. else:
  592. output("No such user")
  593. else:
  594. output("Permission denied!")
  595. else:
  596. output("No such group")
  597. elif (cmd == "group_list"):
  598. // List all groups you are a member of (and whether you are admin or not!)
  599. Element groups
  600. String group_id
  601. String admin
  602. groups = allAssociationDestinations(core, user_id, "belongsTo")
  603. while (True):
  604. group_id = set_pop(groups)
  605. if (set_in(allOutgoingAssociationInstances(core, group_id, "owner"), user_id)):
  606. admin = " A "
  607. else:
  608. admin = " "
  609. output(string_join(admin, read_attribute(core, group_id, "name")))
  610. elif (cmd == "admin_promote"):
  611. // Promote a user to admin status
  612. if (is_admin(user_id)):
  613. String other_user_id
  614. output("Which user do you want to promote?")
  615. other_user_id = get_user_id(input())
  616. if (other_user_id != ""):
  617. unset_attribute(core, other_user_id, "admin")
  618. instantiate_attribute(core, other_user_id, "admin", True)
  619. output("Permissions granted!")
  620. else:
  621. output("No such user!")
  622. else:
  623. output("Permission denied!")
  624. elif (cmd == "admin_demote"):
  625. // Demote a user to normal status
  626. if (is_admin(user_id)):
  627. String other_user_id
  628. output("Which user do you want to demote?")
  629. other_user_id = get_user_id(input())
  630. if (other_user_id != ""):
  631. unset_attribute(core, other_user_id, "admin")
  632. instantiate_attribute(core, other_user_id, "admin", False)
  633. output("Permissions revoked!")
  634. else:
  635. output("No such user!")
  636. else:
  637. output("Permission denied!")
  638. elif (cmd == "exit"):
  639. // Exit by actually removing the user and decoupling it from all of its models
  640. // Restarting with the same user name will NOT grant you access to anything of the previous user with that same name
  641. do_continue = False
  642. // Delete user from Core Formalism
  643. model_delete_element(core, user_id)
  644. output("Goodbye!")
  645. return !