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

Tree @master (Download .tar.gz)

alarm.bj @master — raw · history · blame 

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
// Description of a burglar alarm in beta-Juliet (v1.0 or v2.0)

event WindowSwitchBroken,
  causes Alarm;

event MotionDetectorTriggered,
  causes Alarm;

event Alarm,
  causes Alarm.