Name() public method

public Name ( ) : string
return string
GetListInstruction Class Documentation
Exemplo n.º 1
0
        public void GetList()
        {
            AbstractMachineState state = SetupMachine();

            GetListInstruction i = new GetListInstruction();

            object[] args = { "X0" };

            i.Process(args);

            i.Execute(state);

            Assert.AreEqual("get_list", i.Name());
            Assert.AreEqual(1, i.NumberOfArguments());

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

            Assert.IsTrue(X0.IsList);
        }