test_constructors_models.py 24 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469
  1. import unittest
  2. import sys
  3. import os
  4. from utils import execute, kill, run_file, run_barebone, get_constructor
  5. bottom = [
  6. "model",
  7. "instantiate_bottom", "1",
  8. "add_node", "1", "Element",
  9. "add_node", "1", "Class",
  10. "add_node", "1", "Attribute",
  11. "add_node", "1", "SimpleAttribute",
  12. "add_node", "1", "String",
  13. "add_value", "1", "name_value", "name",
  14. "add_edge", "1", "Association", "Class", "Class",
  15. "add_edge", "1", "Inheritance", "Element", "Element",
  16. "add_edge", "1", "AttributeLink", "Element", "Attribute",
  17. "add_edge", "1", "attr_name", "AttributeLink", "String",
  18. "add_edge", "1", "attr_name_name", "attr_name", "name_value",
  19. "add_edge", "1", "class_inh_element", "Class", "Element",
  20. "add_edge", "1", "attribute_inh_element", "Attribute", "Element",
  21. "add_edge", "1", "simple_inh_attribute", "SimpleAttribute", "Attribute",
  22. "add_edge", "1", "association_inh_element", "Association", "Element",
  23. "add_edge", "1", "attributelink_inh_element", "AttributeLink", "Element",
  24. "retype_model", "1", "1",
  25. "retype", "1", "Element", "Class",
  26. "retype", "1", "Class", "Class",
  27. "retype", "1", "Attribute", "Class",
  28. "retype", "1", "SimpleAttribute", "Class",
  29. "retype", "1", "String", "SimpleAttribute",
  30. "retype", "1", "name_value", "String",
  31. "retype", "1", "Association", "Association",
  32. "retype", "1", "Inheritance", "Association",
  33. "retype", "1", "AttributeLink", "Association",
  34. "retype", "1", "attr_name", "AttributeLink",
  35. "retype", "1", "attr_name_name", "attr_name",
  36. "retype", "1", "class_inh_element", "Inheritance",
  37. "retype", "1", "attribute_inh_element", "Inheritance",
  38. "retype", "1", "simple_inh_attribute", "Inheritance",
  39. "retype", "1", "association_inh_element", "Inheritance",
  40. "retype", "1", "attributelink_inh_element", "Inheritance",
  41. "instantiate_node", "1", "SimpleAttribute", "Location",
  42. "instantiate_node", "1", "SimpleAttribute", "Natural",
  43. "instantiate_node", "1", "SimpleAttribute", "Boolean",
  44. "instantiate_link", "1", "AttributeLink", "attr_optional", "AttributeLink", "Boolean",
  45. "instantiate_attribute", "1", "attr_optional", "name", "optional",
  46. "instantiate_attribute", "1", "attr_optional", "optional", False,
  47. "instantiate_attribute", "1", "attr_name", "optional", False,
  48. "instantiate_node", "1", "Class", "ComplexAttribute",
  49. "instantiate_link", "1", "Inheritance", "", "ComplexAttribute", "Attribute",
  50. "model_define_attribute", "1", "Class", "lower_cardinality", True, "Natural",
  51. "model_define_attribute", "1", "Class", "upper_cardinality", True, "Natural",
  52. "model_define_attribute", "1", "Association", "source_lower_cardinality", True, "Natural",
  53. "model_define_attribute", "1", "Association", "source_upper_cardinality", True, "Natural",
  54. "model_define_attribute", "1", "Association", "target_lower_cardinality", True, "Natural",
  55. "model_define_attribute", "1", "Association", "target_upper_cardinality", True, "Natural",
  56. "model_define_attribute", "1", "ComplexAttribute", "type", False, "Location",
  57. "export_node", "1", "models/SimpleClassDiagrams_new",
  58. "exit",
  59. ]
  60. bottom_link_al = [
  61. "model",
  62. "instantiate_node", "1", "ComplexAttribute", "ActionLanguage",
  63. "instantiate_attribute", "1", "ActionLanguage", "type", "models/ActionLanguage",
  64. "model_define_attribute", "1", "Element", "constraint", True, "ActionLanguage",
  65. "exit",
  66. ]
  67. action_language = [
  68. "model",
  69. "instantiate_model", "1", "2",
  70. "instantiate_node", "2", "Class", "Element",
  71. "instantiate_node", "2", "Class", "Action",
  72. "instantiate_node", "2", "Class", "Statement",
  73. "instantiate_node", "2", "Class", "Expression",
  74. "instantiate_node", "2", "Class", "funcdef",
  75. "instantiate_node", "2", "Class", "param",
  76. "instantiate_node", "2", "Class", "if",
  77. "instantiate_node", "2", "Class", "break",
  78. "instantiate_node", "2", "Class", "while",
  79. "instantiate_node", "2", "Class", "continue",
  80. "instantiate_node", "2", "Class", "assign",
  81. "instantiate_node", "2", "Class", "return",
  82. "instantiate_node", "2", "Class", "output",
  83. "instantiate_node", "2", "Class", "declare",
  84. "instantiate_node", "2", "Class", "global",
  85. "instantiate_node", "2", "Class", "access",
  86. "instantiate_node", "2", "Class", "constant",
  87. "instantiate_node", "2", "Class", "input",
  88. "instantiate_node", "2", "Class", "resolve",
  89. "instantiate_node", "2", "Class", "call",
  90. "instantiate_node", "2", "Class", "String",
  91. "instantiate_node", "2", "SimpleAttribute", "StringAttr",
  92. "instantiate_node", "2", "Class", "Initial",
  93. "instantiate_attribute", "2", "Initial", "lower_cardinality", 1,
  94. "instantiate_attribute", "2", "Initial", "upper_cardinality", 1,
  95. "instantiate_link", "2", "Association", "initial_funcdef", "Initial", "Action",
  96. "instantiate_attribute", "2", "initial_funcdef", "target_lower_cardinality", 1,
  97. "instantiate_attribute", "2", "initial_funcdef", "target_upper_cardinality", 1,
  98. "instantiate_link", "2", "Inheritance", "", "Action", "Element",
  99. "instantiate_link", "2", "Inheritance", "", "funcdef", "Action",
  100. "instantiate_link", "2", "Inheritance", "", "param", "Action",
  101. "instantiate_link", "2", "Inheritance", "", "Statement", "Action",
  102. "instantiate_link", "2", "Inheritance", "", "Expression", "Action",
  103. "instantiate_link", "2", "Inheritance", "", "resolve", "Statement",
  104. "instantiate_link", "2", "Inheritance", "", "if", "Statement",
  105. "instantiate_link", "2", "Inheritance", "", "break", "Statement",
  106. "instantiate_link", "2", "Inheritance", "", "continue", "Statement",
  107. "instantiate_link", "2", "Inheritance", "", "global", "Statement",
  108. "instantiate_link", "2", "Inheritance", "", "while", "Statement",
  109. "instantiate_link", "2", "Inheritance", "", "assign", "Statement",
  110. "instantiate_link", "2", "Inheritance", "", "return", "Statement",
  111. "instantiate_link", "2", "Inheritance", "", "call", "Statement",
  112. "instantiate_link", "2", "Inheritance", "", "declare", "Statement",
  113. "instantiate_link", "2", "Inheritance", "", "call", "Expression",
  114. "instantiate_link", "2", "Inheritance", "", "access", "Expression",
  115. "instantiate_link", "2", "Inheritance", "", "constant", "Expression",
  116. "instantiate_link", "2", "Inheritance", "", "input", "Expression",
  117. "instantiate_link", "2", "Inheritance", "", "String", "Element",
  118. "instantiate_link", "2", "Association", "dict_link", "Action", "Element",
  119. "model_define_attribute", "2", "dict_link", "name", False, "StringAttr",
  120. "instantiate_link", "2", "Association", "Statement_next", "Statement", "Statement",
  121. "instantiate_link", "2", "Association", "if_cond", "if", "Expression",
  122. "instantiate_link", "2", "Association", "if_then", "if", "Statement",
  123. "instantiate_link", "2", "Association", "if_else", "if", "Statement",
  124. "instantiate_link", "2", "Association", "while_cond", "while", "Expression",
  125. "instantiate_link", "2", "Association", "while_body", "while", "Statement",
  126. "instantiate_link", "2", "Association", "assign_var", "assign", "resolve",
  127. "instantiate_link", "2", "Association", "assign_value", "assign", "Expression",
  128. "instantiate_link", "2", "Association", "break_while", "break", "while",
  129. "instantiate_link", "2", "Association", "continue_while", "continue", "while",
  130. "instantiate_link", "2", "Association", "return_value", "return", "Expression",
  131. "instantiate_link", "2", "Association", "resolve_var", "resolve", "Element",
  132. "instantiate_link", "2", "Association", "access_var", "access", "resolve",
  133. "instantiate_link", "2", "Association", "constant_node", "constant", "Element",
  134. "instantiate_link", "2", "Association", "output_node", "output", "Expression",
  135. "instantiate_link", "2", "Association", "global_var", "global", "String",
  136. "instantiate_link", "2", "Association", "param_name", "param", "String",
  137. "instantiate_link", "2", "Association", "param_value", "param", "Expression",
  138. "instantiate_link", "2", "Association", "param_next_param", "param", "param",
  139. "instantiate_link", "2", "Association", "funcdef_body", "funcdef", "Statement",
  140. "instantiate_link", "2", "Association", "call_func", "call", "Expression",
  141. "instantiate_link", "2", "Association", "call_params", "call", "param",
  142. "instantiate_link", "2", "Association", "call_last_param", "call", "param",
  143. "instantiate_link", "2", "Inheritance", "", "Statement_next", "dict_link",
  144. "instantiate_link", "2", "Inheritance", "", "if_cond", "dict_link",
  145. "instantiate_link", "2", "Inheritance", "", "if_then", "dict_link",
  146. "instantiate_link", "2", "Inheritance", "", "if_else", "dict_link",
  147. "instantiate_link", "2", "Inheritance", "", "while_cond", "dict_link",
  148. "instantiate_link", "2", "Inheritance", "", "while_body", "dict_link",
  149. "instantiate_link", "2", "Inheritance", "", "assign_var", "dict_link",
  150. "instantiate_link", "2", "Inheritance", "", "assign_value", "dict_link",
  151. "instantiate_link", "2", "Inheritance", "", "break_while", "dict_link",
  152. "instantiate_link", "2", "Inheritance", "", "continue_while", "dict_link",
  153. "instantiate_link", "2", "Inheritance", "", "return_value", "dict_link",
  154. "instantiate_link", "2", "Inheritance", "", "resolve_var", "dict_link",
  155. "instantiate_link", "2", "Inheritance", "", "access_var", "dict_link",
  156. "instantiate_link", "2", "Inheritance", "", "constant_node", "dict_link",
  157. "instantiate_link", "2", "Inheritance", "", "output_node", "dict_link",
  158. "instantiate_link", "2", "Inheritance", "", "global_var", "dict_link",
  159. "instantiate_link", "2", "Inheritance", "", "param_name", "dict_link",
  160. "instantiate_link", "2", "Inheritance", "", "param_value", "dict_link",
  161. "instantiate_link", "2", "Inheritance", "", "param_next_param", "dict_link",
  162. "instantiate_link", "2", "Inheritance", "", "funcdef_body", "dict_link",
  163. "instantiate_link", "2", "Inheritance", "", "call_func", "dict_link",
  164. "instantiate_link", "2", "Inheritance", "", "call_params", "dict_link",
  165. "instantiate_link", "2", "Inheritance", "", "call_last_param", "dict_link",
  166. "instantiate_attribute", "2", "if_cond", "target_lower_cardinality", 1,
  167. "instantiate_attribute", "2", "if_then", "target_lower_cardinality", 1,
  168. "instantiate_attribute", "2", "while_cond", "target_lower_cardinality", 1,
  169. "instantiate_attribute", "2", "while_body", "target_lower_cardinality", 1,
  170. "instantiate_attribute", "2", "assign_var", "target_lower_cardinality", 1,
  171. "instantiate_attribute", "2", "assign_value", "target_lower_cardinality", 1,
  172. "instantiate_attribute", "2", "break_while", "target_lower_cardinality", 1,
  173. "instantiate_attribute", "2", "continue_while", "target_lower_cardinality", 1,
  174. "instantiate_attribute", "2", "resolve_var", "target_lower_cardinality", 1,
  175. "instantiate_attribute", "2", "access_var", "target_lower_cardinality", 1,
  176. "instantiate_attribute", "2", "constant_node", "target_lower_cardinality", 1,
  177. "instantiate_attribute", "2", "output_node", "target_lower_cardinality", 1,
  178. "instantiate_attribute", "2", "global_var", "target_lower_cardinality", 1,
  179. "instantiate_attribute", "2", "param_name", "target_lower_cardinality", 1,
  180. "instantiate_attribute", "2", "param_value", "target_lower_cardinality", 1,
  181. "instantiate_attribute", "2", "funcdef_body", "target_lower_cardinality", 1,
  182. "instantiate_attribute", "2", "call_func", "target_lower_cardinality", 1,
  183. "instantiate_attribute", "2", "Statement_next", "target_upper_cardinality", 1,
  184. "instantiate_attribute", "2", "if_cond", "target_upper_cardinality", 1,
  185. "instantiate_attribute", "2", "if_then", "target_upper_cardinality", 1,
  186. "instantiate_attribute", "2", "if_else", "target_upper_cardinality", 1,
  187. "instantiate_attribute", "2", "while_cond", "target_upper_cardinality", 1,
  188. "instantiate_attribute", "2", "while_body", "target_upper_cardinality", 1,
  189. "instantiate_attribute", "2", "assign_var", "target_upper_cardinality", 1,
  190. "instantiate_attribute", "2", "assign_value", "target_upper_cardinality", 1,
  191. "instantiate_attribute", "2", "break_while", "target_upper_cardinality", 1,
  192. "instantiate_attribute", "2", "continue_while", "target_upper_cardinality", 1,
  193. "instantiate_attribute", "2", "return_value", "target_upper_cardinality", 1,
  194. "instantiate_attribute", "2", "resolve_var", "target_upper_cardinality", 1,
  195. "instantiate_attribute", "2", "access_var", "target_upper_cardinality", 1,
  196. "instantiate_attribute", "2", "constant_node", "target_upper_cardinality", 1,
  197. "instantiate_attribute", "2", "output_node", "target_upper_cardinality", 1,
  198. "instantiate_attribute", "2", "global_var", "target_upper_cardinality", 1,
  199. "instantiate_attribute", "2", "param_name", "target_upper_cardinality", 1,
  200. "instantiate_attribute", "2", "param_value", "target_upper_cardinality", 1,
  201. "instantiate_attribute", "2", "param_next_param", "target_upper_cardinality", 1,
  202. "instantiate_attribute", "2", "funcdef_body", "target_upper_cardinality", 1,
  203. "instantiate_attribute", "2", "call_func", "target_upper_cardinality", 1,
  204. "instantiate_attribute", "2", "call_params", "target_upper_cardinality", 1,
  205. "instantiate_attribute", "2", "call_last_param", "target_upper_cardinality", 1,
  206. "export_node", "2", "models/ActionLanguage_new",
  207. "exit",
  208. ]
  209. def add_constraint(model, element, code):
  210. return ["model",
  211. "instantiate_attribute_code", model, element, "constraint"] + \
  212. get_constructor(code) + \
  213. ["exit",]
  214. instantiate_scd = [
  215. "model",
  216. "instantiate_model", "1", "3",
  217. "instantiate_node", "3", "Class", "Place",
  218. "instantiate_node", "3", "Class", "Transition",
  219. "instantiate_node", "3", "SimpleAttribute", "Natural",
  220. "instantiate_link", "3", "Association", "P2T", "Place", "Transition",
  221. "instantiate_link", "3", "Association", "T2P", "Transition", "Place",
  222. "model_define_attribute", "3", "Place", "tokens", False, "Natural",
  223. "model_define_attribute", "3", "P2T", "weight", False, "Natural",
  224. "model_define_attribute", "3", "T2P", "weight", False, "Natural",
  225. "export_node", "3", "models/PetriNets_new",
  226. "exit",
  227. ]
  228. instantiate_pn = [
  229. "model",
  230. "instantiate_model", "3", "4",
  231. "instantiate_node", "4", "Place", "p1",
  232. "instantiate_node", "4", "Place", "p2",
  233. "instantiate_node", "4", "Transition", "t1",
  234. "instantiate_node", "4", "Transition", "t2",
  235. "instantiate_link", "4", "P2T", "p1_t1", "p1", "t1",
  236. "instantiate_link", "4", "T2P", "t1_p2", "t1", "p2",
  237. "instantiate_link", "4", "P2T", "p2_t2", "p2", "t2",
  238. "instantiate_link", "4", "T2P", "t2_p1", "t2", "p1",
  239. "instantiate_attribute", "4", "p1_t1", "weight", 1,
  240. "instantiate_attribute", "4", "t1_p2", "weight", 2,
  241. "instantiate_attribute", "4", "p2_t2", "weight", 3,
  242. "instantiate_attribute", "4", "t2_p1", "weight", 4,
  243. "instantiate_attribute", "4", "p1", "tokens", 5,
  244. "instantiate_attribute", "4", "p2", "tokens", 6,
  245. "export_node", "4", "models/PN_instance",
  246. "exit",
  247. ]
  248. instantiate_example = [
  249. "model",
  250. "instantiate_model", "1", "2",
  251. "instantiate_node", "2", "Class", "A",
  252. "instantiate_node", "2", "Class", "B",
  253. "instantiate_node", "2", "SimpleAttribute", "C",
  254. "instantiate_link", "2", "Inheritance", "b_inherits_a", "B", "A",
  255. "instantiate_link", "2", "Association", "A_to_B", "A", "B",
  256. "model_define_attribute", "2", "A", "tokens", False, "C",
  257. "export_node", "2", "models/example_MM",
  258. "exit",
  259. "model",
  260. "instantiate_model", "2", "3",
  261. "instantiate_node", "3", "A", "a",
  262. "instantiate_node", "3", "B", "b",
  263. "instantiate_link", "3", "A_to_B", "a_to_b", "a", "b",
  264. "instantiate_attribute", "3", "a", "tokens", 123,
  265. "instantiate_attribute", "3", "b", "tokens", 234,
  266. "export_node", "3", "models/example_M",
  267. "exit",
  268. ]
  269. def conformance_call(operation, model, metamodel):
  270. return [
  271. "output",
  272. "call",
  273. "access", "resolve", str(operation),
  274. 3,
  275. "call", "access", "resolve", "import_node", 1, "const", "models/example_M", False,
  276. "const", str(model),
  277. "const", str(metamodel),
  278. False,
  279. True,
  280. ]
  281. is_direct_instance = \
  282. conformance_call("is_direct_instance", "a", "A") + \
  283. conformance_call("is_direct_instance", "b", "A") + \
  284. conformance_call("is_direct_instance", "a", "B") + \
  285. conformance_call("is_direct_instance", "b", "B") + \
  286. conformance_call("is_direct_instance", "a", "C") + \
  287. conformance_call("is_direct_instance", "b", "C")
  288. is_nominal_instance = \
  289. conformance_call("is_nominal_instance", "a", "A") + \
  290. conformance_call("is_nominal_instance", "b", "A") + \
  291. conformance_call("is_nominal_instance", "a", "B") + \
  292. conformance_call("is_nominal_instance", "b", "B") + \
  293. conformance_call("is_nominal_instance", "a", "C") + \
  294. conformance_call("is_nominal_instance", "b", "C")
  295. def conformance_check(node):
  296. return [
  297. "output",
  298. "call",
  299. "access", "resolve", "conformance_scd",
  300. 1,
  301. "call", "access", "resolve", "import_node", 1, "const", str(node), False,
  302. False,
  303. True,
  304. ]
  305. code_natural = \
  306. """
  307. include "primitives.alh"
  308. String function constraint(model : Element, name : String):
  309. Element self
  310. self = model["model"][name]
  311. if (is_physical_int(self)):
  312. if (integer_gte(self, 0)):
  313. return "OK"!
  314. else:
  315. return "Natural number not larger than or equal to zero"!
  316. else:
  317. return "Natural number not larger than or equal to zero"!
  318. """
  319. code_string = \
  320. """
  321. include "primitives.alh"
  322. String function constraint(model : Element, name : String):
  323. Element self
  324. self = model["model"][name]
  325. log("In constraint")
  326. if (is_physical_string(self)):
  327. return "OK"!
  328. else:
  329. return "String has non-string instance"!
  330. """
  331. code_boolean = \
  332. """
  333. include "primitives.alh"
  334. String function constraint(model : Element, name : String):
  335. Element self
  336. self = model["model"][name]
  337. if (is_physical_boolean(self)):
  338. return "OK"!
  339. else:
  340. return "Boolean has non-boolean instance"!
  341. """
  342. code_location = \
  343. """
  344. include "primitives.alh"
  345. include "library.alh"
  346. String function constraint(model : Element, name : String):
  347. Element self
  348. self = model["model"][name]
  349. if (is_physical_string(self)):
  350. if (element_neq(import_node(self), read_root())):
  351. return "OK"!
  352. else:
  353. return "Location references non-existing element!"!
  354. else:
  355. return "Location has non-string instance"!
  356. """
  357. code_complex_attribute = \
  358. """
  359. include "primitives.alh"
  360. include "library.alh"
  361. String function constraint(model : Element, name : String):
  362. Element self
  363. self = model["model"][name]
  364. if (is_physical_string(self)):
  365. if (element_neq(import_node(self), read_root())):
  366. return "OK"!
  367. else:
  368. return "Complex Attribute references non-existing element!"!
  369. else:
  370. return ("Complex Attribute has non-string value: " + cast_e2s(self))!
  371. """
  372. class TestConstructorsModels(unittest.TestCase):
  373. def test_constructors_instantiate_bottom(self):
  374. commands = bottom + conformance_check("models/SimpleClassDiagrams_new") + ["return", False]
  375. self.assertTrue(run_barebone(commands, ["OK"], 1))
  376. def test_constructors_action_language(self):
  377. commands = bottom + action_language + bottom_link_al + \
  378. add_constraint("2", "String", code_string) + \
  379. add_constraint("2", "StringAttr", code_string) + \
  380. conformance_check("models/ActionLanguage_new") + ["return", False]
  381. self.assertTrue(run_barebone(commands, ["OK"], 1))
  382. def test_constructors_constraints_scd(self):
  383. commands = bottom + action_language + bottom_link_al + \
  384. add_constraint("2", "String", code_string) + \
  385. add_constraint("2", "StringAttr", code_string) + \
  386. add_constraint("1", "Natural", code_natural) + \
  387. add_constraint("1", "String", code_string) + \
  388. add_constraint("1", "Location", code_location) + \
  389. add_constraint("1", "Boolean", code_boolean) + \
  390. add_constraint("1", "ActionLanguage", code_complex_attribute) + \
  391. conformance_check("models/SimpleClassDiagrams_new") + ["return", False]
  392. self.assertTrue(run_barebone(commands, ["OK"], 1))
  393. def test_constructors_constraints_pn(self):
  394. commands = bottom + action_language + bottom_link_al + \
  395. add_constraint("2", "String", code_string) + \
  396. add_constraint("2", "StringAttr", code_string) + \
  397. add_constraint("1", "Natural", code_natural) + \
  398. add_constraint("1", "String", code_string) + \
  399. add_constraint("1", "Location", code_location) + \
  400. add_constraint("1", "Boolean", code_boolean) + \
  401. add_constraint("1", "ActionLanguage", code_complex_attribute) + \
  402. instantiate_scd + \
  403. add_constraint("3", "Natural", code_natural) + \
  404. conformance_check("models/PetriNets_new") + \
  405. instantiate_pn + \
  406. conformance_check("models/PN_instance") + ["return", False]
  407. self.assertTrue(run_barebone(commands, ["OK"], 1))
  408. def test_constructors_instantiate_scd(self):
  409. commands = bottom + instantiate_scd + conformance_check("models/PetriNets_new") + ["return", False]
  410. self.assertTrue(run_barebone(commands, ["OK"], 1))
  411. def test_constructors_instantiate_pn(self):
  412. commands = bottom + instantiate_scd + instantiate_pn + conformance_check("models/PN_instance") + ["return", False]
  413. self.assertTrue(run_barebone(commands, ["OK"], 1))
  414. def test_constructors_instantiate_example(self):
  415. commands = bottom + instantiate_example + conformance_check("models/example_MM") + conformance_check("models/example_M") + ["return", False]
  416. self.assertTrue(run_barebone(commands, ["OK", "OK"], 1))
  417. def test_constructors_is_direct_instance(self):
  418. commands = bottom + instantiate_example + is_direct_instance + ["return", False]
  419. expected = [True, False,
  420. False, True,
  421. False, False]
  422. self.assertTrue(run_barebone(commands, expected, 1))
  423. def test_constructors_is_nominal_instance(self):
  424. commands = bottom + instantiate_example + is_nominal_instance + ["return", False]
  425. expected = [True, True,
  426. False, True,
  427. False, False]
  428. self.assertTrue(run_barebone(commands, expected, 1))