123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159 |
- import unittest
- from modelverse_kernel.main import ModelverseKernel
- from test.utils import execute_until_finished, MvSWrapper, get_inst, get_phase, get_returnvalue
- class Testcontinue(unittest.TestCase):
- def setUp(self):
- self.mvs = MvSWrapper()
- self.root = self.mvs.execute("RR", [])
- self.mvk = ModelverseKernel(self.root)
- self.task_root = self.mvs.execute("CN", [])
- self.task_frame = self.mvs.execute("CN", [])
- self.symbols = self.mvs.execute("CN", [])
- self.evalstack = self.mvs.execute("CN", [])
- self.returnvalue = self.mvs.execute("CN", [])
- self.phase = self.mvs.execute("CNV", ["init"])
- self.mvs.execute("CD", [self.root, "task_1", self.task_root])
- self.mvs.execute("CD", [self.task_root, "frame", self.task_frame])
- self.mvs.execute("CD", [self.task_frame, "symbols", self.symbols])
- self.mvs.execute("CD", [self.task_frame, "evalstack", self.evalstack])
- self.mvs.execute("CD", [self.task_frame, "phase", self.phase])
- self.mvs.execute("CD", [self.task_frame, "returnvalue", self.returnvalue])
- def test_continue(self):
- """
- Test the code:
- while True:
- a
- continue
- c
- """
- self.inst = self.mvs.execute("CNV", [{"value":"while"}])
- self.const_a = self.mvs.execute("CNV", [{"value":"constant"}])
- self.const_c = self.mvs.execute("CNV", [{"value":"constant"}])
- self.const_cond = self.mvs.execute("CNV", [{"value":"constant"}])
- self.value_a = self.mvs.execute("CNV", ["a"])
- self.value_c = self.mvs.execute("CNV", ["c"])
- self.value_cond = self.mvs.execute("CNV", [True])
- self.continue_inst = self.mvs.execute("CNV", [{"value":"continue"}])
- self.mvs.execute("CD", [self.task_frame, "IP", self.inst])
- self.mvs.execute("CD", [self.inst, "cond", self.const_cond])
- self.mvs.execute("CD", [self.inst, "body", self.const_a])
- self.mvs.execute("CD", [self.inst, "next", self.const_c])
- self.mvs.execute("CD", [self.const_a, "node", self.value_a])
- self.mvs.execute("CD", [self.const_a, "next", self.continue_inst])
- self.mvs.execute("CD", [self.continue_inst, "while", self.inst])
- self.mvs.execute("CD", [self.const_c, "node", self.value_c])
- self.mvs.execute("CD", [self.const_cond, "node", self.value_cond])
- ### Execute rules
- self.assertEquals(get_inst(self.root, self.mvs), "while")
- self.assertEquals(get_phase(self.root, self.mvs), "init")
- execute_until_finished(self.mvk, self.mvs)
- self.assertEquals(get_inst(self.root, self.mvs), "constant")
- self.assertEquals(get_phase(self.root, self.mvs), "init")
- execute_until_finished(self.mvk, self.mvs)
- self.assertEquals(get_inst(self.root, self.mvs), "constant")
- self.assertEquals(get_phase(self.root, self.mvs), "finish")
- self.assertEquals(get_returnvalue(self.root, self.mvs), True)
- execute_until_finished(self.mvk, self.mvs)
- self.assertEquals(get_inst(self.root, self.mvs), "while")
- self.assertEquals(get_phase(self.root, self.mvs), "cond")
- execute_until_finished(self.mvk, self.mvs)
- self.assertEquals(get_inst(self.root, self.mvs), "constant")
- self.assertEquals(get_phase(self.root, self.mvs), "init")
- execute_until_finished(self.mvk, self.mvs)
- self.assertEquals(get_inst(self.root, self.mvs), "constant")
- self.assertEquals(get_phase(self.root, self.mvs), "finish")
- self.assertEquals(get_returnvalue(self.root, self.mvs), "a")
- execute_until_finished(self.mvk, self.mvs)
- self.assertEquals(get_inst(self.root, self.mvs), "continue")
- self.assertEquals(get_phase(self.root, self.mvs), "init")
- execute_until_finished(self.mvk, self.mvs)
- self.assertEquals(get_inst(self.root, self.mvs), "continue")
- self.assertEquals(get_phase(self.root, self.mvs), "finish")
- execute_until_finished(self.mvk, self.mvs)
- # Loop 2
- self.assertEquals(get_inst(self.root, self.mvs), "while")
- self.assertEquals(get_phase(self.root, self.mvs), "init")
- execute_until_finished(self.mvk, self.mvs)
- self.assertEquals(get_inst(self.root, self.mvs), "constant")
- self.assertEquals(get_phase(self.root, self.mvs), "init")
- execute_until_finished(self.mvk, self.mvs)
- self.assertEquals(get_inst(self.root, self.mvs), "constant")
- self.assertEquals(get_phase(self.root, self.mvs), "finish")
- self.assertEquals(get_returnvalue(self.root, self.mvs), True)
- execute_until_finished(self.mvk, self.mvs)
- self.assertEquals(get_inst(self.root, self.mvs), "while")
- self.assertEquals(get_phase(self.root, self.mvs), "cond")
- execute_until_finished(self.mvk, self.mvs)
- self.assertEquals(get_inst(self.root, self.mvs), "constant")
- self.assertEquals(get_phase(self.root, self.mvs), "init")
- execute_until_finished(self.mvk, self.mvs)
- self.assertEquals(get_inst(self.root, self.mvs), "constant")
- self.assertEquals(get_phase(self.root, self.mvs), "finish")
- self.assertEquals(get_returnvalue(self.root, self.mvs), "a")
- execute_until_finished(self.mvk, self.mvs)
- self.assertEquals(get_inst(self.root, self.mvs), "continue")
- self.assertEquals(get_phase(self.root, self.mvs), "init")
- execute_until_finished(self.mvk, self.mvs)
- self.assertEquals(get_inst(self.root, self.mvs), "continue")
- self.assertEquals(get_phase(self.root, self.mvs), "finish")
- execute_until_finished(self.mvk, self.mvs)
- # Loop 3
- self.assertEquals(get_inst(self.root, self.mvs), "while")
- self.assertEquals(get_phase(self.root, self.mvs), "init")
- execute_until_finished(self.mvk, self.mvs)
- self.assertEquals(get_inst(self.root, self.mvs), "constant")
- self.assertEquals(get_phase(self.root, self.mvs), "init")
- execute_until_finished(self.mvk, self.mvs)
- self.assertEquals(get_inst(self.root, self.mvs), "constant")
- self.assertEquals(get_phase(self.root, self.mvs), "finish")
- self.assertEquals(get_returnvalue(self.root, self.mvs), True)
- execute_until_finished(self.mvk, self.mvs)
- self.assertEquals(get_inst(self.root, self.mvs), "while")
- self.assertEquals(get_phase(self.root, self.mvs), "cond")
- execute_until_finished(self.mvk, self.mvs)
- self.assertEquals(get_inst(self.root, self.mvs), "constant")
- self.assertEquals(get_phase(self.root, self.mvs), "init")
- execute_until_finished(self.mvk, self.mvs)
- self.assertEquals(get_inst(self.root, self.mvs), "constant")
- self.assertEquals(get_phase(self.root, self.mvs), "finish")
- self.assertEquals(get_returnvalue(self.root, self.mvs), "a")
- execute_until_finished(self.mvk, self.mvs)
- self.assertEquals(get_inst(self.root, self.mvs), "continue")
- self.assertEquals(get_phase(self.root, self.mvs), "init")
- execute_until_finished(self.mvk, self.mvs)
- self.assertEquals(get_inst(self.root, self.mvs), "continue")
- self.assertEquals(get_phase(self.root, self.mvs), "finish")
- execute_until_finished(self.mvk, self.mvs)
|