samples/sample0-h1.wsl

   1 C:" This file automatically converted from microjava bytecode";
   2 C:" with mjc2wsl v 0.1";
   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  ACTIONS A_S_start:
   7  A_S_start ==
   8
   9 C:" enter not fully procesed yet";
  10 estack := <0 > ++ estack;
  11 loc0 := HEAD(estack); estack := TAIL(estack);
  12 CALL a19 END
  13 a19 ==
  14 estack := <loc0 > ++ estack;
  15 estack := <5 > ++ estack;
  16 tempa := HEAD(estack); estack := TAIL(estack);
  17 tempb := HEAD(estack); estack := TAIL(estack);
  18 C:" IF CALL 13";
  19 IF tempb >= tempa THEN CALL a34 FI;
  20 estack := <loc0 > ++ estack;
  21 estack := <0 > ++ estack;
  22 tempa := HEAD(estack); estack := TAIL(estack);
  23 tempa := HEAD(estack); estack := TAIL(estack);
  24 PRINT(tempa);
  25 estack := <loc0 > ++ estack;
  26 estack := <1 > ++ estack;
  27 tempa := HEAD(estack); estack := TAIL(estack);
  28 tempb := HEAD(estack); estack := TAIL(estack);
  29 tempres := tempb + tempa;
  30 estack := <tempres > ++ estack;
  31 loc0 := HEAD(estack); estack := TAIL(estack);
  32 C:" CALL -12";
  33 CALL a19 END
  34 a34 ==
  35 C:" exit not fully procesed yet";
  36 C:" return not fully procesed yet";
  37 CALL Z
  38 END
  39 ENDACTIONS;
  40 SKIP
  41 ENDVAR