test_rules_break.py 1.6 KB

1234567891011121314151617181920212223242526272829303132333435
  1. import unittest
  2. from modelverse_kernel.main import ModelverseKernel
  3. from utils import execute_until_finished, MvSWrapper
  4. class Testbreak(unittest.TestCase):
  5. def setUp(self):
  6. self.mvs = MvSWrapper()
  7. self.root = self.mvs.execute("RR", [])[0]
  8. self.mvk = ModelverseKernel(self.root)
  9. def test_basic(self):
  10. # Create a break construct
  11. root = self.root
  12. user_root = self.mvs.execute("CN", [])[0]
  13. user_frame = self.mvs.execute("CN", [])[0]
  14. phase = self.mvs.execute("CNV", ["init"])[0]
  15. inst = self.mvs.execute("CNV", [{"value":"break"}])[0]
  16. while_inst = self.mvs.execute("CNV", ["while"])[0]
  17. self.mvs.execute("CD", [root, "user_1", user_root])
  18. self.mvs.execute("CD", [user_root, "frame", user_frame])
  19. self.mvs.execute("CD", [user_frame, "phase", phase])
  20. self.mvs.execute("CD", [user_frame, "IP", inst])
  21. self.mvs.execute("CD", [inst, "while", while_inst])
  22. # Do the invocation until it returns None
  23. execute_until_finished(self.mvk, self.mvs)
  24. # Execution of the command finished, so the MvS should be in the correct new state right now
  25. self.assertEquals(self.mvs.execute("RD", [root, "user_1"])[0], user_root)
  26. self.assertEquals(self.mvs.execute("RD", [user_root, "frame"])[0], user_frame)
  27. self.assertEquals(self.mvs.execute("RV", [self.mvs.execute("RD", [user_frame, "phase"])[0]])[0], "finish")
  28. self.assertEquals(self.mvs.execute("RD", [user_frame, "IP"])[0], while_inst)
  29. self.assertEquals(self.mvs.execute("RD", [inst, "while"])[0], while_inst)