gitweb on Svarog

projekti pod git sistemom za održavanje verzija -- projects under the git version control system
ant - recording logs of testing, plus prev test
[mjc2wsl.git] / src-wsl / transf-exp.wsl
index 8bc0357..aeb3b32 100755 (executable)
@@ -1,5 +1,5 @@
 C:"
 C:"
-Copyright (C) 2012 Doni Pracner http://perun.dmi.rs/pracner
+Copyright (C) 2012,2014 Doni Pracner http://perun.dmi.rs/pracner
 
 This program is free software; you can redistribute it
 and/or modify it under the terms of the GNU General Public
 
 This program is free software; you can redistribute it
 and/or modify it under the terms of the GNU General Public
@@ -19,8 +19,14 @@ License along with this program. If not, see
 ==========================================================";
 
 C:"Automatic transformation tool for simplification of WSL";
 ==========================================================";
 
 C:"Automatic transformation tool for simplification of WSL";
-C:"code automaticaly translated from assembly using asm2wsl.";
-C:"a simple version";
+C:"code automaticaly translated from a low level language.";
+C:"such as assembly or bytecode generated by our translators.";
+
+C:"experimental version";
+
+C:"set the following so that Action Systems are not automaticaly treated as regular";
+Assume_A_S_Regular := 0;
+
 MW_PROC @Process_Prog() ==
        FOREACH Statement DO
                IF @Trans?(TR_Push_Pop) THEN
 MW_PROC @Process_Prog() ==
        FOREACH Statement DO
                IF @Trans?(TR_Push_Pop) THEN
@@ -31,6 +37,7 @@ MW_PROC @Process_Prog() ==
        FOREACH Statement DO
                IF @ST(@I) = T_A_S THEN 
                        C:"don't need to test for this, works for T_A_S";
        FOREACH Statement DO
                IF @ST(@I) = T_A_S THEN 
                        C:"don't need to test for this, works for T_A_S";
+                       @Trans(TR_Simplify_Action_System, "");
                        IF @Trans?(TR_Collapse_Action_System) THEN
                                @Trans(TR_Collapse_Action_System, "");
                        FI;
                        IF @Trans?(TR_Collapse_Action_System) THEN
                                @Trans(TR_Collapse_Action_System, "");
                        FI;
@@ -40,64 +47,109 @@ MW_PROC @Process_Prog() ==
                        @Delete  
                FI
        OD;
                        @Delete  
                FI
        OD;
-       FOREACH Statement DO
-               IF @Trans?(TR_Flag_Removal) THEN
-                       @Trans(TR_Flag_Removal, "");
-               FI
-       OD;
+
        C:"remove all the comments ";
        FOREACH Statement DO
        IF @ST(@I) = T_Comment THEN 
                        @Delete
        FI
        OD;
        C:"remove all the comments ";
        FOREACH Statement DO
        IF @ST(@I) = T_Comment THEN 
                        @Delete
        FI
        OD;
+       FOREACH Statement DO
+             IF @Trans?(TR_Simplify_Item) THEN
+               @Trans(TR_Simplify_Item,"")
+             FI
+       OD;
+
        C:"Convert DO loops into WHILE loops";
        FOREACH Statement DO
                IF @Trans?(TR_Floop_To_While) THEN
                        @Trans(TR_Floop_To_While, "");
                FI
        OD;
        C:"Convert DO loops into WHILE loops";
        FOREACH Statement DO
                IF @Trans?(TR_Floop_To_While) THEN
                        @Trans(TR_Floop_To_While, "");
                FI
        OD;
+       FOREACH Statement DO
+               IF @Trans?(TR_Flag_Removal) THEN
+                       @Trans(TR_Flag_Removal, "");
+               FI
+       OD;
        C:"Go back to the start, and remove redundant";
        @GOTO(< >);
        @Trans(TR_Delete_All_Redundant, "");
        SKIP
 END;
 
        C:"Go back to the start, and remove redundant";
        @GOTO(< >);
        @Trans(TR_Delete_All_Redundant, "");
        SKIP
 END;
 
