gitweb on Svarog
projekti pod git sistemom za održavanje verzija -- projects under the git version control systemdiff --git a/samples/sample0.wsl b/samples/sample0.wsl
--- a/samples/sample0.wsl
+++ b/samples/sample0.wsl
C:" This file automatically converted from microjava bytecode";
C:" This file automatically converted from microjava bytecode";
-C:" with mjc2wsl v 0.1";
+C:" with mjc2wsl v 0.1.2";
VAR < tempa := 0, tempb := 0, tempres :=0,
loc0 := 0, loc1 := 0, loc2 := 0, loc3 := 0,
estack := < >, t_e_m_p := 0 > :
SKIP;
ACTIONS A_S_start:
A_S_start == CALL a14 END
VAR < tempa := 0, tempb := 0, tempres :=0,
loc0 := 0, loc1 := 0, loc2 := 0, loc3 := 0,
estack := < >, t_e_m_p := 0 > :
SKIP;
ACTIONS A_S_start:
A_S_start == CALL a14 END
-a15 ==
+a14 ==
C:" enter not fully procesed yet";
C:" enter not fully procesed yet";
+CALL a17 END
+a17 ==
+estack := <0 > ++ estack;
CALL a18 END
a18 ==
CALL a18 END
a18 ==
-estack := <0 > ++ estack;
+loc0 := HEAD(estack); estack := TAIL(estack);
CALL a19 END
a19 ==
CALL a19 END
a19 ==
-loc0 := HEAD(estack); estack := TAIL(estack);
+estack := <loc0 > ++ estack;
CALL a20 END
a20 ==
CALL a20 END
a20 ==
-estack := <loc0 > ++ estack;
+estack := <5 > ++ estack;
CALL a21 END
a21 ==
CALL a21 END
a21 ==
-estack := <5 > ++ estack;
-CALL a22 END
-a22 ==
tempa := HEAD(estack); estack := TAIL(estack);
tempb := HEAD(estack); estack := TAIL(estack);
tempa := HEAD(estack); estack := TAIL(estack);
tempb := HEAD(estack); estack := TAIL(estack);
-IF tempb >= tempa THEN CALL a35 FI;
+IF tempb >= tempa THEN CALL a34 FI;
+CALL a24 END
+a24 ==
+estack := <loc0 > ++ estack;
CALL a25 END
a25 ==
CALL a25 END
a25 ==
-estack := <loc0 > ++ estack;
+estack := <0 > ++ estack;
CALL a26 END
a26 ==
CALL a26 END
a26 ==
-estack := <0 > ++ estack;
-CALL a27 END
-a27 ==
tempa := HEAD(estack); estack := TAIL(estack);
tempb := HEAD(estack); estack := TAIL(estack);
PRINT(tempb);
tempa := HEAD(estack); estack := TAIL(estack);
tempb := HEAD(estack); estack := TAIL(estack);
PRINT(tempb);
+CALL a27 END
+a27 ==
+estack := <loc0 > ++ estack;
CALL a28 END
a28 ==
CALL a28 END
a28 ==
-estack := <loc0 > ++ estack;
+estack := <1 > ++ estack;
CALL a29 END
a29 ==
CALL a29 END
a29 ==
-estack := <1 > ++ estack;
-CALL a30 END
-a30 ==
tempa := HEAD(estack); estack := TAIL(estack);
tempb := HEAD(estack); estack := TAIL(estack);
tempres := tempb + tempa;
estack := <tempres > ++ estack;
tempa := HEAD(estack); estack := TAIL(estack);
tempb := HEAD(estack); estack := TAIL(estack);
tempres := tempb + tempa;
estack := <tempres > ++ estack;
+CALL a30 END
+a30 ==
+loc0 := HEAD(estack); estack := TAIL(estack);
CALL a31 END
a31 ==
CALL a31 END
a31 ==
-loc0 := HEAD(estack); estack := TAIL(estack);
-CALL a32 END
-a32 ==
-CALL a20;
+CALL a19;
+CALL a34 END
+a34 ==
+C:" exit not fully procesed yet";
CALL a35 END
a35 ==
CALL a35 END
a35 ==
-C:" exit not fully procesed yet";
-CALL a36 END
-a36 ==
C:" return not fully procesed yet";
CALL Z;
SKIP END
C:" return not fully procesed yet";
CALL Z;
SKIP END