summaryrefslogtreecommitdiff
path: root/grammars/video/User/specUserProlog.gf
diff options
context:
space:
mode:
authoraarne <unknown>2004-09-16 14:47:18 +0000
committeraarne <unknown>2004-09-16 14:47:18 +0000
commitecc132dccfc7617ed413f21ee37539475081f8ec (patch)
treef6fe589eb3881e36b9a94d36aaba49fe4d4087e4 /grammars/video/User/specUserProlog.gf
parent7769d0fb00a34fb4499017a4aec01a59246b69a1 (diff)
Karin C's example
Diffstat (limited to 'grammars/video/User/specUserProlog.gf')
-rw-r--r--grammars/video/User/specUserProlog.gf68
1 files changed, 68 insertions, 0 deletions
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"]} ;
+}