summaryrefslogtreecommitdiff
path: root/grammars/video/Time/timeProlog.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/Time/timeProlog.gf
parent7769d0fb00a34fb4499017a4aec01a59246b69a1 (diff)
Karin C's example
Diffstat (limited to 'grammars/video/Time/timeProlog.gf')
-rw-r--r--grammars/video/Time/timeProlog.gf103
1 files changed, 103 insertions, 0 deletions
diff --git a/grammars/video/Time/timeProlog.gf b/grammars/video/Time/timeProlog.gf
new file mode 100644
index 000000000..8a791ae0b
--- /dev/null
+++ b/grammars/video/Time/timeProlog.gf
@@ -0,0 +1,103 @@
+-- Time grammar Prolog output notation
+
+concrete timeProlog of time = open prologResource in {
+
+--flags lexer=codelit ; unlexer=codelit ; startcat=Time ;
+--flags lexer=code ; unlexer=code ; startcat=Time ;
+
+pattern
+
+hour0 = "00" ;
+hour1 = "01" ;
+hour2 = "02" ;
+hour3 = "03" ;
+hour4 = "04" ;
+hour5 = "05" ;
+hour6 = "06" ;
+hour7 = "07" ;
+hour8 = "08" ;
+hour9 = "09" ;
+hour10 = "10" ;
+hour11 = "11" ;
+hour12 = "12" ;
+hour13 = "13" ;
+hour14 = "14" ;
+hour15 = "15" ;
+hour16 = "16" ;
+hour17 = "17" ;
+hour18 = "18" ;
+hour19 = "19" ;
+hour20 = "20" ;
+hour21 = "21" ;
+hour22 = "22" ;
+hour23 = "23" ;
+
+--Minutes
+minute0 = "00" ;
+minute1 = "01" ;
+minute2 = "02" ;
+minute3 = "03" ;
+minute4 = "04" ;
+minute5 = "05" ;
+minute6 = "06" ;
+minute7 = "07" ;
+minute8 = "08" ;
+minute9 = "09" ;
+minute10 = "10" ;
+minute11 = "11" ;
+minute12 = "12" ;
+minute13 = "13" ;
+minute14 = "14" ;
+minute15 = "15" ;
+minute16 = "16" ;
+minute17 = "17" ;
+minute18 = "18" ;
+minute19 = "19" ;
+minute20 = "20" ;
+minute21 = "21" ;
+minute22 = "22" ;
+minute23 = "23" ;
+minute24 = "24" ;
+minute25 = "25" ;
+minute26 = "26" ;
+minute27 = "27" ;
+minute28 = "28" ;
+minute29 = "29" ;
+minute30 = "30" ;
+
+minute31 = "31" ;
+minute32 = "32" ;
+minute33 = "33" ;
+minute34 = "34" ;
+minute35 = "35" ;
+minute36 = "36" ;
+minute37 = "37" ;
+minute38 = "38" ;
+minute39 = "39" ;
+minute40 = "40" ;
+minute41 = "41" ;
+minute42 = "42" ;
+minute43 = "43" ;
+minute44 = "44" ;
+minute45 = "45" ;
+minute46 = "46" ;
+minute47 = "47" ;
+minute48 = "48" ;
+minute49 = "49" ;
+minute50 = "50" ;
+minute51 = "51" ;
+minute52 = "52" ;
+minute53 = "53" ;
+minute54 = "54" ;
+minute55 = "55" ;
+minute56 = "56" ;
+minute57 = "57" ;
+minute58 = "58" ;
+minute59 = "59" ;
+
+lin
+--timeFormal h m = {s = app2 "time" h.s m.s } ;
+--timeInformal h m = {s = app2 "time" h.s m.s } ;
+--time h m = {s = app2 "time" h.s m.s } ;
+time h m = {s = app3 h.s m.s } ;
+}