summaryrefslogtreecommitdiff
path: root/grammars/video/System
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
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')
-rw-r--r--grammars/video/System/genSystem.gf37
-rw-r--r--grammars/video/System/genSystemProlog.gf32
-rw-r--r--grammars/video/System/genSystemSwe.gf32
-rw-r--r--grammars/video/System/general.Prolog.gf32
-rw-r--r--grammars/video/System/re2specific.Swe.gf60
-rw-r--r--grammars/video/System/specSystem.gf59
-rw-r--r--grammars/video/System/specSystemProlog.gf45
-rw-r--r--grammars/video/System/specSystemSwe.gf49
-rw-r--r--grammars/video/System/specific.Prolog.gf46
9 files changed, 0 insertions, 392 deletions
diff --git a/grammars/video/System/genSystem.gf b/grammars/video/System/genSystem.gf
deleted file mode 100644
index d25fb0fee..000000000
--- a/grammars/video/System/genSystem.gf
+++ /dev/null
@@ -1,37 +0,0 @@
--- general.Abs.gf
-
-abstract genSystem = general ** {
-
-
-cat
-Empty ; -- whatever this is good for?
-Question ;
-YNQuestion ;
-WHQuestion ;
-AltQuestion ;
-PropQ ;
-
-
-fun
-greet : DMove ; -- "Welcome"
-quit : DMove ; -- "Goodbye"
-
-ask : Question -> DMove ;
-
---- Language
-change_language : Action ;
-language_alt : Question ;
-
---- Actions
-actionQ : WHQuestion ;
-
---- Questions
-whQuestion : WHQuestion -> Question ;
-altQuestion : YNQuestion -> YNQuestion -> AltQuestion ;
-
---- Issue
-issue : Question -> PropQ ;
-
---- Lists
-nil : Empty ;
-}
diff --git a/grammars/video/System/genSystemProlog.gf b/grammars/video/System/genSystemProlog.gf
deleted file mode 100644
index 511c80b7e..000000000
--- a/grammars/video/System/genSystemProlog.gf
+++ /dev/null
@@ -1,32 +0,0 @@
--- File name system.Prolog.gf
-
-concrete genSystemProlog of genSystem = generalProlog **
- open prologResource in {
-
-
-pattern
-greet = "greet" ;
-quit = "quit" ;
-
-lin
-ask q = {s = app "ask" q.s} ;
-
-lin
----Language
-change_language = {s = "change_language"} ;
-language_alt = {s = "[" ++ "language" ++ "(" ++ "X" ++ ")" ++ "]" } ; -- hack!
-
----Actions
-pattern
-actionQ = "action" ;
-
-lin
-whQuestion f = {s = "X" ++ "^" ++ app f.s "X"} ;
-altQuestion a1 a2 = {s = a1.s ++ a2.s};
-
---- Issue
-issue i = {s = app "issue" i.s} ;
-
-pattern
-nil = "[]" ;
-}
diff --git a/grammars/video/System/genSystemSwe.gf b/grammars/video/System/genSystemSwe.gf
deleted file mode 100644
index 8b9a93b0d..000000000
--- a/grammars/video/System/genSystemSwe.gf
+++ /dev/null
@@ -1,32 +0,0 @@
--- File name System/general.Swe.gf
-
-concrete genSystemSwe of genSystem = generalSwe ** open icm100ResSwe in {
-
----- flags lexer=codelit ; unlexer=codelit ; startcat=DMoveList ;
-
-pattern
-greet = ["Välkommen till videobandspelaren"] ;
-quit = "hejdå" ;
-
-lin
-ask a = {s = a.s} ;
-
-lin
----Language
-change_language = {s = "byt" ++ "språk"} ;
-language_alt = {s = ["vill du använda svenska eller engelska"]} ;
-
----Actions
-lin
-actionQ = {s = "Vad" ++ "kan" ++ "jag" ++ "stå" ++ "till" ++ "tjänst" ++ "med"} ;
-
-lin
-whQuestion w = {s = w.s };
-altQuestion a1 a2 = {s = "vill" ++ "du" ++ "spela" ++ "in" ++ a1.s ++ "eller" ++ a2.s};
-
---- Issue
-issue i = {s = i.s} ;
-
-pattern
-nil = "[]" ;
-} \ No newline at end of file
diff --git a/grammars/video/System/general.Prolog.gf b/grammars/video/System/general.Prolog.gf
deleted file mode 100644
index 942d43e9c..000000000
--- a/grammars/video/System/general.Prolog.gf
+++ /dev/null
@@ -1,32 +0,0 @@
--- File name system.Prolog.gf
-
-include
- general.Abs.gf ;
- ../icm100.Prolog.gf ;
-
-
-pattern
-greet = "greet" ;
-quit = "quit" ;
-
-lin
-ask q = {s = app "ask" q.s} ;
-
-lin
----Language
-change_language = {s = "change_language"} ;
-language_alt = {s = "[" ++ "language" ++ "(" ++ "X" ++ ")" ++ "]" } ; -- hack!
-
----Actions
-pattern
-actionQ = "action" ;
-
-lin
-whQuestion f = {s = "X" ++ "^" ++ app f.s "X"} ;
-altQuestion a1 a2 = {s = a1.s ++ a2.s};
-
---- Issue
-issue i = {s = app "issue" i.s} ;
-
-pattern
-nil = "[]" ; \ No newline at end of file
diff --git a/grammars/video/System/re2specific.Swe.gf b/grammars/video/System/re2specific.Swe.gf
deleted file mode 100644
index 664f3ef95..000000000
--- a/grammars/video/System/re2specific.Swe.gf
+++ /dev/null
@@ -1,60 +0,0 @@
--- File name System/specific.Swe.gf
-
-include
- specific.Abs.gf ;
-
-lin
--- Confirm recording job
-confirmRecJob act = {s = ["bekräftar"] ++ act.s } ;
--- programmet är inspelat -- spela in
--- inspelningen är tillagd -- lägga till
--- programmet är borttaget -- ta bort
-
-q_lambdaActionDel dact = {s = ["vilket programnummer vill du ta bort"]};
-
-
-
-vcr_add_rec_job_no_args = {s = ["spela in"]} ; -- hack!!!
-
-
-
---- Time in question
-startTimeToStoreQ st = {s = "från" ++ st.s } ;
--- prep Time
-endTimeToStoreQ et = {s = "till" ++ et.s } ;
--- prep Time
-
---- Channel and Weekday in question
-channelToStoreQ ch = {s = "på" ++ ch.s } ;
--- prep Channel
-weekdayToStoreQ wd = {s = "på" ++ wd.s } ;
---prep Weekday
-
-
---- WHQuestions --- Lambdas
-q_lambdaWeekday wdts = {s = ["vilken dag vill du spela in på"]};
-q_lambdaChannel chts = {s = ["vilken kanal vill du spela in från"]};
-q_lambdaStartTime stts = {s = ["vilken tid vill du påbörja inspelningen"]};
-q_lambdaEndTime etts = {s = ["vilken tid vill du avsluta inspelningen"]};
-
-
-
---- Constructions for ynquestions
-lin
-ynQuST y = {s = y.s} ;
-ynQuET y = {s = y.s} ;
-ynQuCH y = {s = y.s} ;
-ynQuWD y = {s = y.s} ;
-
-lin
---- Props
-startTimeToStoreProp st = {s = st.s } ;
-endTimeToStoreProp et = {s = et.s } ;
-channelToStoreProp chst = {s = chst.s } ;
-weekdayToStoreProp wdts = {s = wdts.s } ;
-
-channelListing chs = {s = chs.s } ;
-channels1 ch = {s = ch.s } ;
-channels2 ch chs = {s = ch.s ++ "," ++ chs.s } ;
-channelListAction ch = {s = ch.s } ;
-channelListActionDMove ch = {s = ch.s } ; \ No newline at end of file
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 ;
-
-}
diff --git a/grammars/video/System/specSystemProlog.gf b/grammars/video/System/specSystemProlog.gf
deleted file mode 100644
index 6ee65c4e3..000000000
--- a/grammars/video/System/specSystemProlog.gf
+++ /dev/null
@@ -1,45 +0,0 @@
--- File name System/specific.Prolog.gf
-
-concrete specSystemProlog of specSystem = genSystemProlog, specificProlog **
- open prologResource in {
-
-lin
--- Confirm recording job
-confirmRecJob act = {s = app "confirm" act.s } ;
-
-q_lambdaActionDel dact = {s = ["rec_job_to_delete"]} ;
-
---- Time in question
-startTimeToStoreQ st = {s = app "start_time_to_store" st.s } ;
-endTimeToStoreQ et = {s = app "stop_time_to_store" et.s } ;
-
---- Channel and Weekday in question
-channelToStoreQ ch = {s = app "channel_to_store" ch.s } ;
-weekdayToStoreQ wd = {s = app "weekday_to_store" wd.s } ;
-
---- WHQuestions --- Lambdas
-q_lambdaWeekday wdts = {s = ["weekday_to_store"]} ;
-q_lambdaChannel chts = {s = ["channel_to_store"]} ;
-q_lambdaStartTime stts = {s = ["start_time_to_store"]} ;
-q_lambdaEndTime etts = {s = ["stop_time_to_store"]} ;
-
-
---- Constructions for ynquestions
-lin
-ynQuST y = {s = y.s} ;
-ynQuET y = {s = y.s} ;
-ynQuCH y = {s = y.s} ;
-ynQuWD y = {s = y.s} ;
-
---- Props
-startTimeToStoreProp st = {s = st.s } ;
-endTimeToStoreProp et = {s = et.s } ;
-channelToStoreProp chst = {s = chst.s } ;
-weekdayToStoreProp wdts = {s = wdts.s } ;
-
-channelListing chs = {s = chs.s } ;
-channels1 ch = {s = ch.s } ;
-channels2 ch chs = {s = ch.s ++ "," ++ chs.s } ;
-channelListAction ch = {s = ch.s } ;
-channelListActionDMove ch = {s = ch.s } ;
-} \ No newline at end of file
diff --git a/grammars/video/System/specSystemSwe.gf b/grammars/video/System/specSystemSwe.gf
deleted file mode 100644
index e2f59cb89..000000000
--- a/grammars/video/System/specSystemSwe.gf
+++ /dev/null
@@ -1,49 +0,0 @@
---# -path=.:..:../Shared:../Weekday:../Time:../Channel
-
--- File name System/specific.Swe.gf
-
-concrete specSystemSwe of specSystem = specificSwe, genSystemSwe ** {
-
-lin
--- Confirm recording job
-confirmRecJob act = {s = ["bekräftar"] ++ act.s } ;
-
-q_lambdaActionDel dact = {s = ["vilket programnummer vill du ta bort"]};
-
----- vcr_add_rec_job_no_args = {s = ["spela in"]} ; -- hack!!!
-
---- Time in question
-startTimeToStoreQ st = {s = "från" ++ st.s } ;
-endTimeToStoreQ et = {s = "till" ++ et.s } ;
-
---- Channel and Weekday in question
-channelToStoreQ ch = {s = "på" ++ ch.s } ;
-weekdayToStoreQ wd = {s = "på" ++ wd.s } ;
-
---- WHQuestions --- Lambdas
-q_lambdaWeekday wdts = {s = ["vilken dag vill du spela in på"]};
-q_lambdaChannel chts = {s = ["vilken kanal vill du spela in från"]};
-q_lambdaStartTime stts = {s = ["vilken tid vill du påbörja inspelningen"]};
-q_lambdaEndTime etts = {s = ["vilken tid vill du avsluta inspelningen"]};
-
-
---- Constructions for ynquestions
-lin
-ynQuST y = {s = y.s} ;
-ynQuET y = {s = y.s} ;
-ynQuCH y = {s = y.s} ;
-ynQuWD y = {s = y.s} ;
-
-lin
---- Props
-startTimeToStoreProp st = {s = st.s } ;
-endTimeToStoreProp et = {s = et.s } ;
-channelToStoreProp chst = {s = chst.s } ;
-weekdayToStoreProp wdts = {s = wdts.s } ;
-
-channelListing chs = {s = chs.s } ;
-channels1 ch = {s = ch.s } ;
-channels2 ch chs = {s = ch.s ++ "," ++ chs.s } ;
-channelListAction ch = {s = ch.s } ;
-channelListActionDMove ch = {s = ch.s } ;
-}
diff --git a/grammars/video/System/specific.Prolog.gf b/grammars/video/System/specific.Prolog.gf
deleted file mode 100644
index 80f9d0764..000000000
--- a/grammars/video/System/specific.Prolog.gf
+++ /dev/null
@@ -1,46 +0,0 @@
--- File name System/specific.Prolog.gf
-
-include
- specific.Abs.gf ;
-
-lin
--- Confirm recording job
-confirmRecJob act = {s = app "confirm" act.s } ;
-
-q_lambdaActionDel dact = {s = ["rec_job_to_delete"]} ;
-
-vcr_add_rec_job_no_args = {s = ["add_rec_job"]} ; -- hack!!!
-
---- Time in question
-startTimeToStoreQ st = {s = app "start_time_to_store" st.s } ;
-endTimeToStoreQ et = {s = app "stop_time_to_store" et.s } ;
-
---- Channel and Weekday in question
-channelToStoreQ ch = {s = app "channel_to_store" ch.s } ;
-weekdayToStoreQ wd = {s = app "weekday_to_store" wd.s } ;
-
---- WHQuestions --- Lambdas
-q_lambdaWeekday wdts = {s = ["weekday_to_store"]} ;
-q_lambdaChannel chts = {s = ["channel_to_store"]} ;
-q_lambdaStartTime stts = {s = ["start_time_to_store"]} ;
-q_lambdaEndTime etts = {s = ["stop_time_to_store"]} ;
-
-
---- Constructions for ynquestions
-lin
-ynQuST y = {s = y.s} ;
-ynQuET y = {s = y.s} ;
-ynQuCH y = {s = y.s} ;
-ynQuWD y = {s = y.s} ;
-
---- Props
-startTimeToStoreProp st = {s = st.s } ;
-endTimeToStoreProp et = {s = et.s } ;
-channelToStoreProp chst = {s = chst.s } ;
-weekdayToStoreProp wdts = {s = wdts.s } ;
-
-channelListing chs = {s = chs.s } ;
-channels1 ch = {s = ch.s } ;
-channels2 ch chs = {s = ch.s ++ "," ++ chs.s } ;
-channelListAction ch = {s = ch.s } ;
-channelListActionDMove ch = {s = ch.s } ; \ No newline at end of file