From a26684a417729699e95b335a3d00798237ffba9b Mon Sep 17 00:00:00 2001 From: Galin Simeonov Date: Fri, 4 Jun 2021 16:42:52 +0300 Subject: added the if statement --- tests/.test5.swp | Bin 12288 -> 0 bytes tests/.test6.swp | Bin 0 -> 12288 bytes tests/test4 | 4 +++- tests/test5 | 7 +++++-- tests/test6 | 26 ++++++++++++++++++++++++++ 5 files changed, 34 insertions(+), 3 deletions(-) delete mode 100644 tests/.test5.swp create mode 100644 tests/.test6.swp create mode 100644 tests/test6 (limited to 'tests') diff --git a/tests/.test5.swp b/tests/.test5.swp deleted file mode 100644 index 6e03612..0000000 Binary files a/tests/.test5.swp and /dev/null differ diff --git a/tests/.test6.swp b/tests/.test6.swp new file mode 100644 index 0000000..dc85c11 Binary files /dev/null and b/tests/.test6.swp differ diff --git a/tests/test4 b/tests/test4 index 579e54d..4610e2c 100644 --- a/tests/test4 +++ b/tests/test4 @@ -19,6 +19,8 @@ machine temp_switch starting on A; transitions [ - from ( !A && !light_on ) to B on event A execute kek; + from A to B on event A + if !light_bulb.light_on + execute kek; ]; ]; diff --git a/tests/test5 b/tests/test5 index fc9ff67..fb72d41 100644 --- a/tests/test5 +++ b/tests/test5 @@ -5,7 +5,10 @@ machine A starting on A; transitions [ - from A to A on event A given (B.C && !C.D) - execute eke; + from A to A on event A + if (A.A && !A.A) + execute eke; + else + execute asdf; ]; ]; diff --git a/tests/test6 b/tests/test6 new file mode 100644 index 0000000..3fed6d3 --- /dev/null +++ b/tests/test6 @@ -0,0 +1,26 @@ +machine light_bulb +[ + states [ light_on , light_off ]; + events [ turn_on , turn_off , switch ]; + starting on light_off; + transitions + [ + from light_on to light_off on event turn_off execute kek2 | kek; + from light_on to light_off on event switch; + from light_off to light_on on event turn_on; + from light_off to light_on on event switch execute kek; + + ]; +]; +machine temp_switch +[ + states [A,B]; + events [A]; + starting on A; + transitions + [ + from A to B on event A granted !light_bulb.light_on + if !light_bulb.light_on + execute kek; + ]; +]; -- cgit v1.2.3