Changeset 1411 for trunk/buildscripts/texbuilder/Page2Tex.php

Timestamp:

09/13/2006 06:33:41 PM (2 years ago)

Author:

wei

Message:

Fixed #376

Files:

• trunk/buildscripts/texbuilder/Page2Tex.php (modified) (18 diffs)

trunk/buildscripts/texbuilder/Page2Tex.php

@@ -1 +1 @@
 <?php
 
-class Page2Tex 
+class Page2Tex
 {
         private $_current_page;
@@ -17 +17 @@
                 $this->_dir = $dir;
         }
-        
+
         function setCurrentPage($current)
         {
@@ -25 +25 @@
         function escape_verbatim($matches)
         {
-                return "\begin{verbatim}".str_replace($this->_verb_find, $this->_verb_replace, $matches[1])."\end{verbatim}\n";
-        }
-        
+                return "\begin{small}\begin{verbatim}".
+                                str_replace($this->_verb_find, $this->_verb_replace, $matches[1]).
+                                "\end{verbatim}\end{small}\n";
+        }
+
         function escape_verb($matches)
         {
                 $text = str_replace($this->_verb_find, $this->_verb_replace, $matches[1]);
-                return '\verb<'.$text.'<';
-        }
-        
+                return '\begin{small}\verb<'.$text.'< \end{small}';
+        }
+
         function include_image($matches)
         {
-                
+
                 $current_path = $this->_current_page;
-        
+
                 $image = dirname($current_path).'/'.trim($matches[1]);
-        
+
                 $file = realpath($image);
                 $info = getimagesize($file);
@@ -52 +54 @@
                 }
                 $base = $this->_base;
-        
+
                 if(isset($im))
                 {
@@ -65 +67 @@
                 }
         }
-        
+
         function include_figure($info, $filename)
         {
@@ -77 +79 @@
         ';
         }
-        
+
         function anchor($matches)
         {
@@ -83 +85 @@
                 return '\hypertarget{'.$page.'/'.strtolower($matches[1]).'}{}';
         }
-        
+
         function texttt($matches)
         {
                 return '\texttt{'.str_replace(array('#','_'),array('\#','\_'), $matches[1]).'}';
         }
-        
+
         function get_current_path()
         {
@@ -96 +98 @@
                 return $page;
         }
-        
+
         function make_link($matches)
         {
@@ -121 +123 @@
                 return '\href{'.$matches[1].'}{'.$matches[2].'}';
         }
