blob: 00aa69a440f5e82ca780d965a520ef635efc418c (
plain)
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
|
-- File name User/specific.Abs.gf
abstract specUser = specific, genUser ** {
cat
AnswerReq ;
AnswerListReq ;
Request ;
fun
--- Answers in request list
vcr_add_rec_job_args4 : AnswerReq -> AnswerReq -> AnswerReq -> AnswerReq -> Action ;
vcr_add_rec_job_args3 : AnswerReq -> AnswerReq -> AnswerReq -> Action ;
vcr_add_rec_job_args2 : AnswerReq -> AnswerReq -> Action ;
vcr_add_rec_job_args1 : AnswerReq -> Action ;
---- vcr_add_rec_job_no_args : Action ; -- spela in! moved to specific
fun
--- Possible answers in request list
startTimeToStoreReq : StartTime -> AnswerReq ;
endTimeToStoreReq : EndTime -> AnswerReq ;
channelToStoreReq : ChToStore -> AnswerReq ;
weekdayToStoreReq : WdToStore -> AnswerReq ;
--- AnswerList
answerListReq4 : AnswerReq -> AnswerReq -> AnswerReq -> AnswerReq -> AnswerListReq ;
answerListReq3 : AnswerReq -> AnswerReq -> AnswerReq -> AnswerListReq ;
answerListReq2 : AnswerReq -> AnswerReq -> AnswerListReq ;
answerListReq : AnswerListReq -> DMove;
answerReq : AnswerReq -> Answer ;
--requestChannelsDMove : Request -> DMove;
requestChannels : Action ;
}
|
