Axiom.Runtime.Instructions.UnifyConstantInstruction.Name C# (CSharp) Метод

        public override string Name()
        {
            return "unify_constant";
        }

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

            UnifyConstantInstruction i = new UnifyConstantInstruction();

            object[] args = { "ali" };

            state.S = new AbstractTerm();

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

            Assert.AreEqual("unify_constant", i.Name());
            Assert.AreEqual(1, i.NumberOfArguments());
            Assert.AreEqual("ali", ((AbstractTerm)state.S).Data());
        }