test_constructors_models.py 19 KB

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