|
@@ -1,327 +0,0 @@
|
|
|
-import unittest
|
|
|
-from modelverse_kernel.main import ModelverseKernel
|
|
|
-from test.utils import execute_until_finished, MvSWrapper, get_inst, get_phase, get_returnvalue, get_phase_ref, read_primitive_interfaces, get_returnvalue_ref
|
|
|
-
|
|
|
-class TestList(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])
|
|
|
-
|
|
|
- execute_until_finished(self.mvk, self.mvs, "load_primitives", [])
|
|
|
- self.primitives = read_primitive_interfaces(self.root, self.mvs)
|
|
|
-
|
|
|
- def test_insert_front(self):
|
|
|
- self.helper_primitives_3_params("list_insert", ["b", "c", "d"], "a", 0, ["a", "b", "c", "d"])
|
|
|
-
|
|
|
- def test_insert_back(self):
|
|
|
- self.helper_primitives_3_params("list_insert", ["b", "c", "d"], "e", 3, ["b", "c", "d", "e"])
|
|
|
-
|
|
|
- def test_insert(self):
|
|
|
- self.helper_primitives_3_params("list_insert", ["b", "d", "f"], "c", 1, ["b", "c", "d", "f"])
|
|
|
-
|
|
|
- def test_delete_front(self):
|
|
|
- self.helper_primitives_2_params("list_delete", ["b", "c", "d"], 0, ["c", "d"])
|
|
|
-
|
|
|
- def test_delete_back(self):
|
|
|
- self.helper_primitives_2_params("list_delete", ["b", "c", "d"], 2, ["b", "c"])
|
|
|
-
|
|
|
- def test_delete(self):
|
|
|
- self.helper_primitives_2_params("list_delete", ["b", "d", "f"], 1, ["b", "f"])
|
|
|
-
|
|
|
- def construct(self, source, lst):
|
|
|
- for i, v in enumerate(lst):
|
|
|
- t = self.mvs.execute("CNV", [v])
|
|
|
- self.mvs.execute("CD", [source, i, t])
|
|
|
-
|
|
|
- def parse(self, source, expected):
|
|
|
- if isinstance(expected, list):
|
|
|
- self.assertEquals(len(self.mvs.execute("RO", [source])), len(expected))
|
|
|
- for i, v in enumerate(expected):
|
|
|
- self.assertEquals(self.mvs.execute("RV", [self.mvs.execute("RD", [source, i])]), v)
|
|
|
- else:
|
|
|
- self.assertEquals(get_returnvalue(self.root, self.mvs), expected)
|
|
|
-
|
|
|
- def helper_primitives_2_params(self, operation, a, b, result):
|
|
|
- self.actual_arg_a = self.mvs.execute("CN", [])
|
|
|
- self.actual_arg_b = self.mvs.execute("CN", [])
|
|
|
-
|
|
|
- self.inst = self.mvs.execute("CNV", [{"value":"call"}])
|
|
|
- self.const_a = self.mvs.execute("CNV", [{"value":"constant"}])
|
|
|
- self.const_b = self.mvs.execute("CNV", [{"value":"constant"}])
|
|
|
- self.const_c = self.mvs.execute("CNV", [{"value":"constant"}])
|
|
|
- self.const_first = self.mvs.execute("CNV", [{"value":"constant"}])
|
|
|
- self.const_second = self.mvs.execute("CNV", [{"value":"constant"}])
|
|
|
- self.value_a = self.mvs.execute("CNV", ["a"])
|
|
|
- self.value_b = self.mvs.execute("CNV", ["b"])
|
|
|
- self.value_c = self.mvs.execute("CNV", ["c"])
|
|
|
- self.value_first = self.mvs.execute("CN", [])
|
|
|
- self.value_second = self.mvs.execute("CNV", [b])
|
|
|
-
|
|
|
- self.construct(self.value_first, a)
|
|
|
-
|
|
|
- self.mvs.execute("CD", [self.task_frame, "IP", self.inst])
|
|
|
- self.const_func = self.mvs.execute("CNV", [{"value":"constant"}])
|
|
|
- self.mvs.execute("CD", [self.inst, "func", self.const_func])
|
|
|
- self.mvs.execute("CD", [self.const_func, "node", self.primitives[operation]])
|
|
|
- self.mvs.execute("CD", [self.inst, "next", self.const_c])
|
|
|
- self.mvs.execute("CD", [self.inst, "params", self.actual_arg_a])
|
|
|
- self.mvs.execute("CD", [self.actual_arg_a, "next_param", self.actual_arg_b])
|
|
|
- self.mvs.execute("CD", [self.inst, "last_param", self.actual_arg_b])
|
|
|
- self.mvs.execute("CD", [self.actual_arg_a, "value", self.const_first])
|
|
|
- self.mvs.execute("CD", [self.actual_arg_b, "value", self.const_second])
|
|
|
- self.mvs.execute("CD", [self.actual_arg_a, "name", self.value_a])
|
|
|
- self.mvs.execute("CD", [self.actual_arg_b, "name", self.value_b])
|
|
|
- self.mvs.execute("CD", [self.const_a, "node", self.value_a])
|
|
|
- self.mvs.execute("CD", [self.const_b, "node", self.value_b])
|
|
|
- self.mvs.execute("CD", [self.const_c, "node", self.value_c])
|
|
|
- self.mvs.execute("CD", [self.const_first, "node", self.value_first])
|
|
|
- self.mvs.execute("CD", [self.const_second, "node", self.value_second])
|
|
|
-
|
|
|
- ### Execute rules
|
|
|
- self.assertEquals(get_inst(self.root, self.mvs), "call")
|
|
|
- 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")
|
|
|
- execute_until_finished(self.mvk, self.mvs)
|
|
|
-
|
|
|
- self.assertEquals(get_inst(self.root, self.mvs), "call")
|
|
|
- self.assertEquals(get_phase_ref(self.root, self.mvs), self.actual_arg_a)
|
|
|
- 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_ref(self.root, self.mvs), self.value_first)
|
|
|
- execute_until_finished(self.mvk, self.mvs)
|
|
|
-
|
|
|
- self.assertEquals(get_inst(self.root, self.mvs), "call")
|
|
|
- self.assertEquals(get_phase_ref(self.root, self.mvs), self.actual_arg_b)
|
|
|
- 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), b)
|
|
|
- execute_until_finished(self.mvk, self.mvs)
|
|
|
-
|
|
|
- self.assertEquals(get_inst(self.root, self.mvs), "call")
|
|
|
- self.assertEquals(get_phase(self.root, self.mvs), "call")
|
|
|
- execute_until_finished(self.mvk, self.mvs)
|
|
|
-
|
|
|
- # Body points to empty instruction, as it is a primitive
|
|
|
- self.assertEquals(get_phase(self.root, self.mvs), "init")
|
|
|
- execute_until_finished(self.mvk, self.mvs)
|
|
|
-
|
|
|
- # This will have triggered the primitive, so now we are back where we left off
|
|
|
- self.assertEquals(get_inst(self.root, self.mvs), "call")
|
|
|
- self.assertEquals(get_phase(self.root, self.mvs), "finish")
|
|
|
- execute_until_finished(self.mvk, self.mvs)
|
|
|
-
|
|
|
- self.parse(self.value_first, result)
|
|
|
-
|
|
|
- def helper_primitives_1_params(self, operation, a, result):
|
|
|
- self.actual_arg_a = self.mvs.execute("CN", [])
|
|
|
-
|
|
|
- self.inst = self.mvs.execute("CNV", [{"value":"call"}])
|
|
|
- self.const_a = self.mvs.execute("CNV", [{"value":"constant"}])
|
|
|
- self.const_b = self.mvs.execute("CNV", [{"value":"constant"}])
|
|
|
- self.const_c = self.mvs.execute("CNV", [{"value":"constant"}])
|
|
|
- self.const_first = self.mvs.execute("CNV", [{"value":"constant"}])
|
|
|
- self.value_a = self.mvs.execute("CNV", ["a"])
|
|
|
- self.value_b = self.mvs.execute("CNV", ["b"])
|
|
|
- self.value_c = self.mvs.execute("CNV", ["c"])
|
|
|
- self.value_first = self.mvs.execute("CN", [])
|
|
|
-
|
|
|
- self.mvs.execute("CD", [self.task_frame, "IP", self.inst])
|
|
|
- self.const_func = self.mvs.execute("CNV", [{"value":"constant"}])
|
|
|
- self.mvs.execute("CD", [self.inst, "func", self.const_func])
|
|
|
- self.mvs.execute("CD", [self.const_func, "node", self.primitives[operation]])
|
|
|
- self.mvs.execute("CD", [self.inst, "next", self.const_c])
|
|
|
- self.mvs.execute("CD", [self.inst, "params", self.actual_arg_a])
|
|
|
- self.mvs.execute("CD", [self.inst, "last_param", self.actual_arg_a])
|
|
|
- self.mvs.execute("CD", [self.actual_arg_a, "value", self.const_first])
|
|
|
- self.mvs.execute("CD", [self.actual_arg_a, "name", self.value_a])
|
|
|
- self.mvs.execute("CD", [self.const_a, "node", self.value_a])
|
|
|
- self.mvs.execute("CD", [self.const_b, "node", self.value_b])
|
|
|
- self.mvs.execute("CD", [self.const_c, "node", self.value_c])
|
|
|
- self.mvs.execute("CD", [self.const_first, "node", self.value_first])
|
|
|
-
|
|
|
- self.construct(self.value_first, a)
|
|
|
-
|
|
|
- ### Execute rules
|
|
|
- self.assertEquals(get_inst(self.root, self.mvs), "call")
|
|
|
- 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")
|
|
|
- execute_until_finished(self.mvk, self.mvs)
|
|
|
-
|
|
|
- self.assertEquals(get_inst(self.root, self.mvs), "call")
|
|
|
- self.assertEquals(get_phase_ref(self.root, self.mvs), self.actual_arg_a)
|
|
|
- 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_ref(self.root, self.mvs), self.value_first)
|
|
|
- execute_until_finished(self.mvk, self.mvs)
|
|
|
-
|
|
|
- self.assertEquals(get_inst(self.root, self.mvs), "call")
|
|
|
- self.assertEquals(get_phase(self.root, self.mvs), "call")
|
|
|
- execute_until_finished(self.mvk, self.mvs)
|
|
|
-
|
|
|
- # Body points to empty instruction, as it is a primitive
|
|
|
- self.assertEquals(get_phase(self.root, self.mvs), "init")
|
|
|
- execute_until_finished(self.mvk, self.mvs)
|
|
|
-
|
|
|
- # This will have triggered the primitive, so now we are back where we left off
|
|
|
- # Just check whether or not the correct value is in the returnvalue to be used
|
|
|
- self.assertEquals(get_inst(self.root, self.mvs), "call")
|
|
|
- self.assertEquals(get_phase(self.root, self.mvs), "finish")
|
|
|
-
|
|
|
- self.parse(self.value_first, result)
|
|
|
-
|
|
|
- def helper_primitives_3_params(self, operation, a, b, c, result):
|
|
|
- self.actual_arg_a = self.mvs.execute("CN", [])
|
|
|
- self.actual_arg_b = self.mvs.execute("CN", [])
|
|
|
- self.actual_arg_c = self.mvs.execute("CN", [])
|
|
|
-
|
|
|
- self.inst = self.mvs.execute("CNV", [{"value":"call"}])
|
|
|
- self.const_a = self.mvs.execute("CNV", [{"value":"constant"}])
|
|
|
- self.const_b = self.mvs.execute("CNV", [{"value":"constant"}])
|
|
|
- self.const_c = self.mvs.execute("CNV", [{"value":"constant"}])
|
|
|
- self.const_first = self.mvs.execute("CNV", [{"value":"constant"}])
|
|
|
- self.const_second = self.mvs.execute("CNV", [{"value":"constant"}])
|
|
|
- self.const_third = self.mvs.execute("CNV", [{"value":"constant"}])
|
|
|
- self.value_a = self.mvs.execute("CNV", ["a"])
|
|
|
- self.value_b = self.mvs.execute("CNV", ["b"])
|
|
|
- self.value_c = self.mvs.execute("CNV", ["c"])
|
|
|
- self.value_first = self.mvs.execute("CN", [])
|
|
|
- self.value_second = self.mvs.execute("CNV", [b])
|
|
|
- self.value_third = self.mvs.execute("CNV", [c])
|
|
|
-
|
|
|
- self.mvs.execute("CD", [self.task_frame, "IP", self.inst])
|
|
|
- self.const_func = self.mvs.execute("CNV", [{"value":"constant"}])
|
|
|
- self.mvs.execute("CD", [self.inst, "func", self.const_func])
|
|
|
- self.mvs.execute("CD", [self.const_func, "node", self.primitives[operation]])
|
|
|
- self.mvs.execute("CD", [self.inst, "next", self.const_c])
|
|
|
- self.mvs.execute("CD", [self.inst, "params", self.actual_arg_a])
|
|
|
- self.mvs.execute("CD", [self.actual_arg_a, "next_param", self.actual_arg_b])
|
|
|
- self.mvs.execute("CD", [self.actual_arg_b, "next_param", self.actual_arg_c])
|
|
|
- self.mvs.execute("CD", [self.inst, "last_param", self.actual_arg_c])
|
|
|
- self.mvs.execute("CD", [self.actual_arg_a, "value", self.const_first])
|
|
|
- self.mvs.execute("CD", [self.actual_arg_b, "value", self.const_second])
|
|
|
- self.mvs.execute("CD", [self.actual_arg_c, "value", self.const_third])
|
|
|
- self.mvs.execute("CD", [self.actual_arg_a, "name", self.value_a])
|
|
|
- self.mvs.execute("CD", [self.actual_arg_b, "name", self.value_b])
|
|
|
- self.mvs.execute("CD", [self.actual_arg_c, "name", self.value_c])
|
|
|
- self.mvs.execute("CD", [self.const_a, "node", self.value_a])
|
|
|
- self.mvs.execute("CD", [self.const_b, "node", self.value_b])
|
|
|
- self.mvs.execute("CD", [self.const_c, "node", self.value_c])
|
|
|
- self.mvs.execute("CD", [self.const_first, "node", self.value_first])
|
|
|
- self.mvs.execute("CD", [self.const_second, "node", self.value_second])
|
|
|
- self.mvs.execute("CD", [self.const_third, "node", self.value_third])
|
|
|
-
|
|
|
- self.construct(self.value_first, a)
|
|
|
-
|
|
|
- ### Execute rules
|
|
|
- self.assertEquals(get_inst(self.root, self.mvs), "call")
|
|
|
- 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")
|
|
|
- execute_until_finished(self.mvk, self.mvs)
|
|
|
-
|
|
|
- self.assertEquals(get_inst(self.root, self.mvs), "call")
|
|
|
- self.assertEquals(get_phase_ref(self.root, self.mvs), self.actual_arg_a)
|
|
|
- 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_ref(self.root, self.mvs), self.value_first)
|
|
|
- execute_until_finished(self.mvk, self.mvs)
|
|
|
-
|
|
|
- self.assertEquals(get_inst(self.root, self.mvs), "call")
|
|
|
- self.assertEquals(get_phase_ref(self.root, self.mvs), self.actual_arg_b)
|
|
|
- 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), b)
|
|
|
- execute_until_finished(self.mvk, self.mvs)
|
|
|
-
|
|
|
- self.assertEquals(get_inst(self.root, self.mvs), "call")
|
|
|
- self.assertEquals(get_phase_ref(self.root, self.mvs), self.actual_arg_c)
|
|
|
- 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), c)
|
|
|
- execute_until_finished(self.mvk, self.mvs)
|
|
|
-
|
|
|
- self.assertEquals(get_inst(self.root, self.mvs), "call")
|
|
|
- self.assertEquals(get_phase(self.root, self.mvs), "call")
|
|
|
- execute_until_finished(self.mvk, self.mvs)
|
|
|
-
|
|
|
- # Body points to empty instruction, as it is a primitive
|
|
|
- self.assertEquals(get_phase(self.root, self.mvs), "init")
|
|
|
- execute_until_finished(self.mvk, self.mvs)
|
|
|
-
|
|
|
- # This will have triggered the primitive, so now we are back where we left off
|
|
|
- # Just check whether or not the correct value is in the returnvalue to be used
|
|
|
- self.assertEquals(get_inst(self.root, self.mvs), "call")
|
|
|
- self.assertEquals(get_phase(self.root, self.mvs), "finish")
|
|
|
-
|
|
|
- self.parse(self.value_first, result)
|