test_all.py 80 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166116711681169117011711172117311741175117611771178117911801181118211831184118511861187118811891190119111921193119411951196119711981199120012011202120312041205120612071208120912101211121212131214121512161217121812191220122112221223122412251226122712281229123012311232123312341235123612371238123912401241124212431244124512461247124812491250125112521253125412551256125712581259126012611262126312641265126612671268126912701271127212731274127512761277127812791280128112821283128412851286128712881289129012911292129312941295129612971298129913001301130213031304130513061307130813091310131113121313131413151316131713181319132013211322132313241325132613271328132913301331133213331334133513361337133813391340134113421343134413451346134713481349135013511352135313541355135613571358135913601361136213631364136513661367136813691370137113721373137413751376137713781379138013811382138313841385138613871388138913901391139213931394139513961397139813991400140114021403140414051406140714081409141014111412141314141415141614171418141914201421142214231424142514261427142814291430143114321433143414351436143714381439144014411442144314441445144614471448144914501451145214531454145514561457145814591460146114621463146414651466146714681469147014711472147314741475147614771478147914801481148214831484148514861487148814891490149114921493149414951496149714981499150015011502150315041505150615071508150915101511151215131514151515161517151815191520152115221523152415251526152715281529153015311532153315341535153615371538153915401541154215431544154515461547154815491550155115521553155415551556155715581559156015611562156315641565156615671568156915701571157215731574157515761577157815791580158115821583158415851586158715881589159015911592159315941595159615971598159916001601160216031604160516061607160816091610161116121613161416151616161716181619162016211622162316241625162616271628162916301631163216331634163516361637163816391640164116421643164416451646164716481649165016511652165316541655165616571658165916601661166216631664166516661667166816691670167116721673167416751676167716781679168016811682168316841685168616871688168916901691169216931694169516961697169816991700170117021703170417051706170717081709171017111712171317141715171617171718171917201721172217231724172517261727172817291730173117321733173417351736173717381739174017411742174317441745174617471748174917501751175217531754175517561757175817591760176117621763176417651766176717681769177017711772177317741775177617771778177917801781178217831784178517861787178817891790179117921793179417951796179717981799180018011802180318041805180618071808180918101811181218131814181518161817181818191820182118221823182418251826182718281829183018311832183318341835183618371838183918401841184218431844184518461847184818491850185118521853185418551856185718581859186018611862186318641865186618671868186918701871187218731874187518761877187818791880188118821883188418851886188718881889189018911892
  1. import unittest
  2. import sys
  3. try:
  4. from unit.utils import *
  5. import unit.log_output as log_output
  6. except ImportError: #for Python2
  7. from utils import *
  8. import log_output as log_output
  9. sys.path.append("wrappers")
  10. from modelverse import *
  11. import threading
  12. model_hierarchy = \
  13. {"formalisms/": {"SimpleClassDiagrams": {},
  14. "TypeMapping": {},
  15. "Tracability": {},
  16. "ProcessModel": {},
  17. "ActionLanguage": {},
  18. "ManualOperation": {},
  19. "Bottom": {},
  20. },
  21. "models/": {},
  22. "administration/": {"core": {},
  23. "CoreFormalism": {},
  24. },
  25. "users/": {"admin/": {},
  26. "LoLA/": {},
  27. "HUTN/": {},
  28. "files/": {},
  29. "DEVS/": {},
  30. "DEVS_batch/": {},
  31. "JSON/": {},
  32. },
  33. "type mappings/": {"1": {},
  34. "2": {},
  35. "3": {},
  36. "4": {},
  37. "5": {},
  38. "6": {},
  39. "7": {},
  40. "8": {},
  41. "9": {},
  42. },
  43. "merged/": {},
  44. "tmp/": {},
  45. "RAMified/": {},
  46. }
  47. def verify_clean():
  48. compare_locations("", set())
  49. compare_locations("models", set())
  50. compare_locations("formalisms", set())
  51. def get_model_list(location):
  52. try:
  53. location_parts = location.split("/")
  54. current = model_hierarchy
  55. while location_parts:
  56. l = location_parts.pop(0)
  57. if l != "":
  58. current = current[l + "/"]
  59. return set(current.keys())
  60. except:
  61. return set([])
  62. def compare_locations(location, extra_to_default):
  63. assert model_list(location) == get_model_list(location) | set(extra_to_default)
  64. def compare_unordered_lists(got, expected):
  65. assert len(got) == len(expected)
  66. for i in got:
  67. assert i in expected
  68. for i in expected:
  69. assert i in got
  70. class TestModelverse(unittest.TestCase):
  71. proc = None
  72. def runTest(self):
  73. pass
  74. @classmethod
  75. def setUpClass(self):
  76. TestModelverse.proc, address = start_mvc()
  77. init(address)
  78. login("user", "user")
  79. @classmethod
  80. def tearDownClass(self):
  81. try:
  82. kill(TestModelverse.proc)
  83. except:
  84. print("Got exception during teardown.")
  85. def setUp(self):
  86. verify_clean()
  87. folder_create("users/user/test")
  88. def tearDown(self):
  89. model_delete("users/user/test")
  90. verify_clean()
  91. pass
  92. def test_op_model_list(self):
  93. assert model_list("") == set(["formalisms/",
  94. "models/",
  95. "administration/",
  96. "type mappings/",
  97. "users/",
  98. "merged/",
  99. "RAMified/",
  100. "tmp/",
  101. ])
  102. assert model_list("formalisms") == set(["SimpleClassDiagrams",
  103. "ActionLanguage",
  104. "TypeMapping",
  105. "Tracability",
  106. "ProcessModel",
  107. "ManualOperation",
  108. "Bottom",
  109. ])
  110. assert model_list("formalisms/") == set(["SimpleClassDiagrams",
  111. "ActionLanguage",
  112. "TypeMapping",
  113. "Tracability",
  114. "ProcessModel",
  115. "ManualOperation",
  116. "Bottom",
  117. ])
  118. def test_op_model_list_full(self):
  119. assert model_list_full("") == set([("formalisms/", "admin", "admin", "221"),
  120. ("models/", "admin", "admin", "221"),
  121. ("administration/", "admin", "admin", "110"),
  122. ("type mappings/", "admin", "admin", "221"),
  123. ("users/", "admin", "admin", "221"),
  124. ("merged/", "admin", "nobody", "222"),
  125. ("RAMified/", "admin", "nobody", "222"),
  126. ("tmp/", "admin", "nobody", "222"),
  127. ])
  128. assert model_list_full("formalisms") == set([("SimpleClassDiagrams", "admin", "admin", "221"),
  129. ("ActionLanguage", "admin", "admin", "221"),
  130. ("TypeMapping", "admin", "admin", "221"),
  131. ("Tracability", "admin", "admin", "221"),
  132. ("ProcessModel", "admin", "admin", "221"),
  133. ("ManualOperation", "admin", "admin", "221"),
  134. ("Bottom", "admin", "admin", "221"),
  135. ])
  136. def test_op_verify(self):
  137. assert verify("formalisms/SimpleClassDiagrams", "formalisms/SimpleClassDiagrams") == "OK"
  138. assert verify("formalisms/SimpleClassDiagrams", "formalisms/Bottom") == "OK"
  139. for tm in model_types("formalisms/SimpleClassDiagrams"):
  140. assert verify(tm[1], "formalisms/TypeMapping") == "OK"
  141. try:
  142. verify("formalisms/SimpleClassDiagrams", "formalisms/ProcessModel")
  143. self.fail()
  144. except:
  145. pass
  146. assert verify("formalisms/ProcessModel", "formalisms/SimpleClassDiagrams") == "OK"
  147. assert verify("formalisms/ProcessModel", "formalisms/Bottom") == "OK"
  148. for tm in model_types("formalisms/ProcessModel"):
  149. assert verify(tm[1], "formalisms/TypeMapping") == "OK"
  150. try:
  151. verify("formalisms/ProcessModel", "formalisms/ProcessModel")
  152. self.fail()
  153. except:
  154. pass
  155. model_add("users/user/test/a", "formalisms/ProcessModel")
  156. assert verify("users/user/test/a", "formalisms/ProcessModel").startswith("Lower cardinality violated for class: ")
  157. instantiate("users/user/test/a", "Start")
  158. assert verify("users/user/test/a", "formalisms/ProcessModel") == "Lower cardinality violated for class: Finish"
  159. instantiate("users/user/test/a", "Finish")
  160. assert verify("users/user/test/a", "formalisms/ProcessModel") == "OK"
  161. def test_op_permission_modify(self):
  162. model_add("users/user/test/a", "formalisms/SimpleClassDiagrams")
  163. assert model_list_full("users/user/test") == set([("a", "user", "nobody", "200")])
  164. # Check that we can read
  165. element_list_nice("users/user/test/a")
  166. # Check that we can write
  167. instantiate("users/user/test/a", "Class")
  168. assert permission_modify("users/user/test/a", "100") == None
  169. assert model_list_full("users/user/test") == set([("a", "user", "nobody", "100")])
  170. # Check that we can read
  171. element_list_nice("users/user/test/a")
  172. # Check that we can't write
  173. try:
  174. instantiate("users/user/test/a", "Class")
  175. self.fail()
  176. except WritePermissionDenied:
  177. pass
  178. assert permission_modify("users/user/test/a", "000") == None
  179. assert model_list_full("users/user/test") == set([("a", "user", "nobody", "000")])
  180. # Check that we can't read
  181. try:
  182. element_list_nice("users/user/test/a")
  183. self.fail()
  184. except ReadPermissionDenied:
  185. pass
  186. # Check that we can't write
  187. try:
  188. instantiate("users/user/test/a", "Class")
  189. self.fail()
  190. except WritePermissionDenied:
  191. pass
  192. except ReadPermissionDenied:
  193. pass
  194. assert permission_modify("users/user/test/a", "200") == None
  195. assert model_list_full("users/user/test") == set([("a", "user", "nobody", "200")])
  196. # Check that we can read
  197. element_list_nice("users/user/test/a")
  198. # Check that we can write
  199. instantiate("users/user/test/a", "Class")
  200. # Cannot modify permissions if we don't own the model
  201. try:
  202. permission_modify("formalisms/SimpleClassDiagrams", "222")
  203. self.fail()
  204. except UserPermissionDenied:
  205. pass
  206. # Cannot modify permissions even if we have full access, as long as we are not the owner
  207. model_add("users/user/test/z", "formalisms/SimpleClassDiagrams")
  208. permission_owner("users/user/test/z", "admin")
  209. try:
  210. permission_modify("users/user/test/z", "222")
  211. self.fail()
  212. except UserPermissionDenied:
  213. pass
  214. try:
  215. permission_owner("users/user/test/z", "user")
  216. self.fail()
  217. except UserPermissionDenied:
  218. pass
  219. def test_op_model_add(self):
  220. assert model_list_full("users/user/test") == set([])
  221. model_add("users/user/test/a", "formalisms/SimpleClassDiagrams")
  222. # Test permissions of newly created empty model
  223. assert model_list_full("users/user/test") == set([("a", "user", "nobody", "200")])
  224. model_add("users/user/test/b", "formalisms/SimpleClassDiagrams", \
  225. """
  226. Class A {
  227. name = "A"
  228. }
  229. Class B {
  230. name = "B"
  231. abstract = True
  232. }
  233. """)
  234. # Test permissions of newly created non-empty model
  235. assert model_list_full("users/user/test") == set([("a", "user", "nobody", "200"), ("b", "user", "nobody", "200")])
  236. # Test content of newly created model with code upload
  237. lst = element_list_nice("users/user/test/b")
  238. assert len(lst) == 2
  239. assert {'__id': "A", "__type": "Class", "abstract": None, "constraint": {"AL": ""}, "lower_cardinality": None, "upper_cardinality": None, "name": "A"} in lst
  240. assert {'__id': "B", "__type": "Class", "abstract": True, "constraint": {"AL": ""}, "lower_cardinality": None, "upper_cardinality": None, "name": "B"} in lst
  241. try:
  242. # Cannot upload model to occupied location
  243. model_add("users/user/test/a", "formalisms/SimpleClassDiagrams")
  244. self.fail()
  245. except ModelExists:
  246. assert model_list_full("users/user/test") == set([("a", "user", "nobody", "200"), ("b", "user", "nobody", "200")])
  247. try:
  248. # Cannot upload model to unwritable location at root
  249. model_add("z", "formalisms/SimpleClassDiagrams")
  250. self.fail()
  251. except WritePermissionDenied:
  252. assert model_list_full("users/user/test") == set([("a", "user", "nobody", "200"), ("b", "user", "nobody", "200")])
  253. try:
  254. # Cannot upload model to unwritable location somewhere in hierarchy
  255. model_add("users/new_model", "formalisms/SimpleClassDiagrams")
  256. self.fail()
  257. except WritePermissionDenied:
  258. assert model_list("users/") == set(["user/", "admin/", "LoLA/", "pypdevs_batch_service/", "HUTN/", "JSON/", "file/", "pypdevs_service/"])
  259. try:
  260. # Cannot upload model to unwritable location somewhere in hierarchy with multiple new branches
  261. model_add("users/new_username/new_model", "formalisms/SimpleClassDiagrams")
  262. self.fail()
  263. except WritePermissionDenied:
  264. assert model_list("users/") == set(["user/", "admin/", "LoLA/", "pypdevs_batch_service/", "HUTN/", "JSON/", "file/", "pypdevs_service/"])
  265. model_add("users/user/test/c", "users/user/test/b", """
  266. A a {}
  267. """)
  268. try:
  269. # Cannot add this model, as it cannot be auto-typecasted to formalisms/SimpleClassDiagrams
  270. model_add("users/user/test/d", "users/user/test/c", """
  271. a c {}
  272. """)
  273. self.fail()
  274. except UnknownM3:
  275. assert model_list("users/user/test") == set(["a", "b", "c"])
  276. # We can add this model for multiple levels, as it can be automatically typecasted to formalisms/SimpleClassDiagrams, since it is empty
  277. model_add("users/user/test/d", "users/user/test/b")
  278. model_add("users/user/test/e", "users/user/test/d")
  279. model_add("users/user/test/f", "users/user/test/e")
  280. def test_op_model_add_compilation_error(self):
  281. try:
  282. model_add("users/user/test/a", "formalisms/SimpleClassDiagrams", """
  283. abdfaefeaf
  284. """)
  285. self.fail()
  286. except CompilationError:
  287. pass
  288. try:
  289. model_add("users/user/test/b", "formalisms/SimpleClassDiagrams", """
  290. Crass A {
  291. name = "b"
  292. }
  293. """)
  294. #TODO at the moment, this still succeeds!
  295. #self.fail()
  296. except:
  297. raise
  298. pass
  299. def test_op_model_move(self):
  300. # Test basic scenario
  301. model_add("users/user/test/a", "formalisms/SimpleClassDiagrams")
  302. assert model_list_full("users/user/test") == set([("a", "user", "nobody", "200")])
  303. assert model_move("users/user/test/a", "users/user/test/b") == None
  304. assert model_list_full("users/user/test") == set([("b", "user", "nobody", "200")])
  305. # Test if permissions are copied as well
  306. permission_modify("users/user/test/b", "222")
  307. assert model_list_full("users/user/test") == set([("b", "user", "nobody", "222")])
  308. assert model_move("users/user/test/b", "users/user/test/a") == None
  309. assert model_list_full("users/user/test") == set([("a", "user", "nobody", "222")])
  310. # Test move if destination exists
  311. model_add("users/user/test/b", "formalisms/SimpleClassDiagrams")
  312. assert model_list_full("users/user/test") == set([("a", "user", "nobody", "222"), ("b", "user", "nobody", "200")])
  313. try:
  314. model_move("users/user/test/a", "users/user/test/b")
  315. self.fail()
  316. except ModelExists:
  317. pass
  318. assert model_list_full("users/user/test") == set([("a", "user", "nobody", "222"), ("b", "user", "nobody", "200")])
  319. # Test move if source doesn't exist
  320. try:
  321. model_move("users/user/test/z", "users/user/test/y")
  322. self.fail()
  323. except UnknownModel:
  324. pass
  325. # Test if we can move a model we can't write to (i.e., not allowed to remove it)
  326. try:
  327. model_move("formalisms/ProcessModel", "users/user/test/x")
  328. self.fail()
  329. except WritePermissionDenied:
  330. pass
  331. # Test if we can move a model to a place we can't write to
  332. try:
  333. model_move("users/user/test/a", "administration/ProcessModel2")
  334. self.fail()
  335. except WritePermissionDenied:
  336. pass
  337. def test_op_model_delete(self):
  338. # Test basic delete
  339. model_add("users/user/test/a", "formalisms/SimpleClassDiagrams")
  340. assert model_list_full("users/user/test") == set([("a", "user", "nobody", "200")])
  341. assert model_delete("users/user/test/a") == None
  342. assert model_list_full("users/user/test") == set([])
  343. # Test delete of non-existing
  344. assert model_list_full("users/user/test") == set([])
  345. try:
  346. model_delete("users/user/test/a")
  347. self.fail()
  348. except UnknownModel:
  349. pass
  350. # Test delete of non-writable models
  351. try:
  352. model_delete("formalisms/SimpleClassDiagrams")
  353. self.fail()
  354. except WritePermissionDenied:
  355. pass
  356. def test_op_model_overwrite(self):
  357. # Test overwrite of simple model
  358. assert model_list_full("users/user/test") == set([])
  359. model_add("users/user/test/a", "formalisms/SimpleClassDiagrams")
  360. # Test permissions of newly created empty model
  361. assert model_list_full("users/user/test") == set([("a", "user", "nobody", "200")])
  362. assert element_list_nice("users/user/test/a") == []
  363. model_overwrite("users/user/test/a", \
  364. """
  365. Class A {
  366. name = "A"
  367. }
  368. Class B {
  369. name = "B"
  370. abstract = True
  371. }
  372. """)
  373. # Test permissions of newly created non-empty model
  374. assert model_list_full("users/user/test") == set([("a", "user", "nobody", "200")])
  375. # Test content of newly created model with code upload
  376. lst = element_list_nice("users/user/test/a")
  377. assert len(lst) == 2
  378. assert {'__id': "A", "__type": "Class", "abstract": None, "constraint": {"AL": ""}, "lower_cardinality": None, "upper_cardinality": None, "name": "A"} in lst
  379. assert {'__id': "B", "__type": "Class", "abstract": True, "constraint": {"AL": ""}, "lower_cardinality": None, "upper_cardinality": None, "name": "B"} in lst
  380. before = element_list_nice("formalisms/SimpleClassDiagrams")
  381. try:
  382. # Cannot overwrite non-writable model
  383. model_overwrite("formalisms/SimpleClassDiagrams", "")
  384. self.fail()
  385. except WritePermissionDenied:
  386. # No changes were made
  387. after = element_list_nice("formalisms/SimpleClassDiagrams")
  388. assert len(after) == len(before)
  389. for entry in after:
  390. assert entry in before
  391. def test_op_user_logout(self):
  392. try:
  393. element_list_nice("administration/core")
  394. self.fail()
  395. except ReadPermissionDenied:
  396. pass
  397. user_logout()
  398. login("admin", "admin")
  399. # Test user permissions
  400. assert len(element_list_nice("administration/core")) > 0
  401. user_logout()
  402. login("user", "user")
  403. try:
  404. element_list_nice("administration/core")
  405. self.fail()
  406. except ReadPermissionDenied:
  407. pass
  408. def test_op_all_instances(self):
  409. model_add("users/user/test/a", "formalisms/SimpleClassDiagrams", """
  410. Class A {}
  411. Class B : A {}
  412. Association C (A, B) {}
  413. """)
  414. assert all_instances("users/user/test/a", "Class") == set(["A", "B"])
  415. assert all_instances("users/user/test/a", "Association") == set(["C"])
  416. try:
  417. all_instances("users/user/test/a", "non-existing")
  418. self.fail()
  419. except UnknownElement:
  420. pass
  421. try:
  422. all_instances("users/user/test/b", "Class")
  423. self.fail()
  424. except UnknownModel:
  425. pass
  426. model_add("users/user/test/b", "users/user/test/a", """
  427. A a {}
  428. B b {}
  429. C c(a, b) {}
  430. A d {}
  431. """)
  432. assert all_instances("users/user/test/b", "A") == set(["a", "b", "d"])
  433. assert all_instances("users/user/test/b", "B") == set(["b"])
  434. assert all_instances("users/user/test/b", "C") == set(["c"])
  435. try:
  436. all_instances("administration/core", "Class")
  437. self.fail()
  438. except ReadPermissionDenied:
  439. pass
  440. def test_op_admin_promote_demote(self):
  441. # Verify that user doesn't have admin permissions
  442. try:
  443. element_list("administration/core")
  444. self.fail()
  445. except ReadPermissionDenied:
  446. pass
  447. # Cannot do admin_promote ourselves
  448. try:
  449. admin_promote("user")
  450. except AdminPermissionDenied:
  451. pass
  452. # Cannot do admin_demote ourselves
  453. try:
  454. admin_demote("user")
  455. except AdminPermissionDenied:
  456. pass
  457. # Switch to admin for now
  458. user_logout()
  459. login("admin", "admin")
  460. admin_promote("user")
  461. user_logout()
  462. login("user", "user")
  463. # Verify that we can do admin operations
  464. assert len(element_list("administration/core")) > 0
  465. # And check that we can promote/demote other users
  466. admin_promote("HUTN")
  467. admin_demote("HUTN")
  468. # Can also demote ourselves again
  469. admin_demote("user")
  470. # Verify that user doesn't have admin permissions
  471. try:
  472. element_list("administration/core")
  473. self.fail()
  474. except ReadPermissionDenied:
  475. pass
  476. def test_op_model_types(self):
  477. model_add("users/user/test/a", "formalisms/SimpleClassDiagrams")
  478. # Read model types of simple model
  479. lst = model_types("users/user/test/a")
  480. assert len(lst) == 1
  481. entry = lst.pop()
  482. assert entry[0] == "formalisms/SimpleClassDiagrams"
  483. assert entry[1].startswith("type mappings/")
  484. assert entry[2] == None
  485. # Create bottom and query afterwards
  486. alter_context("users/user/test/a", "formalisms/Bottom")
  487. element_list_nice("users/user/test/a")
  488. alter_context("users/user/test/a", "formalisms/SimpleClassDiagrams")
  489. lst = model_types("users/user/test/a")
  490. assert len(lst) == 2
  491. got = set()
  492. while lst:
  493. entry = lst.pop()
  494. assert entry[0] in ["formalisms/SimpleClassDiagrams", "formalisms/Bottom"]
  495. assert entry[0] not in got
  496. got.add(entry[0])
  497. assert entry[1].startswith("type mappings/")
  498. assert entry[2] == None
  499. # No type mapping for type mappings
  500. assert model_types(entry[1]) == set([("formalisms/TypeMapping", None, None)])
  501. # But there will be as soon as we open it
  502. element_list_nice(entry[1])
  503. lst = model_types(entry[1])
  504. assert len(lst) == 1
  505. entry = lst.pop()
  506. assert entry[0] == "formalisms/TypeMapping"
  507. assert entry[1].startswith("type mappings/")
  508. assert entry[2] == None
  509. def test_op_folder_create(self):
  510. # Create a folder
  511. assert folder_create("users/user/test/folder_a") == None
  512. assert model_list_full("users/user/test/") == set([("folder_a/", "user", "nobody", "200")])
  513. # Create folder with trailing slash
  514. assert folder_create("users/user/test/folder_b/") == None
  515. assert model_list_full("users/user/test/") == set([("folder_a/", "user", "nobody", "200"), ("folder_b/", "user", "nobody", "200")])
  516. assert model_list_full("users/user/test/folder_b") == set()
  517. # Create multiple folders
  518. assert folder_create("users/user/test/folder_a/folder_b/folder_c/folder_d") == None
  519. assert model_list_full("users/user/test/") == set([("folder_a/", "user", "nobody", "200"), ("folder_b/", "user", "nobody", "200")])
  520. assert model_list_full("users/user/test/folder_a") == set([("folder_b/", "user", "nobody", "200")])
  521. assert model_list_full("users/user/test/folder_a/folder_b") == set([("folder_c/", "user", "nobody", "200")])
  522. assert model_list_full("users/user/test/folder_a/folder_b/folder_c") == set([("folder_d/", "user", "nobody", "200")])
  523. # Create folder in non-writable location
  524. try:
  525. folder_create("a")
  526. self.fail()
  527. except WritePermissionDenied:
  528. pass
  529. assert "a" not in model_list("")
  530. # Create folder that already exists
  531. try:
  532. folder_create("users/user/test/folder_a")
  533. self.fail()
  534. except FolderExists:
  535. pass
  536. def test_op_alter_context(self):
  537. # Create a model that we will use
  538. model_add("users/user/test/a", "formalisms/ProcessModel", """
  539. Start start {}
  540. Finish finish {}
  541. """)
  542. # List elements using default context, that of creation
  543. lst = element_list_nice("users/user/test/a")
  544. assert len(lst) == 2
  545. assert {"__id": "start", "__type": "Start"} in lst
  546. assert {"__id": "finish", "__type": "Finish"} in lst
  547. # List elements using bottom context
  548. alter_context("users/user/test/a", "formalisms/Bottom")
  549. lst = element_list_nice("users/user/test/a")
  550. assert len(lst) == 2
  551. assert {"__id": "start", "__type": "Node"} in lst
  552. assert {"__id": "finish", "__type": "Node"} in lst
  553. # Switch back to default context
  554. alter_context("users/user/test/a", "formalisms/ProcessModel")
  555. lst = element_list_nice("users/user/test/a")
  556. assert len(lst) == 2
  557. assert {"__id": "start", "__type": "Start"} in lst
  558. assert {"__id": "finish", "__type": "Finish"} in lst
  559. # Switch to a non-existing context
  560. alter_context("users/user/test/a", "non-existing")
  561. try:
  562. element_list_nice("users/user/test/a")
  563. self.fail()
  564. except UnknownModel:
  565. pass
  566. # Set context for an unknown model
  567. # Note that this will only register locally, without communicating with the Modelverse
  568. # as such, errors are not noticed until the element is accessed!
  569. alter_context("non-existing", "formalisms/SimpleClassDiagrams")
  570. def test_op_element_list(self):
  571. model_add("users/user/test/a", "formalisms/ProcessModel", """
  572. Start start {}
  573. Finish finish {}
  574. Next nxt (start, finish) {}
  575. """)
  576. # Basic operation
  577. lst = element_list("users/user/test/a")
  578. assert len(lst) == 3
  579. assert ("start", "Start") in lst
  580. assert ("finish", "Finish") in lst
  581. assert ("nxt", "Next") in lst
  582. # Try on non-existing model
  583. try:
  584. element_list("a")
  585. self.fail()
  586. except UnknownModel:
  587. pass
  588. # Try a non-readable model
  589. try:
  590. element_list("administration/core")
  591. self.fail()
  592. except ReadPermissionDenied:
  593. pass
  594. def test_op_element_list_nice(self):
  595. # Test simple element_list_nice
  596. model_add("users/user/test/a", "formalisms/ProcessModel", """
  597. Start start {}
  598. Finish finish {}
  599. Next nxt (start, finish) {}
  600. """)
  601. # Basic operation
  602. lst = element_list_nice("users/user/test/a")
  603. assert len(lst) == 3
  604. assert {"__id": "start", "__type": "Start"} in lst
  605. assert {"__id": "finish", "__type": "Finish"} in lst
  606. assert {"__id": "nxt", "__type": "Next", "__source": "start", "__target": "finish"} in lst
  607. # Test a model with attributes
  608. model_add("users/user/test/b", "formalisms/ProcessModel", """
  609. Start start {}
  610. Exec exec1 {
  611. name = "first exec"
  612. }
  613. Finish finish {}
  614. Data d1 {
  615. name = "data 1"
  616. type = "type 1"
  617. }
  618. Next n1 (start, exec1) {}
  619. Next n2 (exec1, finish) {}
  620. Produces p1 (exec1, d1) {
  621. name = "producer"
  622. }
  623. """)
  624. lst = element_list_nice("users/user/test/b")
  625. assert len(lst) == 7
  626. assert {"__id": "start", "__type": "Start"} in lst
  627. assert {"__id": "finish", "__type": "Finish"} in lst
  628. assert {"__id": "exec1", "__type": "Exec", "name": "first exec"} in lst
  629. assert {"__id": "d1", "__type": "Data", "name": "data 1", "type": "type 1"} in lst
  630. assert {"__id": "n1", "__type": "Next", "__source": "start", "__target": "exec1"} in lst
  631. assert {"__id": "n2", "__type": "Next", "__source": "exec1", "__target": "finish"} in lst
  632. assert {"__id": "p1", "__type": "Produces", "__source": "exec1", "__target": "d1", "name": "producer"} in lst
  633. # Try one with defined attributes
  634. model_add("users/user/test/c", "formalisms/SimpleClassDiagrams", """
  635. SimpleAttribute Natural {
  636. name = "natural"
  637. }
  638. SimpleAttribute String {
  639. name = "string"
  640. }
  641. Class place {
  642. name = "Place"
  643. name : String
  644. capacity : Natural
  645. }
  646. Class transition {
  647. name = "Transition"
  648. name : String
  649. }
  650. Association p2t (place, transition) {
  651. name = "P2T"
  652. weight : Natural
  653. }
  654. Association t2p (transition, place) {
  655. name = "T2P"
  656. weight : Natural
  657. }
  658. """)
  659. lst = element_list_nice("users/user/test/c")
  660. assert len(lst) == 11
  661. assert {"__id": "Natural", "__type": "SimpleAttribute", "constraint": {"AL": ""}, "name": "natural"} in lst
  662. assert {"__id": "String", "__type": "SimpleAttribute", "constraint": {"AL": ""}, "name": "string"} in lst
  663. assert {"__id": "place", "name": "Place", "__type": "Class", "constraint": {"AL": ""}, "lower_cardinality": None, "upper_cardinality": None, "abstract": None} in lst
  664. assert {"__id": "transition", "name": "Transition", "__type": "Class", "constraint": {"AL": ""}, "lower_cardinality": None, "upper_cardinality": None, "abstract": None} in lst
  665. assert {"__id": "p2t", "name": "P2T", "__type": "Association", "__source": "place", "__target": "transition", "constraint": {"AL": ""}, "source_lower_cardinality": None, "source_upper_cardinality": None, "target_lower_cardinality": None, "target_upper_cardinality": None} in lst
  666. assert {"__id": "t2p", "name": "T2P", "__type": "Association", "__source": "transition", "__target": "place", "constraint": {"AL": ""}, "source_lower_cardinality": None, "source_upper_cardinality": None, "target_lower_cardinality": None, "target_upper_cardinality": None} in lst
  667. assert {"__id": "place_name", "__type": "AttributeLink", "__source": "place", "__target": "String", "name": "name", "optional": False, "constraint": {"AL": ""}} in lst
  668. assert {"__id": "place_capacity", "__type": "AttributeLink", "__source": "place", "__target": "Natural", "name": "capacity", "optional": False, "constraint": {"AL": ""}} in lst
  669. assert {"__id": "transition_name", "__type": "AttributeLink", "__source": "transition", "__target": "String", "name": "name", "optional": False, "constraint": {"AL": ""}} in lst
  670. assert {"__id": "p2t_weight", "__type": "AttributeLink", "__source": "p2t", "__target": "Natural", "name": "weight", "optional": False, "constraint": {"AL": ""}} in lst
  671. assert {"__id": "t2p_weight", "__type": "AttributeLink", "__source": "t2p", "__target": "Natural", "name": "weight", "optional": False, "constraint": {"AL": ""}} in lst
  672. # Try on non-existing model
  673. try:
  674. element_list_nice("a")
  675. self.fail()
  676. except UnknownModel:
  677. pass
  678. # Try a non-readable model
  679. try:
  680. element_list_nice("administration/core")
  681. self.fail()
  682. except ReadPermissionDenied:
  683. pass
  684. def test_op_types(self):
  685. # Try operation of unopened model
  686. assert types("formalisms/ProcessModel") == element_list("formalisms/SimpleClassDiagrams")
  687. # Try simple operation
  688. model_add("users/user/test/a", "formalisms/ProcessModel", """
  689. Start start {}
  690. Finish finish {}
  691. Next nxt (start, finish) {}
  692. """)
  693. assert types("users/user/test/a") == element_list("formalisms/ProcessModel")
  694. alter_context("users/user/test/a", "formalisms/Bottom")
  695. assert types("users/user/test/a") == element_list("formalisms/Bottom")
  696. # Try for model that we cannot read
  697. try:
  698. types("administration/core")
  699. self.fail()
  700. except ReadPermissionDenied:
  701. pass
  702. # Try for non-existing model
  703. try:
  704. types("a")
  705. self.fail()
  706. except UnknownModel:
  707. pass
  708. # Try for a metamodel that we are not allowed to read, although the model may be read
  709. model_add("users/user/test/b", "formalisms/SimpleClassDiagrams")
  710. assert types("users/user/test/b") == element_list("formalisms/SimpleClassDiagrams")
  711. alter_context("users/user/test/b", "administration/core")
  712. try:
  713. types("users/user/test/b")
  714. self.fail()
  715. except ReadPermissionDenied:
  716. pass
  717. def test_op_read_info(self):
  718. # Basic case
  719. model_add("users/user/test/a", "formalisms/ProcessModel", """
  720. Start start {}
  721. Finish finish {}
  722. Next nxt (start, finish) {}
  723. """)
  724. assert read_info("users/user/test/a", "start") == ("Start", None)
  725. assert read_info("users/user/test/a", "finish") == ("Finish", None)
  726. assert read_info("users/user/test/a", "nxt") == ("Next", ("start", "finish"))
  727. # Read using different metamodel
  728. alter_context("users/user/test/a", "formalisms/Bottom")
  729. assert read_info("users/user/test/a", "start") == ("Node", None)
  730. assert read_info("users/user/test/a", "finish") == ("Node", None)
  731. assert read_info("users/user/test/a", "nxt") == ("Edge", ("start", "finish"))
  732. # Non-existing element
  733. try:
  734. read_info("users/user/test/a", "notthere")
  735. self.fail()
  736. except UnknownElement:
  737. pass
  738. # Non-existing model
  739. try:
  740. read_info("users/user/test/b", "start")
  741. self.fail()
  742. except UnknownModel:
  743. pass
  744. # Unreadable model
  745. try:
  746. read_info("administration/core", "administration")
  747. self.fail()
  748. except ReadPermissionDenied:
  749. pass
  750. def test_op_read_attrs(self):
  751. # Basic behaviour
  752. model_add("users/user/test/a", "formalisms/SimpleClassDiagrams", """
  753. SimpleAttribute Natural {
  754. name = "natural"
  755. }
  756. SimpleAttribute String {
  757. name = "string"
  758. }
  759. Class Place {
  760. name = "Place"
  761. name : String
  762. capacity : Natural
  763. }
  764. Class Transition {
  765. name = "Transition"
  766. name : String
  767. }
  768. Association P2T (Place, Transition) {
  769. name = "P2T"
  770. weight : Natural
  771. }
  772. Association T2P (Transition, Place) {
  773. name = "T2P"
  774. weight : Natural
  775. }
  776. """)
  777. assert read_attrs("users/user/test/a", "Natural") == {"constraint": {"AL": ""}, "name": "natural"}
  778. assert read_attrs("users/user/test/a", "String") == {"constraint": {"AL": ""}, "name": "string"}
  779. assert read_attrs("users/user/test/a", "Place") == {"constraint": {"AL": ""}, "name": "Place", "abstract": None, "lower_cardinality": None, "upper_cardinality": None}
  780. assert read_attrs("users/user/test/a", "Transition") == {"constraint": {"AL": ""}, "name": "Transition", "abstract": None, "lower_cardinality": None, "upper_cardinality": None}
  781. assert read_attrs("users/user/test/a", "P2T") == {"constraint": {"AL": ""}, "name": "P2T", "source_lower_cardinality": None, "source_upper_cardinality": None, "target_lower_cardinality": None, "target_upper_cardinality": None}
  782. assert read_attrs("users/user/test/a", "T2P") == {"constraint": {"AL": ""}, "name": "T2P", "source_lower_cardinality": None, "source_upper_cardinality": None, "target_lower_cardinality": None, "target_upper_cardinality": None}
  783. model_add("users/user/test/b", "users/user/test/a", """
  784. Place p1 {
  785. name = "place 1"
  786. capacity = 2
  787. }
  788. Place p2 {
  789. name = "place 2"
  790. capacity = 1
  791. }
  792. Transition t1 {
  793. name = "transition"
  794. }
  795. P2T p2t (p1, t1) {
  796. weight = 4
  797. }
  798. T2P t2p (t1, p2) {
  799. weight = 10
  800. }
  801. """)
  802. assert read_attrs("users/user/test/b", "p1") == {"name": "place 1", "capacity": 2}
  803. assert read_attrs("users/user/test/b", "p2") == {"name": "place 2", "capacity": 1}
  804. assert read_attrs("users/user/test/b", "t1") == {"name": "transition"}
  805. assert read_attrs("users/user/test/b", "p2t") == {"weight": 4}
  806. assert read_attrs("users/user/test/b", "t2p") == {"weight": 10}
  807. # Non-existing model
  808. try:
  809. read_attrs("users/afa", "p1")
  810. self.fail()
  811. except UnknownModel:
  812. pass
  813. # Non-existing element
  814. try:
  815. read_attrs("users/user/test/a", "PPPPPPP")
  816. self.fail()
  817. except UnknownElement:
  818. pass
  819. # No read permissions
  820. try:
  821. read_attrs("administration/core", "formalisms")
  822. self.fail()
  823. except ReadPermissionDenied:
  824. pass
  825. def test_op_attr_assign(self):
  826. model_add("users/user/test/a", "formalisms/SimpleClassDiagrams", """
  827. SimpleAttribute Natural {
  828. name = "natural"
  829. }
  830. SimpleAttribute String {
  831. name = "string"
  832. }
  833. Class Place {
  834. name = "Place"
  835. name : String
  836. capacity : Natural
  837. }
  838. Class Transition {
  839. name = "Transition"
  840. name : String
  841. }
  842. Association P2T (Place, Transition) {
  843. name = "P2T"
  844. weight : Natural
  845. }
  846. Association T2P (Transition, Place) {
  847. name = "T2P"
  848. weight : Natural
  849. }
  850. """)
  851. assert read_attrs("users/user/test/a", "Natural") == {"constraint": {"AL": ""}, "name": "natural"}
  852. assert attr_assign("users/user/test/a", "Natural", "name", "nat") == None
  853. assert read_attrs("users/user/test/a", "Natural") == {"constraint": {"AL": ""}, "name": "nat"}
  854. assert read_attrs("users/user/test/a", "Place") == {"constraint": {"AL": ""}, "name": "Place", "abstract": None, "lower_cardinality": None, "upper_cardinality": None}
  855. assert attr_assign("users/user/test/a", "Place", "name", "NewPlace") == None
  856. assert attr_assign("users/user/test/a", "Place", "abstract", False) == None
  857. assert attr_assign("users/user/test/a", "Place", "lower_cardinality", 4) == None
  858. assert read_attrs("users/user/test/a", "Place") == {"constraint": {"AL": ""}, "name": "NewPlace", "abstract": False, "lower_cardinality": 4, "upper_cardinality": None}
  859. assert read_attrs("users/user/test/a", "P2T") == {"constraint": {"AL": ""}, "name": "P2T", "source_lower_cardinality": None, "source_upper_cardinality": None, "target_lower_cardinality": None, "target_upper_cardinality": None}
  860. assert attr_assign("users/user/test/a", "P2T", "name", "PPP") == None
  861. assert attr_assign("users/user/test/a", "P2T", "source_lower_cardinality", 1) == None
  862. assert attr_assign("users/user/test/a", "P2T", "target_upper_cardinality", 10) == None
  863. assert read_attrs("users/user/test/a", "P2T") == {"constraint": {"AL": ""}, "name": "PPP", "source_lower_cardinality": 1, "source_upper_cardinality": None, "target_lower_cardinality": None, "target_upper_cardinality": 10}
  864. model_add("users/user/test/b", "users/user/test/a", """
  865. Place p1 {
  866. name = "place 1"
  867. capacity = 2
  868. }
  869. Place p2 {
  870. name = "place 2"
  871. capacity = 1
  872. }
  873. Transition t1 {
  874. name = "transition"
  875. }
  876. P2T p2t (p1, t1) {
  877. weight = 4
  878. }
  879. T2P t2p (t1, p2) {
  880. weight = 10
  881. }
  882. """)
  883. assert read_attrs("users/user/test/b", "p1") == {"name": "place 1", "capacity": 2}
  884. assert attr_assign("users/user/test/b", "p1", "name", "place 3") == None
  885. assert attr_assign("users/user/test/b", "p1", "capacity", 3) == None
  886. assert read_attrs("users/user/test/b", "p1") == {"name": "place 3", "capacity": 3}
  887. assert read_attrs("users/user/test/b", "p2t") == {"weight": 4}
  888. assert attr_assign("users/user/test/b", "p2t", "weight", 0) == None
  889. assert read_attrs("users/user/test/b", "p2t") == {"weight": 0}
  890. # Non-existing model
  891. try:
  892. attr_assign("users/afa", "p1", "name", "abc")
  893. self.fail()
  894. except UnknownModel:
  895. pass
  896. # Non-existing element
  897. try:
  898. attr_assign("users/user/test/a", "PPPPPPP", "name", "abc")
  899. self.fail()
  900. except UnknownElement:
  901. pass
  902. # No read permissions
  903. try:
  904. attr_assign("administration/core", "formalisms", "name", "abc")
  905. self.fail()
  906. except ReadPermissionDenied:
  907. pass
  908. # No write permissions
  909. try:
  910. attr_assign("formalisms/SimpleClassDiagrams", "Class", "name", "abc")
  911. self.fail()
  912. except WritePermissionDenied:
  913. pass
  914. # No such attribute
  915. try:
  916. attr_assign("users/user/test/a", "Place", "ddd", 1)
  917. self.fail()
  918. except UnknownAttribute:
  919. pass
  920. # Assign None, equals to attr_delete
  921. assert read_attrs("users/user/test/a", "Place") == {"constraint": {"AL": ""}, "name": "NewPlace", "abstract": False, "lower_cardinality": 4, "upper_cardinality": None}
  922. attr_assign("users/user/test/a", "Place", "name", None)
  923. assert read_attrs("users/user/test/a", "Place") == {"constraint": {"AL": ""}, "name": None, "abstract": False, "lower_cardinality": 4, "upper_cardinality": None}
  924. def test_op_attr_delete(self):
  925. model_add("users/user/test/a", "formalisms/SimpleClassDiagrams", """
  926. SimpleAttribute Natural {
  927. name = "natural"
  928. }
  929. SimpleAttribute String {
  930. name = "string"
  931. }
  932. Class Place {
  933. name = "Place"
  934. name : String
  935. capacity : Natural
  936. }
  937. Class Transition {
  938. name = "Transition"
  939. name : String
  940. }
  941. Association P2T (Place, Transition) {
  942. name = "P2T"
  943. weight : Natural
  944. }
  945. Association T2P (Transition, Place) {
  946. name = "T2P"
  947. weight : Natural
  948. }
  949. """)
  950. assert read_attrs("users/user/test/a", "Natural") == {"constraint": {"AL": ""}, "name": "natural"}
  951. assert attr_delete("users/user/test/a", "Natural", "name") == None
  952. assert read_attrs("users/user/test/a", "Natural") == {"constraint": {"AL": ""}, "name": None}
  953. assert read_attrs("users/user/test/a", "Place") == {"constraint": {"AL": ""}, "name": "Place", "abstract": None, "lower_cardinality": None, "upper_cardinality": None}
  954. assert attr_delete("users/user/test/a", "Place", "name") == None
  955. assert attr_delete("users/user/test/a", "Place", "abstract") == None
  956. assert attr_delete("users/user/test/a", "Place", "lower_cardinality") == None
  957. assert read_attrs("users/user/test/a", "Place") == {"constraint": {"AL": ""}, "name": None, "abstract": None, "lower_cardinality": None, "upper_cardinality": None}
  958. assert read_attrs("users/user/test/a", "P2T") == {"constraint": {"AL": ""}, "name": "P2T", "source_lower_cardinality": None, "source_upper_cardinality": None, "target_lower_cardinality": None, "target_upper_cardinality": None}
  959. assert attr_delete("users/user/test/a", "P2T", "name") == None
  960. assert attr_delete("users/user/test/a", "P2T", "source_lower_cardinality") == None
  961. assert attr_delete("users/user/test/a", "P2T", "target_upper_cardinality") == None
  962. assert read_attrs("users/user/test/a", "P2T") == {"constraint": {"AL": ""}, "name": None, "source_lower_cardinality": None, "source_upper_cardinality": None, "target_lower_cardinality": None, "target_upper_cardinality": None}
  963. model_add("users/user/test/b", "users/user/test/a", """
  964. Place p1 {
  965. name = "place 1"
  966. capacity = 2
  967. }
  968. Place p2 {
  969. name = "place 2"
  970. capacity = 1
  971. }
  972. Transition t1 {
  973. name = "transition"
  974. }
  975. P2T p2t (p1, t1) {
  976. weight = 4
  977. }
  978. T2P t2p (t1, p2) {
  979. weight = 10
  980. }
  981. """)
  982. assert read_attrs("users/user/test/b", "p1") == {"name": "place 1", "capacity": 2}
  983. assert attr_delete("users/user/test/b", "p1", "capacity") == None
  984. assert read_attrs("users/user/test/b", "p1") == {"name": "place 1", "capacity": None}
  985. assert read_attrs("users/user/test/b", "p2t") == {"weight": 4}
  986. assert attr_delete("users/user/test/b", "p2t", "weight") == None
  987. assert read_attrs("users/user/test/b", "p2t") == {"weight": None}
  988. # Non-existing model
  989. try:
  990. attr_delete("users/afa", "p1", "name")
  991. self.fail()
  992. except UnknownModel:
  993. pass
  994. # Non-existing element
  995. try:
  996. attr_delete("users/user/test/a", "PPPPPPP", "name")
  997. self.fail()
  998. except UnknownElement:
  999. pass
  1000. # No read permissions
  1001. try:
  1002. attr_delete("administration/core", "formalisms", "name")
  1003. self.fail()
  1004. except ReadPermissionDenied:
  1005. pass
  1006. # No write permissions
  1007. try:
  1008. attr_delete("formalisms/SimpleClassDiagrams", "Class", "name")
  1009. self.fail()
  1010. except WritePermissionDenied:
  1011. pass
  1012. # No such attribute
  1013. try:
  1014. attr_delete("users/user/test/a", "Place", "ddd")
  1015. self.fail()
  1016. except UnknownAttribute:
  1017. pass
  1018. def test_op_attr_delete_code(self):
  1019. model_add("users/user/test/a", "formalisms/SimpleClassDiagrams", """
  1020. SimpleAttribute Natural {
  1021. name = "natural"
  1022. }
  1023. SimpleAttribute String {
  1024. name = "string"
  1025. }
  1026. Class Place {
  1027. name = "Place"
  1028. name : String
  1029. capacity : Natural
  1030. }
  1031. Class Transition {
  1032. name = "Transition"
  1033. name : String
  1034. }
  1035. Association P2T (Place, Transition) {
  1036. name = "P2T"
  1037. weight : Natural
  1038. }
  1039. Association T2P (Transition, Place) {
  1040. name = "T2P"
  1041. weight : Natural
  1042. }
  1043. """)
  1044. # Test what happens if removing a non-existing AL attribute
  1045. assert read_attrs("users/user/test/a", "Place") == {"constraint": {"AL": ""}, "name": "Place", "abstract": None, "lower_cardinality": None, "upper_cardinality": None}
  1046. attr_delete("users/user/test/a", "Place", "constraint")
  1047. assert read_attrs("users/user/test/a", "Place") == {"constraint": {"AL": ""}, "name": "Place", "abstract": None, "lower_cardinality": None, "upper_cardinality": None}
  1048. # Test what happens if removing an existing AL attribute
  1049. attr_assign_code("users/user/test/a", "Place", "constraint", """
  1050. String function a(value : Element):
  1051. return "OK"!
  1052. """)
  1053. attrs = read_attrs("users/user/test/a", "Place")
  1054. assert "AL" in attrs["constraint"]
  1055. assert attrs["constraint"]["AL"] != ""
  1056. attr_delete("users/user/test/a", "Place", "constraint")
  1057. assert read_attrs("users/user/test/a", "Place") == {"constraint": {"AL": ""}, "name": "Place", "abstract": None, "lower_cardinality": None, "upper_cardinality": None}
  1058. def test_op_attr_assign_code(self):
  1059. model_add("users/user/test/a", "formalisms/SimpleClassDiagrams", """
  1060. SimpleAttribute Natural {
  1061. name = "natural"
  1062. }
  1063. SimpleAttribute String {
  1064. name = "string"
  1065. }
  1066. Class Place {
  1067. name = "Place"
  1068. name : String
  1069. capacity : Natural
  1070. }
  1071. Class Transition {
  1072. name = "Transition"
  1073. name : String
  1074. }
  1075. Association P2T (Place, Transition) {
  1076. name = "P2T"
  1077. weight : Natural
  1078. }
  1079. Association T2P (Transition, Place) {
  1080. name = "T2P"
  1081. weight : Natural
  1082. }
  1083. """)
  1084. # Test ordinary case
  1085. assert read_attrs("users/user/test/a", "Place") == {"constraint": {"AL": ""}, "name": "Place", "abstract": None, "lower_cardinality": None, "upper_cardinality": None}
  1086. assert attr_assign_code("users/user/test/a", "Place", "constraint", """
  1087. String function a(value : Element):
  1088. return "OK"!
  1089. """) == None
  1090. attrs = read_attrs("users/user/test/a", "Place")
  1091. assert "AL" in attrs["constraint"]
  1092. assert attrs["constraint"]["AL"] != ""
  1093. assert AL_text(attrs["constraint"]["AL"]).strip() == """
  1094. String function a(value : Element):
  1095. return "OK"!
  1096. """.strip()
  1097. # Test assign when already assigned
  1098. attrs = read_attrs("users/user/test/a", "Place")
  1099. old_location = attrs["constraint"]["AL"]
  1100. old_text = AL_text(attrs["constraint"]["AL"])
  1101. assert attr_assign_code("users/user/test/a", "Place", "constraint", """
  1102. String function a(value : Element):
  1103. return "NOK"!
  1104. """) == None
  1105. attrs = read_attrs("users/user/test/a", "Place")
  1106. assert "AL" in attrs["constraint"]
  1107. assert attrs["constraint"]["AL"] != ""
  1108. assert attrs["constraint"]["AL"] != old_location
  1109. assert AL_text(attrs["constraint"]["AL"]).strip() == """
  1110. String function a(value : Element):
  1111. return "NOK"!
  1112. """.strip()
  1113. assert AL_text(attrs["constraint"]["AL"]).strip () != old_text.strip()
  1114. simple_code = \
  1115. """
  1116. String function a(value : Element):
  1117. return "OK"!
  1118. """
  1119. # Non-existing model
  1120. try:
  1121. attr_assign_code("users/afa", "p1", "name", simple_code)
  1122. self.fail()
  1123. except UnknownModel:
  1124. pass
  1125. # Non-existing element
  1126. try:
  1127. attr_assign_code("users/user/test/a", "PPPPPPP", "name", simple_code)
  1128. self.fail()
  1129. except UnknownElement:
  1130. pass
  1131. # No read permissions
  1132. try:
  1133. attr_assign_code("administration/core", "formalisms", "name", simple_code)
  1134. self.fail()
  1135. except ReadPermissionDenied:
  1136. pass
  1137. # No write permissions
  1138. try:
  1139. attr_assign_code("formalisms/SimpleClassDiagrams", "Class", "name", simple_code)
  1140. self.fail()
  1141. except WritePermissionDenied:
  1142. pass
  1143. # No such attribute
  1144. try:
  1145. attr_assign_code("users/user/test/a", "Place", "ddd", simple_code)
  1146. self.fail()
  1147. except UnknownAttribute:
  1148. pass
  1149. # Compilation error
  1150. try:
  1151. attr_assign_code("users/user/test/a", "Place", "constraint", "abc")
  1152. self.fail()
  1153. except CompilationError:
  1154. pass
  1155. def test_op_instantiate(self):
  1156. model_add("users/user/test/a", "formalisms/SimpleClassDiagrams")
  1157. assert element_list("users/user/test/a") == set([])
  1158. # Instantiate node element
  1159. ID = instantiate("users/user/test/a", "Class")
  1160. assert element_list("users/user/test/a") == set([(ID, "Class")])
  1161. assert read_info("users/user/test/a", ID) == ("Class", None)
  1162. # Instantiate node element with ID
  1163. ID2 = instantiate("users/user/test/a", "Class", ID="new_node")
  1164. assert ID2 == "new_node"
  1165. assert element_list("users/user/test/a") == set([(ID, "Class"), (ID2, "Class")])
  1166. assert read_info("users/user/test/a", ID2) == ("Class", None)
  1167. # Instantiate edge element
  1168. ID3 = instantiate("users/user/test/a", "Association", edge=(ID, ID2))
  1169. assert element_list("users/user/test/a") == set([(ID, "Class"), (ID2, "Class"), (ID3, "Association")])
  1170. assert read_info("users/user/test/a", ID3) == ("Association", (ID, ID2))
  1171. # Instantiate edge element with ID
  1172. ID4 = instantiate("users/user/test/a", "Association", edge=(ID, ID2), ID="new_edge")
  1173. assert ID4 == "new_edge"
  1174. assert element_list("users/user/test/a") == set([(ID, "Class"), (ID2, "Class"), (ID3, "Association"), (ID4, "Association")])
  1175. assert read_info("users/user/test/a", ID4) == ("Association", (ID, ID2))
  1176. # Instantiate edge from edge (source)
  1177. ID5 = instantiate("users/user/test/a", "Association", edge=(ID3, ID))
  1178. assert element_list("users/user/test/a") == set([(ID, "Class"), (ID2, "Class"), (ID3, "Association"), (ID4, "Association"), (ID5, "Association")])
  1179. assert read_info("users/user/test/a", ID5) == ("Association", (ID3, ID))
  1180. # Instantiate edge from edge (target)
  1181. ID6 = instantiate("users/user/test/a", "Association", edge=(ID, ID3))
  1182. assert element_list("users/user/test/a") == set([(ID, "Class"), (ID2, "Class"), (ID3, "Association"), (ID4, "Association"), (ID5, "Association"), (ID6, "Association")])
  1183. assert read_info("users/user/test/a", ID6) == ("Association", (ID, ID3))
  1184. # Instantiate edge from edge (source and target)
  1185. ID7 = instantiate("users/user/test/a", "Association", edge=(ID3, ID4))
  1186. assert element_list("users/user/test/a") == set([(ID, "Class"), (ID2, "Class"), (ID3, "Association"), (ID4, "Association"), (ID5, "Association"), (ID6, "Association"), (ID7, "Association")])
  1187. assert read_info("users/user/test/a", ID7) == ("Association", (ID3, ID4))
  1188. # Non-existing model
  1189. try:
  1190. instantiate("users/afa", "Association")
  1191. self.fail()
  1192. except UnknownModel:
  1193. pass
  1194. # Non-existing element
  1195. before = element_list("users/user/test/a")
  1196. try:
  1197. instantiate("users/user/test/a", "AAAAAAA")
  1198. self.fail()
  1199. except UnknownElement:
  1200. assert element_list("users/user/test/a") == before
  1201. # No read permissions
  1202. try:
  1203. instantiate("administration/core", "formalisms")
  1204. self.fail()
  1205. except ReadPermissionDenied:
  1206. pass
  1207. # No write permissions
  1208. before = element_list("users/user/test/a")
  1209. try:
  1210. instantiate("formalisms/SimpleClassDiagrams", "Class")
  1211. self.fail()
  1212. except WritePermissionDenied:
  1213. assert element_list("users/user/test/a") == before
  1214. # Pre-existing ID requested (node)
  1215. before = element_list("users/user/test/a")
  1216. try:
  1217. instantiate("users/user/test/a", "Class", ID=ID)
  1218. self.fail()
  1219. except ElementExists:
  1220. assert element_list("users/user/test/a") == before
  1221. # Pre-existing ID requested (edge)
  1222. before = element_list("users/user/test/a")
  1223. try:
  1224. instantiate("users/user/test/a", "Association", ID=ID, edge=(ID2, ID3))
  1225. self.fail()
  1226. except ElementExists:
  1227. assert element_list("users/user/test/a") == before
  1228. # Edge from non-existing ID
  1229. before = element_list("users/user/test/a")
  1230. try:
  1231. instantiate("users/user/test/a", "Association", ID=ID, edge=("non-existing", ID3))
  1232. self.fail()
  1233. except ElementExists:
  1234. assert element_list("users/user/test/a") == before
  1235. # Edge to non-existing ID
  1236. before = element_list("users/user/test/a")
  1237. try:
  1238. instantiate("users/user/test/a", "Association", ID=ID, edge=("non-existing", ID3))
  1239. self.fail()
  1240. except ElementExists:
  1241. assert element_list("users/user/test/a") == before
  1242. # Edge both non-existing ID
  1243. before = element_list("users/user/test/a")
  1244. try:
  1245. instantiate("users/user/test/a", "Association", ID=ID, edge=("non-existing", "non-existing2"))
  1246. self.fail()
  1247. except ElementExists:
  1248. assert element_list("users/user/test/a") == before
  1249. # Garbage type
  1250. before = element_list("users/user/test/a")
  1251. try:
  1252. instantiate("users/user/test/a", ("a", "b"))
  1253. self.fail()
  1254. except UnknownElement:
  1255. assert element_list("users/user/test/a") == before
  1256. # Garbage edge src
  1257. before = element_list("users/user/test/a")
  1258. try:
  1259. instantiate("users/user/test/a", "Association", edge=(('a', 'b'), "non-existing2"))
  1260. self.fail()
  1261. except UnknownElement:
  1262. assert element_list("users/user/test/a") == before
  1263. # Garbage edge dst
  1264. before = element_list("users/user/test/a")
  1265. try:
  1266. instantiate("users/user/test/a", "Association", edge=("non-existing", ('a', 'b')))
  1267. self.fail()
  1268. except UnknownElement:
  1269. assert element_list("users/user/test/a") == before
  1270. def test_op_delete_element(self):
  1271. model_add("users/user/test/a", "formalisms/SimpleClassDiagrams", """
  1272. Class A {}
  1273. """)
  1274. # Test simple delete
  1275. assert len(element_list_nice("users/user/test/a")) == 1
  1276. assert delete_element("users/user/test/a", "A") == None
  1277. assert len(element_list_nice("users/user/test/a")) == 0
  1278. model_add("users/user/test/b", "formalisms/SimpleClassDiagrams", """
  1279. Class A {}
  1280. Class B {}
  1281. Association (A, B) {}
  1282. """)
  1283. # Test delete of element that causes other elements to be deleted as well
  1284. assert len(element_list_nice("users/user/test/b")) == 3
  1285. assert delete_element("users/user/test/b", "A") == None
  1286. assert len(element_list_nice("users/user/test/b")) == 1
  1287. model_add("users/user/test/c", "formalisms/SimpleClassDiagrams", """
  1288. Class A {}
  1289. Class B {}
  1290. Association C (A, B) {}
  1291. """)
  1292. # Test delete of edge that causes other elements to be deleted as well
  1293. assert len(element_list_nice("users/user/test/c")) == 3
  1294. assert delete_element("users/user/test/c", "C") == None
  1295. assert len(element_list_nice("users/user/test/c")) == 2
  1296. model_add("users/user/test/d", "formalisms/SimpleClassDiagrams", """
  1297. Class A {
  1298. name = "A"
  1299. }
  1300. """)
  1301. # Test delete of a "hidden" element
  1302. assert element_list_nice("users/user/test/d") == [{"__type" : "Class", "__id": "A", "lower_cardinality": None, "upper_cardinality": None, "constraint": {"AL": ""}, "name": "A", "abstract": None}]
  1303. ID = [i for i in element_list("users/user/test/d") if i[1] == "Class_name"][0][0]
  1304. assert delete_element("users/user/test/d", ID) == None
  1305. assert element_list_nice("users/user/test/d") == [{"__type" : "Class", "__id": "A", "lower_cardinality": None, "upper_cardinality": None, "constraint": {"AL": ""}, "name": None, "abstract": None}]
  1306. # Non-existing model
  1307. try:
  1308. delete_element("users/afa", "Association")
  1309. self.fail()
  1310. except UnknownModel:
  1311. pass
  1312. # Non-existing element
  1313. before = element_list("users/user/test/a")
  1314. try:
  1315. delete_element("users/user/test/a", "AAAAAAA")
  1316. self.fail()
  1317. except UnknownElement:
  1318. assert element_list("users/user/test/a") == before
  1319. # No read permissions
  1320. try:
  1321. delete_element("administration/core", "formalisms")
  1322. self.fail()
  1323. except ReadPermissionDenied:
  1324. pass
  1325. # No write permissions
  1326. before = element_list("formalisms/SimpleClassDiagrams")
  1327. try:
  1328. delete_element("formalisms/SimpleClassDiagrams", "Class")
  1329. self.fail()
  1330. except WritePermissionDenied:
  1331. assert element_list("formalisms/SimpleClassDiagrams") == before
  1332. # Give garbage
  1333. assert element_list_nice("users/user/test/d") == [{"__type" : "Class", "__id": "A", "lower_cardinality": None, "upper_cardinality": None, "constraint": {"AL": ""}, "name": None, "abstract": None}]
  1334. try:
  1335. delete_element("users/user/test/d", ('abc', 'def'))
  1336. except UnknownElement:
  1337. assert element_list_nice("users/user/test/d") == [{"__type" : "Class", "__id": "A", "lower_cardinality": None, "upper_cardinality": None, "constraint": {"AL": ""}, "name": None, "abstract": None}]
  1338. def test_op_AL_text(self):
  1339. # Test normal situation with code provided by assignment
  1340. model_add("users/user/test/b", "formalisms/SimpleClassDiagrams", """
  1341. Class A {}
  1342. """)
  1343. attr_assign_code("users/user/test/b", "A", "constraint", """
  1344. String function main(value : Element):
  1345. return "OK"!
  1346. """)
  1347. assert AL_text(read_attrs("users/user/test/b", "A")["constraint"]["AL"]).strip() == """
  1348. String function main(value : Element):
  1349. return "OK"!
  1350. """.strip()
  1351. # Test normal situation with code provided by HUTN parser (model)
  1352. model_add("users/user/test/a", "formalisms/SimpleClassDiagrams", """
  1353. Class A {
  1354. constraint = $
  1355. String function main(value : Element):
  1356. return "OK"!
  1357. $
  1358. }
  1359. """)
  1360. assert AL_text(read_attrs("users/user/test/a", "A")["constraint"]["AL"]).strip() == 'String function main(value : Element):\n\treturn "OK"!'
  1361. """
  1362. def test_op_model_render(self):
  1363. def test_op_transformation_between(self):
  1364. def test_op_transformation_add_MT(self):
  1365. def test_op_transformation_add_AL(self):
  1366. def test_op_transformation_add_MANUAL(self):
  1367. def test_op_transformation_execute_MT(self):
  1368. def test_op_transformation_execute_AL(self):
  1369. def test_op_transformation_execute_MANUAL(self):
  1370. def test_op_transformation_signature(self):
  1371. def test_op_process_signature(self):
  1372. def test_op_permission_group(self):
  1373. def test_op_permission_owner(self):
  1374. def test_op_group_create(self):
  1375. def test_op_group_delete(self):
  1376. def test_op_group_owner_add(self):
  1377. def test_op_group_owner_delete(self):
  1378. def test_op_group_join(self):
  1379. def test_op_group_kick(self):
  1380. def test_op_group_list(self):
  1381. def test_op_conformance_delete(self):
  1382. def test_op_conformance_add(self):
  1383. def test_op_read_outgoing(self):
  1384. def test_op_read_incoming(self):
  1385. def test_op_read_association_source(self):
  1386. def test_op_read_association_destination(self):
  1387. def test_op_conections_between(self):
  1388. def test_op_define_attribute(self):
  1389. """
  1390. def test_modelling(self):
  1391. # Add a model
  1392. model_add("users/user/test/Empty", "formalisms/SimpleClassDiagrams")
  1393. # Check that it exists
  1394. compare_locations("users/user/test", set(["Empty"]))
  1395. # Check that it conforms
  1396. assert verify("users/user/test/Empty", "formalisms/SimpleClassDiagrams") == "OK"
  1397. # Check for permissions
  1398. assert model_list_full("users/user/test") == set([(name, "user", "nobody", "221") for name in get_model_list("users/user/test")]) | \
  1399. set([("Empty", "user", "nobody", "200")])
  1400. # Instantiate it further
  1401. model_add("users/user/test/my_empty", "users/user/test/Empty")
  1402. assert verify("users/user/test/my_empty", "users/user/test/Empty") == "OK"
  1403. # Check that it exists
  1404. compare_locations("users/user/test", set(["my_empty", "Empty"]))
  1405. # Check that an instantiate of "A" fails
  1406. try:
  1407. res = instantiate("users/user/test/my_empty", "A")
  1408. assert False
  1409. except UnknownIdentifier:
  1410. assert verify("users/user/test/Empty", "formalisms/SimpleClassDiagrams") == "OK"
  1411. # Create something in the formalism
  1412. instantiate("users/user/test/Empty", "Class", ID="A")
  1413. attr_assign("users/user/test/Empty", "A", "name", "A")
  1414. assert verify("users/user/test/Empty", "formalisms/SimpleClassDiagrams") == "OK"
  1415. # Now instantiate that in the model as well, which now works
  1416. instantiate("users/user/test/my_empty", "A")
  1417. assert verify("users/user/test/my_empty", "users/user/test/Empty") == "OK"
  1418. def test_overwrite(self):
  1419. model_add("users/user/test/Empty", "formalisms/SimpleClassDiagrams")
  1420. assert element_list("users/user/test/Empty") == set([])
  1421. instantiate("users/user/test/Empty", "Class", ID="A")
  1422. assert element_list("users/user/test/Empty") == set([("A", "Class")])
  1423. model_overwrite("users/user/test/Empty", "")
  1424. assert element_list("users/user/test/Empty") == set([])
  1425. compare_locations("users/user/test", set(["Empty"]))
  1426. assert element_list("users/user/test/Empty") == set([])
  1427. instantiate("users/user/test/Empty", "Class", ID="B")
  1428. compare_locations("users/user/test", set(["Empty"]))
  1429. def test_operations(self):
  1430. log = []
  1431. def manual_callback(model):
  1432. p1 = instantiate(model, "PetriNet_Runtime/Place")
  1433. p2 = instantiate(model, "PetriNet_Runtime/Place")
  1434. p3 = instantiate(model, "PetriNet_Runtime/Place")
  1435. t1 = instantiate(model, "PetriNet_Runtime/Transition")
  1436. p2t1 = instantiate(model, "PetriNet_Runtime/P2T", (p1, t1))
  1437. p2t2 = instantiate(model, "PetriNet_Runtime/P2T", (p2, t1))
  1438. t2p1 = instantiate(model, "PetriNet_Runtime/T2P", (t1, p3))
  1439. attr_assign(model, p1, "tokens", 1)
  1440. attr_assign(model, p1, "name", "p1")
  1441. attr_assign(model, p2, "tokens", 2)
  1442. attr_assign(model, p2, "name", "p2")
  1443. attr_assign(model, p3, "tokens", 3)
  1444. attr_assign(model, p3, "name", "p3")
  1445. attr_assign(model, t1, "name", "t1")
  1446. attr_assign(model, t1, "executing", False)
  1447. attr_assign(model, p2t1, "weight", 1)
  1448. attr_assign(model, p2t2, "weight", 1)
  1449. attr_assign(model, t2p1, "weight", 2)
  1450. model_add("users/user/test/PetriNet", "formalisms/SimpleClassDiagrams", open("integration/code/pn_design.mvc", "r").read())
  1451. model_add("users/user/test/PetriNet_Runtime", "formalisms/SimpleClassDiagrams", open("integration/code/pn_runtime.mvc", "r").read())
  1452. model_add("users/user/test/my_pn", "users/user/test/PetriNet", open("integration/code/pn_design_model.mvc", "r").read())
  1453. def add_tracability_D2R(model):
  1454. instantiate(model, "Association", ("PetriNet/Place", "PetriNet_Runtime/Place"), ID="D2R_PlaceLink")
  1455. instantiate(model, "Association", ("PetriNet/Transition", "PetriNet_Runtime/Transition"), ID="D2R_TransitionLink")
  1456. def add_tracability_R2D(model):
  1457. instantiate(model, "Association", ("PetriNet_Runtime/Place", "PetriNet/Place"), ID="R2D_PlaceLink")
  1458. instantiate(model, "Association", ("PetriNet_Runtime/Transition", "PetriNet/Transition"), ID="R2D_TransitionLink")
  1459. transformation_add_MT({"PetriNet": "users/user/test/PetriNet"}, {}, "users/user/test/print_pn", open("integration/code/pn_print.mvc").read())
  1460. transformation_add_MANUAL({"PetriNet": "users/user/test/PetriNet"}, {"PetriNet_Runtime": "users/user/test/PetriNet_Runtime"}, "users/user/test/pn_design_to_runtime", add_tracability_D2R)
  1461. transformation_add_AL({"PetriNet_Runtime": "users/user/test/PetriNet_Runtime"}, {"PetriNet_Runtime": "users/user/test/PetriNet_Runtime"}, "users/user/test/pn_simulate", open("integration/code/pn_simulate.alc").read())
  1462. transformation_add_MT({"PetriNet_Runtime": "users/user/test/PetriNet_Runtime"}, {"PetriNet": "users/user/test/PetriNet"}, "users/user/test/pn_runtime_to_design", open("integration/code/pn_runtime_to_design.mvc").read(), add_tracability_R2D)
  1463. log = []
  1464. ctrl = log_output.Controller(log, keep_running=False)
  1465. thrd = threading.Thread(target=ctrl.start)
  1466. thrd.daemon = True
  1467. thrd.start()
  1468. assert transformation_execute_MT("users/user/test/print_pn", {"PetriNet": "users/user/test/my_pn"}, {}, (ctrl, "inp", "outp")) == True
  1469. thrd.join()
  1470. assert set(log) == set(['"p1" --> 1',
  1471. '"p2" --> 2',
  1472. '"p3" --> 3'])
  1473. assert transformation_execute_MANUAL("users/user/test/pn_design_to_runtime", {"PetriNet": "users/user/test/my_pn"}, {"PetriNet_Runtime": "users/user/test/my_pn_RT"}, manual_callback) == True
  1474. assert transformation_execute_AL("users/user/test/pn_simulate", {"PetriNet_Runtime": "users/user/test/my_pn_RT"}, {"PetriNet_Runtime": "users/user/test/my_pn_RT"}) == True
  1475. assert transformation_execute_MT("users/user/test/pn_runtime_to_design", {"PetriNet_Runtime": "users/user/test/my_pn_RT"}, {"PetriNet": "users/user/test/my_pn"}) == True
  1476. log = []
  1477. ctrl = log_output.Controller(log, keep_running=False)
  1478. thrd = threading.Thread(target=ctrl.start)
  1479. thrd.daemon = True
  1480. thrd.start()
  1481. assert transformation_execute_MT("users/user/test/print_pn", {"PetriNet": "users/user/test/my_pn"}, {}, (ctrl, "inp", "outp")) == True
  1482. thrd.join()
  1483. assert set(log) == set(['"p1" --> 0',
  1484. '"p2" --> 1',
  1485. '"p3" --> 5'])
  1486. def test_process_model_trivial_pn_subfunction(self):
  1487. model_add("users/user/test/PetriNet", "formalisms/SimpleClassDiagrams", open("integration/code/pn_design.mvc", "r").read())
  1488. model_add("users/user/test/ReachabilityGraph", "formalisms/SimpleClassDiagrams", open("integration/code/reachability_graph.mvc", "r").read())
  1489. model_add("users/user/test/pn_reachability", "formalisms/ProcessModel", open("integration/code/pm_pn_reachability.mvc", "r").read())
  1490. transformation_add_MT({}, {"PetriNet": "users/user/test/PetriNet"}, "users/user/test/initialize_PN", open("integration/code/initialize_PN.mvc", "r").read())
  1491. transformation_add_MANUAL({"PetriNet": "users/user/test/PetriNet"}, {"PetriNet": "users/user/test/PetriNet"}, "users/user/test/refine_PN")
  1492. transformation_add_AL({"PetriNet": "users/user/test/PetriNet"}, {"ReachabilityGraph": "users/user/test/ReachabilityGraph"}, "users/user/test/reachability", open("integration/code/reachability_subfunction.alc", "r").read())
  1493. transformation_add_MT({"ReachabilityGraph": "users/user/test/ReachabilityGraph"}, {}, "users/user/test/reachability_print", open("integration/code/reachabilitygraph_print.mvc", 'r').read())
  1494. def callback_refine_PN(model):
  1495. p1 = instantiate(model, "PetriNet/Place")
  1496. attr_assign(model, p1, "name", "p1")
  1497. attr_assign(model, p1, "tokens", 1)
  1498. t1 = instantiate(model, "PetriNet/Transition")
  1499. attr_assign(model, t1, "name", "t1")
  1500. p2t = instantiate(model, "PetriNet/P2T", (p1, t1))
  1501. attr_assign(model, p2t, "weight", 1)
  1502. log = []
  1503. ctrl = log_output.Controller(log, keep_running=False)
  1504. thrd = threading.Thread(target=ctrl.start)
  1505. thrd.daemon = True
  1506. thrd.start()
  1507. process_execute("users/user/test/pn_reachability", {}, {"users/user/test/refine_PN": callback_refine_PN, "users/user/test/reachability_print": (ctrl, "inp", "outp")})
  1508. thrd.join()
  1509. assert set(log) == set(['"0": {"p1": 1}',
  1510. '"1": {"p1": 0}',
  1511. '"0" --["t1"]--> "1"'])
  1512. def test_render(self):
  1513. model_add("users/user/test/CausalBlockDiagrams", "formalisms/SimpleClassDiagrams", open("integration/code/cbd_design.mvc", 'r').read())
  1514. model_add("users/user/test/MM_rendered_graphical", "formalisms/SimpleClassDiagrams", open("integration/code/MM_rendered_graphical.mvc", 'r').read())
  1515. model_add("users/user/test/my_CBD", "users/user/test/CausalBlockDiagrams", open("integration/code/my_cbd.mvc", 'r').read())
  1516. def add_tracability(model):
  1517. instantiate(model, "Association", ("abstract/Block", "rendered/Group"), ID="TracabilityLink")
  1518. transformation_add_MT({"abstract": "users/user/test/CausalBlockDiagrams", "rendered": "users/user/test/MM_rendered_graphical"}, {"abstract": "users/user/test/CausalBlockDiagrams", "rendered": "users/user/test/MM_rendered_graphical"}, "users/user/test/render_graphical_CBD", open("integration/code/CBD_mapper.mvc", 'r').read(), add_tracability)
  1519. result = model_render("users/user/test/my_CBD", "users/user/test/render_graphical_CBD", "users/user/test/my_perceptualized_CBD")
  1520. assert len(result) == 23
  1521. def test_SCCD_basic(self):
  1522. model_add("users/user/test/SCCD", "formalisms/SimpleClassDiagrams", open("integration/code/SCCD.mvc", 'r').read())
  1523. model_add("users/user/test/SCCD_Trace", "formalisms/SimpleClassDiagrams", open("integration/code/SCCD_Trace.mvc", 'r').read())
  1524. model_add("users/user/test/my_SCCD", "users/user/test/SCCD", open("integration/code/SCCD_all.mvc", 'r').read())
  1525. transformation_add_AL({"SCCD": "users/user/test/SCCD"}, {"trace": "users/user/test/SCCD_Trace"}, "users/user/test/SCCD_execute_afap", open("integration/code/SCCD_execute.alc", 'r').read().replace("afap = False", "afap = True"))
  1526. transformation_execute_AL("users/user/test/SCCD_execute_afap", {"SCCD": "users/user/test/my_SCCD"}, {"trace": "users/user/test/my_SCCD_trace"})
  1527. alter_context("users/user/test/my_SCCD_trace", "users/user/test/SCCD_Trace")
  1528. lst = element_list_nice("users/user/test/my_SCCD_trace")
  1529. lst.sort(key=lambda i: (i["timestamp"], i["name"]))
  1530. result = [(i["timestamp"], str(i["name"])) for i in lst if i["name"] not in ["updateTimerValue", "updateTimerColour", "resetTimer"]]
  1531. assert result == [(5.0, "displayRed"),
  1532. (20.0, "displayYellow"),
  1533. (20.5, "displayNone"),
  1534. (21.0, "displayYellow"),
  1535. (21.5, "displayNone"),
  1536. (22.0, "displayYellow"),
  1537. (22.5, "displayNone"),
  1538. (23.0, "displayYellow"),
  1539. (23.5, "displayNone"),
  1540. (24.0, "displayYellow"),
  1541. (24.5, "displayNone"),
  1542. (25.0, "displayYellow"),
  1543. (25.5, "displayNone"),
  1544. (26.0, "displayYellow"),
  1545. (26.5, "displayNone"),
  1546. (27.0, "displayYellow"),
  1547. (27.5, "displayNone"),
  1548. (28.0, "displayYellow"),
  1549. (28.5, "displayNone"),
  1550. (29.0, "displayYellow"),
  1551. (29.4, "displayNone"),
  1552. (29.4, "displayRed"),
  1553. (89.4, "displayGreen"),
  1554. (129.4, "displayNone"),
  1555. (129.4, "displayRed"),
  1556. (139.4, "displayYellow"),
  1557. (139.9, "displayNone"),
  1558. (140.4, "displayYellow"),
  1559. (140.9, "displayNone"),
  1560. (141.4, "displayYellow"),
  1561. (141.9, "displayNone"),
  1562. (142.4, "displayYellow"),
  1563. (142.9, "displayNone"),
  1564. (143.4, "displayYellow"),
  1565. (143.9, "displayNone"),
  1566. (144.4, "displayYellow"),
  1567. (144.9, "displayNone"),
  1568. (145.4, "displayYellow"),
  1569. (145.9, "displayNone"),
  1570. (146.4, "displayYellow"),
  1571. (146.9, "displayNone"),
  1572. (147.4, "displayYellow"),
  1573. (147.9, "displayNone"),
  1574. (148.4, "displayYellow"),
  1575. ]
  1576. def test_switch_MM(self):
  1577. model_add("users/user/test/PetriNet", "formalisms/SimpleClassDiagrams", open("integration/code/pn_design.mvc", "r").read())
  1578. model_add("users/user/test/my_pn", "users/user/test/PetriNet", open("integration/code/pn_design_model.mvc", "r").read())
  1579. got = element_list_nice("users/user/test/PetriNet")
  1580. expected = \
  1581. [{'__id': 'Natural', '__type': 'SimpleAttribute', 'constraint': {'AL': ''}, 'name': 'Natural'},
  1582. {'__id': 'String', '__type': 'SimpleAttribute', 'constraint': {'AL': ''}, 'name': 'String'},
  1583. {'__id': 'Place', '__type': 'Class', 'lower_cardinality': None, 'upper_cardinality': None, 'constraint': {'AL': ''}, 'name': 'Place', 'abstract': None},
  1584. {'__id': 'Place_tokens', '__type': 'AttributeLink', '__source': 'Place', '__target': 'Natural', 'name': 'tokens', 'optional': False, 'constraint': {'AL': ''}},
  1585. {'__id': 'Place_name', '__type': 'AttributeLink', '__source': 'Place', '__target': 'String', 'name': 'name', 'optional': False, 'constraint': {'AL': ''}},
  1586. {'__id': 'Transition', '__type': 'Class', 'lower_cardinality': None, 'upper_cardinality': None, 'constraint': {'AL': ''}, 'name': 'Transition', 'abstract': None},
  1587. {'__id': 'Transition_name', '__type': 'AttributeLink', '__source': 'Transition', '__target': 'String', 'name': 'name', 'optional': False, 'constraint': {'AL': ''}},
  1588. {'__id': 'P2T', '__type': 'Association', '__source': 'Place', '__target': 'Transition', 'source_lower_cardinality': None, 'target_lower_cardinality': None, 'source_upper_cardinality': None, 'target_upper_cardinality': None, 'constraint': {'AL': ''}, 'name': 'P2T'},
  1589. {'__id': 'P2T_weight', '__type': 'AttributeLink', '__source': 'P2T', '__target': 'Natural', 'name': 'weight', 'optional': False, 'constraint': {'AL': ''}},
  1590. {'__id': 'T2P', '__type': 'Association', '__source': 'Transition', '__target': 'Place', 'source_lower_cardinality': None, 'target_lower_cardinality': None, 'source_upper_cardinality': None, 'target_upper_cardinality': None, 'constraint': {'AL': ''}, 'name': 'T2P'},
  1591. {'__id': 'T2P_weight', '__type': 'AttributeLink', '__source': 'T2P', '__target': 'Natural', 'name': 'weight', 'optional': False, 'constraint': {'AL': ''}},
  1592. ]
  1593. compare_unordered_lists(got, expected)
  1594. got = element_list_nice("users/user/test/my_pn")
  1595. expected = \
  1596. [{'__id': 'p1', '__type': 'Place', 'tokens': 1, 'name': 'p1'},
  1597. {'__id': 'p2', '__type': 'Place', 'tokens': 2, 'name': 'p2'},
  1598. {'__id': 'p3', '__type': 'Place', 'tokens': 3, 'name': 'p3'},
  1599. {'__id': 't1', '__type': 'Transition', 'name': 't1'},
  1600. {'__id': '__0', '__type': 'P2T', '__source': 'p1', '__target': 't1', 'weight': 1},
  1601. {'__id': '__1', '__type': 'P2T', '__source': 'p2', '__target': 't1', 'weight': 1},
  1602. {'__id': '__2', '__type': 'T2P', '__source': 't1', '__target': 'p3', 'weight': 2}
  1603. ]
  1604. compare_unordered_lists(got, expected)
  1605. alter_context("users/user/test/PetriNet", "formalisms/Bottom")
  1606. alter_context("users/user/test/my_pn", "formalisms/Bottom")
  1607. count_nodes = 0
  1608. count_edges = 0
  1609. for entry in element_list_nice("users/user/test/PetriNet"):
  1610. print(entry)
  1611. assert entry["__type"] in ["Node", "Edge"]
  1612. if entry["__type"] == "Node":
  1613. assert len(entry) == 2
  1614. count_nodes += 1
  1615. else:
  1616. assert len(entry) == 4
  1617. count_edges += 1
  1618. assert count_nodes == 20
  1619. assert count_edges == 23
  1620. count_nodes = 0
  1621. count_edges = 0
  1622. for entry in element_list_nice("users/user/test/my_pn"):
  1623. assert entry["__type"] in ["Node", "Edge"]
  1624. if entry["__type"] == "Node":
  1625. assert len(entry) == 2
  1626. count_nodes += 1
  1627. else:
  1628. assert len(entry) == 4
  1629. count_edges += 1
  1630. assert count_nodes == 14
  1631. assert count_edges == 13
  1632. alter_context("users/user/test/PetriNet", "users/user/test/PetriNet")
  1633. alter_context("users/user/test/my_pn", "formalisms/SimpleClassDiagrams")
  1634. try:
  1635. element_list_nice("users/user/test/PetriNet")
  1636. self.fail()
  1637. except:
  1638. pass
  1639. try:
  1640. element_list_nice("users/user/test/my_pn")
  1641. self.fail()
  1642. except:
  1643. pass