| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566 |
- import unittest
- from modelverse_kernel.main import ModelverseKernel
- from utils import execute_until_finished, MvSWrapper, get_inst, get_phase, get_returnvalue, get_returnvalue_ref
- class Testaccess(unittest.TestCase):
- def setUp(self):
- self.mvs = MvSWrapper()
- self.root = self.mvs.execute("RR", [])[0]
- self.mvk = ModelverseKernel(self.root)
- self.user_root = self.mvs.execute("CN", [])[0]
- self.user_frame = self.mvs.execute("CN", [])[0]
- self.symbols = self.mvs.execute("CN", [])[0]
- self.evalstack = self.mvs.execute("CN", [])[0]
- self.returnvalue = self.mvs.execute("CN", [])[0]
- self.phase = self.mvs.execute("CNV", ["init"])[0]
- self.mvs.execute("CD", [self.root, "user_1", self.user_root])
- self.mvs.execute("CD", [self.user_root, "frame", self.user_frame])
- self.mvs.execute("CD", [self.user_frame, "symbols", self.symbols])
- self.mvs.execute("CD", [self.user_frame, "evalstack", self.evalstack])
- self.mvs.execute("CD", [self.user_frame, "phase", self.phase])
- self.mvs.execute("CD", [self.user_frame, "returnvalue", self.returnvalue])
- def test_access(self):
- """
- Test the access of a variable which contains value "a"
- """
- self.var = self.mvs.execute("CN", [])[0]
- self.value = self.mvs.execute("CN", [])[0]
- self.inst = self.mvs.execute("CNV", [{"value":"access"}])[0]
- self.resolve = self.mvs.execute("CNV", [{"value":"resolve"}])[0]
- self.const_a = self.mvs.execute("CNV", [{"value":"constant"}])[0]
- self.value_a = self.mvs.execute("CNV", ["a"])[0]
- self.mvs.execute("CD", [self.user_frame, "IP", self.inst])
- self.mvs.execute("CD", [self.inst, "var", self.resolve])
- self.mvs.execute("CD", [self.resolve, "var", self.var])
- self.mvs.execute("CD", [self.value, "value", self.const_a])
- t = self.mvs.execute("CE", [self.symbols, self.value])[0]
- self.mvs.execute("CE", [t, self.var])
- ### Execute rules
- self.assertEquals(get_inst(self.root, self.mvs), "access")
- self.assertEquals(get_phase(self.root, self.mvs), "init")
- execute_until_finished(self.mvk, self.mvs)
- self.assertEquals(get_inst(self.root, self.mvs), "resolve")
- self.assertEquals(get_phase(self.root, self.mvs), "init")
- execute_until_finished(self.mvk, self.mvs)
- self.assertEquals(get_inst(self.root, self.mvs), "resolve")
- 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), "access")
- self.assertEquals(get_phase(self.root, self.mvs), "eval")
- execute_until_finished(self.mvk, self.mvs)
- self.assertEquals(get_inst(self.root, self.mvs), "access")
- self.assertEquals(get_phase(self.root, self.mvs), "finish")
- self.assertEquals(get_returnvalue_ref(self.root, self.mvs), self.const_a)
|
