X-Git-Url: http://svarog.pmf.uns.ac.rs/gitweb/?p=mjc2wsl.git;a=blobdiff_plain;f=samples%2Fsample0.wsl;h=cc20ab3e9b05c75dd56df37cb07734eefa4c1841;hp=905cb16ecbae3f0bc5b669bc63bfca1c193a3959;hb=5c5334e8a486165126a1e1f2f1afc4a3501e380b;hpb=08dc19331d758604747a51cdef7318ca34e9175e;ds=sidebyside diff --git a/samples/sample0.wsl b/samples/sample0.wsl index 905cb16..cc20ab3 100644 --- a/samples/sample0.wsl +++ b/samples/sample0.wsl @@ -3,39 +3,66 @@ C:" with mjc2wsl v 0.1"; 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 == - + A_S_start == CALL a14 END +a15 == C:" enter not fully procesed yet"; +CALL a18 END +a18 == estack := <0 > ++ estack; -loc0 := HEAD(estack); estack := TAIL(estack); CALL a19 END -a19 == +a19 == +loc0 := HEAD(estack); estack := TAIL(estack); +CALL a20 END +a20 == estack := ++ estack; +CALL a21 END +a21 == estack := <5 > ++ estack; +CALL a22 END +a22 == tempa := HEAD(estack); estack := TAIL(estack); tempb := HEAD(estack); estack := TAIL(estack); -C:" IF CALL 13"; -IF tempb >= tempa THEN CALL a34 FI; +IF tempb >= tempa THEN CALL a35 FI; +CALL a25 END +a25 == estack := ++ estack; +CALL a26 END +a26 == estack := <0 > ++ estack; +CALL a27 END +a27 == tempa := HEAD(estack); estack := TAIL(estack); -tempa := HEAD(estack); estack := TAIL(estack); -PRINT(tempa); +tempb := HEAD(estack); estack := TAIL(estack); +PRINT(tempb); +CALL a28 END +a28 == estack := ++ estack; +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 := ++ estack; +CALL a31 END +a31 == loc0 := HEAD(estack); estack := TAIL(estack); -C:" CALL -12"; -CALL a19 END -a34 == +CALL a32 END +a32 == +CALL a20; +CALL a35 END +a35 == C:" exit not fully procesed yet"; +CALL a36 END +a36 == C:" return not fully procesed yet"; -CALL Z -END +CALL Z; +SKIP END ENDACTIONS; + SKIP ENDVAR