test_constructors_models.py 19 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364
  1. import unittest
  2. import sys
  3. import os
  4. from utils import execute, kill, run_file, run_barebone
  5. bottom = [
  6. "model",
  7. "instantiate_bottom", "1",
  8. "add_node", "1", "Class",
  9. "add_node", "1", "Any",
  10. "add_node", "1", "String",
  11. "add_value", "1", "name", "name",
  12. "add_edge", "1", "Association", "Class", "Any",
  13. "add_edge", "1", "Inheritance", "Class", "Class",
  14. "add_edge", "1", "Association_attribute", "Association", "String",
  15. "add_edge", "1", "Association_name", "Association_attribute", "name",
  16. "add_edge", "1", "assoc_inh_class", "Association", "Class",
  17. "add_edge", "1", "class_inh_any", "Class", "Any",
  18. "add_edge", "1", "string_inh_any", "String", "Any",
  19. "retype_model", "1", "1",
  20. "define_inheritance", "1", "Inheritance",
  21. "retype", "1", "Class", "Class",
  22. "retype", "1", "Any", "Class",
  23. "retype", "1", "String", "Class",
  24. "retype", "1", "name", "String",
  25. "retype", "1", "Association", "Association",
  26. "retype", "1", "Inheritance", "Association",
  27. "retype", "1", "Association_attribute", "Association",
  28. "retype", "1", "Association_name", "Association_attribute",
  29. "retype", "1", "assoc_inh_class", "Inheritance",
  30. "retype", "1", "class_inh_any", "Inheritance",
  31. "retype", "1", "string_inh_any", "Inheritance",
  32. "export_node", "1", "models/SimpleClassDiagrams",
  33. "exit",
  34. ]
  35. action_language = [
  36. "model",
  37. "instantiate_node", "1", "Class", "Action",
  38. "instantiate_node", "1", "Class", "Statement",
  39. "instantiate_node", "1", "Class", "Expression",
  40. "instantiate_node", "1", "Class", "funcdef",
  41. "instantiate_node", "1", "Class", "param",
  42. "instantiate_node", "1", "Class", "if",
  43. "instantiate_node", "1", "Class", "break",
  44. "instantiate_node", "1", "Class", "while",
  45. "instantiate_node", "1", "Class", "continue",
  46. "instantiate_node", "1", "Class", "assign",
  47. "instantiate_node", "1", "Class", "return",
  48. "instantiate_node", "1", "Class", "output",
  49. "instantiate_node", "1", "Class", "declare",
  50. "instantiate_node", "1", "Class", "global",
  51. "instantiate_node", "1", "Class", "access",
  52. "instantiate_node", "1", "Class", "constant",
  53. "instantiate_node", "1", "Class", "input",
  54. "instantiate_node", "1", "Class", "resolve",
  55. "instantiate_node", "1", "Class", "call",
  56. "instantiate_link", "1", "Association", "dict_link", "Action", "Any",
  57. "instantiate_link", "1", "Association", "to_str", "dict_link", "String",
  58. "instantiate_attribute", "1", "to_str", "name", "name",
  59. "instantiate_link", "1", "Inheritance", "", "Action", "Any",
  60. "instantiate_link", "1", "Inheritance", "", "funcdef", "Action",
  61. "instantiate_link", "1", "Inheritance", "", "param", "Action",
  62. "instantiate_link", "1", "Inheritance", "", "Statement", "Action",
  63. "instantiate_link", "1", "Inheritance", "", "Expression", "Action",
  64. "instantiate_link", "1", "Inheritance", "", "resolve", "Statement",
  65. "instantiate_link", "1", "Inheritance", "", "if", "Statement",
  66. "instantiate_link", "1", "Inheritance", "", "break", "Statement",
  67. "instantiate_link", "1", "Inheritance", "", "continue", "Statement",
  68. "instantiate_link", "1", "Inheritance", "", "global", "Statement",
  69. "instantiate_link", "1", "Inheritance", "", "while", "Statement",
  70. "instantiate_link", "1", "Inheritance", "", "assign", "Statement",
  71. "instantiate_link", "1", "Inheritance", "", "return", "Statement",
  72. "instantiate_link", "1", "Inheritance", "", "call", "Statement",
  73. "instantiate_link", "1", "Inheritance", "", "declare", "Statement",
  74. "instantiate_link", "1", "Inheritance", "", "call", "Expression",
  75. "instantiate_link", "1", "Inheritance", "", "access", "Expression",
  76. "instantiate_link", "1", "Inheritance", "", "constant", "Expression",
  77. "instantiate_link", "1", "Inheritance", "", "input", "Expression",
  78. "instantiate_link", "1", "Association", "statement_next", "Statement", "Statement",
  79. "instantiate_attribute", "1", "statement_next", "name", "next",
  80. "instantiate_link", "1", "Association", "if_cond", "if", "Expression",
  81. "instantiate_attribute", "1", "if_cond", "name", "cond",
  82. "instantiate_link", "1", "Association", "if_then", "if", "Statement",
  83. "instantiate_attribute", "1", "if_then", "name", "true",
  84. "instantiate_link", "1", "Association", "if_else", "if", "Statement",
  85. "instantiate_attribute", "1", "if_else", "name", "false",
  86. "instantiate_link", "1", "Association", "while_cond", "while", "Expression",
  87. "instantiate_attribute", "1", "while_cond", "name", "cond",
  88. "instantiate_link", "1", "Association", "while_body", "while", "Statement",
  89. "instantiate_attribute", "1", "while_body", "name", "body",
  90. "instantiate_link", "1", "Association", "assign_var", "assign", "Any",
  91. "instantiate_attribute", "1", "assign_var", "name", "var",
  92. "instantiate_link", "1", "Association", "assign_value", "assign", "Expression",
  93. "instantiate_attribute", "1", "assign_value", "name", "value",
  94. "instantiate_link", "1", "Association", "break_while", "break", "while",
  95. "instantiate_attribute", "1", "break_while", "name", "while",
  96. "instantiate_link", "1", "Association", "continue_while", "continue", "while",
  97. "instantiate_attribute", "1", "continue_while", "name", "while",
  98. "instantiate_link", "1", "Association", "return_value", "return", "Expression",
  99. "instantiate_attribute", "1", "return_value", "name", "value",
  100. "instantiate_link", "1", "Association", "resolve_var", "resolve", "Any",
  101. "instantiate_attribute", "1", "resolve_var", "name", "var",
  102. "instantiate_link", "1", "Association", "access_var", "access", "Any",
  103. "instantiate_attribute", "1", "access_var", "name", "var",
  104. "instantiate_link", "1", "Association", "constant_node", "constant", "Any",
  105. "instantiate_attribute", "1", "constant_node", "name", "node",
  106. "instantiate_link", "1", "Association", "output_node", "output", "Expression",
  107. "instantiate_attribute", "1", "output_node", "name", "node",
  108. "instantiate_link", "1", "Association", "global_var", "global", "String",
  109. "instantiate_attribute", "1", "global_var", "name", "var",
  110. "instantiate_link", "1", "Association", "param_name", "param", "String",
  111. "instantiate_attribute", "1", "param_name", "name", "name",
  112. "instantiate_link", "1", "Association", "param_value", "param", "Expression",
  113. "instantiate_attribute", "1", "param_value", "name", "value",
  114. "instantiate_link", "1", "Association", "param_next_param", "param", "param",
  115. "instantiate_attribute", "1", "param_next_param", "name", "next_param",
  116. "instantiate_link", "1", "Association", "funcdef_body", "funcdef", "Statement",
  117. "instantiate_attribute", "1", "funcdef_body", "name", "body",
  118. "instantiate_link", "1", "Association", "call_func", "call", "Expression",
  119. "instantiate_attribute", "1", "call_func", "name", "func",
  120. "instantiate_link", "1", "Association", "call_params", "call", "param",
  121. "instantiate_attribute", "1", "call_params", "name", "params",
  122. "instantiate_link", "1", "Association", "call_last_param", "call", "param",
  123. "instantiate_attribute", "1", "call_last_param", "name", "last_param",
  124. "instantiate_link", "1", "Inheritance", "", "statement_next", "dict_link",
  125. "instantiate_link", "1", "Inheritance", "", "if_cond", "dict_link",
  126. "instantiate_link", "1", "Inheritance", "", "if_then", "dict_link",
  127. "instantiate_link", "1", "Inheritance", "", "if_else", "dict_link",
  128. "instantiate_link", "1", "Inheritance", "", "while_cond", "dict_link",
  129. "instantiate_link", "1", "Inheritance", "", "while_body", "dict_link",
  130. "instantiate_link", "1", "Inheritance", "", "assign_var", "dict_link",
  131. "instantiate_link", "1", "Inheritance", "", "assign_value", "dict_link",
  132. "instantiate_link", "1", "Inheritance", "", "break_while", "dict_link",
  133. "instantiate_link", "1", "Inheritance", "", "continue_while", "dict_link",
  134. "instantiate_link", "1", "Inheritance", "", "return_value", "dict_link",
  135. "instantiate_link", "1", "Inheritance", "", "resolve_var", "dict_link",
  136. "instantiate_link", "1", "Inheritance", "", "access_var", "dict_link",
  137. "instantiate_link", "1", "Inheritance", "", "constant_node", "dict_link",
  138. "instantiate_link", "1", "Inheritance", "", "output_node", "dict_link",
  139. "instantiate_link", "1", "Inheritance", "", "global_var", "dict_link",
  140. "instantiate_link", "1", "Inheritance", "", "param_name", "dict_link",
  141. "instantiate_link", "1", "Inheritance", "", "param_value", "dict_link",
  142. "instantiate_link", "1", "Inheritance", "", "param_next_param", "dict_link",
  143. "instantiate_link", "1", "Inheritance", "", "funcdef_body", "dict_link",
  144. "instantiate_link", "1", "Inheritance", "", "call_func", "dict_link",
  145. "instantiate_link", "1", "Inheritance", "", "call_params", "dict_link",
  146. "instantiate_link", "1", "Inheritance", "", "call_last_param", "dict_link",
  147. "instantiate_link", "1", "Association", "constraint", "Class", "funcdef",
  148. "instantiate_attribute", "1", "constraint", "name", "constraint",
  149. "exit",
  150. ]
  151. bottom_attributes = [
  152. "model",
  153. "instantiate_node", "1", "Class", "Integer",
  154. "instantiate_link", "1", "Inheritance", "integer_inh_any", "Integer", "Any",
  155. "instantiate_link", "1", "Association", "lc", "Class", "Integer",
  156. "instantiate_attribute", "1", "lc", "name", "lower_cardinality",
  157. "instantiate_link", "1", "Association", "uc", "Class", "Integer",
  158. "instantiate_attribute", "1", "uc", "name", "upper_cardinality",
  159. "instantiate_link", "1", "Association", "slc", "Association", "Integer",
  160. "instantiate_attribute", "1", "slc", "name", "source_lower_cardinality",
  161. "instantiate_link", "1", "Association", "suc", "Association", "Integer",
  162. "instantiate_attribute", "1", "suc", "name", "source_upper_cardinality",
  163. "instantiate_link", "1", "Association", "tlc", "Association", "Integer",
  164. "instantiate_attribute", "1", "tlc", "name", "target_lower_cardinality",
  165. "instantiate_link", "1", "Association", "tuc", "Association", "Integer",
  166. "instantiate_attribute", "1", "tuc", "name", "target_upper_cardinality",
  167. "exit",
  168. ]
  169. def add_constraints(model):
  170. return [
  171. "model",
  172. "add_constraint", str(model), "Integer",
  173. "funcdef",
  174. "constraint",
  175. 2, str(model*100), str(model*100+1),
  176. "if",
  177. "call",
  178. "access", "resolve", "is_physical_int",
  179. 1,
  180. "call",
  181. "access", "resolve", "dict_read",
  182. 2,
  183. "call",
  184. "access", "resolve", "dict_read",
  185. 2,
  186. "access", "resolve", str(model*100),
  187. "const", "model",
  188. False,
  189. "access", "resolve", str(model*100+1),
  190. False,
  191. False,
  192. "return",
  193. True,
  194. "const", "OK",
  195. True,
  196. "return",
  197. True,
  198. "const", "Integer instance is not an integer.",
  199. False,
  200. False,
  201. "exit",
  202. ]
  203. instantiate_scd = [
  204. "model",
  205. "instantiate_model", "1", "2",
  206. "define_inheritance", "2", "Inheritance",
  207. "instantiate_node", "2", "Class", "Place",
  208. "instantiate_node", "2", "Class", "Transition",
  209. "instantiate_node", "2", "Class", "Integer",
  210. "instantiate_link", "2", "Association", "P2T", "Place", "Transition",
  211. "instantiate_link", "2", "Association", "T2P", "Transition", "Place",
  212. "instantiate_link", "2", "Association", "Place_tokens", "Place", "Integer",
  213. "instantiate_attribute", "2", "Place_tokens", "name", "tokens",
  214. "instantiate_link", "2", "Association", "P2T_weight", "P2T", "Integer",
  215. "instantiate_attribute", "2", "P2T_weight", "name", "weight",
  216. "instantiate_link", "2", "Association", "T2P_weight", "T2P", "Integer",
  217. "instantiate_attribute", "2", "T2P_weight", "name", "weight",
  218. "export_node", "2", "models/PetriNets",
  219. "exit",
  220. ]
  221. instantiate_pn = [
  222. "model",
  223. "instantiate_model", "2", "3",
  224. "instantiate_node", "3", "Place", "p1",
  225. "instantiate_node", "3", "Place", "p2",
  226. "instantiate_node", "3", "Transition", "t1",
  227. "instantiate_node", "3", "Transition", "t2",
  228. "instantiate_link", "3", "P2T", "p1_t1", "p1", "t1",
  229. "instantiate_link", "3", "T2P", "t1_p2", "t1", "p2",
  230. "instantiate_link", "3", "P2T", "p2_t2", "p2", "t2",
  231. "instantiate_link", "3", "T2P", "t2_p1", "t2", "p1",
  232. "instantiate_attribute", "3", "p1_t1", "weight", 1,
  233. "instantiate_attribute", "3", "t1_p2", "weight", 2,
  234. "instantiate_attribute", "3", "p2_t2", "weight", 3,
  235. "instantiate_attribute", "3", "t2_p1", "weight", 4,
  236. "instantiate_attribute", "3", "p1", "tokens", 5,
  237. "instantiate_attribute", "3", "p2", "tokens", 6,
  238. "export_node", "3", "models/PN_instance",
  239. "exit",
  240. ]
  241. instantiate_example = [
  242. "model",
  243. "instantiate_model", "1", "2",
  244. "define_inheritance", "2", "Inheritance",
  245. "instantiate_node", "2", "Class", "A",
  246. "instantiate_node", "2", "Class", "B",
  247. "instantiate_node", "2", "Class", "C",
  248. "instantiate_link", "2", "Inheritance", "b_inherits_a", "B", "A",
  249. "instantiate_link", "2", "Association", "A_tokens", "A", "B",
  250. "instantiate_attribute", "2", "A_tokens", "name", "tokens",
  251. "instantiate_link", "2", "Association", "C_tokens", "C", "B",
  252. "instantiate_attribute", "2", "C_tokens", "name", "tokens",
  253. "export_node", "2", "models/example_MM",
  254. "exit",
  255. "model",
  256. "instantiate_model", "2", "3",
  257. "instantiate_node", "3", "A", "a",
  258. "instantiate_attribute", "3", "a", "tokens", "b",
  259. "instantiate_node", "3", "B", "b",
  260. "instantiate_node", "3", "C", "c",
  261. "instantiate_attribute", "3", "c", "tokens", "b",
  262. "export_node", "3", "models/example_M",
  263. "exit",
  264. ]
  265. def conformance_call(operation, model, metamodel):
  266. return [
  267. "output",
  268. "call",
  269. "access", "resolve", str(operation),
  270. 3,
  271. "call", "access", "resolve", "import_node", 1, "const", "models/example_M", False,
  272. "const", str(model),
  273. "const", str(metamodel),
  274. False,
  275. True,
  276. ]
  277. is_direct_instance = \
  278. conformance_call("is_direct_instance", "a", "A") + \
  279. conformance_call("is_direct_instance", "b", "A") + \
  280. conformance_call("is_direct_instance", "c", "A") + \
  281. conformance_call("is_direct_instance", "a", "B") + \
  282. conformance_call("is_direct_instance", "b", "B") + \
  283. conformance_call("is_direct_instance", "c", "B") + \
  284. conformance_call("is_direct_instance", "a", "C") + \
  285. conformance_call("is_direct_instance", "b", "C") + \
  286. conformance_call("is_direct_instance", "c", "C")
  287. is_nominal_instance = \
  288. conformance_call("is_nominal_instance", "a", "A") + \
  289. conformance_call("is_nominal_instance", "b", "A") + \
  290. conformance_call("is_nominal_instance", "c", "A") + \
  291. conformance_call("is_nominal_instance", "a", "B") + \
  292. conformance_call("is_nominal_instance", "b", "B") + \
  293. conformance_call("is_nominal_instance", "c", "B") + \
  294. conformance_call("is_nominal_instance", "a", "C") + \
  295. conformance_call("is_nominal_instance", "b", "C") + \
  296. conformance_call("is_nominal_instance", "c", "C")
  297. def conformance_check(node):
  298. return [
  299. "output",
  300. "call",
  301. "access", "resolve", "conformance_scd",
  302. 1,
  303. "call", "access", "resolve", "import_node", 1, "const", str(node), False,
  304. False,
  305. True,
  306. ]
  307. class TestConstructorsModels(unittest.TestCase):
  308. def test_constructors_instantiate_bottom(self):
  309. commands = bottom + bottom_attributes + conformance_check("models/SimpleClassDiagrams") + ["return", False]
  310. self.assertTrue(run_barebone(commands, ["OK"], 1))
  311. def test_constructors_action_language(self):
  312. commands = bottom + action_language + bottom_attributes + conformance_check("models/SimpleClassDiagrams") + ["return", False]
  313. self.assertTrue(run_barebone(commands, ["OK"], 1))
  314. def test_constructors_constraints(self):
  315. commands = bottom + action_language + bottom_attributes + add_constraints(1) + conformance_check("models/SimpleClassDiagrams") + ["return", False]
  316. self.assertTrue(run_barebone(commands, ["OK"], 1))
  317. def test_constructors_constraints_executed(self):
  318. commands = bottom + action_language + bottom_attributes + add_constraints(1) + instantiate_scd + add_constraints(2) + instantiate_pn + conformance_check("models/PN_instance") + ["return", False]
  319. self.assertTrue(run_barebone(commands, ["OK"], 1))
  320. def test_constructors_instantiate_scd(self):
  321. commands = bottom + bottom_attributes + instantiate_scd + conformance_check("models/PetriNets") + ["return", False]
  322. self.assertTrue(run_barebone(commands, ["OK"], 1))
  323. def test_constructors_instantiate_pn(self):
  324. commands = bottom + bottom_attributes + instantiate_scd + instantiate_pn + conformance_check("models/PN_instance") + ["return", False]
  325. self.assertTrue(run_barebone(commands, ["OK"], 1))
  326. def test_constructors_instantiate_example(self):
  327. commands = bottom + bottom_attributes + instantiate_example + conformance_check("models/example_MM") + conformance_check("models/example_M") + ["return", False]
  328. self.assertTrue(run_barebone(commands, ["OK", "OK"], 1))
  329. def test_constructors_is_direct_instance(self):
  330. commands = bottom + bottom_attributes + instantiate_example + is_direct_instance + ["return", False]
  331. expected = [True, False, False,
  332. False, True, False,
  333. False, False, True]
  334. self.assertTrue(run_barebone(commands, expected, 1))
  335. def test_constructors_is_nominal_instance(self):
  336. commands = bottom + bottom_attributes + instantiate_example + is_nominal_instance + ["return", False]
  337. expected = [True, True, False,
  338. False, True, False,
  339. False, False, True]
  340. self.assertTrue(run_barebone(commands, expected, 1))