*** empty log message ***

* empty log message *
Alain Prouté
1 parent 2715393d
Showing 1 changed file with 176 additions and 2 deletions Show diff stats
anubis_dev/library/doc_tools/make_doc.anubis
@@ -123,6 +123,52 @@ public define List(DocItem)
        Stream s
      ). 
  
+
+read tools/maml.anubis   
+   
+   
+   *Description*
+   
+   The type  'DocLanguageSet' records  several generic linguistic  constructs for  a given
+   natural language.
+   
+public type DocLanguageSet:
+   language_set
+     (
+       String -> String      project, 
+       String -> String      copyright, 
+       String -> String      author,
+       String -> String      revised, 
+       One -> String         public_header,
+       One -> String         description_header
+     ). 
+     
+  
+   
+public define DocLanguageSet
+   french_language_set
+     =
+   language_set
+     (
+       (String txt) |-> "Le projet "+txt, 
+       (String txt) |-> txt, 
+       (String txt) |-> "Auteur: "+txt,
+       (String txt) |-> "Dernière révision: "+txt,
+       (One u)      |-> "Définition et Déclarations Publiques",
+       (One u)      |-> "Description:"
+     ).
+   
+   
+ *Description*
+   
+   The function 'to_MAML' transforms a list of doc items into a document of type 'MAML'.
+   
+public define MAML
+   to_MAML
+     (
+       List(DocItem)   l,
+       DocLanguageSet  s
+     ). 
  
  
  
@@ -130,9 +176,13 @@ public define List(DocItem)
  
  *Private* 
  
+
  
  
  
+   *** [1] Reading a source file. 
+   
+   
 type Position:
    leftmost,                // we are in leftmost column
    blanks_only(Int32 n),    // only 'n' blanks (or tabs) have been read on the current line
@@ -472,10 +522,108 @@ define Maybe(DocItem)
      ) = 
    success(paragraph(init+read_paragraph_body(s,[],0))). 
  
+
+   
+   
+   
+   *** [2] Translation into MAML. 
+   
+   
+   
+   
+public define String
+   to_MAML
+     (
+       List(DocItem)   l,
+       DocLanguageSet  s
+     ) =
+   if l is 
+     {
+       [ ] then "",
+       [item1 . items] then 
+         if item1 is 
+           {
+             tag(name,txt) then
+               with name = to_lower(name),
+               if name = "*project*" then 
+                 "$center($bold("+project(s)(txt)+"))" else
+               if name = "*title*" then
+                 "$center($bold($big($big("+txt+"))))" else
+               if name = "*copyright*" then 
+                 "$green("+copyright(s)(txt)+")" else
+               if name = "*author*" then
+                 "$par"+author(s)(txt) else
+               if name = "*revised*" then 
+                 "$par"+revised(s)(txt) else
+               if name = "*overview*" then 
+                 "$par$par"+txt+"$par$par" else
+               if name = "*public*" then 
+                 "$par$par$center($red($big("+public_header(s)(unique)+")))" else
+               if name = "*description*" then 
+                 "$par$par$blue($big("+description_header(s)(unique)+"))$par$red("+txt+")" else
+               "",
+           
+   
+             paragraph(txt) then 
+               "$code("+txt+")"
+   
+           } + to_MAML(items,s)
+     }.
+   
+   
+ public define MAML
+   to_MAML
+     (
+       List(DocItem)   l,
+       DocLanguageSet  s
+     ) =
+   if l is 
+     {
+       [ ] then text(t),
+       [item1 . items] then 
+         if item1 is 
+           {
+             tag(name,txt) then
+               with name = to_lower(name),
+               if name = "*project*" then 
+                 mark("center",mark("bold",text(t-project(s)(txt)))) else
+               if name = "*title*" then
+                 mark("center",mark("bold",mark("big",(text(t-txt))))) else
+               if name = "*copyright*" then 
+                 text(t-copyright(s)(txt)) else
+               if name = "*author*" then
+                 mark("par") + text(t-author(s)(txt)) else
+               if name = "*revised*" then 
+                 mark("par") + text(t-revised(s)(txt)) else
+               if name = "*overview*" then 
+                 mark("par") + mark("par") +
+                 text(t-txt) else
+               if name = "*public*" then 
+                 mark("par") + mark("par") +
+                 mark("center",mark("red",mark("big",text(t-public_header(s)(unique))))) else
+               if name = "*description*" then 
+                 mark("par") + mark("par") +
+                 mark("blue",mark("big",text(t-description_header(s)(unique)))) +
+                 mark("par") + 
+                 mark("red",text(t-txt)) else
+       
+               text(t), 
+           
+   
+             paragraph(txt) then 
+               mark("code",text(t-txt))
+   
+           } + to_MAML(items,s)
+     }.
+   
+   
+   
+   
+   
  
  
  
-   Testing. 
+   *** [3] Testing. 
  
 define One
    print
@@ -501,12 +649,38 @@ define One
  
  
  
-define One
+ define One
    make_doc
      (
        Stream1 s
      ) =
    map_forget(print,read_all_items(s)). 
+
+   
+define String
+   env_HTML
+     (
+       String   txt
+     ) =
+   "<html><head></head><body><table><tr><td width=700>" +
+   "<p style=\"text-align:justify; font-family:helvetica; font-size:10pt\">" +
+   txt +
+   "</p></td></tr></table></body></html>". 
+   
+   
+define One
+   make_doc
+     (
+       Stream1 s
+     ) =
+   if convert_MAML_to_HTML(to_MAML(read_all_items(s),french_language_set)) is 
+     {
+       error(n) then print("Error in MAML translation.\n"),
+       ok(txt) then 
+         print(env_HTML(txt)) 
+     }.
+   
+   
  
 define One
    make_doc