summaryrefslogtreecommitdiff
path: root/grammars/video/System/genSystem.gf
diff options
context:
space:
mode:
Diffstat (limited to 'grammars/video/System/genSystem.gf')
-rw-r--r--grammars/video/System/genSystem.gf37
1 files changed, 37 insertions, 0 deletions
diff --git a/grammars/video/System/genSystem.gf b/grammars/video/System/genSystem.gf
new file mode 100644
index 000000000..d25fb0fee
--- /dev/null
+++ b/grammars/video/System/genSystem.gf
@@ -0,0 +1,37 @@
+-- general.Abs.gf
+
+abstract genSystem = general ** {
+
+
+cat
+Empty ; -- whatever this is good for?
+Question ;
+YNQuestion ;
+WHQuestion ;
+AltQuestion ;
+PropQ ;
+
+
+fun
+greet : DMove ; -- "Welcome"
+quit : DMove ; -- "Goodbye"
+
+ask : Question -> DMove ;
+
+--- Language
+change_language : Action ;
+language_alt : Question ;
+
+--- Actions
+actionQ : WHQuestion ;
+
+--- Questions
+whQuestion : WHQuestion -> Question ;
+altQuestion : YNQuestion -> YNQuestion -> AltQuestion ;
+
+--- Issue
+issue : Question -> PropQ ;
+
+--- Lists
+nil : Empty ;
+}