samples/sample0.wsl

   1 C:" This file automatically converted from microjava bytecode";
   2 C:" with mjc2wsl v 0.1.2";
   3 VAR < tempa := 0, tempb := 0, tempres :=0,
   4 loc0 := 0, loc1 := 0, loc2 := 0, loc3 := 0,
   5         estack := < >, t_e_m_p := 0 > :
   6 SKIP;
   7  ACTIONS A_S_start:
   8  A_S_start == CALL a14 END
   9 a14 ==
  10 C:" enter not fully procesed yet";
  11 CALL a17 END
  12 a17 ==
  13 estack := <0 > ++ estack;
  14 CALL a18 END
  15 a18 ==
  16 loc0 := HEAD(estack); estack := TAIL(estack);
  17 CALL a19 END
  18 a19 ==
  19 estack := <loc0 > ++ estack;
  20 CALL a20 END
  21 a20 ==
  22 estack := <5 > ++ estack;
  23 CALL a21 END
  24 a21 ==
  25 tempa := HEAD(estack); estack := TAIL(estack);
  26 tempb := HEAD(estack); estack := TAIL(estack);
  27 IF tempb >= tempa THEN CALL a34 FI;
  28 CALL a24 END
  29 a24 ==
  30 estack := <loc0 > ++ estack;
  31 CALL a25 END
  32 a25 ==
  33 estack := <0 > ++ estack;
  34 CALL a26 END
  35 a26 ==
  36 tempa := HEAD(estack); estack := TAIL(estack);
  37 tempb := HEAD(estack); estack := TAIL(estack);
  38 PRINT(tempb);
  39 CALL a27 END
  40 a27 ==
  41 estack := <loc0 > ++ estack;
  42 CALL a28 END
  43 a28 ==
  44 estack := <1 > ++ estack;
  45 CALL a29 END
  46 a29 ==
  47 tempa := HEAD(estack); estack := TAIL(estack);
  48 tempb := HEAD(estack); estack := TAIL(estack);
  49 tempres := tempb + tempa;
  50 estack := <tempres > ++ estack;
  51 CALL a30 END
  52 a30 ==
  53 loc0 := HEAD(estack); estack := TAIL(estack);
  54 CALL a31 END
  55 a31 ==
  56 CALL a19;
  57 CALL a34 END
  58 a34 ==
  59 C:" exit not fully procesed yet";
  60 CALL a35 END
  61 a35 ==
  62 C:" return not fully procesed yet";
  63 CALL Z;
  64 SKIP END
  65 ENDACTIONS;
  66
  67 SKIP
  68 ENDVAR