1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
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"]} ;
}
|
