update in bin

[helm.git] / matita / matita / contribs / lambdadelta / bin / recomm / recommParser.mly

diff --git a/matita/matita/contribs/lambdadelta/bin/recomm/recommParser.mly b/matita/matita/contribs/lambdadelta/bin/recomm/recommParser.mly
new file mode 100644 (file)
index 0000000..5686e74
--- /dev/null
+++ b/matita/matita/contribs/lambdadelta/bin/recomm/recommParser.mly
@@ -0,0 +1,84 @@
+%{
+
+  module ET = RecommTypes
+
+  let lc = String.lowercase_ascii
+
+%}
+
+%token <string> SP NL OP CP PP SR KW CW HW SW OT
+%token EF
+
+%start srcs
+%type <RecommTypes.srcs> srcs
+
+%%
+
+inn_r:
+  | SP { $1 }
+  | NL { $1 }
+  | SW { $1 }
+  | OT { $1 }
+
+inn:
+  | inn_r { $1 }
+  | KW      { $1 }
+  | CW      { $1 }
+  | HW      { $1 }
+
+inns_r:
+  | inn_r      { $1      }
+  | inn_r inns { $1 ^ $2 }
+
+inns:
+  | inn      { $1      }
+  | inn inns { $1 ^ $2 }
+
+out:
+  | SP { $1 }
+  | SR { $1 }
+  | KW { $1 }
+  | CW { $1 }
+  | HW { $1 }
+  | SW { $1 }
+  | OT { $1 }
+
+outs:
+  | out      { $1      }
+  | out outs { $1 ^ $2 } 
+
+sw:
+  | HW { lc $1 }
+  | SW { lc $1 }
+
+cws:
+  |           { []       }
+  | SP        { []       }
+  | SP CW cws { $2 :: $3 }
+
+sws:
+  |           { []       }
+  | SP        { []       }
+  | SP sw sws { $2 :: $3 }
+
+src_l:
+  | NL               { ET.Line  $1                     }
+  | OP PP inns CP    { ET.Mark  $3                     }
+  | OP KW inns CP    { ET.Key   ($2, $3)               }
+  | OP CW cws CP     { ET.Title ($2 :: $3)             }
+  | OP HW sws CP     { ET.Slice (lc $2 :: $3)          }
+  | OP CP            { ET.Other ($1, "", $2)           }
+  | OP inns_r CP     { ET.Other ($1, $2, $3)           }
+  | OP SR inns CP    { ET.Other ($1, $2 ^ $3, $4)      }
+  | OP SR SR inns CP { ET.Other ($1, $2 ^ $3 ^ $4, $5) }
+
+src:
+  | outs { ET.Text $1 }
+
+srcs_l:
+  | EF         { []       }
+  | src_l srcs { $1 :: $2 }
+
+srcs:
+  | srcs_l     { $1       }
+  | src srcs_l { $1 :: $2 }