| public Execute ( AbstractMachineState state ) : void | ||
| state | AbstractMachineState | |
| return | void | |
public void GetConstant()
{
AbstractMachineState state = SetupMachine();
GetConstantInstruction i = new GetConstantInstruction();
object[] args = { "ali", "X0" };
i.Process(args);
i.Execute(state);
Assert.AreEqual("get_constant", i.Name());
Assert.AreEqual(2, i.NumberOfArguments());
AbstractTerm X0 = ((AbstractTerm)state["X0"]).Dereference();
Assert.IsTrue(X0.IsConstant);
Assert.AreEqual("ali", X0.Data());
}