Execute() public method

public Execute ( AbstractMachineState state ) : void
state AbstractMachineState
return void
        public void SetValue()
        {
            AbstractMachineState state = SetupMachine();

            SetValueInstruction i = new SetValueInstruction();

            object[] args = { "X0" };

            i.Process(args);

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

            i.Execute(state);

            Assert.AreEqual("set_value", i.Name());
            Assert.AreEqual(1, i.NumberOfArguments());
            Assert.AreSame(X0.Dereference(), ((AbstractTerm)state["H"]).Dereference());
        }