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

diff --git a/helm/www/lambdadelta/bin/xhtbl/pass3.ml b/helm/www/lambdadelta/bin/xhtbl/pass3.ml
index 4513828b5..d2455a30a 100644
--- a/helm/www/lambdadelta/bin/xhtbl/pass3.ml
+++ b/helm/www/lambdadelta/bin/xhtbl/pass3.ml
@@ -1,23 +1,32 @@
-module A = Array
+module L = List
+module S = String
+module V = Array
 
+module T = Table
 module M = Matrix
-module C = Css
+module A = Attr
 
 type status = {
    m: M.matrix;
-   a: C.atoms;
+   c: T.css A.atoms;
+   u: T.uri A.atoms;
+   x: T.ext A.atoms;
 }
 
-let initial a m = {
-   m = m; a = a;
+let initial c u x m = {
+   m = m; c = c; u = u; x = x
 }
 
 let process_cell st y x c =
-   M.set_css st.m y x (C.get_css st.a y x)
+   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 =
-   A.iteri (process_cell st y) row
+   V.iteri (process_cell st y) row
 
-let process css matrix =
-   let st = initial css matrix in
-   A.iteri (process_row st) matrix.M.m
+let process css uri ext matrix =
+   let st = initial css uri ext matrix in
+   V.iteri (process_row st) matrix.M.m