Changed SQLMap manual into a prado app.

1 files changed, 290 insertions, 0 deletions

diff --git a/buildscripts/texbuilder/quickstart/build.php b/buildscripts/texbuilder/quickstart/build.php
new file mode 100644
index 00000000..c0577c8f
--- /dev/null
+++ b/buildscripts/texbuilder/quickstart/build.php
@@ -0,0 +1,290 @@
+<?php

+

+// TBD: subsections in Control Reference

+

+$pdflatexExec = "C:/Wei/miktex/texmf/MiKTeX/bin/pdflatex.exe";

+$pdfTex = "$pdflatexExec -interaction=nonstopmode -max-print-line=120 %s";

+

+$mainTexFile = dirname(__FILE__).'/quickstart.tex';

+

+//page root location

+$base = realpath(dirname(__FILE__).'/../../demos/quickstart/protected/pages/');

+

+//-------------- END CONFIG ------------------

+

+$pages = include('pages.php');

+

+function escape_verbatim($matches)

+{

+	return "\begin{verbatim}".str_replace('\$', '$', $matches[2])."\end{verbatim}\n";

+}

+

+function escape_verb($matches)

+{

+	$text = str_replace(array('\{', '\}'), array('{','}'), $matches[1]);

+	return '\verb<'.$text.'<';

+}

+

+function include_image($matches)

+{

+	global $current_path;

+

+	$image = dirname($current_path).'/'.trim($matches[1]);

+

+	$file = realpath($image);

+	$info = getimagesize($file);

+	switch($info[2])

+	{

+		case 1:

+			$im = imagecreatefromgif($file);

+			break;

+		case 2: $im = imagecreatefromjpeg($file); break;

+		case 3: $im = imagecreatefrompng($file); break;

+	}

+	global $base;

+

+	if(isset($im))

+	{

+		$prefix = strtolower(str_replace(realpath($base), '', $file));

+		$filename = preg_replace('/\\\|\//', '_', substr($prefix,1));

+		$filename = substr($filename, 0, strrpos($filename,'.')).'.png';

+		$newfile = dirname(__FILE__).'/'.$filename;

+		imagepng($im,$newfile);

+		imagedestroy($im);

+

+		return include_figure($info, $filename);

+	}

+}

+

+function include_figure($info, $filename)

+{

+	$width = sprintf('%0.2f', $info[0]/(135/2.54));

+	return '

+\begin{figure}[ht]

+	\centering

+		\includegraphics[width='.$width.'cm]{'.$filename.'}

+	\label{fig:'.$filename.'}

+\end{figure}

+';

+}

+

+function anchor($matches)

+{

+	$page = get_current_path();

+	return '\hypertarget{'.$page.'/'.strtolower($matches[1]).'}{}';

+}

+

+function texttt($matches)

+{

+	return '\texttt{'.str_replace(array('#','_'),array('\#','\_'), $matches[1]).'}';

+}

+

+function get_current_path()

+{

+	global $current_path, $base;

+	$page = strtolower(substr(str_replace($base, '', $current_path),1));

+	return $page;

+}

+

+function make_link($matches)

+{

+	if(is_int(strpos($matches[1], '#')))

+	{

+		if(strpos($matches[1],'?') ===false)

+		{

+			$target = get_current_path().'/'.substr($matches[1],1);

+			return '\hyperlink{'.$target.'}{'.$matches[2].'}';

+		}

+		else

+		{

+			$page = strtolower(str_replace('?page=', '', $matches[1]));

+			$page = str_replace('.','/',$page);

+			$page = str_replace('#','.page/',$page);

+			return '\hyperlink{'.$page.'}{'.$matches[2].'}';

+		}

+	}

+	else if(is_int(strpos($matches[1],'?')))

+	{

+		$page = str_replace('?page=','',$matches[1]);

+		return '\hyperlink{'.$page.'}{'.$matches[2].'}';

+	}

+	return '\href{'.$matches[1].'}{'.$matches[2].'}';

+}

+

+function parse_html($page,$html)

