summaryrefslogtreecommitdiff
path: root/grammars/video/Shared/specific.gf
diff options
context:
space:
mode:
authoraarne <unknown>2004-09-16 14:47:18 +0000
committeraarne <unknown>2004-09-16 14:47:18 +0000
commitecc132dccfc7617ed413f21ee37539475081f8ec (patch)
treef6fe589eb3881e36b9a94d36aaba49fe4d4087e4 /grammars/video/Shared/specific.gf
parent7769d0fb00a34fb4499017a4aec01a59246b69a1 (diff)
Karin C's example
Diffstat (limited to 'grammars/video/Shared/specific.gf')
-rw-r--r--grammars/video/Shared/specific.gf29
1 files changed, 29 insertions, 0 deletions
diff --git a/grammars/video/Shared/specific.gf b/grammars/video/Shared/specific.gf
new file mode 100644
index 000000000..424b1023e
--- /dev/null
+++ b/grammars/video/Shared/specific.gf
@@ -0,0 +1,29 @@
+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
+}