From ecc132dccfc7617ed413f21ee37539475081f8ec Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Thu, 16 Sep 2004 14:47:18 +0000
Subject: Karin C's example

---
 grammars/video/User/specUserProlog.gf | 68 +++++++++++++++++++++++++++++++++++
 1 file changed, 68 insertions(+)
 create mode 100644 grammars/video/User/specUserProlog.gf

(limited to 'grammars/video/User/specUserProlog.gf')

diff --git a/grammars/video/User/specUserProlog.gf b/grammars/video/User/specUserProlog.gf
new file mode 100644
index 000000000..f586951ce
--- /dev/null
+++ b/grammars/video/User/specUserProlog.gf
@@ -0,0 +1,68 @@
+-- File name User/specific.Prolog.gf
+
+concrete specUserProlog of specUser = genUserProlog, specificProlog **
+  open prologResource in {
+
+
+
+--- Answers in request list
+lin
+vcr_add_rec_job_args4 chst wdts stts etts = 
+			{s = 
+			"add_rec_job" ++ "," ++ 
+			app "answer" chst.s ++ "," ++ 
+			app "answer" wdts.s ++ "," ++ 
+			app "answer" stts.s ++ "," ++ 
+			"answer" ++ "(" ++ etts.s } ; 
+
+vcr_add_rec_job_args3 chst wdts stts = 
+			{s = 
+			"add_rec_job" ++ "," ++ 
+			app "answer" chst.s ++ "," ++ 
+			app "answer" wdts.s ++ "," ++ 
+			"answer" ++ "(" ++ stts.s} ;
+
+vcr_add_rec_job_args2 chst wdts = {s = 
+			"add_rec_job" ++ "," ++ 
+			app "answer" chst.s ++ "," ++ 
+			"answer" ++ "(" ++ wdts.s } ;
+
+vcr_add_rec_job_args1 chst = {s = 
+			"add_rec_job" ++ "," ++ 	
+			"answer" ++ "(" ++ chst.s } ;
+
+---- vcr_add_rec_job_no_args = {s = "add_rec_job"} ; -- moved to specific
+
+
+
+--- Possible answers in request list
+startTimeToStoreReq v = {s= v.s} ; 
+endTimeToStoreReq v = {s= v.s} ;
+channelToStoreReq v = {s= v.s} ;
+weekdayToStoreReq v = {s= v.s} ;
+
+--- AnswerList
+answerListReq4 chts wdts stts etts = 
+			{ s =
+			app "answer" chts.s ++ "," ++ 
+			app "answer" wdts.s ++ "," ++ 
+			app "answer" stts.s ++ "," ++ 
+			app "answer" etts.s } ; 
+
+answerListReq3 chts wdts stts = 
+			{ s =
+			app "answer" chts.s ++ "," ++ 
+			app "answer" wdts.s ++ "," ++ 
+			app "answer" stts.s} ;
+
+answerListReq2  chts wdts = 
+			{ s =
+			app "answer" chts.s ++ "," ++ 	
+			app "answer" wdts.s } ;
+
+answerListReq aL = {s = aL.s} ;
+
+answerReq v = {s= v.s} ;
+
+requestChannels = {s = ["list_channels"]} ;
+}
-- 
cgit v1.2.3