From 29d04d8a90e1db9c8cc040ae5d83bdf7c84359cc Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Tue, 16 May 2006 20:44:33 +0000
Subject: extended dialogue example

---
 examples/dialogue/Lights.gf | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 examples/dialogue/Lights.gf

(limited to 'examples/dialogue/Lights.gf')

diff --git a/examples/dialogue/Lights.gf b/examples/dialogue/Lights.gf
new file mode 100644
index 000000000..ef0f48449
--- /dev/null
+++ b/examples/dialogue/Lights.gf
@@ -0,0 +1,16 @@
+abstract Lights = Dialogue ** {
+
+  fun
+    Light        : Kind ;
+    Room         : Kind ;
+    SwitchOnIn   : Oper2 Light Room ;
+    SwitchOffIn  : Oper2 Light Room ;
+    SwitchOn     : Oper1 Light ;
+    SwitchOff    : Oper1 Light ;
+
+    LivingRoom   : Object Room ;
+    Kitchen      : Object Room ;
+
+    MorningMode  : Move ;
+
+}
-- 
cgit v1.2.3