Ejemplos de Axiom.Runtime.Instructions SetConstantInstruction.Name en C# (CSharp)

Name() public method

public Name ( ) : string
return	string

Ejemplo n.º 1

Archivo: AbstractIntsructionsTests.cs Proyecto: ahodroj/prologdotnet

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

            SetConstantInstruction i = new SetConstantInstruction();

            object[] args = { "ali" };

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

            AbstractTerm H = (AbstractTerm)((AMHeap)state.DataArea).Top();

            Assert.AreEqual("set_constant", i.Name());
            Assert.AreEqual(1, i.NumberOfArguments());
            Assert.AreEqual("ali", H.Data());
        }