src/edu/berkeley/sbp/tib/TibDoc.java

   1 // Copyright 2005 the Contributors, as shown in the revision logs.
   2 // Licensed under the Apache Public Source License 2.0 ("the License").
   3 // You may not use this file except in compliance with the License.
   4
   5 package edu.berkeley.sbp.tib;
   6 import edu.berkeley.sbp.*;
   7 import edu.berkeley.sbp.misc.*;
   8 import edu.berkeley.sbp.meta.*;
   9 import edu.berkeley.sbp.util.*;
  10 import edu.berkeley.sbp.chr.*;
  11 import edu.berkeley.sbp.bind.*;
  12 import java.util.*;
  13 import java.io.*;
  14 import static edu.berkeley.sbp.meta.MetaGrammar.*;
  15
  16 public class TibDoc {
  17     /*
  18     public static Text lf()     { Chars ret = new Chars(); ret.text = "\n"; return ret; }
  19     public static Text cr()     { Chars ret = new Chars(); ret.text = "\r"; return ret; }
  20     public static Text emdash() { return new Entity("mdash"); }
  21     public static char urlescape(int a, int b) { return (char)(10*a+b); }
  22
  23
  24     // Template Classes //////////////////////////////////////////////////////////////////////////////
  25
  26     public static abstract class Text implements ToHTML {
  27         public static final Class[] subclasses = new Class[] { Chars.class, URL.class, Email.class };
  28         public void toHTML(ToHTML.HTML sb) { }
  29         public static class TextString extends Text {
  30             public String text;
  31             public String tag() { return null; }
  32             public void toHTML(ToHTML.HTML sb) { sb.tag(tag(), text); }
  33         }
  34         public static class TextArray extends Text {
  35             public Text[] t;
  36             public String tag() { return null; }
  37             public void toHTML(ToHTML.HTML sb) { sb.tag(tag(), t); }
  38         }
  39     }
  40
  41
  42     // Structural //////////////////////////////////////////////////////////////////////////////
  43
  44     public static class Doc implements ToHTML {
  45         public Header head;
  46         public Body   body;
  47         public void toHTML(ToHTML.HTML sb) { sb.tag("html", body); }
  48         public static class Header extends HashMap<String, Text[]> {
  49             public static class KeyVal { public String key; public Text[] val; }
  50             public void attrs(KeyVal[] KeyVals) { for(int i=0; i<KeyVals.length; i++) this.put(KeyVals[i].key, KeyVals[i].val); }
  51         }
  52         public static class Body implements ToHTML {
  53             public Section[] sections;
  54             public void toHTML(ToHTML.HTML sb) { sb.append(sections); }
  55             public static class Section implements ToHTML {
  56                 public Text header;
  57                 public Paragraph[] paragraphs;
  58                 public void toHTML(ToHTML.HTML sb) {
  59                     sb.tag("h3", header);
  60                     sb.append(paragraphs);
  61                 }
  62             }
  63         }
  64     }
  65
  66
  67     // Paragraph //////////////////////////////////////////////////////////////////////////////
  68
  69     public static interface Paragraph extends ToHTML {
  70         public static final Class[] subclasses = new Class[] { Blockquote.class, P.class, HR.class };
  71         public static class HR                                implements Paragraph { public void toHTML(ToHTML.HTML sb) { sb.append("\n<hr>\n"); } }
  72         public static class P          extends Text.TextArray implements Paragraph { public String tag() { return "p"; } }
  73         public static class Blockquote extends Text.TextArray implements Paragraph { public String tag() { return "blockquote"; } }
  74     }
  75
  76     public static abstract class List extends Text {
  77         public Text[][] points;
  78         public abstract String tag();
  79         public void toHTML(ToHTML.HTML sb) {
  80             sb.append("<"+tag()+">\n");
  81             for(Text[] t : points) sb.tag("li", t);
  82             sb.append("</"+tag()+">\n");
  83         }
  84     }
  85     public static class OL extends List { public String tag() { return "ol"; } }
  86     public static class UL extends List { public String tag() { return "ul"; } }
  87
  88
  89
  90     // Tags //////////////////////////////////////////////////////////////////////////////
  91
  92     public static class Chars         extends Text.TextString { }
  93     public static class Symbol        extends Text.TextString { }
  94     public static class Keyword       extends Text.TextString { public String tag() { return "tt"; } }
  95     public static class Subscript     extends Text.TextString { public String tag() { return "sub"; } }
  96     public static class Superscript   extends Text.TextString { public String tag() { return "super"; } }
  97     public static class Bold          extends Text.TextArray  { public String tag() { return "b"; } }
  98     public static class Smallcap      extends Text.TextArray  { public String tag() { return "sc"; } }
  99     public static class Strikethrough extends Text.TextArray  { public String tag() { return "strike"; } }
 100     public static class TT            extends Text.TextArray  { public String tag() { return "tt"; } }
 101     public static class Underline     extends Text.TextArray  { public String tag() { return "u"; } }
 102     public static class Italic        extends Text.TextArray  { public String tag() { return "i"; } }
 103     public static class Citation      extends Text.TextArray  { } // FIXME
 104     public static class Footnote      extends Text.TextArray  { } // FIXME
 105     public static class LineBreak     extends Text            { public void toHTML(ToHTML.HTML sb) { sb.tag("br"); } }
 106     public static class Today         extends Text            { }
 107     public static class Euro          extends Text            { public void toHTML(ToHTML.HTML sb) { sb.entity(8364); } }
 108     public static class Link          extends Text {
 109         public Text[] text;
 110         public URI href;
 111         public void toHTML(ToHTML.HTML sb) { sb.tag("a", new Object[] { "href", href }, text); }
 112     }
 113     public static class Entity        extends Text {
 114         public final String entity;
 115         public Entity(String entity) { this.entity = entity; }
 116         public void toHTML(ToHTML.HTML sb) { sb.entity(entity); }
 117     }
 118
 119
 120     // Network //////////////////////////////////////////////////////////////////////////////
 121
 122     public static interface Host extends ToHTML {
 123         public static class DNS implements Host {
 124             public String[] part;
 125             public void toHTML(ToHTML.HTML sb) {
 126                 for(int i=0; i<part.length; i++)
 127                     sb.append((i==0 ? "" : ".")+part[i]);
 128             }
 129         }
 130         public static class IP  implements Host {
 131             public int a, b, c, d;
 132             public void toHTML(ToHTML.HTML sb) { sb.append(a+"."+b+"."+c+"."+d); }
 133         }
 134     }
 135
 136     public static interface URI extends ToHTML {
 137         public static final Class[] subclasses = new Class[] { URL.class, Email.class };
 138     }
 139     public static class URL extends Text    implements URI {
 140         public String method;
 141         public Login login;
 142         public Host host;
 143         public int port;
 144         public String path;
 145         public void toHTML(ToHTML.HTML sb) {
 146             sb.append(method);
 147             sb.append("://");
 148             // login.toHTML(sb);   FIXME
 149             host.toHTML(sb);
 150             // sb.append(":");     FIXME
 151             // sb.append(port);
 152             sb.append("/");
 153             sb.append(path);
 154         }
 155     }
 156     public static class Email extends Text  implements URI {
 157         public String user;
 158         public Host host;
 159         public void toHTML(ToHTML.HTML sb) {
 160             sb.append(user);
 161             sb.append('@');
 162             host.toHTML(sb);
 163         }
 164     }
 165
 166     public static class Login {
 167         public String username;
 168         public String password;
 169         public void toHTML(ToHTML.HTML sb) {
 170             sb.append(username);
 171             sb.append(':');
 172             sb.append(password);
 173             sb.append('@');
 174         }
 175     }
 176
 177
 178
 179
 180     */
 181     /*
 182         public static void prefix(PrintWriter p) {
 183             p.println("% generated by TIBDOC");
 184             for(int i=0; i<packages.length; i++) p.println("\\usemodule["+packages[i]+"]");
 185             p.println("\\setuppapersize[letter]");
 186             p.println("\\setuppagenumbering[location=]");
 187             p.println("\\setupcolors[state=start]");
 188             //"\\setupinteraction[title={Title},author={Me},"++
 189             //"subtitle={Deez Nutz},keywords={blargh},color=blue]\n" ++
 190             //"\\setuppublications[database={me},numbering=yes,sort=author]\n" ++
 191             p.println("\\setuphead[section][style={\\ss\\bfa},number=no,before=\\blank\\hairline\\nowhitespace]");
 192             p.println("\\definelayout[mypage][backspace=1.75in,cutspace=1.75in,width=5in]");
 193             p.println("\\setuplayout[mypage]");
 194             p.println("\\definetypeface[myface][rm][Xserif][Warnock Pro]");
 195             p.println("\\definetypeface[myface][tt][Xmono][CMU Typewriter Text Regular][default]");
 196             p.println("\\definetypeface[myface][ss][Xsans][Myriad Pro][default]");
 197             p.println("\\usesymbols[uni]");
 198             p.println("\\definesymbol[1][{\\USymbCharZapf{39}{164}}]");
 199             p.println("\\setupbodyfont[myface, 11pt]");
 200             p.println("\\setupwhitespace[7pt]");
 201             p.println("\\def\\MyDroppedCaps%");
 202             p.println("    {\\DroppedCaps");
 203             p.println("        {} {Serif} {2\\baselineskip} {2pt} {1\\baselineskip} {2}}");
 204             p.println("\\starttext");
 205             p.println("\\switchtobodyfont[16pt]\\midaligned{\\ss\\bfa{Title}}\\switchtobodyfont[10pt]");
 206             p.println("\\midaligned{Adam Megacz}\n\n\\nowhitespace\\midaligned{\\tt{adam@megacz.com}}");
 207             p.println("\\blank[1cm,force]");
 208             //p.println("\\defineparagraphs[mypar][n=2,before={\\blank},after={\\blank}");
 209             //p.println("\\setupparagraphs[mypar][1][width=.45\\textwidth");
 210             //p.println("\\setupparagraphs[mypar][2][width=.55\\textwidth");
 211             //p.println("\\startmypa");
 212             //p.println("\\switchtobodyfont[sma");
 213         }
 214
 215         public static void suffix(PrintWriter p) {
 216             p.println("\\stoptext");
 217         }
 218         static String[] packages = new String[] { "supp-fun", "bib", "href" };
 219     }
 220
 221     // ConTex
 222
 223 module Contex where
 224 import Data.Array.IArray
 225 import Data.Char
 226 import Util
 227 import Lexer
 228 import IR
 229 import Data.List
 230 import Beautify
 231
 232 toContex ll = prefix ++ (concatMap tl ll) ++ suffix
 233  where
 234   packages                         = [ "[supp-fun]",
 235                                        "[bib]",
 236                                        "[href]" ]
 237   prefix                           = (concatMap (\x -> "\\usemodule"++x++"\n") packages) ++
 238                                      "\\setuppapersize[letter]\n" ++
 239                                      "\\setuppagenumbering[location=]\n" ++
 240                                      "\\setupcolors[state=start]\n" ++
 241                                      --"\\setupinteraction[title={Title},author={Me},"++
 242                                      --"subtitle={Deez Nutz},keywords={blargh},color=blue]\n" ++
 243                                      --"\\setuppublications[database={me},numbering=yes,sort=author]\n" ++
 244                                      "\\setuphead[section][style={\\ss\\bfa},\n" ++
 245                                      "                     number=no,\n" ++
 246                                      "                     before=\\blank\\hairline\\nowhitespace,\n" ++
 247                                      "                     ]\n" ++
 248                                      "\\definelayout[mypage][\n" ++
 249                                      " backspace=1.75in, % the space for margin notes\n" ++
 250                                      " cutspace=1.75in, % the space for right margin notes\n" ++
 251                                      " width=5in" ++
 252                                      "]\n" ++
 253                                      "\\setuplayout[mypage]\n" ++
 254                                      "\\definetypeface[myface][rm][Xserif][Warnock Pro]\n" ++
 255                                      "\\definetypeface[myface][tt][Xmono][CMU Typewriter Text Regular][default]\n" ++
 256                                      "\\definetypeface[myface][ss][Xsans][Myriad Pro][default]\n" ++
 257                                      "\\usesymbols[uni]\n" ++
 258                                      "\\definesymbol[1][{\\USymbCharZapf{39}{164}}]\n" ++
 259                                      "\\setupbodyfont[myface, 11pt]\n" ++
 260                                      "\\setupwhitespace[7pt]\n" ++
 261                                      "\\def\\MyDroppedCaps%\n" ++
 262                                      "    {\\DroppedCaps\n" ++
 263                                      "        {} {Serif} {2\\baselineskip} {2pt} {1\\baselineskip} {2}}\n" ++
 264                                      "\\starttext\n" ++
 265                                      "\\switchtobodyfont[16pt]\\midaligned{\\ss\\bfa{Hi5 Replicated Server Infrastructure}}\\switchtobodyfont[10pt]\n"++
 266                                      "\\midaligned{Adam Megacz}\n\n\\nowhitespace\\midaligned{\\tt{adam@megacz.com}}\n\n"++
 267                                      "\\blank[1cm,force]\n" ++
 268                                      "\\defineparagraphs[mypar][n=2,before={\\blank},after={\\blank}]\n"++
 269                                      "\\setupparagraphs[mypar][1][width=.45\\textwidth]\n"++
 270                                      "\\setupparagraphs[mypar][2][width=.55\\textwidth]\n"++
 271                                      "\\startmypar"++
 272                                      "\\switchtobodyfont[small]\n"
 273   suffix                           = "\n\\stoptext\n"
 274   addItem i                        = "\\item " ++ (striptrail $ boost 8 $ wrap $ striplead $ tl i)
 275   escapify []                      = []
 276   escapify ('%':t)                 = '\\':'%':(escapify t)
 277   escapify ('$':t)                 = '\\':'$':(escapify t)
 278   escapify (h:t)                   = h:(escapify t)
 279   escapeMath s                     = s
 280   tl (Special _ BulletList l)      = "\\startitemize[symbol]\n" ++ (concatMap addItem l) ++ "\\stopitemize\n"
 281   tl (Special _ NumberList l)      = "\\startitemize[symbol]\n" ++ (concatMap addItem l) ++ "\\stopitemize\n"
 282   tl (Special _ Section (h:t))     = "\\section{"++(tl h)++"}\n"++(concatMap tl t)
 283   tl (Special _ NumberedSection (h:t)) = "\\section{"++(tl h)++"}\n"++(concatMap tl t)
 284   tl (Special _ (Glyph EmDash) []) = "{\\emdash}"
 285 --tl (Special _ Superscript l)     =
 286 --tl (Special _ Subscript l)       =
 287 --tl (Special _ (Image u) l)       =
 288 --tl (Special _ (Cite u) l)        =
 289   tl (Special _ BlockQuote l)      = "\n\n\\startquote\n     "++
 290                                      (striptrail $ boost 4 $ wrap $ striplead $ concatMap tl l)++"\n\\stopquote\n\n"
 291   tl (Special _ HorizontalRule []) = "\\\\\\rule{4in}{0.5pt}\\\\"
 292   tl (Special _ Italic l)          = "{\\it{"++(concatMap tl l)++"}}"
 293   tl (Special _ Bold l)            = "{\\bf{"++(concatMap tl l)++"}}"
 294   tl (Special _ DropCap (h:t))     = "\\MyDroppedCaps{"++(tl h)++"}{\\sc "++(concatMap tl t)++"}"
 295   tl (Special _ Typewriter l)      = "{\\tt{"++(concatMap tl l)++"}}"
 296   tl (Special _ StrikeThrough l)   = "" --"\\sout{"++(concatMap tl l)++"}"
 297   tl (Special _ Quotes l)          = "``"++(concatMap tl l)++"''"
 298   tl (Special _ Underline l)       = "" --"\\uline{"++(concatMap tl l)++"}"
 299   tl (Special _ Underline2 l)      = "" --"\\uuline{"++(concatMap tl l)++"}"
 300   tl (Special _ (Math s) [])       = "\\placeformula\n$$\n" ++ (escapeMath s) ++ "\n$$\n"
 301   tl (Special _ Footnote l)        = "\\footnote{"++(concatMap tl l)++"}"
 302   tl (Special _ Float l)           = "" --"\n\n\\begin{wrapfigure}{r}{0.4\\textwidth} \\framebox[0.4\\textwidth]{"++
 303                                      --(concatMap tl l)++"} \\label{x}\\end{wrapfigure}\n\n"
 304 --tl (Special _ Figure l)          = "\\placefigure[][fig:church]{}{"++(concatMap tl l)++"}"
 305   tl (Special _ Figure l)          = "\\startnarrower\n"++(concatMap tl l)++"\n\\stopnarrower\n"
 306   tl (Special _ (Link u) l)        = "\\href{"++(escapify u)++"}{"++(concatMap tl l)++"}"
 307   tl (Special _ (Verbatim s) [])   = "\\starttyping\n"++s++"\n\\stoptyping\n"
 308 --  tl (Special _ TwoColumn l)       = "\\startcolumns[n=2]\n"++(concatMap tl l)++"\\stopcolumns"
 309 --  tl (Special _ Title l)           = ""--"\\title{"++(concatMap tl l)++"}\n\\maketitle\n\n\n"
 310   tl (Special _ Abstract l) =
 311       "\\midaligned{\\ss\\bfa Abstract}\\par\n " ++
 312       "\n\n"++(concatMap tl l)++"\\mypar" ++
 313       "\\switchtobodyfont[8pt]{\\ss{\\placecontent}}\\switchtobodyfont[normal]\\stopmypar\n\n\\blank[1cm,force]"
 314   tl (Special _ (Command c) l)     = "\\"++c++"["++(concatMap tl l)++"]"
 315   tl (Special _ t l)               = error $ "formatting code "++(show t)++" not supported on {"++(concatMap show l)++"})"
 316   tl (WS _)                        = " "
 317   tl (BlankLine _)                 = "\n\n"
 318   tl (Block _ l)                   = concatMap tl l
 319   tl (Letter _ c)                  = escapify [c]
 320   tl z                             = (show z)
 321
 322
 323
 324
 325     */
 326
 327     // Main //////////////////////////////////////////////////////////////////////////////
 328
 329     public static class Dump implements Reflection.Show {
 330         public String toString() { return Reflection.show((Reflection.Show)this); }
 331     }
 332
 333     public static class TD {
 334
 335         public @bind static class Doc extends Dump implements ToHTML {
 336             public @bind.arg Header head;
 337             public @bind.arg Body body;
 338             public void toHTML(HTML h) {
 339                 h.tag("html", new ToHTML[] { head, body });
 340             }
 341         }
 342
 343         public @bind static class Header extends Dump implements ToHTML {
 344             public @bind.arg KeyVal[] attrs;
 345             public Text[] get(String key) {
 346                 for(KeyVal kv : attrs)
 347                     if (kv.key.equals(key))
 348                         return kv.val;
 349                 return null;
 350             }
 351             public void toHTML(HTML h) {
 352                 h.openTag("head");
 353                 h.tag("title", get("title"));
 354                 h.tag("style", stylesheet);
 355                 h.closeTag("head");
 356             }
 357             // FIXME: it would be nice to be able to
 358             // void KeyVal(String, String) { ... } imperatively
 359         }
 360
 361         public @bind static class Body extends Dump implements ToHTML {
 362             public Section[] sections;
 363             public void toHTML(HTML h) {
 364                 h.openTag("body");
 365                 h.openTag("center");
 366                 h.openTag("table", new Object[] { "width", "600px" });
 367                 h.openTag("tr");
 368                 h.tag("td", sections);
 369                 h.closeTag("tr");
 370                 h.closeTag("table");
 371                 h.closeTag("center");
 372                 h.closeTag("body");
 373             }
 374         }
 375
 376         public @bind.as("Section") static class Section extends Dump implements ToHTML {
 377             public String      header;
 378             public Paragraph[] paragraphs;
 379             public void toHTML(HTML h) {
 380                 h.tag("h1", header);
 381                 for(Paragraph p : paragraphs) h.tag("p", p);
 382             }
 383         }
 384
 385         public @bind static class KeyVal extends Dump {
 386             public @bind.arg String key;
 387             public @bind.arg Text[] val;
 388         }
 389
 390         public abstract static class Paragraph extends Dump implements ToHTML { }
 391
 392         public @bind.as("P") static class P extends Paragraph {
 393             public Text[] text;
 394             public P() { }
 395             public P(Text[] text) { this.text = text; }
 396             public P(String string) { this.text = new Text[] { new Chars(string) }; }
 397             public void toHTML(HTML h) { if (text != null) h.append(text); }
 398             public String toString() {
 399                 StringBuffer sb = new StringBuffer();
 400                 ToHTML.HTML h = new ToHTML.HTML(sb);
 401                 toHTML(h);
 402                 return sb.toString();
 403             }
 404         }
 405
 406         public static @bind class Login {
 407             public @bind.arg String username;
 408             public @bind.arg String password;
 409         }
 410
 411         public static @bind.as("Citation") Object cite(Object o) { return new Chars("*cite*"); }
 412         public static @bind.as("Symbol") Object sym(Object o) { return null; }
 413
 414         public static abstract class List extends Text {
 415             public @bind.arg Text[][] points;
 416             public abstract String tag();
 417             public void toHTML(ToHTML.HTML sb) {
 418                 sb.openTag(tag());
 419                 for(Text[] t : points)
 420                     sb.tag("li", t);
 421                 sb.closeTag(tag());
 422             }
 423         }
 424         public static @bind class OL extends List { public String tag() { return "ol"; } }
 425         public static @bind class UL extends List { public String tag() { return "ul"; } }
 426
 427         public static class HR extends Paragraph {
 428             public @bind HR() { }
 429             public @bind HR(Object o) { }
 430             public void toHTML(HTML h) { h.tag("hr"); }
 431         }
 432
 433        public static class Blockquote extends Paragraph {
 434             Text[] text;
 435             public @bind Blockquote(Text[] t) { this.text = t; }
 436             public @bind Blockquote(Text[] t, Text[] t2) {
 437                 if (t2==null) {
 438                     this.text = t;
 439                 } else {
 440                     Text[] t3 = new Text[t.length + t2.length];
 441                     System.arraycopy(t,  0, t3, 0, t.length);
 442                     System.arraycopy(t2, 0, t3, t.length, t2.length);
 443                     this.text = t3;
 444                 }
 445             }
 446             public void toHTML(HTML h) { h.tag("blockquote", new P(text)); }
 447         }
 448
 449         public abstract static class Text extends Dump implements ToHTML { }
 450
 451         public @bind static class Space extends Chars {
 452             public Space() { super(" "); }
 453         }
 454         public @bind static class Chars extends Text {
 455             public String text;
 456             public Chars() { }
 457             public Chars(String text) { this.text = text; }
 458             public void toHTML(HTML h) { h.appendText(text); }
 459             public String toString() { return text; }
 460         }
 461         public @bind static class Block extends Text {
 462             public Text[] text;
 463             public void toHTML(HTML h) { h.append(text); }
 464         }
 465         public static class TextWrap extends Text {
 466             public @bind.arg Text[] text;
 467             public void toHTML(HTML h) {
 468                 if (htmlTag()!=null) {
 469                     h.openTag(htmlTag(), htmlTagParams());
 470                 }
 471                 h.append(text);
 472                 if (htmlTag()!=null) {
 473                     h.closeTag(htmlTag());
 474                 }
 475             }
 476             public String   htmlTag() { return null; }
 477             public Object[] htmlTagParams() { return null; }
 478         }
 479
 480         public static @bind class Verbatim  extends Text {
 481             public @bind.arg String s;
 482             public void toHTML(HTML h) {
 483                 h.openTag("div", new Object[] { "class", "terminal" });
 484                 for(int i=0; i<s.length(); i++) {
 485                     char c = s.charAt(i);
 486                     switch(c) {
 487                         case '\r': break;
 488                         case '\n': h.tag("br"); break;
 489                         case ' ': h.appendLiterally("&nbsp;"); break;
 490                         default: h.appendText(c+""); break;
 491                     }
 492                 }
 493                 h.closeTag("div");
 494             }
 495         }
 496
 497         //public @bind class Blockquote extends TextWrap { }
 498         public static @bind class Underline extends TextWrap { public String htmlTag() { return "u"; } }
 499         public static @bind class Footnote extends TextWrap { public String htmlTag() { return "small"; } }
 500         public static @bind class TT extends TextWrap { public String htmlTag() { return "tt"; } }
 501         //public @bind class Citation extends Text {       "[" word "]" }
 502         public static @bind class Strikethrough extends TextWrap { public String htmlTag() { return "strike"; } }
 503         public static @bind class Superscript extends TextWrap { public String htmlTag() { return "sup"; } }
 504         public static @bind class Subscript extends TextWrap { public String htmlTag() { return "sub"; } }
 505         public static @bind class Smallcap extends TextWrap { public String htmlTag() { return "sc"; } }
 506         public static @bind class Keyword extends TextWrap { public String htmlTag() { return "sc"; } }
 507         public static @bind class Bold extends TextWrap { public String htmlTag() { return "b"; } }
 508         public static @bind class Italic extends TextWrap { public String htmlTag() { return "i"; } }
 509
 510         public abstract static class Command extends Text { }
 511         public static @bind class Today extends Command { public void toHTML(HTML h) { } }
 512         public static @bind class LineBreak extends Command { public void toHTML(HTML h) { h.tag("br"); } }
 513
 514         public static @bind.as("emdash") Entity emdash() { return new Entity("mdash"); }
 515         public static @bind.as("ellipses") Entity ellipses() { return new Entity("#8230"); }
 516         public static @bind.as("r") Entity r() { return new Entity("#xAE"); }
 517         public static @bind.as("c") Entity c() { return new Entity("#xA9"); }
 518         public static @bind.as("tm") Entity tm() { return new Entity(""); }
 519         public static @bind.as("euro") Entity euro() { return new Entity("euro"); }
 520
 521         public static class Entity extends Text implements ToHTML {
 522             public String name;
 523             public String code;
 524             public Entity(String code) { this.name = ""; this.code = code; }
 525             public Entity(String name, int code) { this.code = "#"+code; this.name = name; }
 526             public Entity(String name, String abbrev, int code) { this(name, code); }
 527             public void toHTML(HTML h) { h.appendLiterally("&"+code+";"); }
 528         }
 529
 530         public static Entity[] entities = new Entity[] {
 531             new Entity("tm",    0x2122),
 532             new Entity("alef",  0x2135),
 533             new Entity("leftArrow", "<--", 0x2190),
 534             new Entity("rightArrow", "-->", 0x2192),
 535             new Entity("leftDoubleArrow", "<==", 0x21D0),
 536             new Entity("rightDoubleArrow", "==>", 0x21D2),
 537             new Entity("doubleLeftRightArrow", "<==>", 0x21D4),
 538             new Entity("upArrow", 0x2191),
 539             new Entity("downArrow", 0x2193),
 540             new Entity("upDoubleArrow", 0x21D1),
 541             new Entity("downDoubleArrow", 0x21D3),
 542             new Entity("forall", 0x2200),
 543             new Entity("exists", 0x2203),
 544             new Entity("emptySet", 0x2205),
 545             new Entity("in", 0x2208),
 546             new Entity("cent", 0xA2),
 547             new Entity("pi", 0x220F),
 548             new Entity("sigma", 0x2211),
 549             new Entity("infinity", 0x221E),
 550             new Entity("proportional", 0x221D),
 551             new Entity("check", 0x221A),
 552             new Entity("asterisk", 0x2217),
 553             new Entity("minus", 0x2212),
 554             new Entity("angle", 0x2220),
 555             new Entity("and", 0x2227),
 556             new Entity("or", 0x2228),
 557             new Entity("intersection", 0x2229),
 558             new Entity("union", 0x222A),
 559             new Entity("integral", 0x222B),
 560             new Entity("therefore", 0x2234),
 561             new Entity("congruent", 0x2245),
 562             new Entity("similarTo", 0x2248),
 563             new Entity("identical", 0x2261),
 564             new Entity("neq", 0x2260),
 565             new Entity("subset", 0x2282),
 566             new Entity("superset", 0x2283),
 567             new Entity("notSubset", 0x2284),
 568             new Entity("subsetEq", 0x2286),
 569             new Entity("supersetEq", 0x2287),
 570             new Entity("circlePlus", 0x2295),
 571             new Entity("circleTimes", 0x2297),
 572             new Entity("bottom", 0x22A5),
 573             new Entity("cdot", 0x22C5),
 574             new Entity("openDiamonds", 0x25CA),
 575             new Entity("spade", 0x2660),
 576             new Entity("clubs", 0x2663),
 577             new Entity("hearts", 0x2665),
 578             new Entity("diamonds", 0x2666),
 579             new Entity("prime", 0x2032),
 580             new Entity("reals", 0x211C),
 581             new Entity("powerSet", 0x2118),
 582             new Entity("overScore", 0x203E),
 583             new Entity("yen", 0xA5),
 584             new Entity("plusminus", 0xB1),
 585             new Entity("micro", 0xB5),
 586             new Entity("superScriptOne", 0xB9),
 587             new Entity("superScriptTwo", 0xB2),
 588             new Entity("superScriptThree", 0xB3),
 589             new Entity("oneQuarter", 0xBC),
 590             new Entity("oneHalf", 0xBD),
 591             new Entity("threeQuarters", 0xBE),
 592             new Entity("paragraphSymbol", 0xB6),
 593             new Entity("times", 0xD7),
 594             new Entity("daggar", 0x86),
 595             new Entity("sectionSymbol", 0xA7),
 596             new Entity("not", 0xAC),
 597             new Entity("cr", 0x2193),
 598             new Entity("dot", 0xB7),
 599         };
 600
 601         public static @bind Object command(String s) {
 602             if (s.equals("br")) return new LineBreak();
 603             if (s.equals("today")) return new Today();
 604             for(Entity e : entities)
 605                 if (e.name.equals(s))
 606                     return e;
 607             return null;
 608         }
 609
 610         public static @bind class Quotes extends Text {
 611             public Text[] text;
 612             public void toHTML(HTML h) {
 613                 h.append("\"");
 614                 h.append(text);
 615                 h.append("\"");
 616             }
 617         }
 618
 619         public static class Link extends Text {
 620             public Text[] t;
 621             public Url u;
 622             public @bind.as("link")  Link(@bind.arg Text[] t, @bind.arg Url u)  { this.t = t; this.u = u; }
 623             public Link(String s, Url u) { this(new Text[] { new Chars(s) }, u); }
 624             public void toHTML(HTML h) {
 625                 h.tag("a",
 626                       new Object[] { "href", u==null ? "" : u.toString() },
 627                       new P(t));
 628             }
 629         }
 630
 631         public static class Host {
 632             public String name;
 633             public String toString() { return name; }
 634             public @bind.as("DNS") Host(String[][] parts) {
 635                 name = "";
 636                 for(String[] s : parts) {
 637                     for(String ss : s)
 638                         name += ss;
 639                     name += ".";
 640                 }
 641             }
 642             public @bind.as("IP")  Host(int a, int b, int c, int d) { name = a+"."+b+"."+c+"."+d; }
 643             public Host(String hostname) {
 644                 this.name = hostname;
 645             }
 646
 647         }
 648
 649         public static class Url extends Text {
 650             public String   method;
 651             public Host     host;
 652             public String   user;
 653             public String   pass;
 654             public String   port;
 655             public String   path;
 656             public String   ref;
 657             public @bind.as("URL") Url(String method, String[] login, Host host, String port, String path, String ref) {
 658                 this.method = method;
 659                 this.user = login==null ? null : login.length >= 1 ? login[0] : null;
 660                 this.pass = login==null ? null : login.length >= 2 ? login[1] : null;
 661                 this.host = host;
 662                 this.port = port;
 663                 this.path = path;
 664                 this.ref  = ref;
 665             }
 666             public void toHTML(HTML h) { new Link(toString(), this).toHTML(h); }
 667             public String toString() {
 668                 return method + "://" + host + "/" + path + (ref==null ? "" : ("#"+ref));
 669             }
 670         }
 671         public static class Email extends Url {
 672             public @bind.as("Mailto") Email(String email) {
 673                 super("mailto",
 674                       null,
 675                       new Host(email.substring(email.indexOf('@'))),
 676                       "25",
 677                       email.substring(email.indexOf('@')),
 678                       null
 679                       );
 680             }
 681             public @bind.as("email")  Email(String user, Host host) {
 682                 super("mailto", null, host, "25", user, null);
 683             }
 684             public void toHTML(HTML h) {
 685                 h.tag("a",
 686                       new Object[] { "href", "mailto:"+path+"@"+host },
 687                       new P(toString()));
 688             }
 689             public String toString() { return path+"@"+host; }
 690         }
 691
 692         public static @bind.as("lf")        String lf() { return "\r"; }
 693         public static @bind.as("cr")        String cr() { return "\n"; }
 694         public static @bind.as("\"\"")      String empty() { return ""; }
 695         public static @bind.as("urlescape") char   urlescape(char a, char b) { return ((char)((a-'0') * 16 + (b-'0'))); }
 696         public static @bind String urlpath(String[] s) {
 697             StringBuffer sb = new StringBuffer();
 698             for(String st : s) sb.append(st);
 699             return sb.toString();
 700         }
 701     }
 702
 703     public static void main(String[] s) throws Exception {
 704
 705         try {
 706             Tree<String> res = new CharParser(MetaGrammar.newInstance()).parse(new FileInputStream(s[0])).expand1();
 707
 708             AnnotationGrammarBindings resolver = new AnnotationGrammarBindings(TD.class);
 709             resolver.add(MetaGrammarBindings.class, "meta");
 710             Union tibgram = Grammar.create(res, "s", resolver);
 711
 712             System.err.println("parsing " + s[1]);
 713             Tree t = new CharParser(tibgram).parse(new Tib(new FileInputStream(s[1]))).expand1();
 714             System.out.println("tree:\n" + t.toPrettyString());
 715
 716             Object result = ((Functor)t.head()).invoke(t);
 717             TD.Doc doc = (TD.Doc)result;
 718             System.out.println(doc);
 719
 720             StringBuffer sb = new StringBuffer();
 721             ToHTML.HTML html = new ToHTML.HTML(sb);
 722             doc.toHTML(html);
 723             FileOutputStream fos = new FileOutputStream("out.html");
 724             PrintWriter p = new PrintWriter(new OutputStreamWriter(fos));
 725             p.println(sb);
 726             p.flush();
 727             p.close();
 728         } catch (Ambiguous a) {
 729             FileOutputStream fos = new FileOutputStream("/Users/megacz/Desktop/out.dot");
 730             PrintWriter p = new PrintWriter(new OutputStreamWriter(fos));
 731             GraphViz gv = new GraphViz();
 732             a.ambiguity.toGraphViz(gv);
 733             gv.dump(p);
 734             p.flush();
 735             p.close();
 736             a.printStackTrace();
 737
 738         } catch (Exception e) {
 739             e.printStackTrace();
 740         }
 741
 742     }
 743
 744
 745     private static final String[] stylesheet = new String[] {
 746         "H1 {",
 747         "  margin-left: -20px;",
 748         "  margin-top: 30px;",
 749         "  font-family: helvetica, verdana, arial, sans-serif;",
 750         "  font-size: 14pt;",
 751         "  font-weight: bold;",
 752         "  text-align: left;",
 753         "  width : 100%;",
 754         "  border-top-width: 2pt;",
 755         "  border-top-style: solid;",
 756         "} ",
 757         "",
 758         "H2 {",
 759         "  font-family: helvetica, verdana, arial, sans-serif;",
 760         "  font-size: 12pt;",
 761         "  font-weight: bold;",
 762         "} ",
 763         "",
 764         "H3 {",
 765         "  margin-left: -10px;",
 766         "  font-family: helvetica, verdana, arial, sans-serif;",
 767         "  font-size: 12pt;",
 768         "  font-weight: bold;",
 769         "} ",
 770         "",
 771         "TH, TD, P, LI {",
 772         "  font-family: helvetica, verdana, arial, sans-serif;",
 773         "  font-size: 13px;  ",
 774         "  text-decoration:none; ",
 775         "}",
 776         "",
 777         "LI { margin-top: 5px; }",
 778         "div.terminal {",
 779         "    text-align: left;",
 780         "    font-family: monospace;",
 781         "    border-style: solid;",
 782         "    border-width: 2px 2px 2px 2px;",
 783         "    white-space: pre;",
 784         "    border-color: #6666aa;",
 785         "    color: #FFFFFF;",
 786         "    background-color: #000000;",
 787         "    margin-bottom: 25px;",
 788         "    margin-right: 25px;",
 789         "    margin-left: 25px;",
 790         "    padding: 10px;",
 791         "}"
 792     };
 793 }