Esempio n. 1
0
        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);
        }
Esempio n. 2
0
        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);
        }
Esempio n. 3
0
        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);
        }
Esempio n. 4
0
        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"));
        }
Esempio n. 5
0
        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);
        }
Esempio n. 6
0
        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);
        }
Esempio n. 7
0
        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());
        }