<?php

class Text_Wiki_Render_Latex_Code extends Text_Wiki_Render {


    /**
    *
    * Renders a token into text matching the requested format.
    *
    * @access public
    *
    * @param array $options The "options" portion of the token (second
    * element).
    *
    * @return string The text rendered from the token options.
    *
    */

    function token($options)
    {
        $text = $options['text'];
        $attr = $options['attr'];
        $type = strtolower($attr['type']);

        if ($type == 'php') {
            if (substr($options['text'], 0, 5) != '<?php') {
                // PHP code example:
                // add the PHP tags
                $text = "<?php\n\n" . $options['text'] . "\n\n?>"; // <?php
            }
        }

        $text = "\\begin{lstlisting}[caption={} {}]\n$text\n\\end{lstlisting}\n\n";

        if ($type != '') {
            $text = "\\lstset{language=$type}\n" . $text;
        } else {
            $text = "\\lstset{language={}}\n" . $text;
        }

        return $text;
    }
}
?>