-BEGIN
-VAR< prog := < >, inifilename := "transf.ini", 
-       filename:="", file := "", inifile:= ""
->:
-IF @File_Exists?(inifilename) THEN
-       inifile := @Open_Input_File(inifilename);
-       filename := @Read_Line(inifile);
-       WHILE NOT @EOF?(filename) DO
+MW_PROC @Prog_Stat_Comp(Pro, After VAR)==
+  VAR < ma := 0, mb :=1 > :
+  ma := @McCabe(Pro);
+  mb := @McCabe(After);
+  PRINT ("McCabe ", ma, "  ", mb, "  ",(mb-ma));
+  ma := @Stat_Count(Pro);
+  mb := @Stat_Count(After);
+  PRINT ("Statem ", ma, "  ",mb, "  ",(mb-ma));
+  ma := @CFDF_Metric(Pro);
+  mb := @CFDF_Metric(After);
+  PRINT ("CF/DF  ", ma,"  ", mb,"  ", (mb-ma));
+  ma := @Total_Size(Pro);
+  mb := @Total_Size(After);
+  PRINT ("Size   ", ma,"  ", mb, "  ",(mb-ma));
+  ma := @Struct_Metric(Pro);
+  mb := @Struct_Metric(After);
+  PRINT ("Struct ", ma, "  ",mb, "  ",(mb-ma));
+  SKIP
+  ENDVAR
+END;
+
+MW_PROC @Get_New_Name(VAR str) == 
+       IF @Ends_With?(str, ".wsl") THEN
+               str := SUBSTR(str, 0, SLENGTH(str)-4)
+       FI;
+       str := str ++ "_t.wsl"
+END;
+
+MW_PROC @Process_File(filename) ==
                IF @File_Exists?(filename) THEN
                IF @File_Exists?(filename) THEN
-                       PRINT("");
                        @New_Program(@Parse_File(filename, T_Statements));
                        PRINT("Processing: ", filename);
                        prog := @Program;
                        @Process_Prog();
                        @New_Program(@Parse_File(filename, T_Statements));
                        PRINT("Processing: ", filename);
                        prog := @Program;
                        @Process_Prog();
-                       Get_New_Name(VAR filename);
+                       @Get_New_Name(VAR filename);
                        @PP_Item(@Program, 80, filename);
                        @PP_Item(@Program, 80, filename);
-                       Prog_Stat(prog);
-                       PRINT("");
-                       PRINT("After Conversion");
-                       Prog_Stat(@Program)
-               FI;
-               filename := @Read_Line(inifile)
-       OD;
-       @Close_Input_Port(inifile);
+                       PRINT("<Metrics>");
+                       PRINT(filename);
+                       @Prog_Stat_Comp(prog, @Program);
+                       PRINT("</Metrics>")
+               ELSE
+                       PRINT("ERROR: File ",filename," not found");
+               FI
+END;
+
+BEGIN
+VAR< prog := < >, inifilename := "transf.ini", 
+       filename:="", file := "", inifile:= "",
+       Argv := @Argv 
+>:
+C:"First one is the script name that is being executed";
+Argv := TAIL(Argv);
+
+IF Argv = < > THEN 
+               PRINT("no arguments passed; using ",inifilename);
+               IF @File_Exists?(inifilename) THEN
+                       inifile := @Open_Input_File(inifilename);
+                       filename := @Read_Line(inifile);
+                       WHILE NOT @EOF?(filename) DO
+                               PRINT("");
+                               @Process_File(filename);
+                               filename := @Read_Line(inifile)
+                       OD;
+                       @Close_Input_Port(inifile);
+               ELSE
+                       PRINT("ini file (",inifilename,") not found.",
+                       " it should contain a list of filenames to be converted");
+                       PRINT("OR you can give command line arguments to be processed");
+               FI
 ELSE
 ELSE
-    PRINT("ini file (",inifilename,") not found.",
-    " it should contain a list of filenames to be converted");
-    PRINT("you can input a filename now:");
-    filename := @Read_Line(Standard_Input_Port);
-    IF @File_Exists?(filename) THEN
-       @New_Program(@Parse_File(filename, T_Statements));
-       @Process_Prog();
-       Get_New_Name(VAR filename);
-       @PP_Item(@Program, 80, filename)
-    FI;
+       FOR arg IN Argv DO
+               @Process_File(arg);
+       OD
 FI
 ENDVAR
 WHERE
 FI
 ENDVAR
 WHERE
@@ -111,13 +163,6 @@ PROC Prog_Stat(Pro VAR)==
   SKIP
 END
 
   SKIP
 END
 
-PROC Get_New_Name(VAR str) == 
-       IF @Ends_With?(str, ".wsl") THEN
-               str := SUBSTR(str, 0, SLENGTH(str)-4)
-       FI;
-       str := str ++ "_t.wsl"
-END
-
 PROC Get_Before_Name(VAR str) == 
        IF @Ends_With?(str, ".wsl") THEN
                str := SUBSTR(str, 0, SLENGTH(str)-4)
 PROC Get_Before_Name(VAR str) == 
        IF @Ends_With?(str, ".wsl") THEN
                str := SUBSTR(str, 0, SLENGTH(str)-4)
Svarog.pmf.uns.ac.rs/gitweb maintanance Doni Pracner