summaryrefslogtreecommitdiff
path: root/grammars/video/System/specSystem.gf
diff options
context:
space:
mode:
authorbjorn <bjorn@bringert.net>2008-08-14 07:58:04 +0000
committerbjorn <bjorn@bringert.net>2008-08-14 07:58:04 +0000
commit77270a010a0b453e9a84c3e62db7cfd22e49d55d (patch)
treed17682a545d6ac1e68ff49b8c20964182794baf7 /grammars/video/System/specSystem.gf
parent0bbb906141711767678f82b15a7b43e65e0b5bd6 (diff)
Remove the grammars directory. It was full of old grammars that don't compile these days. See the old source distributions if you want them.
Diffstat (limited to 'grammars/video/System/specSystem.gf')
-rw-r--r--grammars/video/System/specSystem.gf59
1 files changed, 0 insertions, 59 deletions
diff --git a/grammars/video/System/specSystem.gf b/grammars/video/System/specSystem.gf
deleted file mode 100644
index 0b5f6957e..000000000
--- a/grammars/video/System/specSystem.gf
+++ /dev/null
@@ -1,59 +0,0 @@
--- File name System/specific.Abs.gf
-
-abstract specSystem = specific, genSystem ** {
-
-cat
-StartTimeQ ;
-EndTimeQ ;
-ChToStoreQ ;
-WdToStoreQ ;
-
-fun
-confirmRecJob : Action -> DMove;
----- vcr_add_rec_job_no_args : Action ; -- spela in! moved to specific
-
-q_lambdaActionDel : DelAction -> WHQuestion ;
-
--- Time in question
-startTimeToStoreQ : Time -> StartTimeQ ;
-endTimeToStoreQ : Time -> EndTimeQ ;
-
---- Channel and Weekday in question
-channelToStoreQ : Channel -> ChToStoreQ ;
-weekdayToStoreQ : Weekday -> WdToStoreQ ;
-
---- WHQuestions --- Lambdas
-q_lambdaStartTime : StartTime -> WHQuestion ;
-q_lambdaEndTime : EndTime -> WHQuestion ;
-q_lambdaWeekday : WdToStore -> WHQuestion ;
-q_lambdaChannel : ChToStore -> WHQuestion ;
-
-
---- Constructions for ynquestions
-ynQuST : StartTimeQ -> YNQuestion ;
-ynQuET : EndTimeQ -> YNQuestion ;
-ynQuCH : ChToStoreQ -> YNQuestion ;
-ynQuWD: WdToStoreQ -> YNQuestion ;
-
-
---- Props
-startTimeToStoreProp : StartTime -> Prop ;
-endTimeToStoreProp : EndTime -> Prop ;
-channelToStoreProp : ChToStore -> Prop ;
-weekdayToStoreProp : WdToStore -> Prop ;
-
-
-cat
-ChannelList ;
-Channels ;
-ChannelAction ;
-
-fun
-channelListing : Channels -> ChannelList ;
-channels1 : Channel -> Channels ;
-channels2 : Channel -> Channels -> Channel ;
-channelListAction : ChannelList -> ChannelAction ;
---channelListAction : ChannelList -> DMove ;
-channelListActionDMove : ChannelAction -> DMove ;
-
-}