summaryrefslogtreecommitdiff
path: root/grammars/video/User
diff options
context:
space:
mode:
Diffstat (limited to 'grammars/video/User')
-rw-r--r--grammars/video/User/genUser.gf7
-rw-r--r--grammars/video/User/genUserProlog.gf8
-rw-r--r--grammars/video/User/genUserSwe.gf8
-rw-r--r--grammars/video/User/general.Prolog.gf6
-rw-r--r--grammars/video/User/specUser.gf36
-rw-r--r--grammars/video/User/specUserProlog.gf68
-rw-r--r--grammars/video/User/specUserSwe.gf37
-rw-r--r--grammars/video/User/specific.Prolog.gf68
8 files changed, 0 insertions, 238 deletions
diff --git a/grammars/video/User/genUser.gf b/grammars/video/User/genUser.gf
deleted file mode 100644
index 60afeafd6..000000000
--- a/grammars/video/User/genUser.gf
+++ /dev/null
@@ -1,7 +0,0 @@
--- File name User/general.Abs.gf
-
-abstract genUser = general ** {
-
-fun
-request : Action -> DMove ;
-} \ No newline at end of file
diff --git a/grammars/video/User/genUserProlog.gf b/grammars/video/User/genUserProlog.gf
deleted file mode 100644
index c1731a9ce..000000000
--- a/grammars/video/User/genUserProlog.gf
+++ /dev/null
@@ -1,8 +0,0 @@
--- File name User/general.Prolog.gf
---- the rest formarly known as User-general
--- is now considered shared-general
-
-concrete genUserProlog of genUser = generalProlog ** open prologResource in {
-lin
-request a = {s = app "request" a.s };
-}
diff --git a/grammars/video/User/genUserSwe.gf b/grammars/video/User/genUserSwe.gf
deleted file mode 100644
index d173d3711..000000000
--- a/grammars/video/User/genUserSwe.gf
+++ /dev/null
@@ -1,8 +0,0 @@
--- File name User/general.Swe.gf
-
-concrete genUserSwe of genUser = generalSwe ** {
-
-lin
-
-request a = {s = a.s };
-}
diff --git a/grammars/video/User/general.Prolog.gf b/grammars/video/User/general.Prolog.gf
deleted file mode 100644
index bb148a33e..000000000
--- a/grammars/video/User/general.Prolog.gf
+++ /dev/null
@@ -1,6 +0,0 @@
--- File name User/general.Prolog.gf
---- the rest formarly known as User-general
--- is now considered shared-general
-
-lin
-request a = {s = app "request" a.s }; \ No newline at end of file
diff --git a/grammars/video/User/specUser.gf b/grammars/video/User/specUser.gf
deleted file mode 100644
index 00aa69a44..000000000
--- a/grammars/video/User/specUser.gf
+++ /dev/null
@@ -1,36 +0,0 @@
--- 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 ;
-}
diff --git a/grammars/video/User/specUserProlog.gf b/grammars/video/User/specUserProlog.gf
deleted file mode 100644
index f586951ce..000000000
--- a/grammars/video/User/specUserProlog.gf
+++ /dev/null
@@ -1,68 +0,0 @@
--- 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"]} ;
-}
diff --git a/grammars/video/User/specUserSwe.gf b/grammars/video/User/specUserSwe.gf
deleted file mode 100644
index b5ac0aa86..000000000
--- a/grammars/video/User/specUserSwe.gf
+++ /dev/null
@@ -1,37 +0,0 @@
---# -path=.:..:../Shared:../Weekday:../Time:../Channel
-
--- File name User/specific.Swe.gf
-
-concrete specUserSwe of specUser = specificSwe, genUserSwe ** {
-
-flags startcat=DMove ;
-
-lin
---- Answers in request list
-vcr_add_rec_job_args4 chts wdts stts etts = {s =
- ["spela in"] ++ stts.s ++ "," ++ etts.s ++ "," ++ wdts.s ++ "," ++ chts.s };
-vcr_add_rec_job_args3 chts wdts stts = {s =
- ["spela in"] ++ chts.s ++ "," ++ wdts.s ++ "," ++ stts.s };
-vcr_add_rec_job_args2 chts wdts = {s =
- ["spela in"] ++ chts.s ++ "," ++ wdts.s };
-vcr_add_rec_job_args1 chts = {s = ["spela in"] ++ chts.s } ;
----- vcr_add_rec_job_no_args = {s = ["spela in"]} ;
-
-lin
-
---- 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 = stts.s ++ "," ++ etts.s ++ "," ++ wdts.s ++ "," ++ chts.s };
-answerListReq3 chts wdts stts = {s = chts.s ++ "," ++ wdts.s ++ "," ++ stts.s };
-answerListReq2 chts wdts = {s = chts.s ++ "," ++ wdts.s };
-answerListReq aL = {s = aL.s} ;
-
-answerReq v = {s= v.s} ;
-
-requestChannels = {s= (variants{["lista alla kanaler"];["vilka kanaler finns det"]})};
-}
diff --git a/grammars/video/User/specific.Prolog.gf b/grammars/video/User/specific.Prolog.gf
deleted file mode 100644
index fb3dd07a8..000000000
--- a/grammars/video/User/specific.Prolog.gf
+++ /dev/null
@@ -1,68 +0,0 @@
--- File name User/specific.Prolog.gf
-
-include
- specific.Abs.gf ;
- general.Prolog.gf ;
-
-
-
---- 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"} ;
-
-
-
---- 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"]} ;
generated by cgit v1.2.3 (git 2.39.1) at 2026-07-22 18:01:15 +0000