test_constructors_models.py 22 KB

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