Name() public method

public Name ( ) : string
return string
PutConstantInstruction Class Documentation
Example #1
0
        public void PutConstant()
        {
            AbstractMachineState state = SetupMachine();

            PutConstantInstruction i = new PutConstantInstruction();

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

            i.Process(args);

            Assert.AreEqual("put_constant", i.Name());
            Assert.AreEqual(2, i.NumberOfArguments());

            i.Execute(state);

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

            Assert.IsTrue(X0.IsConstant);
            Assert.AreEqual("ali", X0.Data());
        }