diff options
| author | bjorn <bjorn@bringert.net> | 2008-08-14 07:58:04 +0000 |
|---|---|---|
| committer | bjorn <bjorn@bringert.net> | 2008-08-14 07:58:04 +0000 |
| commit | 77270a010a0b453e9a84c3e62db7cfd22e49d55d (patch) | |
| tree | d17682a545d6ac1e68ff49b8c20964182794baf7 /grammars/video/Shared | |
| parent | 0bbb906141711767678f82b15a7b43e65e0b5bd6 (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/Shared')
| -rw-r--r-- | grammars/video/Shared/general.Prolog.gf | 50 | ||||
| -rw-r--r-- | grammars/video/Shared/general.gf | 51 | ||||
| -rw-r--r-- | grammars/video/Shared/generalProlog.gf | 43 | ||||
| -rw-r--r-- | grammars/video/Shared/generalSwe.gf | 43 | ||||
| -rw-r--r-- | grammars/video/Shared/prologResource.gf | 19 | ||||
| -rw-r--r-- | grammars/video/Shared/specific.gf | 29 | ||||
| -rw-r--r-- | grammars/video/Shared/specificProlog.gf | 22 | ||||
| -rw-r--r-- | grammars/video/Shared/specificSwe.gf | 20 |
8 files changed, 0 insertions, 277 deletions
diff --git a/grammars/video/Shared/general.Prolog.gf b/grammars/video/Shared/general.Prolog.gf deleted file mode 100644 index 322c805b4..000000000 --- a/grammars/video/Shared/general.Prolog.gf +++ /dev/null @@ -1,50 +0,0 @@ --- File name Shared/general.Prolog.gf -include - general.Abs.gf ; - -flags lexer=codelit ; unlexer=codelit ; startcat=DMoveList ; - - -oper -app : Str -> Str -> Str = - \pred -> \arg -> - pred ++ "(" ++ arg ++ ")" ; -appHakeOne : Str -> Str = - \arg -> - "["++ arg ++ "]" ; - - -lin -dmoves dm = {s = appHakeOne dm.s }; -dmoves1 dm = {s = dm.s }; -dmoves2 dm dms = {s = dm.s ++ "," ++ dms.s }; - -lin -answer p = {s = app "answer" p.s}; ---request a = {s = app "request" a.s }; - ---- Answers -propans a = {s = a.s} ; -negpropans a = {s = app "not" a.s} ; -shortans a = {s = a.s} ; -negShortAns a = {s = a.s} ; - -negprop n p = {s = n.s ++ p.s} ; - -pattern -neg = [] ; - -pattern -----Short answers -yes = "yes" ; -no = "no"; -english = "english" ; ----??? -swedish = "swedish" ; ----??? - -lin -indShortAns a = {s = a.s} ; -not n = {s = n.s} ; - ---avsluta?? ---börja om -top = { s = "top"} ; diff --git a/grammars/video/Shared/general.gf b/grammars/video/Shared/general.gf deleted file mode 100644 index 98922c8c6..000000000 --- a/grammars/video/Shared/general.gf +++ /dev/null @@ -1,51 +0,0 @@ -abstract general = { - -cat -Action ; -DMove ; -DMoves ; -DMoveList ; - -Ind ; -Prop ; - -fun ---- DMove -dmoves : DMoves -> DMoveList ; -dmoves1 : DMove -> DMoves ; -dmoves2 : DMove -> DMoves -> DMove ; - --- File name User/general.Abs.gf - -cat -Answer ; -ShortAns ; -NegShortAns ; -NegProp ; -Neg ; - -fun -answer : Answer -> DMove ; ---request : Action -> DMove ; - ---- Answers -propans : Prop -> Answer ; -negpropans : NegProp -> Answer ; -shortans : ShortAns -> Answer ; -negShortAns : NegShortAns -> Answer ; - -negprop : Neg -> Prop -> NegProp ; -neg : Neg ; - ---Short answers -swedish : ShortAns ; -english : ShortAns ; -yes : ShortAns ; -no : NegShortAns ; -indShortAns : Ind -> ShortAns ; -not : ShortAns -> NegShortAns ; - ---avsluta?? ---börja om -top : Action ; -} diff --git a/grammars/video/Shared/generalProlog.gf b/grammars/video/Shared/generalProlog.gf deleted file mode 100644 index 907a6b787..000000000 --- a/grammars/video/Shared/generalProlog.gf +++ /dev/null @@ -1,43 +0,0 @@ --- File name Shared/general.Prolog.gf - -concrete generalProlog of general = open prologResource in { - -flags lexer=codelit ; unlexer=codelit ; startcat=DMoveList ; - - - -lin -dmoves dm = {s = appHakeOne dm.s }; -dmoves1 dm = {s = dm.s }; -dmoves2 dm dms = {s = dm.s ++ "," ++ dms.s }; - -lin -answer p = {s = app "answer" p.s}; ---request a = {s = app "request" a.s }; - ---- Answers -propans a = {s = a.s} ; -negpropans a = {s = app "not" a.s} ; -shortans a = {s = a.s} ; -negShortAns a = {s = a.s} ; - -negprop n p = {s = n.s ++ p.s} ; - -pattern -neg = [] ; - -pattern -----Short answers -yes = "yes" ; -no = "no"; -english = "english" ; ----??? -swedish = "swedish" ; ----??? - -lin -indShortAns a = {s = a.s} ; -not n = {s = n.s} ; - ---avsluta?? ---börja om -top = { s = "top"} ; -}
\ No newline at end of file diff --git a/grammars/video/Shared/generalSwe.gf b/grammars/video/Shared/generalSwe.gf deleted file mode 100644 index b8e0c8f0f..000000000 --- a/grammars/video/Shared/generalSwe.gf +++ /dev/null @@ -1,43 +0,0 @@ -concrete generalSwe of general = { - -flags lexer=codelit ; unlexer=codelit ; startcat=DMoveList ; - - -lincat DMove = {s : Str} ; - -lin -dmoves dm = {s = dm.s }; -dmoves1 dm = {s = dm.s }; -dmoves2 dm dms = {s = dm.s ++ "," ++ dms.s }; -lin - -answer a = {s = a.s } ; - - ---- Answers -propans a = {s = a.s} ; -negpropans a = {s = a.s} ; -shortans a = {s = a.s} ; -negShortAns a = {s = a.s} ; - -negprop n p = {s= n.s ++ p.s} ; - -pattern -neg = "inte" ; - -pattern ---Short answers -swedish = "svenska" ; -english = "engelska" ; -yes = (variants {"ja" ; "jajamensan" ; "japp"}) ; -no = "nej"; - -lin -indShortAns a = {s = a.s} ; -not n = {s = n.s} ; - ---avsluta?? ---börja om --- variants? från början etc? -top = { s = ["börja om"]} ; -} diff --git a/grammars/video/Shared/prologResource.gf b/grammars/video/Shared/prologResource.gf deleted file mode 100644 index a527500e1..000000000 --- a/grammars/video/Shared/prologResource.gf +++ /dev/null @@ -1,19 +0,0 @@ -resource prologResource = { - -oper -app : Str -> Str -> Str = - \pred -> \arg -> - pred ++ "(" ++ arg ++ ")" ; -appHakeOne : Str -> Str = - \arg -> - "["++ arg ++ "]" ; -oper ---with single quotes ---app2 : Str -> Str -> Str -> Str = \pred -> \argH -> \argM -> pred ++ "(" ++ "'" ++ argH ++ ":" ++ argM ++ "'" ++ ")" ; ---without single quotes ---app2 : Str -> Str -> Str -> Str = \pred -> \argH -> \argM -> pred ++ "(" ++ argH ++ ":" ++ argM ++ ")" ; - -app3 : Str -> Str -> Str = \argH -> \argM -> argH ++ ":" ++ argM ; - - -} diff --git a/grammars/video/Shared/specific.gf b/grammars/video/Shared/specific.gf deleted file mode 100644 index 424b1023e..000000000 --- a/grammars/video/Shared/specific.gf +++ /dev/null @@ -1,29 +0,0 @@ -abstract specific = general, weekday, time, channel ** { - -cat -StartTime ; -EndTime ; -ChToStore ; -WdToStore ; - -cat -DelAction ; - -fun ---- Inds -indTime : Time -> Ind; -indChannel : Channel -> Ind; -indWeekday : Weekday -> Ind; - -fun -delAction : DelAction -> Action ; -delete_rec_job : DelAction ; - -fun -startTimeToStore : Time -> StartTime ; -endTimeToStore : Time -> EndTime ; -channelToStore : Channel -> ChToStore ; -weekdayToStore : Weekday -> WdToStore ; - -vcr_add_rec_job_no_args : Action ; ---- moved from specUser and specSystem -} diff --git a/grammars/video/Shared/specificProlog.gf b/grammars/video/Shared/specificProlog.gf deleted file mode 100644 index 8ca76dbed..000000000 --- a/grammars/video/Shared/specificProlog.gf +++ /dev/null @@ -1,22 +0,0 @@ --- File name Shared/specific.Prolog.gf - -concrete specificProlog of specific = - generalProlog, weekdayProlog, channelProlog, timeProlog ** - open prologResource in { - -lin -indTime t = {s = t.s} ; -indChannel c = {s = c.s} ; -indWeekday w = {s = w.s} ; - -delete_rec_job = {s = "delete_rec_job"} ; -delAction dact = {s = dact.s }; - - -startTimeToStore st = {s = app "start_time_to_store" st.s } ; -endTimeToStore et = {s = app "stop_time_to_store" et.s } ; -channelToStore ch = {s = app "channel_to_store" ch.s } ; -weekdayToStore wd = {s = app "weekday_to_store" wd.s } ; - -vcr_add_rec_job_no_args = {s = ["add_rec_job"]} ; -- hack!!! -} diff --git a/grammars/video/Shared/specificSwe.gf b/grammars/video/Shared/specificSwe.gf deleted file mode 100644 index 2361a0c5e..000000000 --- a/grammars/video/Shared/specificSwe.gf +++ /dev/null @@ -1,20 +0,0 @@ ---# -path=.:../Time:../Channel:../Weekday - -concrete specificSwe of specific = generalSwe, weekdaySwe, timeSwe, channelSwe ** { - -lin -indTime t = {s = t.s} ; -indChannel c = {s = c.s} ; -indWeekday w = {s = w.s} ; - -delete_rec_job = {s = ["ta bort inspelning"]} ; -delAction dact = {s = dact.s }; - - -startTimeToStore st = {s = "från" ++ st.s } ; -endTimeToStore et = {s = "till" ++ et.s } ; -channelToStore ch = {s = "på" ++ ch.s } ; -weekdayToStore wd = {s = "på" ++ wd.s } ; - -vcr_add_rec_job_no_args = {s = ["spela in"]} ; ---- -} |
