update in lambdadelta

[helm.git] / matita / matita / contribs / lambdadelta / bin / xhtbl / pass3.ml

diff --git a/matita/matita/contribs/lambdadelta/bin/xhtbl/pass3.ml b/matita/matita/contribs/lambdadelta/bin/xhtbl/pass3.ml
new file mode 100644 (file)
index 0000000..d2455a3
--- /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