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.util.*;
   9 import edu.berkeley.sbp.chr.*;
  10 import java.util.*;
  11 import java.io.*;
  12 import static edu.berkeley.sbp.misc.Demo.*;
  13
  14 public class TibDoc {
  15     /*
  16     public static Text lf()     { Chars ret = new Chars(); ret.text = "\n"; return ret; }
  17     public static Text cr()     { Chars ret = new Chars(); ret.text = "\r"; return ret; }
  18     public static Text emdash() { return new Entity("mdash"); }
  19     public static char urlescape(int a, int b) { return (char)(10*a+b); }
  20
  21
  22     // Template Classes //////////////////////////////////////////////////////////////////////////////
  23
  24     public static abstract class Text implements ToHTML {
  25         public static final Class[] subclasses = new Class[] { Chars.class, URL.class, Email.class };
  26         public void toHTML(ToHTML.HTML sb) { }
  27         public static class TextString extends Text {
  28             public String text;
  29             public String tag() { return null; }
  30             public void toHTML(ToHTML.HTML sb) { sb.tag(tag(), text); }
  31         }
  32         public static class TextArray extends Text {
  33             public Text[] t;
  34             public String tag() { return null; }
  35             public void toHTML(ToHTML.HTML sb) { sb.tag(tag(), t); }
  36         }
  37     }
  38
  39
  40     // Structural //////////////////////////////////////////////////////////////////////////////
  41
  42     public static class Doc implements ToHTML {
  43         public Header head;
  44         public Body   body;
  45         public void toHTML(ToHTML.HTML sb) { sb.tag("html", body); }
  46         public static class Header extends HashMap<String, Text[]> {
  47             public static class KeyVal { public String key; public Text[] val; }
  48             public void attrs(KeyVal[] KeyVals) { for(int i=0; i<KeyVals.length; i++) this.put(KeyVals[i].key, KeyVals[i].val); }
  49         }
  50         public static class Body implements ToHTML {
  51             public Section[] sections;
  52             public void toHTML(ToHTML.HTML sb) { sb.append(sections); }
  53             public static class Section implements ToHTML {
  54                 public Text header;
  55                 public Paragraph[] paragraphs;
  56                 public void toHTML(ToHTML.HTML sb) {
  57                     sb.tag("h3", header);
  58                     sb.append(paragraphs);
  59                 }
  60             }
  61         }
  62     }
  63
  64
  65     // Paragraph //////////////////////////////////////////////////////////////////////////////
  66
  67     public static interface Paragraph extends ToHTML {
  68         public static final Class[] subclasses = new Class[] { Blockquote.class, P.class, HR.class };
  69         public static class HR                                implements Paragraph { public void toHTML(ToHTML.HTML sb) { sb.append("\n<hr>\n"); } }
  70         public static class P          extends Text.TextArray implements Paragraph { public String tag() { return "p"; } }
  71         public static class Blockquote extends Text.TextArray implements Paragraph { public String tag() { return "blockquote"; } }
  72     }
  73
  74     public static abstract class List extends Text {
  75         public Text[][] points;
  76         public abstract String tag();
  77         public void toHTML(ToHTML.HTML sb) {
  78             sb.append("<"+tag()+">\n");
  79             for(Text[] t : points) sb.tag("li", t);
  80             sb.append("</"+tag()+">\n");
  81         }
  82     }
  83     public static class OL extends List { public String tag() { return "ol"; } }
  84     public static class UL extends List { public String tag() { return "ul"; } }
  85
  86
  87
  88     // Tags //////////////////////////////////////////////////////////////////////////////
  89
  90     public static class Chars         extends Text.TextString { }
  91     public static class Symbol        extends Text.TextString { }
  92     public static class Keyword       extends Text.TextString { public String tag() { return "tt"; } }
  93     public static class Subscript     extends Text.TextString { public String tag() { return "sub"; } }
  94     public static class Superscript   extends Text.TextString { public String tag() { return "super"; } }
  95     public static class Bold          extends Text.TextArray  { public String tag() { return "b"; } }
  96     public static class Smallcap      extends Text.TextArray  { public String tag() { return "sc"; } }
  97     public static class Strikethrough extends Text.TextArray  { public String tag() { return "strike"; } }
  98     public static class TT            extends Text.TextArray  { public String tag() { return "tt"; } }
  99     public static class Underline     extends Text.TextArray  { public String tag() { return "u"; } }
 100     public static class Italic        extends Text.TextArray  { public String tag() { return "i"; } }
 101     public static class Citation      extends Text.TextArray  { } // FIXME
 102     public static class Footnote      extends Text.TextArray  { } // FIXME
 103     public static class LineBreak     extends Text            { public void toHTML(ToHTML.HTML sb) { sb.tag("br"); } }
 104     public static class Today         extends Text            { }
 105     public static class Euro          extends Text            { public void toHTML(ToHTML.HTML sb) { sb.entity(8364); } }
 106     public static class Link          extends Text {
 107         public Text[] text;
 108         public URI href;
 109         public void toHTML(ToHTML.HTML sb) { sb.tag("a", new Object[] { "href", href }, text); }
 110     }
 111     public static class Entity        extends Text {
 112         public final String entity;
 113         public Entity(String entity) { this.entity = entity; }
 114         public void toHTML(ToHTML.HTML sb) { sb.entity(entity); }
 115     }
 116
 117
 118     // Network //////////////////////////////////////////////////////////////////////////////
 119
 120     public static interface Host extends ToHTML {
 121         public static class DNS implements Host {
 122             public String[] part;
 123             public void toHTML(ToHTML.HTML sb) {
 124                 for(int i=0; i<part.length; i++)
 125                     sb.append((i==0 ? "" : ".")+part[i]);
 126             }
 127         }
 128         public static class IP  implements Host {
 129             public int a, b, c, d;
 130             public void toHTML(ToHTML.HTML sb) { sb.append(a+"."+b+"."+c+"."+d); }
 131         }
 132     }
 133
 134     public static interface URI extends ToHTML {
 135         public static final Class[] subclasses = new Class[] { URL.class, Email.class };
 136     }
 137     public static class URL extends Text    implements URI {
 138         public String method;
 139         public Login login;
 140         public Host host;
 141         public int port;
 142         public String path;
 143         public void toHTML(ToHTML.HTML sb) {
 144             sb.append(method);
 145             sb.append("://");
 146             // login.toHTML(sb);   FIXME
 147             host.toHTML(sb);
 148             // sb.append(":");     FIXME
 149             // sb.append(port);
 150             sb.append("/");
 151             sb.append(path);
 152         }
 153     }
 154     public static class Email extends Text  implements URI {
 155         public String user;
 156         public Host host;
 157         public void toHTML(ToHTML.HTML sb) {
 158             sb.append(user);
 159             sb.append('@');
 160             host.toHTML(sb);
 161         }
 162     }
 163
 164     public static class Login {
 165         public String username;
 166         public String password;
 167         public void toHTML(ToHTML.HTML sb) {
 168             sb.append(username);
 169             sb.append(':');
 170             sb.append(password);
 171             sb.append('@');
 172         }
 173     }
 174
 175
 176
 177
 178     */
 179     /*
 180         public static void prefix(PrintWriter p) {
 181             p.println("% generated by TIBDOC");
 182             for(int i=0; i<packages.length; i++) p.println("\\usemodule["+packages[i]+"]");
 183             p.println("\\setuppapersize[letter]");
 184             p.println("\\setuppagenumbering[location=]");
 185             p.println("\\setupcolors[state=start]");
 186             //"\\setupinteraction[title={Title},author={Me},"++
 187             //"subtitle={Deez Nutz},keywords={blargh},color=blue]\n" ++
 188             //"\\setuppublications[database={me},numbering=yes,sort=author]\n" ++
 189             p.println("\\setuphead[section][style={\\ss\\bfa},number=no,before=\\blank\\hairline\\nowhitespace]");
 190             p.println("\\definelayout[mypage][backspace=1.75in,cutspace=1.75in,width=5in]");
 191             p.println("\\setuplayout[mypage]");
 192             p.println("\\definetypeface[myface][rm][Xserif][Warnock Pro]");
 193             p.println("\\definetypeface[myface][tt][Xmono][CMU Typewriter Text Regular][default]");
 194             p.println("\\definetypeface[myface][ss][Xsans][Myriad Pro][default]");
 195             p.println("\\usesymbols[uni]");
 196             p.println("\\definesymbol[1][{\\USymbCharZapf{39}{164}}]");
 197             p.println("\\setupbodyfont[myface, 11pt]");
 198             p.println("\\setupwhitespace[7pt]");
 199             p.println("\\def\\MyDroppedCaps%");
 200             p.println("    {\\DroppedCaps");
 201             p.println("        {} {Serif} {2\\baselineskip} {2pt} {1\\baselineskip} {2}}");
 202             p.println("\\starttext");
 203             p.println("\\switchtobodyfont[16pt]\\midaligned{\\ss\\bfa{Title}}\\switchtobodyfont[10pt]");
 204             p.println("\\midaligned{Adam Megacz}\n\n\\nowhitespace\\midaligned{\\tt{adam@megacz.com}}");
 205             p.println("\\blank[1cm,force]");
 206             //p.println("\\defineparagraphs[mypar][n=2,before={\\blank},after={\\blank}");
 207             //p.println("\\setupparagraphs[mypar][1][width=.45\\textwidth");
 208             //p.println("\\setupparagraphs[mypar][2][width=.55\\textwidth");
 209             //p.println("\\startmypa");
 210             //p.println("\\switchtobodyfont[sma");
 211         }
 212
 213         public static void suffix(PrintWriter p) {
 214             p.println("\\stoptext");
 215         }
 216         static String[] packages = new String[] { "supp-fun", "bib", "href" };
 217     }
 218
 219     // ConTex
 220
 221 module Contex where
 222 import Data.Array.IArray
 223 import Data.Char
 224 import Util
 225 import Lexer
 226 import IR
 227 import Data.List
 228 import Beautify
 229
 230 toContex ll = prefix ++ (concatMap tl ll) ++ suffix
 231  where
 232   packages                         = [ "[supp-fun]",
 233                                        "[bib]",
 234                                        "[href]" ]
 235   prefix                           = (concatMap (\x -> "\\usemodule"++x++"\n") packages) ++
 236                                      "\\setuppapersize[letter]\n" ++
 237                                      "\\setuppagenumbering[location=]\n" ++
 238                                      "\\setupcolors[state=start]\n" ++
 239                                      --"\\setupinteraction[title={Title},author={Me},"++
 240                                      --"subtitle={Deez Nutz},keywords={blargh},color=blue]\n" ++
 241                                      --"\\setuppublications[database={me},numbering=yes,sort=author]\n" ++
 242                                      "\\setuphead[section][style={\\ss\\bfa},\n" ++
 243                                      "                     number=no,\n" ++
 244                                      "                     before=\\blank\\hairline\\nowhitespace,\n" ++
 245                                      "                     ]\n" ++
 246                                      "\\definelayout[mypage][\n" ++
 247                                      " backspace=1.75in, % the space for margin notes\n" ++
 248                                      " cutspace=1.75in, % the space for right margin notes\n" ++
 249                                      " width=5in" ++
 250                                      "]\n" ++
 251                                      "\\setuplayout[mypage]\n" ++
 252                                      "\\definetypeface[myface][rm][Xserif][Warnock Pro]\n" ++
 253                                      "\\definetypeface[myface][tt][Xmono][CMU Typewriter Text Regular][default]\n" ++
 254                                      "\\definetypeface[myface][ss][Xsans][Myriad Pro][default]\n" ++
 255                                      "\\usesymbols[uni]\n" ++
 256                                      "\\definesymbol[1][{\\USymbCharZapf{39}{164}}]\n" ++
 257                                      "\\setupbodyfont[myface, 11pt]\n" ++
 258                                      "\\setupwhitespace[7pt]\n" ++
 259                                      "\\def\\MyDroppedCaps%\n" ++
 260                                      "    {\\DroppedCaps\n" ++
 261                                      "        {} {Serif} {2\\baselineskip} {2pt} {1\\baselineskip} {2}}\n" ++
 262                                      "\\starttext\n" ++
 263                                      "\\switchtobodyfont[16pt]\\midaligned{\\ss\\bfa{Hi5 Replicated Server Infrastructure}}\\switchtobodyfont[10pt]\n"++
 264                                      "\\midaligned{Adam Megacz}\n\n\\nowhitespace\\midaligned{\\tt{adam@megacz.com}}\n\n"++
 265                                      "\\blank[1cm,force]\n" ++
 266                                      "\\defineparagraphs[mypar][n=2,before={\\blank},after={\\blank}]\n"++
 267                                      "\\setupparagraphs[mypar][1][width=.45\\textwidth]\n"++
 268                                      "\\setupparagraphs[mypar][2][width=.55\\textwidth]\n"++
 269                                      "\\startmypar"++
 270                                      "\\switchtobodyfont[small]\n"
 271   suffix                           = "\n\\stoptext\n"
 272   addItem i                        = "\\item " ++ (striptrail $ boost 8 $ wrap $ striplead $ tl i)
 273   escapify []                      = []
 274   escapify ('%':t)                 = '\\':'%':(escapify t)
 275   escapify ('$':t)                 = '\\':'$':(escapify t)
 276   escapify (h:t)                   = h:(escapify t)
 277   escapeMath s                     = s
 278   tl (Special _ BulletList l)      = "\\startitemize[symbol]\n" ++ (concatMap addItem l) ++ "\\stopitemize\n"
 279   tl (Special _ NumberList l)      = "\\startitemize[symbol]\n" ++ (concatMap addItem l) ++ "\\stopitemize\n"
 280   tl (Special _ Section (h:t))     = "\\section{"++(tl h)++"}\n"++(concatMap tl t)
 281   tl (Special _ NumberedSection (h:t)) = "\\section{"++(tl h)++"}\n"++(concatMap tl t)
 282   tl (Special _ (Glyph EmDash) []) = "{\\emdash}"
 283 --tl (Special _ Superscript l)     =
 284 --tl (Special _ Subscript l)       =
 285 --tl (Special _ (Image u) l)       =
 286 --tl (Special _ (Cite u) l)        =
 287   tl (Special _ BlockQuote l)      = "\n\n\\startquote\n     "++
 288                                      (striptrail $ boost 4 $ wrap $ striplead $ concatMap tl l)++"\n\\stopquote\n\n"
 289   tl (Special _ HorizontalRule []) = "\\\\\\rule{4in}{0.5pt}\\\\"
 290   tl (Special _ Italic l)          = "{\\it{"++(concatMap tl l)++"}}"
 291   tl (Special _ Bold l)            = "{\\bf{"++(concatMap tl l)++"}}"
 292   tl (Special _ DropCap (h:t))     = "\\MyDroppedCaps{"++(tl h)++"}{\\sc "++(concatMap tl t)++"}"
 293   tl (Special _ Typewriter l)      = "{\\tt{"++(concatMap tl l)++"}}"
 294   tl (Special _ StrikeThrough l)   = "" --"\\sout{"++(concatMap tl l)++"}"
 295   tl (Special _ Quotes l)          = "``"++(concatMap tl l)++"''"
 296   tl (Special _ Underline l)       = "" --"\\uline{"++(concatMap tl l)++"}"
 297   tl (Special _ Underline2 l)      = "" --"\\uuline{"++(concatMap tl l)++"}"
 298   tl (Special _ (Math s) [])       = "\\placeformula\n$$\n" ++ (escapeMath s) ++ "\n$$\n"
 299   tl (Special _ Footnote l)        = "\\footnote{"++(concatMap tl l)++"}"
 300   tl (Special _ Float l)           = "" --"\n\n\\begin{wrapfigure}{r}{0.4\\textwidth} \\framebox[0.4\\textwidth]{"++
 301                                      --(concatMap tl l)++"} \\label{x}\\end{wrapfigure}\n\n"
 302 --tl (Special _ Figure l)          = "\\placefigure[][fig:church]{}{"++(concatMap tl l)++"}"
 303   tl (Special _ Figure l)          = "\\startnarrower\n"++(concatMap tl l)++"\n\\stopnarrower\n"
 304   tl (Special _ (Link u) l)        = "\\href{"++(escapify u)++"}{"++(concatMap tl l)++"}"
 305   tl (Special _ (Verbatim s) [])   = "\\starttyping\n"++s++"\n\\stoptyping\n"
 306 --  tl (Special _ TwoColumn l)       = "\\startcolumns[n=2]\n"++(concatMap tl l)++"\\stopcolumns"
 307 --  tl (Special _ Title l)           = ""--"\\title{"++(concatMap tl l)++"}\n\\maketitle\n\n\n"
 308   tl (Special _ Abstract l) =
 309       "\\midaligned{\\ss\\bfa Abstract}\\par\n " ++
 310       "\n\n"++(concatMap tl l)++"\\mypar" ++
 311       "\\switchtobodyfont[8pt]{\\ss{\\placecontent}}\\switchtobodyfont[normal]\\stopmypar\n\n\\blank[1cm,force]"
 312   tl (Special _ (Command c) l)     = "\\"++c++"["++(concatMap tl l)++"]"
 313   tl (Special _ t l)               = error $ "formatting code "++(show t)++" not supported on {"++(concatMap show l)++"})"
 314   tl (WS _)                        = " "
 315   tl (BlankLine _)                 = "\n\n"
 316   tl (Block _ l)                   = concatMap tl l
 317   tl (Letter _ c)                  = escapify [c]
 318   tl z                             = (show z)
 319
 320
 321
 322
 323     */
 324
 325     // Main //////////////////////////////////////////////////////////////////////////////
 326
 327     public static class Dump implements Reflection.Show {
 328         public String toString() { return Reflection.show(this); }
 329     }
 330
 331     public static class TD {
 332
 333         public @nonterminal static class Doc extends Dump {
 334             public @arg Header head;
 335             public @arg Body body;
 336         }
 337
 338         public @nonterminal static class Header extends Dump {
 339             public @arg KeyVal[] attrs;
 340             // FIXME: it would be nice to be able to
 341             // void KeyVal(String, String) { ... } imperatively
 342         }
 343
 344         public @nonterminal static class Body extends Dump {
 345             public Section[] sections;
 346         }
 347
 348         public @nonterminal("Section") static class Section extends Dump {
 349             public String      header;
 350             public Paragraph[] paragraphs;
 351         }
 352
 353         public @nonterminal static class KeyVal extends Dump {
 354             public @arg String key;
 355             public @arg Object val;
 356         }
 357
 358         public static class Paragraph extends Dump { }
 359         public @tag("P") static class P extends Paragraph {
 360             Object text;
 361         }
 362         public @tag("HR") static class HR extends Paragraph { }
 363         public @tag("Blockquote") static class Blockquote extends Paragraph {
 364             Object text;
 365         }
 366     }
 367
 368     public static void main(String[] s) throws Exception {
 369         try {
 370
 371             Demo.ReflectiveMeta m =
 372                 new Demo.ReflectiveMeta(TibDoc.TD.class,
 373                                         new Class[] {
 374                                             TibDoc.TD.Doc.class,
 375                                             TibDoc.TD.Header.class,
 376                                             TibDoc.TD.Section.class,
 377                                             TibDoc.TD.Body.class,
 378                                             TibDoc.TD.Paragraph.class,
 379                                             TibDoc.TD.P.class,
 380                                             TibDoc.TD.HR.class,
 381                                             TibDoc.TD.Blockquote.class,
 382                                             TibDoc.TD.KeyVal.class
 383                                         });
 384             Tree<String> res = new CharParser(MetaGrammar.make()).parse(new FileInputStream(s[0])).expand1();
 385             MetaGrammar.Meta.MetaGrammarFile mgf = m.new MetaGrammarFile(res);
 386             MetaGrammar.BuildContext bc = new MetaGrammar.BuildContext(mgf);
 387             Union tibgram = mgf.get("s").build(bc);
 388
 389             System.err.println("parsing " + s[1]);
 390             Tree t = new CharParser(tibgram).parse(new Tib(new FileInputStream(s[1]))).expand1();
 391             System.out.println("tree:\n" + t.toPrettyString());
 392
 393             Reducer red = (Reducer)t.head();
 394             Object result = red.reduce(t);
 395             System.out.println((TD.Doc)result);
 396             /*
 397             System.out.println("parsing " + s[0]);
 398             Tree<String> res = new CharParser(MetaGrammar.make()).parse(new FileInputStream(s[0])).expand1();
 399             MetaGrammar gram = new Tib.Grammar(TibDoc.class);
 400             gram = (MetaGrammar)gram.walk(res);
 401             System.out.println("\nparsing " + s[1]);
 402             Forest f = new CharParser(gram.done()).parse(new Tib(new FileInputStream(s[1])));
 403             System.out.println();
 404             System.out.println(f.expand1().toPrettyString());
 405             System.out.println();
 406             Doc doc = (Doc)new ReflectiveGrammar(TibDoc.class).build(f.expand1());
 407             System.out.println(doc);
 408             System.out.println();
 409             System.out.println();
 410             System.out.println();
 411             System.out.println();
 412             StringBuffer sb = new StringBuffer();
 413             doc.toHTML(new ToHTML.HTML(sb));
 414             System.out.println(sb);
 415
 416             FileOutputStream fos = new FileOutputStream("out.html");
 417             PrintWriter p = new PrintWriter(new OutputStreamWriter(fos));
 418             p.println(sb);
 419             p.flush();
 420             p.close();
 421             */
 422         } catch (Ambiguous a) {
 423             FileOutputStream fos = new FileOutputStream("/Users/megacz/Desktop/out.dot");
 424             PrintWriter p = new PrintWriter(new OutputStreamWriter(fos));
 425             GraphViz gv = new GraphViz();
 426             a.ambiguity.toGraphViz(gv);
 427             gv.dump(p);
 428             p.flush();
 429             p.close();
 430             a.printStackTrace();
 431
 432         } catch (Exception e) {
 433             e.printStackTrace();
 434         }
 435     }
 436
 437 }
 438