//////////////////////////////////////////////////////////////////////
// Program for testing the program S2.C (solution of Hw #2)
// File S2_test.C
//////////////////////////////////////////////////////////////////////

#include "S2.C"

//////////////////////////////////////////////////////////////////////

int main(){
        node* n1 = new node ("dec","x");
        node* n2 = new node ("num",2);
        node* n3 = new node ("op","+");
        node* n4 = new node ("ide","x");
        node* n5 = new node ("num",5); 
        tree* t2 = new tree(n2);
         tree* t4 = new tree(n4);
         tree* t5 = new tree(n5);
         tree* t3 = new tree(n3,t4,t5);
         tree* t1 = new tree(n1,t2,t3);

        environment *r = empty_environment();

        cout << " value of the first expression is: " << eval (t1,r)<<endl;
/************************************************************************
let x = 2 in x+5 end
************************************************************************/

        node* n6 = new node ("num", 20);
        node* n7 = new node ("num", 13);
         node* n8 = new node ("num", 12);
         node* n9 = new node ("num", 30);
         node* n10 = new node ("num", 1);
        node* n11 = new node ("op","-");
        node* n12 = new node ("op","*"); 
        node* n13 = new node ("dec","y");
        node* n14 = new node ("ide","y");
        node* n15 = new node ("num",4);

        tree* ta = new tree(n15);
        tree* t6 = new tree(n3, t4, ta);
        tree* t8 = new tree(n7);
        tree* t7 = new tree(n1, t8, t6);
        tree* t9 = new tree(n3, t7,t4);
        tree* t10 = new tree(n6);
        tree* tb = new tree(n1, t10, t9);
        cout << "\n the value of the second expression is: " <<eval (tb,r)<<endl;
/************************************************************************
let x = 20
        in let x=13
                in x+4

                end
        +x
        end
************************************************************************/

        tree* t11 = new tree(n14);
        tree* t12 = new tree(n11, t4, t11);
        tree* t13 = new tree(n10);
        tree* t14 = new tree(n13, t13, t12);
        tree* t15 = new tree(n12, t4, t11);
        tree* t16 = new tree(n9);
        tree* t17 = new tree(n13, t16, t15);
        tree* t18 = new tree(n3, t17, t14);
        tree* t19 = new tree(n8);
        tree* tc = new tree (n1, t19, t18);
 cout << "\n the value of the third expression is: " <<eval (tc,r) << endl;
        delete t1;
/************************************************************************
let x = 12
        in let y = 30
                in x*y
                end
           +
           let y = 1
                in x - y
                end
        end
**********************************************************************/
     node*    n21 = new node ("dec","x");
     node*    n22 = new node ("num", 1);

     node*     n23 = new node ("dec","y");
     node*     n24 = new node ("num", 2);
     node*     n25 = new node ("op","+");
     node*     n26 = new node ("dec","x");
     node*     n27 = new node ("num", 3);
     node*    n28 = new node ("op","+");
     node*    n29 = new node ("op","+");
     node*     n210 = new node ("ide","x");
     node*     n211 = new node ("ide","y");
     node*     n212 = new node ("num", 1);
     node*     n213 = new node ("ide","x");

         tree*   t210 = new tree(n210);
         tree*   t211 = new tree(n211);
         tree*   t29 = new tree(n29, t210, t211);
         tree*   t212 = new tree(n212);
         tree*   t28 = new tree(n28, t29, t212);
         tree*   t27 = new tree(n27);
         tree*   t26 = new tree(n26, t27, t28);
         tree*   t213 = new tree(n213);
         tree*   t25 = new tree(n25, t26, t213);
         tree*   t24 = new tree(n24);
         tree*   t23 = new tree(n23, t24, t25);
         tree*   t22 = new tree(n22);

         tree*   t21 = new tree(n21, t22, t23);
 cout << "\n the value of the fourth expression is: " <<eval (t21,r) << endl;
        delete t21; 

/************************************************************************

 let x = 1
     in let y = 2
          in let x = 3
               in x + y + 1
             end
             +
             x
        end
   end

the result should be 7
**********************************************************************/


     node*      n31 = new node ("dec","x");
     node*      n32 = new node ("num", 1);
     node*      n33 = new node ("op","+");
     node*      n34 = new node ("dec","y");
     node*      n35 = new node ("num", 2);
     node*      n36 = new node ("dec","x");
     node*      n37 = new node ("num", 3);
     node*      n38 = new node ("op","+");
     node*      n39 = new node ("ide","x");
     node*      n310 = new node ("ide","y");
     node*      n311 = new node ("dec","y");
     node*      n312 = new node ("num", 4);
     node*      n313 = new node ("op","+");
     node*      n314 = new node ("op","*");
     node*      n315 = new node ("num", 2);
     node*      n316 = new node ("ide","y");
     node*      n317 = new node ("ide","x");

        tree*    t316 = new tree(n316);
        tree*    t315 = new tree(n315);
        tree*    t314 = new tree(n314, t315, t316);
        tree*    t317 = new tree(n317);
        tree*    t313 = new tree(n313, t314, t317);
        tree*    t312 = new tree(n312);
        tree*    t311 = new tree(n311, t312, t313);

        tree*    t310 = new tree(n310);
        tree*    t39 = new tree(n39);
        tree*    t38 = new tree(n38, t39, t310);
        tree*    t37 = new tree(n37);
        tree*    t36 = new tree(n36, t37, t38);
        tree*    t35 = new tree(n35);
        tree*    t34 = new tree(n34, t35, t36);

        tree*    t33 = new tree(n33, t34, t311);
        tree*    t32 = new tree(n32);
        tree*    t31 = new tree(n31, t32, t33);
 cout << "\n the value of the fifth expression is: " <<eval (t31,r) << endl;
                delete t31; 

/************************************************************************
let x = 1
     in let y = 2
          in let x = 3
               in x + y
             end
        end
        +
        let y = 4
          in 2 * y + x
        end
   end

the result should be 14
**********************************************************************/

}