diff options
| author | aarne <unknown> | 2004-09-16 14:47:18 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-09-16 14:47:18 +0000 |
| commit | ecc132dccfc7617ed413f21ee37539475081f8ec (patch) | |
| tree | f6fe589eb3881e36b9a94d36aaba49fe4d4087e4 /grammars/video/User/specUserProlog.gf | |
| parent | 7769d0fb00a34fb4499017a4aec01a59246b69a1 (diff) | |
Karin C's example
Diffstat (limited to 'grammars/video/User/specUserProlog.gf')
| -rw-r--r-- | grammars/video/User/specUserProlog.gf | 68 |
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"]} ; +} |
