X-Git-Url: http://git.megacz.com/?p=sbp.git;a=blobdiff_plain;f=src%2Fedu%2Fberkeley%2Fsbp%2Ftib%2FTibDoc.java;h=273c639875b414cd9d0ce61f0d15d2e22c0e434f;hp=4757c410a1988f7ae1e00dec5fd1daacf14e864e;hb=ffd80456c6b2979ea5fa2a672c0bdd43a700c055;hpb=32d016fe9745635fd9e260e98daf64fb2df5acdb diff --git a/src/edu/berkeley/sbp/tib/TibDoc.java b/src/edu/berkeley/sbp/tib/TibDoc.java index 4757c41..273c639 100644 --- a/src/edu/berkeley/sbp/tib/TibDoc.java +++ b/src/edu/berkeley/sbp/tib/TibDoc.java @@ -1,15 +1,15 @@ -// Copyright 2005 the Contributors, as shown in the revision logs. -// Licensed under the Apache Public Source License 2.0 ("the License"). -// You may not use this file except in compliance with the License. +// Copyright 2006 all rights reserved; see LICENSE file for BSD-style license package edu.berkeley.sbp.tib; import edu.berkeley.sbp.*; import edu.berkeley.sbp.misc.*; +import edu.berkeley.sbp.meta.*; import edu.berkeley.sbp.util.*; import edu.berkeley.sbp.chr.*; +import edu.berkeley.sbp.bind.*; import java.util.*; import java.io.*; -import static edu.berkeley.sbp.misc.Demo.*; +import static edu.berkeley.sbp.meta.MetaGrammar.*; public class TibDoc { /* @@ -330,29 +330,59 @@ toContex ll = prefix ++ (concatMap tl ll) ++ suffix public static class TD { - public @bind.as static class Doc extends Dump { + public @bind static class Doc extends Dump implements ToHTML { public @bind.arg Header head; public @bind.arg Body body; + public void toHTML(HTML h) { + h.tag("html", new ToHTML[] { head, body }); + } } - public @bind.as static class Header extends Dump { + public @bind static class Header extends Dump implements ToHTML { public @bind.arg KeyVal[] attrs; + public Text[] get(String key) { + for(KeyVal kv : attrs) + if (kv.key.equals(key)) + return kv.val; + return null; + } + public void toHTML(HTML h) { + h.openTag("head"); + h.tag("title", get("title")); + h.tag("style", stylesheet); + h.closeTag("head"); + } // FIXME: it would be nice to be able to // void KeyVal(String, String) { ... } imperatively } - public @bind.as static class Body extends Dump { + public @bind static class Body extends Dump implements ToHTML { public Section[] sections; + public void toHTML(HTML h) { + h.openTag("body"); + h.openTag("center"); + h.openTag("table", new Object[] { "width", "600px" }); + h.openTag("tr"); + h.tag("td", sections); + h.closeTag("tr"); + h.closeTag("table"); + h.closeTag("center"); + h.closeTag("body"); + } } - public @bind.as("Section") static class Section extends Dump { + public @bind.as("Section") static class Section extends Dump implements ToHTML { public String header; public Paragraph[] paragraphs; + public void toHTML(HTML h) { + h.tag("h1", header); + for(Paragraph p : paragraphs) h.tag("p", p); + } } - public @bind.as static class KeyVal extends Dump { + public @bind static class KeyVal extends Dump { public @bind.arg String key; - public @bind.arg Object val; + public @bind.arg Text[] val; } public abstract static class Paragraph extends Dump implements ToHTML { } @@ -361,7 +391,8 @@ toContex ll = prefix ++ (concatMap tl ll) ++ suffix public Text[] text; public P() { } public P(Text[] text) { this.text = text; } - public void toHTML(HTML h) { if (text != null) for (Text t : text) if (t != null) t.toHTML(h); } + public P(String string) { this.text = new Text[] { new Chars(string) }; } + public void toHTML(HTML h) { if (text != null) h.append(text); } public String toString() { StringBuffer sb = new StringBuffer(); ToHTML.HTML h = new ToHTML.HTML(sb); @@ -370,64 +401,226 @@ toContex ll = prefix ++ (concatMap tl ll) ++ suffix } } - public @bind.as("HR") static class HR extends Paragraph { + public static @bind class Login { + public @bind.arg String username; + public @bind.arg String password; + } + + public static @bind.as("Citation") Object cite(Object o) { return new Chars("*cite*"); } + public static @bind.as("Symbol") Object sym(String s) { return new Chars(s); } + + public static abstract class List extends Paragraph { + public @bind.arg Text[] preface; + public @bind.arg Text[][] points; + public abstract String tag(); + public void toHTML(ToHTML.HTML sb) { + sb.append(preface); + sb.openTag(tag()); + for(Text[] t : points) + sb.tag("li", t); + sb.closeTag(tag()); + } + } + public static @bind class OL extends List { public String tag() { return "ol"; } } + public static @bind class UL extends List { public String tag() { return "ul"; } } + + public static class HR extends Paragraph { + public @bind HR() { } + public @bind HR(Object o) { } public void toHTML(HTML h) { h.tag("hr"); } } - public @bind.as("Blockquote") static class Blockquote extends Paragraph { + public static class Blockquote extends Paragraph { Text[] text; + public @bind Blockquote(Text[] t) { this.text = t; } + public @bind Blockquote(Text[] t, Text[] t2) { + if (t2==null) { + this.text = t; + } else { + Text[] t3 = new Text[t.length + t2.length]; + System.arraycopy(t, 0, t3, 0, t.length); + System.arraycopy(t2, 0, t3, t.length, t2.length); + this.text = t3; + } + } public void toHTML(HTML h) { h.tag("blockquote", new P(text)); } } public abstract static class Text extends Dump implements ToHTML { } - public @bind.as static class Chars extends Text { + + public @bind static class Space extends Chars { + public Space() { super(" "); } + } + public @bind static class Chars extends Text { public String text; public Chars() { } public Chars(String text) { this.text = text; } - public void toHTML(HTML h) { h.appendText(" " + text + " "); } + public void toHTML(HTML h) { h.appendText(text); } public String toString() { return text; } } - public @bind.as static class Block extends Text { + public @bind static class Block extends Text { public Text[] text; - public void toHTML(HTML h) { for(Text t : text) t.toHTML(h); } + public void toHTML(HTML h) { h.append(text); } } public static class TextWrap extends Text { - public Text text; + public @bind.arg Text[] text; public void toHTML(HTML h) { - if (htmlTag()!=null) - h.tag(htmlTag(), htmlTagParams(), text); - else - text.toHTML(h); + if (htmlTag()!=null) { + h.openTag(htmlTag(), htmlTagParams()); + } + h.append(text); + if (htmlTag()!=null) { + h.closeTag(htmlTag()); + } } public String htmlTag() { return null; } public Object[] htmlTagParams() { return null; } } - public static @bind.as class Verbatim extends Text { public char[] c; public void toHTML(HTML h) { } } - //public @bind.as class Blockquote extends TextWrap { } - public static @bind.as class Underline extends TextWrap { public String htmlTag() { return "u"; } } - public static @bind.as class Footnote extends TextWrap { public String htmlTag() { return "small"; } } - public static @bind.as class TT extends TextWrap { public String htmlTag() { return "tt"; } } - //public @bind.as class Citation extends Text { "[" word "]" } - public static @bind.as class Strikethrough extends TextWrap { public String htmlTag() { return "strikethrough"; } } - public static @bind.as class Superscript extends TextWrap { public String htmlTag() { return "sup"; } } - public static @bind.as class Subscript extends TextWrap { public String htmlTag() { return "sub"; } } - public static @bind.as class Smallcap extends TextWrap { public String htmlTag() { return "sc"; } } - public static @bind.as class Keyword extends TextWrap { public String htmlTag() { return "sc"; } } - public static @bind.as class Bold extends TextWrap { public String htmlTag() { return "b"; } } - public static @bind.as class Italic extends TextWrap { public String htmlTag() { return "i"; } } + + public static @bind class Verbatim extends Text { + public @bind.arg String s; + public void toHTML(HTML h) { + h.openTag("div", new Object[] { "class", "terminal" }); + for(int i=0; i", 0x2192), + new Entity("leftDoubleArrow", "<==", 0x21D0), + new Entity("rightDoubleArrow", "==>", 0x21D2), + new Entity("doubleLeftRightArrow", "<==>", 0x21D4), + new Entity("upArrow", 0x2191), + new Entity("downArrow", 0x2193), + new Entity("upDoubleArrow", 0x21D1), + new Entity("downDoubleArrow", 0x21D3), + new Entity("forall", 0x2200), + new Entity("exists", 0x2203), + new Entity("emptySet", 0x2205), + new Entity("in", 0x2208), + new Entity("cent", 0xA2), + new Entity("pi", 0x220F), + new Entity("sigma", 0x2211), + new Entity("infinity", 0x221E), + new Entity("proportional", 0x221D), + new Entity("check", 0x221A), + new Entity("asterisk", 0x2217), + new Entity("minus", 0x2212), + new Entity("angle", 0x2220), + new Entity("and", 0x2227), + new Entity("or", 0x2228), + new Entity("intersection", 0x2229), + new Entity("union", 0x222A), + new Entity("integral", 0x222B), + new Entity("therefore", 0x2234), + new Entity("congruent", 0x2245), + new Entity("similarTo", 0x2248), + new Entity("identical", 0x2261), + new Entity("neq", 0x2260), + new Entity("subset", 0x2282), + new Entity("superset", 0x2283), + new Entity("notSubset", 0x2284), + new Entity("subsetEq", 0x2286), + new Entity("supersetEq", 0x2287), + new Entity("circlePlus", 0x2295), + new Entity("circleTimes", 0x2297), + new Entity("bottom", 0x22A5), + new Entity("cdot", 0x22C5), + new Entity("openDiamonds", 0x25CA), + new Entity("spade", 0x2660), + new Entity("clubs", 0x2663), + new Entity("hearts", 0x2665), + new Entity("diamonds", 0x2666), + new Entity("prime", 0x2032), + new Entity("reals", 0x211C), + new Entity("powerSet", 0x2118), + new Entity("overScore", 0x203E), + new Entity("yen", 0xA5), + new Entity("plusminus", 0xB1), + new Entity("micro", 0xB5), + new Entity("superScriptOne", 0xB9), + new Entity("superScriptTwo", 0xB2), + new Entity("superScriptThree", 0xB3), + new Entity("oneQuarter", 0xBC), + new Entity("oneHalf", 0xBD), + new Entity("threeQuarters", 0xBE), + new Entity("paragraphSymbol", 0xB6), + new Entity("times", 0xD7), + new Entity("daggar", 0x86), + new Entity("sectionSymbol", 0xA7), + new Entity("not", 0xAC), + new Entity("cr", 0x2193), + new Entity("dot", 0xB7), + }; + + public static @bind Object command(String s) { + if (s.equals("br")) return new LineBreak(); + if (s.equals("today")) return new Today(); + for(Entity e : entities) + if (e.name.equals(s)) + return e; + return null; + } + + public static @bind class Quotes extends Text { + public Text[] text; + public void toHTML(HTML h) { + h.append("\""); + h.append(text); + h.append("\""); + } + } public static class Link extends Text { public Text[] t; public Url u; - public @bind.as("LinkText") Link(Text[] t, Url u) { this.t = t; this.u = u; } - public @bind.as("LinkChars") Link(String s, Url u) { this(new Text[] { new Chars(s) }, u); } + public @bind.as("link") Link(@bind.arg Text[] t, @bind.arg Url u) { this.t = t; this.u = u; } + public Link(String s, Url u) { this(new Text[] { new Chars(s) }, u); } public void toHTML(HTML h) { h.tag("a", new Object[] { "href", u==null ? "" : u.toString() }, @@ -447,6 +640,10 @@ toContex ll = prefix ++ (concatMap tl ll) ++ suffix } } public @bind.as("IP") Host(int a, int b, int c, int d) { name = a+"."+b+"."+c+"."+d; } + public Host(String hostname) { + this.name = hostname; + } + } public static class Url extends Text { @@ -456,65 +653,83 @@ toContex ll = prefix ++ (concatMap tl ll) ++ suffix public String pass; public String port; public String path; - public @bind.as("URL") Url(String method, String[] login, Host host, String port, String path) { + public String ref; + public @bind.as("URL") Url(String method, String[] login, Host host, String port, String path, String ref) { this.method = method; this.user = login==null ? null : login.length >= 1 ? login[0] : null; this.pass = login==null ? null : login.length >= 2 ? login[1] : null; this.host = host; this.port = port; this.path = path; + this.ref = ref; } - public @bind.as("Mailto") Url(String email) { this("mailto", null, null, "25", email); } public void toHTML(HTML h) { new Link(toString(), this).toHTML(h); } public String toString() { - return method + "://" + host + "/" + path; + return method + "://" + host + "/" + path + (ref==null ? "" : ("#"+ref)); } } + public static class Email extends Url { + public @bind.as("Mailto") Email(String email) { + super("mailto", + null, + new Host(email.substring(email.indexOf('@'))), + "25", + email.substring(email.indexOf('@')), + null + ); + } + public @bind.as("email") Email(String user, Host host) { + super("mailto", null, host, "25", user, null); + } + public void toHTML(HTML h) { + h.tag("a", + new Object[] { "href", "mailto:"+path+"@"+host }, + new P(toString())); + } + public String toString() { return path+"@"+host; } + } + public static @bind.as("lf") String lf() { return "\r"; } public static @bind.as("cr") String cr() { return "\n"; } public static @bind.as("\"\"") String empty() { return ""; } - public static @bind.as("urlescape") String urlescape(char a, char b) { return ((char)((a-'0') * 16 + (b-'0')))+""; } + public static @bind.as("urlescape") char urlescape(char a, char b) { return ((char)((a-'0') * 16 + (b-'0'))); } + public static @bind String urlpath(String[] s) { + StringBuffer sb = new StringBuffer(); + for(String st : s) sb.append(st); + return sb.toString(); + } } public static void main(String[] s) throws Exception { - try { - Demo.ReflectiveMeta m = - new Demo.ReflectiveMeta(TibDoc.TD.class); - Tree res = new CharParser(MetaGrammar.make()).parse(new FileInputStream(s[0])).expand1(); - MetaGrammar.Meta.MetaGrammarFile mgf = m.new MetaGrammarFile(res); - MetaGrammar.BuildContext bc = new MetaGrammar.BuildContext(mgf); - Union tibgram = mgf.get("s").build(bc); + try { + Tree res = new CharParser(MetaGrammar.newInstance()).parse(new FileInputStream(s[0])).expand1(); + + AnnotationGrammarBindings resolver = new AnnotationGrammarBindings(TD.class); + resolver.add(MetaGrammarBindings.class, "meta"); + Union tibgram = Grammar.create(res, "s", resolver); System.err.println("parsing " + s[1]); Tree t = new CharParser(tibgram).parse(new Tib(new FileInputStream(s[1]))).expand1(); System.out.println("tree:\n" + t.toPrettyString()); Object result = ((Functor)t.head()).invoke(t); - System.out.println((TD.Doc)result); - /* - System.out.println("parsing " + s[0]); - Tree res = new CharParser(MetaGrammar.make()).parse(new FileInputStream(s[0])).expand1(); - MetaGrammar gram = new Tib.Grammar(TibDoc.class); - gram = (MetaGrammar)gram.walk(res); - System.out.println("\nparsing " + s[1]); - Forest f = new CharParser(gram.done()).parse(new Tib(new FileInputStream(s[1]))); - System.out.println(); - System.out.println(f.expand1().toPrettyString()); - System.out.println(); - + TD.Doc doc = (TD.Doc)result; + System.out.println(doc); + StringBuffer sb = new StringBuffer(); + ToHTML.HTML html = new ToHTML.HTML(sb); + doc.toHTML(html); FileOutputStream fos = new FileOutputStream("out.html"); PrintWriter p = new PrintWriter(new OutputStreamWriter(fos)); p.println(sb); p.flush(); p.close(); - */ } catch (Ambiguous a) { FileOutputStream fos = new FileOutputStream("/Users/megacz/Desktop/out.dot"); PrintWriter p = new PrintWriter(new OutputStreamWriter(fos)); GraphViz gv = new GraphViz(); - a.ambiguity.toGraphViz(gv); + a.getAmbiguity().toGraphViz(gv); gv.dump(p); p.flush(); p.close(); @@ -523,7 +738,56 @@ toContex ll = prefix ++ (concatMap tl ll) ++ suffix } catch (Exception e) { e.printStackTrace(); } + } -} + private static final String[] stylesheet = new String[] { + "H1 {", + " margin-left: -20px;", + " margin-top: 30px;", + " font-family: helvetica, verdana, arial, sans-serif;", + " font-size: 14pt;", + " font-weight: bold;", + " text-align: left;", + " width : 100%;", + " border-top-width: 2pt;", + " border-top-style: solid;", + "} ", + "", + "H2 {", + " font-family: helvetica, verdana, arial, sans-serif;", + " font-size: 12pt;", + " font-weight: bold;", + "} ", + "", + "H3 {", + " margin-left: -10px;", + " font-family: helvetica, verdana, arial, sans-serif;", + " font-size: 12pt;", + " font-weight: bold;", + "} ", + "", + "TH, TD, P, LI {", + " font-family: helvetica, verdana, arial, sans-serif;", + " font-size: 13px; ", + " text-decoration:none; ", + "}", + "", + "LI { margin-top: 5px; }", + "div.terminal {", + " text-align: left;", + " font-family: monospace;", + " border-style: solid;", + " border-width: 2px 2px 2px 2px;", + " white-space: pre;", + " border-color: #6666aa;", + " color: #FFFFFF;", + " background-color: #000000;", + " margin-bottom: 25px;", + " margin-right: 25px;", + " margin-left: 25px;", + " padding: 10px;", + "}" + }; +}