Exemplos de Axiom.Runtime.Instructions UnifyVoidInstruction.Execute em C# (CSharp)

Execute() public method

public Execute ( AbstractMachineState state ) : void
state	AbstractMachineState
return	void

Exemplo n.º 1

Arquivo: AbstractIntsructionsTests.cs Projeto: ahodroj/prologdotnet

        public void UnifyVoid()
        {
            AbstractMachineState state = SetupMachine();
            AMHeap heap = (AMHeap)state.DataArea;

            UnifyVoidInstruction i = new UnifyVoidInstruction();

            state.IsWriteMode = true;

            object[] args = { "3" };

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

            Assert.AreEqual("unify_void", i.Name());
            Assert.AreEqual(1, i.NumberOfArguments());
            Assert.IsTrue(((AbstractTerm)heap.Pop()).IsReference);
            Assert.IsTrue(((AbstractTerm)heap.Pop()).IsReference);
            Assert.IsTrue(((AbstractTerm)heap.Pop()).IsReference);
        }