extended dialogue example

1 files changed, 16 insertions, 0 deletions

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 ;
+
+}