X-Git-Url: http://git.megacz.com/?p=sbp.git;a=blobdiff_plain;f=src%2Fedu%2Fberkeley%2Fsbp%2Ftib%2FTibDoc.java;h=f5197294061ab634c689b13f32571ff7ccca5ced;hp=504e3a432dcb3948149668213c17dab5e1533b5c;hb=96a2822a729e563a64173f22dc184bc972a200ef;hpb=0a0227b9180534d2a431f3d6e08a398bde2244c4 diff --git a/src/edu/berkeley/sbp/tib/TibDoc.java b/src/edu/berkeley/sbp/tib/TibDoc.java index 504e3a4..f519729 100644 --- a/src/edu/berkeley/sbp/tib/TibDoc.java +++ b/src/edu/berkeley/sbp/tib/TibDoc.java @@ -5,10 +5,26 @@ package edu.berkeley.sbp.tib; //import org.ibex.util.*; //import org.ibex.io.*; +import edu.berkeley.sbp.*; +import edu.berkeley.sbp.misc.*; import java.util.*; import java.io.*; public class TibDoc { + + public static void main(String[] s) throws Exception { + System.out.println("parsing " + s[0]); + Tree res = new CharToken.CharToStringParser(MetaGrammar.make()).parse1(new CharToken.Stream(new FileInputStream(s[0]))); + MetaGrammar gram = (MetaGrammar)new Tib.Grammar().walk(res); + //System.out.println(gram); + Union mg = gram.done(); + + System.out.println("\nparsing " + s[1]); + res = new CharToken.CharToStringParser(mg).parse1(new Tib(new FileInputStream(s[1]))); + System.out.println(res); + } + + /* public static enum Style { H, UL, TT, SO, IT, Q, B, PRE, LIST, EMDASH; } @@ -105,6 +121,111 @@ public class TibDoc { } static String[] packages = new String[] { "supp-fun", "bib", "href" }; } + + // ConTex + +module Contex where +import Data.Array.IArray +import Data.Char +import Util +import Lexer +import IR +import Data.List +import Beautify + +toContex ll = prefix ++ (concatMap tl ll) ++ suffix + where + packages = [ "[supp-fun]", + "[bib]", + "[href]" ] + prefix = (concatMap (\x -> "\\usemodule"++x++"\n") packages) ++ + "\\setuppapersize[letter]\n" ++ + "\\setuppagenumbering[location=]\n" ++ + "\\setupcolors[state=start]\n" ++ + --"\\setupinteraction[title={Title},author={Me},"++ + --"subtitle={Deez Nutz},keywords={blargh},color=blue]\n" ++ + --"\\setuppublications[database={me},numbering=yes,sort=author]\n" ++ + "\\setuphead[section][style={\\ss\\bfa},\n" ++ + " number=no,\n" ++ + " before=\\blank\\hairline\\nowhitespace,\n" ++ + " ]\n" ++ + "\\definelayout[mypage][\n" ++ + " backspace=1.75in, % the space for margin notes\n" ++ + " cutspace=1.75in, % the space for right margin notes\n" ++ + " width=5in" ++ + "]\n" ++ + "\\setuplayout[mypage]\n" ++ + "\\definetypeface[myface][rm][Xserif][Warnock Pro]\n" ++ + "\\definetypeface[myface][tt][Xmono][CMU Typewriter Text Regular][default]\n" ++ + "\\definetypeface[myface][ss][Xsans][Myriad Pro][default]\n" ++ + "\\usesymbols[uni]\n" ++ + "\\definesymbol[1][{\\USymbCharZapf{39}{164}}]\n" ++ + "\\setupbodyfont[myface, 11pt]\n" ++ + "\\setupwhitespace[7pt]\n" ++ + "\\def\\MyDroppedCaps%\n" ++ + " {\\DroppedCaps\n" ++ + " {} {Serif} {2\\baselineskip} {2pt} {1\\baselineskip} {2}}\n" ++ + "\\starttext\n" ++ + "\\switchtobodyfont[16pt]\\midaligned{\\ss\\bfa{Hi5 Replicated Server Infrastructure}}\\switchtobodyfont[10pt]\n"++ + "\\midaligned{Adam Megacz}\n\n\\nowhitespace\\midaligned{\\tt{adam@megacz.com}}\n\n"++ + "\\blank[1cm,force]\n" ++ + "\\defineparagraphs[mypar][n=2,before={\\blank},after={\\blank}]\n"++ + "\\setupparagraphs[mypar][1][width=.45\\textwidth]\n"++ + "\\setupparagraphs[mypar][2][width=.55\\textwidth]\n"++ + "\\startmypar"++ + "\\switchtobodyfont[small]\n" + suffix = "\n\\stoptext\n" + addItem i = "\\item " ++ (striptrail $ boost 8 $ wrap $ striplead $ tl i) + escapify [] = [] + escapify ('%':t) = '\\':'%':(escapify t) + escapify ('$':t) = '\\':'$':(escapify t) + escapify (h:t) = h:(escapify t) + escapeMath s = s + tl (Special _ BulletList l) = "\\startitemize[symbol]\n" ++ (concatMap addItem l) ++ "\\stopitemize\n" + tl (Special _ NumberList l) = "\\startitemize[symbol]\n" ++ (concatMap addItem l) ++ "\\stopitemize\n" + tl (Special _ Section (h:t)) = "\\section{"++(tl h)++"}\n"++(concatMap tl t) + tl (Special _ NumberedSection (h:t)) = "\\section{"++(tl h)++"}\n"++(concatMap tl t) + tl (Special _ (Glyph EmDash) []) = "{\\emdash}" +--tl (Special _ Superscript l) = +--tl (Special _ Subscript l) = +--tl (Special _ (Image u) l) = +--tl (Special _ (Cite u) l) = + tl (Special _ BlockQuote l) = "\n\n\\startquote\n "++ + (striptrail $ boost 4 $ wrap $ striplead $ concatMap tl l)++"\n\\stopquote\n\n" + tl (Special _ HorizontalRule []) = "\\\\\\rule{4in}{0.5pt}\\\\" + tl (Special _ Italic l) = "{\\it{"++(concatMap tl l)++"}}" + tl (Special _ Bold l) = "{\\bf{"++(concatMap tl l)++"}}" + tl (Special _ DropCap (h:t)) = "\\MyDroppedCaps{"++(tl h)++"}{\\sc "++(concatMap tl t)++"}" + tl (Special _ Typewriter l) = "{\\tt{"++(concatMap tl l)++"}}" + tl (Special _ StrikeThrough l) = "" --"\\sout{"++(concatMap tl l)++"}" + tl (Special _ Quotes l) = "``"++(concatMap tl l)++"''" + tl (Special _ Underline l) = "" --"\\uline{"++(concatMap tl l)++"}" + tl (Special _ Underline2 l) = "" --"\\uuline{"++(concatMap tl l)++"}" + tl (Special _ (Math s) []) = "\\placeformula\n$$\n" ++ (escapeMath s) ++ "\n$$\n" + tl (Special _ Footnote l) = "\\footnote{"++(concatMap tl l)++"}" + tl (Special _ Float l) = "" --"\n\n\\begin{wrapfigure}{r}{0.4\\textwidth} \\framebox[0.4\\textwidth]{"++ + --(concatMap tl l)++"} \\label{x}\\end{wrapfigure}\n\n" +--tl (Special _ Figure l) = "\\placefigure[][fig:church]{}{"++(concatMap tl l)++"}" + tl (Special _ Figure l) = "\\startnarrower\n"++(concatMap tl l)++"\n\\stopnarrower\n" + tl (Special _ (Link u) l) = "\\href{"++(escapify u)++"}{"++(concatMap tl l)++"}" + tl (Special _ (Verbatim s) []) = "\\starttyping\n"++s++"\n\\stoptyping\n" +-- tl (Special _ TwoColumn l) = "\\startcolumns[n=2]\n"++(concatMap tl l)++"\\stopcolumns" +-- tl (Special _ Title l) = ""--"\\title{"++(concatMap tl l)++"}\n\\maketitle\n\n\n" + tl (Special _ Abstract l) = + "\\midaligned{\\ss\\bfa Abstract}\\par\n " ++ + "\n\n"++(concatMap tl l)++"\\mypar" ++ + "\\switchtobodyfont[8pt]{\\ss{\\placecontent}}\\switchtobodyfont[normal]\\stopmypar\n\n\\blank[1cm,force]" + tl (Special _ (Command c) l) = "\\"++c++"["++(concatMap tl l)++"]" + tl (Special _ t l) = error $ "formatting code "++(show t)++" not supported on {"++(concatMap show l)++"})" + tl (WS _) = " " + tl (BlankLine _) = "\n\n" + tl (Block _ l) = concatMap tl l + tl (Letter _ c) = escapify [c] + tl z = (show z) + + + + */ }