diff options
Diffstat (limited to 'doc/ragel/generate.lm')
| -rw-r--r-- | doc/ragel/generate.lm | 547 |
1 files changed, 547 insertions, 0 deletions
diff --git a/doc/ragel/generate.lm b/doc/ragel/generate.lm new file mode 100644 index 00000000..bd4faef0 --- /dev/null +++ b/doc/ragel/generate.lm @@ -0,0 +1,547 @@ +# +# Copyright 2012 Adrian Thurston <thurston@colm.net> +# +# Permission is hereby granted, free of charge, to any person obtaining a copy +# of this software and associated documentation files (the "Software"), to +# deal in the Software without restriction, including without limitation the +# rights to use, copy, modify, merge, publish, distribute, sublicense, and/or +# sell copies of the Software, and to permit persons to whom the Software is +# furnished to do so, subject to the following conditions: +# +# The above copyright notice and this permission notice shall be included in all +# copies or substantial portions of the Software. +# +# THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR +# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, +# FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE +# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER +# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, +# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE +# SOFTWARE. +# + +lex + token word /( [^. \t\n]+ | '.' )/ + token lws /[ \t]+/ + token nl / '\n'/ + + token cmd_verb1 /'.verb|'/ + token cmd_verb2 /'.verb/'/ + token cmd_label /'.label{'/ + token cmd_ref /'.ref{'/ + token cmd_em /'.em{'/ + token cmd_tt /'.tt{'/ + + token cmd_title /'.title' lws/ + token cmd_sub_title /'.subtitle' lws/ + token cmd_author /'.author' lws/ + + token cmd_chapter /'.chapter' lws/ + token cmd_section /'.section' lws/ + token cmd_sub_section /'.subsection' lws/ + token cmd_sub_sub_section /'.subsubsection' lws/ + + token cmd_graphic /'.graphic' lws/ + token cmd_comment /'.comment' lws? '\n'/ + token cmd_verbatim /'.verbatim' lws? '\n'/ + token cmd_code /'.code' lws? '\n'/ + + token cmd_itemize /'.itemize' lws? '\n'/ + token end_itemize /'.end' lws 'itemize' lws? '\n'/ + token cmd_item /'.item' lws/ + + token cmd_center /'.center' lws? '\n'/ + token end_center /'.end' lws 'center' lws? '\n'/ + + token cmd_tabular /'.tabular' lws? '\n'/ + token cmd_row /'.row' lws/ + token end_tabular /'.end' lws 'tabular' lws? '\n'/ + + token cmd_multicols /'.multicols' lws? '\n'/ + token cmd_columnbreak /'.columnbreak' lws? '\n'/ + token end_multicols /'.end' lws 'multicols' lws? '\n'/ + + token cmd_figure / '.figure' lws?/ + token cmd_caption / '.caption' lws/ + token end_figure / '.end' lws 'figure' lws? '\n'/ + + token cmd_list /'.list' lws? '\n'/ + token end_list /'.end' lws 'list' lws? '\n'/ + token cmd_li /'.li' lws/ + + token cmd_license /'.license' lws? '\n'/ +end + +lex + token bar_data /[^|]*/ + token end_bar /'|'/ +end + +lex + token slash_data /[^/]*/ + token end_slash /'/'/ +end + +lex + token curly_data /[^}]*/ + token end_curly /'}'/ +end + +def cmd_il + [cmd_verb1 bar_data end_bar] +| [cmd_verb2 slash_data end_slash] +| [cmd_label curly_data end_curly] +| [cmd_ref curly_data end_curly] +| [cmd_em curly_data end_curly] +| [cmd_tt curly_data end_curly] + +def text + [word] +| [lws] +| [cmd_il] + +lex + token end_verbatim /lws? '.' lws? 'end' lws 'verbatim' lws? '\n'/ + token verbatim_line /[^\n]* '\n'/ +end + +def verbatim + [cmd_verbatim verbatim_line* end_verbatim] + +lex + token end_code /lws? '.' lws? 'end' lws 'code' lws? '\n'/ + token code_line /[^\n]* '\n'/ +end + +def code + [cmd_code code_line* end_code] + +lex + token end_comment /lws? '.' lws? 'end' lws 'comment' lws? '\n'/ + token comment_line /[^\n]* '\n'/ +end + +def comment + [cmd_comment comment_line* end_comment] + +def figure + [cmd_figure text nl line* caption? end_figure] + +def li + [cmd_li text* nl] + +def _list + [cmd_list li* end_list] + +def scale + [lws word word*] + +def graphic + [cmd_graphic word scale? nl] + +def itemize + [cmd_itemize line* item* end_itemize] + +def center + [cmd_center line* end_center] + +def row + [cmd_row text* nl] + +def tabular + [cmd_tabular row* end_tabular] + +def multicols_line + [cmd_columnbreak] +| [line] + +def multicols + [cmd_multicols multicols_line* end_multicols] + +def item + [cmd_item line*] + +def caption + [cmd_caption line*] + +def line + [text] +| [nl] +| [comment] +| [verbatim] +| [code] +| [graphic] +| [itemize] +| [center] +| [tabular] +| [multicols] +| [figure] +| [_list] + +def sub_sub_section + [cmd_sub_sub_section text* nl line*] + +def sub_section + [cmd_sub_section text* nl line* sub_sub_section*] + +def section + [cmd_section text* nl line* sub_section*] + +def chapter + [cmd_chapter text* nl line* section*] + +def title + [cmd_title text* nl] + +def subtitle + [cmd_sub_title text* nl] + +def author + [cmd_author text* nl] + +# +# Paragraphs. +# + +def pline + [text text* nl] + +def paragraph + [pline pline*] + +def pextra + [nl paragraph] + +def block + [paragraph pextra*] + +def license + [cmd_license nl* block nl*] + +# +# Preamble. +# + +def preamble_item + [text] +| [nl] +| [title] +| [subtitle] +| [author] + +def preamble + [preamble_item* license] + +def start + [preamble chapter*] + +parse Start: start[ stdin ] +if ( ! Start ) { + print( error, '\n' ) + exit( 1 ) +} + +int printPlData( Pld: cmd_il ) +{ + if match Pld [ cmd_verb1 V: bar_data end_bar] { + print( '\\verb|' ) + print( V ) + print( '|' ) + } + else if match Pld [cmd_verb2 V: slash_data end_slash] { + print( '\\verb/' ) + print( V ) + print( '/' ) + } + else if match Pld [cmd_label L: curly_data end_curly] { + print( '\\label{' ) + print( L ) + print( '}' ) + } + else if match Pld [cmd_ref L: curly_data end_curly] { + print( '\\ref{' ) + print( L ) + print( '}' ) + } + else if match Pld [cmd_em L: curly_data end_curly] { + print( '{\\em ' ) + print( L ) + print( '}' ) + } + else if match Pld [cmd_tt L: curly_data end_curly] { + print( '{\\tt ' ) + print( L ) + print( '}' ) + } + else { + print( Pld ) + } +} + +int printText( Lines: text* ) +{ + for L: text in repeat(Lines) { + if match L [PlData: cmd_il] { + printPlData( PlData ) + } + else { + print( L ) + } + } +} + +int printLines( Lines: line* ) +{ + for L: line in repeat(Lines) { + if match L [word] { + print( L ) + } + if match L [lws] { + print( L ) + } + if match L [nl] { + print( L ) + } + if match L [PlData: cmd_il] { + printPlData( PlData ) + } + if match L [cmd_verbatim Lines: verbatim_line* end_verbatim] { + print( '\\begin{verbatim}\n' ) + print( Lines ) + print( '\\end{verbatim}\n' ) + print( '\\verbspace\n' ) + } + if match L [cmd_code Lines: code_line* end_code] { + print( '\\begin{inline_code}\n' ) + print( '\\begin{verbatim}\n' ) + print( Lines ) + print( '\\end{verbatim}\n' ) + print( '\\end{inline_code}\n' ) + print( '\\verbspace\n' ) + } + if match L [cmd_graphic Name: word Scale: scale? nl] { + print( '\\graphspace\n' ) + print( '\\begin{center}\n' ) + print( '\\includegraphics' ) + if match Scale [lws Spd: word Spd2: word*] + print( '[scale=', Spd, Spd2, ']' ) + else + print( '[scale=0.55]' ) + print( '{', Name, '}\n' ) + print( '\\end{center}\n' ) + print( '\\graphspace\n' ) + } + if match L [cmd_itemize Lines: line* Items: item* end_itemize] { + print( '\\begin{itemize}\n' ) + printLines( Lines ) + for Item: item in repeat(Items) { + match Item [cmd_item Lines: line*] + print( '\\item ' ) + printLines( Lines ) + } + print( '\\end{itemize}\n' ) + } + if match L [cmd_figure DirData: text nl Lines: line* Caption: caption? end_figure] { + print( '\\begin{figure}\n' ) + print( '\\small\n' ) + printLines( Lines ) + if match Caption [cmd_caption CL: line*] { + print( '\\caption{' ) + printLines( CL ) + print( '}\n' ) + } + print( '\\label{', DirData, '}\n' ) + print( '\\end{figure}\n' ) + } + if match L [cmd_list LiList: li* end_list] { + for Li: li* in LiList { + if match Li [cmd_li Lines: text* nl Rest: li*] { + print( '\\noindent\\\hspace*{24pt}' ) + printText( Lines ) + if match Rest [ li li* ] + print( '\\\\' ) + print( '\n' ) + } + } + print( '\\vspace{12pt}\n' ) + } + if match L [cmd_center Lines: line* end_center] { + print( '\\begin{center}\n' ) + printLines( Lines ) + print( '\\end{center}\n' ) + } + if match L [cmd_tabular Rows: row* end_tabular] { + print( '\\begin{tabular}{|c|c|c|}\n' ) + print( '\\hline\n' ) + for Row: row in repeat(Rows) { + if match Row [cmd_row Lines: text* nl ] { + printText( Lines ) + print( '\\\\' '\n' ) + print( '\\hline\n' ) + } + } + print( '\\end{tabular}\n' ) + } + if match L [cmd_multicols Lines: multicols_line* end_multicols] { + print( '\\begin{multicols}{2}\n' ) + for McLine: multicols_line in repeat( Lines ) { + if match McLine [Line: line] + printLines( cons line* [Line] ) + else if match McLine [cmd_columnbreak] { + print( '\\columnbreak\n' ) + } + } + print( '\\end{multicols}\n' ) + } + } +} + +match Start + [Preamble: preamble Chapters: chapter*] + +Title: title = title in Preamble +match Title [cmd_title TitleData: text* nl] + +SubTitle: subtitle = subtitle in Preamble +match SubTitle [cmd_sub_title SubTitleData: text* nl] + +Author: author = author in Preamble +match Author [cmd_author AuthorData: text* nl] + +License: license = license in Preamble + +print( + ~\documentclass[letterpaper,11pt,oneside]{book} + ~\usepackage{graphicx} + ~\usepackage{comment} + ~\usepackage{multicol} + ~\usepackage[ + ~ colorlinks=true, + ~ linkcolor=black, + ~ citecolor=green, + ~ filecolor=black, + ~ urlcolor=black]{hyperref} + ~ + ~\topmargin -0.20in + ~\oddsidemargin 0in + ~\textwidth 6.5in + ~\textheight 9in + ~ + ~\setlength{\parskip}{0pt} + ~\setlength{\topsep}{0pt} + ~\setlength{\partopsep}{0pt} + ~\setlength{\itemsep}{0pt} + ~ + ~\input{version} + ~ + ~\newcommand{\verbspace}{\vspace{10pt}} + ~\newcommand{\graphspace}{\vspace{10pt}} + ~ + ~\renewcommand\floatpagefraction{.99} + ~\renewcommand\topfraction{.99} + ~\renewcommand\bottomfraction{.99} + ~\renewcommand\textfraction{.01} + ~\setcounter{totalnumber}{50} + ~\setcounter{topnumber}{50} + ~\setcounter{bottomnumber}{50} + ~ + ~\newenvironment{inline_code}{\def\baselinestretch{1}\vspace{12pt}\small}{} + ~ + ~\begin{document} + ~ + ~\thispagestyle{empty} + ~\begin{center} + ~\vspace*{3in} +) + +print( '{\\huge ', TitleData, '}\\\\\n' ) + +print( '\\vspace*{12pt}\n' ) + +print( '{\\Large ', SubTitleData, '}\\\\\n' ) + +print( + ~\vspace{1in} + ~by\\ + ~\vspace{12pt} +) + +print( '{\\large ', AuthorData, '}\\\\\n' ) + +print( + ~\end{center} + ~\clearpage + ~ + ~\pagenumbering{roman} + ~ + ~\chapter*{License} +) + +print( + ~Ragel version \version, \pubdate\\ + ~Copyright \copyright\ 2003-2012 Adrian D. Thurston + ~\vspace{6mm} + ~ +) + +i: int = 0 +for P: paragraph in License { + if ( i != 0 ) { + print( + ~ + ~\vspace{5pt} + ~ + ) + } + print( "{\\bf\\it\\noindent " ) + print( P ) + print( "}\n" ) + i = i + 1 +} + +print( + ~ + ~\clearpage + ~\tableofcontents + ~\clearpage + ~ + ~\pagenumbering{arabic} +) + + +for Chapter: chapter in repeat(Chapters) { + match Chapter + [cmd_chapter DirData: text* nl Lines: line* SectionList: section*] + + print( '\\chapter{', DirData, '}\n' ) + printLines( Lines ) + + for Section: section in repeat(SectionList) { + match Section + [cmd_section DirData: text* nl Lines: line* SubSectionList: sub_section*] + + print( '\\section{', DirData, '}\n' ) + printLines( Lines ) + for SubSection: sub_section in repeat(SubSectionList) { + match SubSection + [cmd_sub_section DirData: text* nl Lines: line* + SubSubSectionList: sub_sub_section*] + + print( '\\subsection{', DirData, '}\n' ) + printLines( Lines ) + + for SubSubSection: sub_sub_section in repeat(SubSubSectionList) { + match SubSubSection + [cmd_sub_sub_section DirData: text* nl Lines: line*] + + print( '\\subsubsection{', DirData, '}\n' ) + printLines( Lines ) + } + } + } +} + +print( + ~ + ~\end{document} +) |