Axiom.Runtime.Instructions.GetVariableInstruction.Execute C# (CSharp) Метод

        public override void Execute(AbstractMachineState state)
        {
            AMProgram program = (AMProgram)state.Program;

            AbstractTerm Vn = (AbstractTerm)state[_vn];
            AbstractTerm Ai = (AbstractTerm)state[_ai];

            Vn.Assign(Ai);

            program.Next();
        }

        public void GetVariable()
        {
            AbstractMachineState state = SetupMachine();

            GetVariableInstruction i = new GetVariableInstruction();

            object[] args = { "X1", "X0" };

            i.Process(args);

            AbstractTerm X0 = (AbstractTerm)state["X0"];
            AbstractTerm X1 = (AbstractTerm)state["X1"];

            X0.Assign(new ConstantTerm("ali"));

            i.Execute(state);

            Assert.AreEqual("get_variable", i.Name());
            Assert.AreEqual(2, i.NumberOfArguments());
            Assert.AreEqual(X1.Data(), "ali");
        }