Axiom.Runtime.Instructions.UnifyValueInstruction.NumberOfArguments C# (CSharp) Метод

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

public NumberOfArguments ( ) : int
Результат int
        public override int NumberOfArguments()
        {
            return 1;
        }

Usage Example

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

            UnifyValueInstruction i = new UnifyValueInstruction();

            object[] args = { "X0" };

            state.S = new ConstantTerm("ali");

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

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

            Assert.AreEqual("unify_value", i.Name());
            Assert.AreEqual(1, i.NumberOfArguments());
            Assert.AreEqual("ali", X0.Data());
        }