From ecc132dccfc7617ed413f21ee37539475081f8ec Mon Sep 17 00:00:00 2001 From: aarne Date: Thu, 16 Sep 2004 14:47:18 +0000 Subject: Karin C's example --- grammars/video/System/genSystem.gf | 37 +++++++++++++++++++++++++++++++++++++ 1 file changed, 37 insertions(+) create mode 100644 grammars/video/System/genSystem.gf (limited to 'grammars/video/System/genSystem.gf') 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 ; +} -- cgit v1.2.3