public void TestForeach()
{
CorePackage.Entity.Function whileTester = new CorePackage.Entity.Function();
CorePackage.Entity.Variable l = new CorePackage.Entity.Variable(new CorePackage.Entity.Type.ListType(CorePackage.Entity.Type.Scalar.Floating), new List <double> {
1.0, 2.0, 42.0
});
//while(i != 10)
CorePackage.Execution.Foreach loop = new CorePackage.Execution.Foreach();
loop.ContainerType = CorePackage.Entity.Type.Scalar.Floating;
//CorePackage.Execution.Operators.Different whcondition = new CorePackage.Execution.Operators.Different(CorePackage.Entity.Type.Scalar.Integer, CorePackage.Entity.Type.Scalar.Integer);
//whcondition.GetInput("LeftOperand").LinkTo(new CorePackage.Execution.Getter(i), "reference");
//whcondition.SetInputValue("RightOperand", 10);
//loop.GetInput("condition").LinkTo(whcondition, "result");
loop.GetInput("array").LinkTo(new CorePackage.Execution.Getter(l), "reference");
//// i = i + 1;
CorePackage.Entity.Variable i = new CorePackage.Entity.Variable(CorePackage.Entity.Type.Scalar.Integer);
CorePackage.Entity.Variable j = new CorePackage.Entity.Variable(CorePackage.Entity.Type.Scalar.Floating);
CorePackage.Execution.Setter ipp = new CorePackage.Execution.Setter(i);
CorePackage.Execution.Setter ipp2 = new CorePackage.Execution.Setter(j);
//CorePackage.Execution.Operators.Add ipone = new CorePackage.Execution.Operators.Add(CorePackage.Entity.Type.Scalar.Integer, CorePackage.Entity.Type.Scalar.Integer, CorePackage.Entity.Type.Scalar.Integer);
//ipone.GetInput("LeftOperand").LinkTo(new CorePackage.Execution.Getter(i), "reference");
//ipone.SetInputValue("RightOperand", 1);
//ipp.GetInput("value").LinkTo(ipone, "result");
ipp.GetInput("value").LinkTo(loop, "index");
ipp2.GetInput("value").LinkTo(loop, "element");
//loop.Do(ipp);
loop.Do(ipp);
////i = 42;
//CorePackage.Execution.Setter finalset = new CorePackage.Execution.Setter(i);
//finalset.SetInputValue("value", 42);
//loop.Done(finalset);
////===============================
whileTester.setEntryPoint(whileTester.addInstruction(loop));
whileTester.Call();
whileTester.Call();
Assert.IsTrue(i.Value == 3);
//Assert.IsTrue(j.Value == 42);
}
public void TestAdd()
{
CorePackage.Entity.Function whileTester = new CorePackage.Entity.Function();
CorePackage.Entity.Variable j = new CorePackage.Entity.Variable(CorePackage.Entity.Type.Scalar.Floating);
CorePackage.Entity.Variable l = new CorePackage.Entity.Variable(new CorePackage.Entity.Type.ListType(CorePackage.Entity.Type.Scalar.Floating), new List <double> {
1.0, 2.0, 42.0
});
CorePackage.Execution.Append add = new CorePackage.Execution.Append();
add.ContainerType = CorePackage.Entity.Type.Scalar.Floating;
add.GetInput("array").LinkTo(new CorePackage.Execution.Getter(l), "reference");
add.GetInput("element").LinkTo(new CorePackage.Execution.Getter(j), "reference");
whileTester.setEntryPoint(whileTester.addInstruction(add));
whileTester.Call();
Assert.IsTrue(add.GetOutputValue("count") == 4);
}
public void Test_while()
{
CorePackage.Entity.Function whileTester = new CorePackage.Entity.Function();
CorePackage.Entity.Variable i = new CorePackage.Entity.Variable(CorePackage.Entity.Type.Scalar.Integer, 0);
//while(i != 10)
CorePackage.Execution.While loop = new CorePackage.Execution.While();
CorePackage.Execution.Operators.Different whcondition = new CorePackage.Execution.Operators.Different(CorePackage.Entity.Type.Scalar.Integer, CorePackage.Entity.Type.Scalar.Integer);
whcondition.GetInput("LeftOperand").LinkTo(new CorePackage.Execution.Getter(i), "reference");
whcondition.SetInputValue("RightOperand", 10);
loop.GetInput("condition").LinkTo(whcondition, "result");
// i = i + 1;
CorePackage.Execution.Setter ipp = new CorePackage.Execution.Setter(i);
CorePackage.Execution.Operators.Add ipone = new CorePackage.Execution.Operators.Add(CorePackage.Entity.Type.Scalar.Integer, CorePackage.Entity.Type.Scalar.Integer, CorePackage.Entity.Type.Scalar.Integer);
ipone.GetInput("LeftOperand").LinkTo(new CorePackage.Execution.Getter(i), "reference");
ipone.SetInputValue("RightOperand", 1);
ipp.GetInput("value").LinkTo(ipone, "result");
loop.Do(ipp);
//i = 42;
CorePackage.Execution.Setter finalset = new CorePackage.Execution.Setter(i);
finalset.SetInputValue("value", 42);
loop.Done(finalset);
//===============================
whileTester.setEntryPoint(whileTester.addInstruction(loop));
whileTester.Call();
Assert.IsTrue(i.Value == 42);
}
public void TestRemoveIndex()
{
CorePackage.Entity.Function whileTester = new CorePackage.Entity.Function();
CorePackage.Entity.Variable idx = new CorePackage.Entity.Variable(CorePackage.Entity.Type.Scalar.Integer, 1);
CorePackage.Entity.Variable l = new CorePackage.Entity.Variable(new CorePackage.Entity.Type.ListType(CorePackage.Entity.Type.Scalar.Floating), new List <double> {
1.0, 2.0, 42.0
});
CorePackage.Execution.RemoveIndex remove = new CorePackage.Execution.RemoveIndex
{
ContainerType = CorePackage.Entity.Type.Scalar.Floating
};
remove.GetInput("array").LinkTo(new CorePackage.Execution.Getter(l), "reference");
remove.GetInput("index").LinkTo(new CorePackage.Execution.Getter(idx), "reference");
whileTester.setEntryPoint(whileTester.addInstruction(remove));
whileTester.Call();
Assert.IsTrue(remove.GetOutputValue("removed"));
}
public void TestSize()
{
CorePackage.Entity.Function whileTester = new CorePackage.Entity.Function();
CorePackage.Entity.Variable idx = new CorePackage.Entity.Variable(CorePackage.Entity.Type.Scalar.Integer);
CorePackage.Entity.Variable l = new CorePackage.Entity.Variable(new CorePackage.Entity.Type.ListType(CorePackage.Entity.Type.Scalar.Floating), new List <double> {
1.0, 2.0, 42.0
});
CorePackage.Execution.Size size = new CorePackage.Execution.Size();
CorePackage.Execution.Setter setIdx = new CorePackage.Execution.Setter(idx);
size.ContainerType = CorePackage.Entity.Type.Scalar.Floating;
size.GetInput("array").LinkTo(new CorePackage.Execution.Getter(l), "reference");
setIdx.GetInput("value").LinkTo(size, "count");
whileTester.setEntryPoint(whileTester.addInstruction(setIdx));
whileTester.Call();
Assert.IsTrue(size.GetOutputValue("count") == 3);
}
public void TestInsert()
{
CorePackage.Entity.Function whileTester = new CorePackage.Entity.Function();
CorePackage.Entity.Variable j = new CorePackage.Entity.Variable(CorePackage.Entity.Type.Scalar.Floating);
CorePackage.Entity.Variable idx = new CorePackage.Entity.Variable(CorePackage.Entity.Type.Scalar.Integer, 2);
CorePackage.Entity.Variable l = new CorePackage.Entity.Variable(new CorePackage.Entity.Type.ListType(CorePackage.Entity.Type.Scalar.Floating), new List <double> {
1.0, 2.0, 42.0
});
CorePackage.Execution.Insert insert = new CorePackage.Execution.Insert
{
ContainerType = CorePackage.Entity.Type.Scalar.Floating
};
insert.GetInput("array").LinkTo(new CorePackage.Execution.Getter(l), "reference");
insert.GetInput("element").LinkTo(new CorePackage.Execution.Getter(j), "reference");
insert.GetInput("index").LinkTo(new CorePackage.Execution.Getter(idx), "reference");
whileTester.setEntryPoint(whileTester.addInstruction(insert));
whileTester.Call();
Assert.IsTrue(insert.GetOutputValue("count") == 4);
}
public void Test_if_getter_setter_debug_functionCall_Instructions()
{
//Function that will be executed
CorePackage.Entity.Function test = new CorePackage.Entity.Function();
//Variable used to check function validity
CorePackage.Entity.Variable witness = new CorePackage.Entity.Variable(CorePackage.Entity.Type.Scalar.Integer, 42);
//if (4 == 5)
CorePackage.Execution.If f_cond = new CorePackage.Execution.If();
CorePackage.Execution.Operators.Equal condition = new CorePackage.Execution.Operators.Equal(CorePackage.Entity.Type.Scalar.Integer, CorePackage.Entity.Type.Scalar.Integer);
condition.SetInputValue("LeftOperand", 4);
condition.SetInputValue("RightOperand", 5);
f_cond.GetInput("condition").LinkTo(condition, "result");
CorePackage.Entity.Function say_hello = new CorePackage.Entity.Function();
//print("Hello World !")
CorePackage.Execution.Debug print_hello = new CorePackage.Execution.Debug(new CorePackage.Entity.Variable(CorePackage.Entity.Type.Scalar.String, "Hello World !"));
print_hello.SetInputValue("to_print", "Hello");
//witness = 84
CorePackage.Execution.Setter true_change = new CorePackage.Execution.Setter(witness);
true_change.SetInputValue("value", 84);
print_hello.LinkTo(0, true_change);
say_hello.setEntryPoint(say_hello.addInstruction(print_hello));
//If the condition is true, then do print_hello
f_cond.Then(new CorePackage.Execution.FunctionCall(say_hello));
CorePackage.Entity.Function say_bye = new CorePackage.Entity.Function();
//print("Goodbye World !")
CorePackage.Execution.Debug print_goodbye = new CorePackage.Execution.Debug(new CorePackage.Entity.Variable(CorePackage.Entity.Type.Scalar.String, "Goodbye World !"));
//witness = 0
CorePackage.Execution.Setter false_change = new CorePackage.Execution.Setter(witness);
false_change.SetInputValue("value", 0);
print_goodbye.LinkTo(0, false_change);
say_bye.setEntryPoint(say_bye.addInstruction(print_goodbye));
//Else, do print_goodbye
f_cond.Else(new CorePackage.Execution.FunctionCall(say_bye));
//Set the function entry point before calling it
test.setEntryPoint(test.addInstruction(f_cond));
//In this call, it will check that 4 is equal to 5, then it will execute print_goodbye and false_change
test.Call();
//So the witness value is expected to be 0
if (witness.Value != 0)
{
throw new Exception("Failed: Witness have to be equal to 0");
}
//To change the condition result, we will set the right operand of the operation to 4
condition.SetInputValue("RightOperand", 4);
//Then, function call will check if 4 is equal to 4 in order to execute print_hello
test.Call();
//So the witness value is exepected to be 84
if (witness.Value != 84)
{
throw new Exception("Failed: Witness have to be equal to 84");
}
System.Diagnostics.Debug.Write(test.ToDotFile());
}
