Execute() public method

public Execute ( AbstractMachineState state ) : void
state AbstractMachineState
return void
PutVariableInstruction Class Documentation
Ejemplo n.º 1
0
        public void PutYVariable()
        {
            AbstractMachineState state = SetupMachine();

            state.E = new EnvironmentFrame(null, null, 10);

            PutVariableInstruction i = new PutVariableInstruction();

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

            i.Process(args);

            i.Execute(state);

            Assert.AreEqual("put_variable", i.Name());
            Assert.AreEqual(2, i.NumberOfArguments());
            Assert.IsTrue(state.E["Y0"].IsReference);
            Assert.AreSame(state.E["Y0"].Dereference(), ((AbstractTerm)state["X0"]).Dereference());
        }
Ejemplo n.º 2
0
        public void PutXVariable()
        {
            AbstractMachineState state = SetupMachine();

            PutVariableInstruction i = new PutVariableInstruction();

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

            i.Process(args);
            i.Execute(state);

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