import unittest from modelverse_kernel.generated import ModelverseKernel from test_generated.utils import execute_until_finished, MvSWrapper, get_inst, get_phase, get_returnvalue_ref class TestOutput(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.task_input = self.mvs.execute("CN", []) self.task_output = 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, "input", self.task_input]) self.mvs.execute("CD", [self.task_root, "last_input", self.task_input]) self.mvs.execute("CD", [self.task_root, "output", self.task_output]) self.mvs.execute("CD", [self.task_root, "last_output", self.task_output]) 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_output_value(self): self.input_value = self.mvs.execute("CN", []) self.inst = self.mvs.execute("CNV", [{"value":"output"}]) self.const = self.mvs.execute("CNV", [{"value":"constant"}]) self.value_a = self.mvs.execute("CNV", ["a"]) self.mvs.execute("CD", [self.task_frame, "IP", self.inst]) self.mvs.execute("CD", [self.inst, "value", self.const]) self.mvs.execute("CD", [self.const, "node", self.value_a]) ### Execute rules self.assertEquals(get_inst(self.root, self.mvs), "output") 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_ref(self.root, self.mvs), self.value_a) execute_until_finished(self.mvk, self.mvs) self.assertEquals(get_inst(self.root, self.mvs), "output") self.assertEquals(get_phase(self.root, self.mvs), "output") execute_until_finished(self.mvk, self.mvs) self.assertEquals(get_inst(self.root, self.mvs), "output") self.assertEquals(get_phase(self.root, self.mvs), "finish") self.assertEquals(self.mvs.execute("RV", [self.mvs.execute("RD", [self.task_output, "value"])]), "a") def test_output_node(self): self.input_value = self.mvs.execute("CN", []) self.inst = self.mvs.execute("CNV", [{"value":"output"}]) self.const = self.mvs.execute("CNV", [{"value":"constant"}]) self.value = self.mvs.execute("CN", []) self.mvs.execute("CD", [self.task_frame, "IP", self.inst]) self.mvs.execute("CD", [self.inst, "value", self.const]) self.mvs.execute("CD", [self.const, "node", self.value]) ### Execute rules self.assertEquals(get_inst(self.root, self.mvs), "output") 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_ref(self.root, self.mvs), self.value) execute_until_finished(self.mvk, self.mvs) self.assertEquals(get_inst(self.root, self.mvs), "output") self.assertEquals(get_phase(self.root, self.mvs), "output") execute_until_finished(self.mvk, self.mvs) self.assertEquals(get_inst(self.root, self.mvs), "output") self.assertEquals(get_phase(self.root, self.mvs), "finish") self.assertEquals(self.mvs.execute("RD", [self.task_output, "value"]), self.value) def test_output_edge(self): self.input_value = self.mvs.execute("CN", []) self.inst = self.mvs.execute("CNV", [{"value":"output"}]) self.const = self.mvs.execute("CNV", [{"value":"constant"}]) a = self.mvs.execute("CN", []) b = self.mvs.execute("CN", []) self.value = self.mvs.execute("CE", [a,b]) self.mvs.execute("CD", [self.task_frame, "IP", self.inst]) self.mvs.execute("CD", [self.inst, "value", self.const]) self.mvs.execute("CD", [self.const, "node", self.value]) ### Execute rules self.assertEquals(get_inst(self.root, self.mvs), "output") 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_ref(self.root, self.mvs), self.value) execute_until_finished(self.mvk, self.mvs) self.assertEquals(get_inst(self.root, self.mvs), "output") self.assertEquals(get_phase(self.root, self.mvs), "output") execute_until_finished(self.mvk, self.mvs) self.assertEquals(get_inst(self.root, self.mvs), "output") self.assertEquals(get_phase(self.root, self.mvs), "finish") self.assertEquals(self.mvs.execute("RD", [self.task_output, "value"]), self.value)