X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbin%2Fxhtbl%2Fpass3.ml;fp=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbin%2Fxhtbl%2Fpass3.ml;h=d2455a30ac4257e1fb7a55c22767b3ed61b9dacd;hb=d2545ffd201b1aa49887313791386add78fa8603;hp=0000000000000000000000000000000000000000;hpb=57ae1762497a5f3ea75740e2908e04adb8642cc2;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/bin/xhtbl/pass3.ml b/matita/matita/contribs/lambdadelta/bin/xhtbl/pass3.ml
new file mode 100644
index 000000000..d2455a30a
--- /dev/null
+++ b/matita/matita/contribs/lambdadelta/bin/xhtbl/pass3.ml
@@ -0,0 +1,32 @@
+module L = List
+module S = String
+module V = Array
+
+module T = Table
+module M = Matrix
+module A = Attr
+
+type status = {
+   m: M.matrix;
+   c: T.css A.atoms;
+   u: T.uri A.atoms;
+   x: T.ext A.atoms;
+}
+
+let initial c u x m = {
+   m = m; c = c; u = u; x = x
+}
+
+let process_cell st y x c =
+   M.set_attrs st.m y x
+      (A.get_attr L.concat [] st.c y x)
+      (A.get_attr (S.concat "") "" st.u y x)
+      (A.get_attr (S.concat "") "" st.x y x)
+      ""
+
+let process_row st y row =
+   V.iteri (process_cell st y) row
+
+let process css uri ext matrix =
+   let st = initial css uri ext matrix in
+   V.iteri (process_row st) matrix.M.m