+{

+	$html = preg_replace('/<\/?com:TContent[^>]*>/', '', $html);

+	$html = preg_replace('/<\/?p>/m', '', $html);

+

+	//escape { and }

+	$html = preg_replace('/([^\s]+){([^}]*)}([^\s]+)/', '$1\\\{$2\\\}$3', $html);

+

+	//codes

+	$html = str_replace('$', '\$', $html);

+	$html = preg_replace('/<com:TTextHighlighter[^>]*>/', '`1`', $html);

+	$html = preg_replace('/<\/com:TTextHighlighter>/', '`2`', $html);

+	$html = preg_replace_callback('/(`1`)([^`]*)(`2`)/m', 'escape_verbatim', $html);

+	$html = preg_replace_callback('/(<div class="source">)([^<]*)(<\/div>)/', 'escape_verbatim', $html);

+	$html = preg_replace_callback('/(<pre>)([^<]*)(<\/pre>)/', 'escape_verbatim', $html);

+

+	//<code>

+	$html = preg_replace_callback('/<code>([^<]*)<\/code>/', 'escape_verb', $html);

+

+	$html = preg_replace_callback('/<img\s+src="?<%~([^"]*)%>"?[^\\/]*\/>/', 'include_image', $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('/<i>([^<]*)<\/i>/', '\emph{$1}', $html);

+	$html = preg_replace_callback('/<tt>([^<]*)<\/tt>/', 'texttt', $html);

+

+	//links

+	$html = preg_replace_callback('/<a[^>]+href="([^"]*)"[^>]*>([^<]*)<\/a>/',

+							'make_link', $html);

+	//anchor

+	$html = preg_replace_callback('/<a[^>]+name="([^"]*)"[^>]*><\/a>/', 'anchor', $html);

+

+	//description <dl>

+	$html = preg_replace('/<dt>([^<]*)<\/dt>/', '\item[$1]', $html);

+	$html = preg_replace('/<\/?dd>/', '', $html);

+	$html = preg_replace('/<dl>/', '\begin{description}', $html);

+	$html = preg_replace('/<\/dl>/', '\end{description}', $html);

+

+	//item lists

+	$html = preg_replace('/<ul>/', '\begin{itemize}', $html);

+	$html = preg_replace('/<\/ul>/', '\end{itemize}', $html);

+	$html = preg_replace('/<ol>/', '\begin{enumerate}', $html);

+	$html = preg_replace('/<\/ol>/', '\end{enumerate}', $html);

+	$html = preg_replace('/<li>/', '\item ', $html);

+	$html = preg_replace('/<\/li>/', '', $html);

+

+	//headings

+	$html = preg_replace('/<h1\s+id="[^"]+">([^<]+)<\/h1>/', '\section{$1}', $html);

+	$html = preg_replace('/<h2\s+id="[^"]+">([^<]+)<\/h2>/', '\subsection{$1}', $html);

+	$html = preg_replace('/<h3\s+id="[^"]+">([^<]+)<\/h3>/', '\subsubsection{$1}', $html);

+

+

+

+	$html = html_entity_decode($html);

+

+

+	return $html;

+}

+

+function get_chapter_label($chapter)

+{

+	return '\hypertarget{'.str_replace(' ', '', $chapter).'}{}';

+}

+

+function get_section_label($section)

+{

+	$section = str_replace('.page', '', $section);

+	return '\hypertarget{'.str_replace('/', '.', $section).'}{}';

+}

+

+

+function set_header_id($content, $count)

+{

+	global $header_count;

+	$header_count = $count*100;

+	$content = preg_replace_callback('/<h1>/', "h1", $content);

+	$content = preg_replace_callback('/<h2>/', "h2", $content);

+	$content = preg_replace_callback('/<h3>/', "h3", $content);

+	return $content;

+}

+

+function h1($matches)

+{

+	global $header_count;

+	return "<h1 id=\"".(++$header_count)."\">";

+}

+

+function h2($matches)

+{

+	global $header_count;

+	return "<h2 id=\"".(++$header_count)."\">";

+}

+

+function h3($matches)

+{

+	global $header_count;

+	return "<h3 id=\"".(++$header_count)."\">";

+}

+

+$header_count = 0;

+

+//--------------- BEGIN PROCESSING -------------------

+

+

+//--------------- Indexer -------------------

+

+//require_once('create_index.php');

+//$indexer = new quickstart_index($index_dir);

+

+// ---------------- Create the Tex files ---------

+$count = 1;

+$j = 1;

+$current_path = '';

+echo "Compiling .page files to Latex files\n\n";

+

+foreach($pages as $chapter => $sections)

+{

+	$content = '\chapter{'.$chapter.'}'.get_chapter_label($chapter);

+	echo "Creating ch{$count}.txt => Chapter {$count}: {$chapter}\n";

+	echo str_repeat('-',60)."\n";

+	foreach($sections as $section)

+	{

+		echo "    Adding $section\n";

+		$page = $base.'/'.$section;

+		$current_path = $page;

+

+		//add id to <h1>, <h2>, <3>

+		$tmp_content = set_header_id(file_get_contents($page),$j++);

+		file_put_contents($page, $tmp_content);

+

+		$content .= get_section_label($section);

+		$file_content = file_get_contents($page);

+		$tex =

+		$content .= parse_html($page,$file_content);

+	}

+

+	//var_dump($content);

+	file_put_contents("ch{$count}.tex", $content);

+	$count++;

+	echo "\n";

+}

+

+//$indexer->commit();

+

+if($argc <= 1 && $count > 1)

+{

+	echo "** Use pdflatex to compile quickstart.tex to obtain PDF version of quickstart tutorial. **\n";

+	exit;

+}

+if($argv[1] == 'pdf')

+{

+	if(is_file($pdflatexExec))

+	{

+		//build pdfTex

+		$command=sprintf($pdfTex,$mainTexFile);

+		system($command);

+		system($command); //run it twice

+

+		echo "\n\n** PDF file quickstart.pdf created **\n\n";

+

+	}

+	else

+	{

+		echo " Unable to find pdfLatex executable $pdflatexExec";

+	}

+}

+

+

+?>