git @ Cat's Eye Technologies beta-Juliet / master eg / alarm5.bj
master

Tree @master (Download .tar.gz)

alarm5.bj @master — raw · history · blame 

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
// Description #5 of a burglar alarm in beta-Juliet (v2.0 only.)

// Mainly to check that we can have an event that both causes
// another event and is caused by yet another event.
// (In this case, "Window Switch is Broken".)

event Window Switch is Broken,
        causes Warning Light Lit;

event Window Switch is,
        causes No That Is Wrong;

event Window Switch is Broken Something,
        causes No That Is Wrong;

event Alarm,
        caused by Window Switch is Broken,
        causes Alarm.