public override void Process(object[] arguments)
{
_arguments = arguments;
_vn = (string)arguments[0];
}
public void UnifyLocalValue() { AbstractMachineState state = SetupMachine(); UnifyLocalValueInstruction i = new UnifyLocalValueInstruction(); ConstantTerm con = new ConstantTerm("ali"); state.S = con; object[] args = { "X0" }; i.Process(args); i.Execute(state); Assert.AreEqual("unify_local_value", i.Name()); Assert.AreEqual(1, i.NumberOfArguments()); AbstractTerm X0 = (AbstractTerm)state["X0"]; Assert.AreEqual("ali", X0.Dereference().Data()); }