Axiom.Runtime.Instructions.PutStructureInstruction.Process C# (CSharp) Метод

Process() публичный Метод

public Process ( object arguments ) : void
arguments object
Результат void
        public override void Process(object[] arguments)
        {
            _arguments = arguments;
            char[] sep = { '/' };
            string arg0 = (string)arguments[0];
            // Bug fix
            if (arg0 == "//2")
            {
                structureName = "/";
                arity = 2;
            }
            else
            {
                structureName = arg0.Split(sep, 2)[0];
                arity = Int32.Parse(arg0.Split(sep, 2)[1]);
            }
            ai = (string)arguments[1];
        }

Usage Example

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

            PutStructureInstruction i = new PutStructureInstruction();

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

            object[] args = { "s/2", "X0" };

            i.Process(args);

            i.Execute(state);

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

            Assert.IsTrue(H.IsStructure);
            Assert.AreEqual(2, H.Arity);
            Assert.AreEqual("s", H.Name);

            AbstractTerm X0 = (AbstractTerm)state["X0"];
            Assert.AreSame(H.Dereference(), X0.Dereference());

            Assert.IsTrue(X0.IsStructure);
            Assert.AreEqual(2, X0.Arity);
            Assert.AreEqual("s", X0.Name);
        }