From ecc132dccfc7617ed413f21ee37539475081f8ec Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Thu, 16 Sep 2004 14:47:18 +0000
Subject: Karin C's example

---
 grammars/video/System/specSystemProlog.gf | 45 +++++++++++++++++++++++++++++++
 1 file changed, 45 insertions(+)
 create mode 100644 grammars/video/System/specSystemProlog.gf

(limited to 'grammars/video/System/specSystemProlog.gf')

diff --git a/grammars/video/System/specSystemProlog.gf b/grammars/video/System/specSystemProlog.gf
new file mode 100644
index 000000000..6ee65c4e3
--- /dev/null
+++ b/grammars/video/System/specSystemProlog.gf
@@ -0,0 +1,45 @@
+-- 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
-- 
cgit v1.2.3