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

Tree @master (Download .tar.gz)

alarm4.bj @master — raw · history · blame 

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

// This is an alternate version of description #3, where the events have
// multi-symbol names, and which does not use any "caused after" clauses.

event Window Switch is Broken,
	causes Alarm when System was last Armed > System was last Disarmed;

event Motion Detector is Triggered,
	causes Alarm when System was last Armed > System was last Disarmed;

event System was last Armed;
event System was last Disarmed;

event Alarm,
	causes Alarm.