-        
+
         function parse_html($page,$html)
         {
-                
-                
                 $html = preg_replace('/<\/?com:TContent[^>]*>/', '', $html);
                 $html = preg_replace('/<\/?p [^>]*>/', '', $html);
                 $html = preg_replace('/<\/?p>/', '', $html);
-        
+
                 $html = preg_replace('/(\s+|\(+|\[+)"/', '$1``', $html);
-                
+
                 //escape { and }
                 $html = preg_replace('/([^\s]+){([^}]*)}([^\s]+)/', '$1\\\{$2\\\}$3', $html);
-        
+
                 $html = preg_replace_callback('/<img\s+src="?<%~([^"]*)%>"?[^>]*\/>/', array($this, 'include_image'), $html);
 
                 //escape %
                 $html = str_replace('%', '\%', $html);
-        
+
                 //codes
                 $html = str_replace('$', '\$', $html);
-                
+
                 $html = preg_replace_callback('/<com:TTextHighlighter[^>]*>((.|\n)*?)<\/com:TTextHighlighter>/', array($this,'escape_verbatim'), $html);
 //              $html = preg_replace('/<\/com:TTextHighlighter>/', '`2`', $html);
@@ -148 +148 @@
                 $html = preg_replace_callback('/(<div class="source">)((.|\n)*?)(<\/div>)/', array($this,'escape_verbatim'), $html);
                 $html = preg_replace_callback('/(<pre>)([^<]*)(<\/pre>)/', array($this,'escape_verbatim'), $html);
-        
+
                 //<code>
                 $html = preg_replace_callback('/<code>([^<]*)<\/code>/', array($this,'escape_verb'), $html);
-        
+
                 //runbar
                 $html = preg_replace('/<com:RunBar\s+PagePath="([^"]*)"\s+\/>/',
                                 '\href{http://www.pradosoft.com/demos/quickstart/index.php?page=$1}{$1 Demo}', $html);
-        
+
                 //DocLink
                 $html = preg_replace('/<com:DocLink\s+ClassPath="([^"]*)[.]([^.]*)"\s+\/>/',
                                 '\href{http://www.pradosoft.com/docs/manual/$1/$2.html}{$1.$2 API Reference}', $html);
-        
+
                 //text modifiers
-                $html = preg_replace('/<b[^>]*>([^<]*)<\/b>/', '\textbf{$1}', $html);
+                $html = preg_replace('/<(b|strong)[^>]*>([^<]*)<\/(b|strong)>/', '\textbf{$2}', $html);
                 $html = preg_replace('/<i[^>]*>([^<]*)<\/i>/', '\emph{$1}', $html);
                 $html = preg_replace_callback('/<tt>([^<]*)<\/tt>/', array($this,'texttt'), $html);
-        
+
                 //links
                 $html = preg_replace_callback('/<a[^>]+href="([^"]*)"[^>]*>([^<]*)<\/a>/',
@@ -170 +170 @@
                 //anchor
                 $html = preg_replace_callback('/<a[^>]+name="([^"]*)"[^>]*><\/a>/', array($this,'anchor'), $html);
-        
+
                 //description <dl>
                 $html = preg_replace('/<dt>([^<]*)<\/dt>/', '\item[$1]', $html);
@@ -176 +176 @@
                 $html = preg_replace('/<dl>/', '\begin{description}', $html);
                 $html = preg_replace('/<\/dl>/', '\end{description}', $html);
-        
+
                 //item lists
                 $html = preg_replace('/<ul[^>]*>/', '\begin{itemize}', $html);
@@ -184 +184 @@
                 $html = preg_replace('/<li[^>]*>/', '\item ', $html);
                 $html = preg_replace('/<\/li>/', '', $html);
-        
+
                 //headings
                 $html = preg_replace('/<h1(\s+id="[^"]+")?>([^<]+)<\/h1>/', '\section{$2}', $html);
                 $html = preg_replace('/<h2(\s+id="[^"]+")?>([^<]+)<\/h2>/', '\subsection{$2}', $html);
                 $html = preg_replace('/<h3(\s+id="[^"]+")?>([^<]+)<\/h3>/', '\subsubsection{$2}', $html);
-        
+
                 //div box
                 $html = preg_replace_callback('/<div class="[tipnofe]*?">((.|\n)*?)<\/div>/',
-                                                array($this, 'mbox'), $html);   
-                
+                                                array($this, 'mbox'), $html);
+
                 //tabular
                 $html = preg_replace_callback('/<!--\s*tabular:([^-]*)-->\s*<table[^>]*>((.|\n)*?)<\/table>/',
                                                 array($this, 'tabular'), $html);
-        
+
+                $html = preg_replace('/<!--(.*)-->/', '', $html);
+
+
                 $html = html_entity_decode($html);
-        
+
                 return $html;
         }
-        
+
         function tabular($matches)
         {
@@ -211 +214 @@
                         $options[trim($sub[0])] = trim($sub[1]);
                 }
-                
+
                 $widths = explode(' ',preg_replace('/\(|\)/', '', $options['width']));
                 $this->_tabular_widths = $widths;
-                
+
                 $this->_tabular_total = count($widths);
                 $this->_tabular_col = 0;
-                
+
                 $begin = "\begin{table}[!hpt]\centering \n \begin{tabular}{".$options['align']."}\\hline";
                 $end = "\end{tabular} \n \end{table}\n";
@@ -225 +228 @@
                 $table = preg_replace_callback('/<td>((.|\n)*?)<\/td>/', array($this, 'table_column'), $table);
                 $table = preg_replace('/<br \/>/', ' \\\\\\\\', $table);
-                
+
                 $table = preg_replace('/&\s*\\\\\\\\/', '\\\\\\\\', $table);
                 return $begin.$table.$end;
         }
-        
+
         function table_column($matches)
         {
@@ -240 +243 @@
                         $matches[1].'\vspace{3mm}\end{minipage} & ';
         }
-        
+
         function mbox($matches)
         {
                 return "\n\begin{mybox}\n".$matches[1]."\n\end{mybox}\n";
         }
-        
+
         function get_chapter_label($chapter)
         {
                 return '\hypertarget{'.str_replace(' ', '', $chapter).'}{}';
         }
-        
+
         function get_section_label($section)
         {
@@ -256 +259 @@
                 return '\hypertarget{'.str_replace('/', '.', $section).'}{}';
         }
-        
-        
+
+
         function set_header_id($content, $count)
         {
@@ -266 +269 @@
                 return $content;
         }
-        
+
         function h1($matches)
         {
                 return "<h1 id=\"".(++self::$header_count)."\">";
         }
-        
+
         function h2($matches)
         {
                 return "<h2 id=\"".(++self::$header_count)."\">";
         }
-        
+
         function h3($matches)
         {
                 return "<h3 id=\"".(++self::$header_count)."\">";
         }
-        
+
 }