diff options
| author | aarne <unknown> | 2004-09-16 14:47:18 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-09-16 14:47:18 +0000 |
| commit | ecc132dccfc7617ed413f21ee37539475081f8ec (patch) | |
| tree | f6fe589eb3881e36b9a94d36aaba49fe4d4087e4 /grammars/video/Shared/specific.gf | |
| parent | 7769d0fb00a34fb4499017a4aec01a59246b69a1 (diff) | |
Karin C's example
Diffstat (limited to 'grammars/video/Shared/specific.gf')
| -rw-r--r-- | grammars/video/Shared/specific.gf | 29 |
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 +} |
