- Added method calling to Exec tag

[haanga.git] / lib / Haanga / Compiler.php

<?php
/*
  +---------------------------------------------------------------------------------+
  | Copyright (c) 2010 Haanga                                                       |
  +---------------------------------------------------------------------------------+
  | Redistribution and use in source and binary forms, with or without              |
  | modification, are permitted provided that the following conditions are met:     |
  | 1. Redistributions of source code must retain the above copyright               |
  |    notice, this list of conditions and the following disclaimer.                |
  |                                                                                 |
  | 2. Redistributions in binary form must reproduce the above copyright            |
  |    notice, this list of conditions and the following disclaimer in the          |
  |    documentation and/or other materials provided with the distribution.         |
  |                                                                                 |
  | 3. All advertising materials mentioning features or use of this software        |
  |    must display the following acknowledgement:                                  |
  |    This product includes software developed by César D. Rodas.                  |
  |                                                                                 |
  | 4. Neither the name of the César D. Rodas nor the                               |
  |    names of its contributors may be used to endorse or promote products         |
  |    derived from this software without specific prior written permission.        |
  |                                                                                 |
  | THIS SOFTWARE IS PROVIDED BY CÉSAR D. RODAS ''AS IS'' AND ANY                   |
  | EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED       |
  | WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE          |
  | DISCLAIMED. IN NO EVENT SHALL CÉSAR D. RODAS BE LIABLE FOR ANY                  |
  | DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES      |
  | (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;    |
  | LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND     |
  | ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT      |
  | (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS   |
  | SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE                     |
  +---------------------------------------------------------------------------------+
  | Authors: César Rodas <crodas@php.net>                                           |
  +---------------------------------------------------------------------------------+
*/

class Haanga_Compiler
{

    // properties {{{
    protected static $block_var=NULL;
    protected $generator;
    protected $forloop = array();
    protected $forid = 0;
    protected $sub_template = FALSE;
    protected $name;
    protected $check_function = FALSE;
    protected $blocks=array();
    /**
     *  number of blocks :-)
     */
    protected $in_block=0;
    /**
     *  output buffers :-)
     */
    protected $ob_start=0;
    protected $append;
    protected $prepend_op;
    /**
     *  Context at compile time
     */
    protected $context;
    /**
     *  Table which contains all variables 
     *  aliases defined in the template
     */
    protected $var_alias;
    /**
     *  Flag the current variable as safe. This means
     *  that escape won't be called if autoescape is 
     *  activated (which is activated by default)
     */
    public $var_is_safe=FALSE;
    public $safes;

    /* compiler options */
    protected $autoescape = TRUE;
    protected $if_empty   = TRUE;
    protected $dot_as_object = TRUE;
    protected $strip_whitespace = FALSE;
    protected $is_exec_enabled  = FALSE;

    /**
     *  Debug file
     */
    protected $debug;
    // }}} 

    function __construct()
    {
        $this->generator = new Haanga_Generator_PHP;
        if (self::$block_var===NULL) {
            self::$block_var = '{{block.'.md5('super').'}}';
        }
    }

    // isExecEnabled() {{{
    /**
     *  Return TRUE if the special tag 'exec' is enabled (FALSE by default)
     *
     */
    function isExecAllowed()
    {
        return $this->is_exec_enabled;
    }
    // }}}

    function setOption($option, $value)
    {
        switch (strtolower($option)) {
        case 'if_empty':
            $this->if_empty = (bool)$value;
            break;
        case 'autoescape':
            $this->autoescape = (bool)$value;
            break;
        case 'dot_as_object':
            $this->dot_as_object = (bool)$value;
            break;
        case 'strip_whitespace':
            $this->strip_whitespace = (bool)$value;
            break;
        case 'is_exec_enabled':
        case 'allow_exec':
            $this->is_exec_enabled = (bool)$value;
            break;
        }
    }

    // setDebug($file) {{{
    function setDebug($file)
    {
        $this->debug = $file;
    }
    // }}}

    // reset() {{{
    function reset()
    {
        $avoid_cleaning = array(
            'strip_whitespace' => 1, 'block_var' => 1, 'autoescape'=>1,
            'if_empty' => 1, 'dot_as_object' => 1, 'is_exec_enabled' => 1,
        );
        foreach (array_keys(get_object_vars($this)) as $key) {
            if (isset($avoid_cleaning[$key])) {
                continue;
            }
            $this->$key = NULL;
        }
        $this->generator = new Haanga_Generator_PHP;
        $this->blocks = array();
        $this->cycle  = array();
    }
    // }}}

    // get_template_name() {{{
    final function get_template_name()
    {
        return $this->name;
    }
    // }}}

    // Set template name {{{
    function set_template_name($path)
    {
        $file = basename($path);
        $pos  = strpos($file,'.');
        return ($this->name = substr($file, 0, $pos));
    }
    // }}}

    // get_function_name(string $name) {{{
    function get_function_name($name)
    {
        return "{$name}_template";
    }
    // }}}

    // Compile ($code, $name=NULL) {{{
    final function compile($code, $name=NULL)
    {
        $this->name = $name;

        $parsed = Haanga_Compiler_Lexer::init($code, $this);
        $code   = "";
        $this->subtemplate = FALSE;

        $body = new Haanga_AST;
        $this->prepend_op = hcode();

        if (isset($parsed[0]) && $parsed[0]['operation'] == 'base') {
            /* {% base ... %} found */
            $base  = $parsed[0][0];
            $code .= $this->get_base_template($base); 
            unset($parsed[0]);
        }

        if ($name) {
            $func_name = $this->get_function_name($name);
            if ($this->check_function) {
                $body->do_if(hexpr(hexec('function_exists', $func_name), '===', FALSE));
            }
            if (isset($this->_file)) {
                $body->comment("Generated from {$this->_base_dir}/{$this->_file}");
            }

            $body->declare_function($func_name);
            $body->do_exec('extract', hvar('vars'));
            $body->do_if(hexpr(hvar('return'), '==', TRUE));
            $body->do_exec('ob_start');
            $body->do_endif();
        }


        $this->generate_op_code($parsed, $body);
        if ($this->subtemplate) {
            $expr = $this->expr_call_base_template();
            $this->do_print($body, $expr);
        }

        $body->do_if(hexpr(hvar('return'), '==', TRUE));
        $body->do_return(hexec('ob_get_clean'));
        $body->do_endif();

        if ($name) {
            $body->do_endfunction();
            if ($this->check_function) {
                $body->do_endif();
            }
        }
        
        if ($this->prepend_op->stack_size() > 0) {
            $this->prepend_op->append_ast($body);
            $body = $this->prepend_op;
        }

        $op_code = $body->getArray(TRUE); 
        $code   .= $this->generator->getCode($op_code);
        if (!empty($this->append)) {
            $code .= $this->append;
        }

        if (!empty($this->debug)) {
            $op_code['php'] = $code;
            file_put_contents($this->debug, print_r($op_code, TRUE), LOCK_EX);
        }
        return $code;
    }
    // }}}

    // compile_file($file) {{{
    /**
     *  Compile a file
     *
     *  @param string $file File path
     *  @param bool   $safe Whether or not add check if the function is already defined
     *
     *  @return Generated PHP code
     */
    final function compile_file($file, $safe=FALSE, $context=array()) 
    {
        if (!is_readable($file)) {
            throw new Haanga_Compiler_Exception("$file is not a file");
        }
        $this->_base_dir      = dirname($file);
        $this->_file          = basename($file);
        $this->check_function = $safe;
        $this->context        = $context;
        $name                 = $this->set_template_name($file);
        return $this->compile(file_get_contents($file), $name);
    }
    // }}}

    // is_expr methods {{{
    function is_var_filter($cmd)
    {
        return isset($cmd['var_filter']);
    }

    // }}}

    // expr_call_base_template() {{{
    /**
     *  Generate code to call base template
     *
     */
    function expr_call_base_template()
    {
        return hexec(
            $this->get_function_name($this->subtemplate),
            hvar('vars'), TRUE,
            hvar('blocks')
        );
    }
    // }}}

    // get_base_template($base) {{{
    /**
     *  Handle {% base  "" %} definition. By default only 
     *  static (string) are supported, but this can be overrided
     *  on subclasses.
     *
     *  This method load the base class, compile it and return
     *  the generated code.
     *
     *  @param array $base Base structure
     *
     *  @return string Generated source code
     */
    function get_base_template($base)
    {
        if (!Haanga_AST::is_str($base)) {
            throw new Haanga_Compiler_Exception("Dynamic inheritance is not supported for compilated templates");
        }
        $file = $base['string'];
        list($this->subtemplate, $new_code) = $this->compile_required_template($file);
        return $new_code."\n\n";
    }
    // }}}

    // {% base "foo.html" %} {{{
    protected function generate_op_base()
    {
        throw new exception("{% base %} can be only as first statement");
    }
    // }}}

    // Main Loop {{{
    protected function generate_op_code($parsed, &$body)
    {
        if (!is_array($parsed)) {
            throw new Haanga_Compiler_Exception("Invalid \$parsed array");
        }
        foreach ($parsed as $op) {
            if (!is_array($op)) {
                continue;
            }
            if (!isset($op['operation'])) {
                throw new Haanga_Compiler_Exception("Malformed array:".print_r($op, TRUE));
            }
            if ($this->subtemplate && $this->in_block == 0 && $op['operation'] != 'block') {
                /* ignore most of tokens in subtemplates */
                continue;
            }
            $method = "generate_op_".$op['operation'];
            if (!is_callable(array($this, $method))) {
                throw new Haanga_Compiler_Exception("Compiler: Missing method $method");
            }
            $this->$method($op, $body);
        }
    }
    // }}}

    // Check the current expr  {{{
    protected function check_expr(&$expr)
    {
        if (Haanga_AST::is_expr($expr)) {
            if ($expr['op_expr'] == 'in') {
                for ($id=0; $id < 2; $id++) {
                    if ($this->is_var_filter($expr[$id])) {
                        $expr[$id] = $this->get_filtered_var($expr[$id]['var_filter'], $var);
                    }
                }
                if (Haanga_AST::is_str($expr[1])) {
                    $expr = hexpr(hexec('strpos', $expr[1], $expr[0]), '!==', FALSE);
                } else {
                    $expr = hexpr(
                        hexpr_cond(
                            hexec('is_array', $expr[1]),
                            hexec('array_search', $expr[0], $expr[1]),
                           hexec('strpos', $expr[1], $expr[0])
                        )
                        ,'!==', FALSE
                    );
                }
            }
            if (is_object($expr)) {
                $expr = $expr->getArray();
            }
            $this->check_expr($expr[0]);
            $this->check_expr($expr[1]);
        } else if (is_array($expr)) {
            if ($this->is_var_filter($expr)) {
                $expr = $this->get_filtered_var($expr['var_filter'], $var);
            } else if (isset($expr['args'])) {
                /* check every arguments */
                foreach ($expr['args'] as &$v) {
                    $this->check_expr($v);
                }
                unset($v);
            } else  if (isset($expr['expr_cond'])) {
                /* Check expr conditions */
                $this->check_expr($expr['expr_cond']);
                $this->check_expr($expr['true']);
                $this->check_expr($expr['false']);
            }
        }
    }
    // }}}

    // buffer <varname> {{{
    public function generate_op_buffer($details, &$body)
    {
        $this->ob_start($body);
        $this->generate_op_code($details['body'], $body);
        $body->decl($details['name'], hvar('buffer'.$this->ob_start));
        $this->ob_start--;
    }
    // }}}

    // ifequal|ifnot equal <var_filtered|string|number> <var_fitlered|string|number> ... else ... {{{
    protected function generate_op_ifequal($details, &$body)
    {
        $if['expr'] = hexpr($details[1], $details['cmp'], $details[2])->getArray();
        $if['body'] = $details['body'];
        if (isset($details['else'])) {
            $if['else'] =  $details['else'];
        }
        $this->generate_op_if($if, $body);
    }
    // }}}

    // {% if <expr> %} HTML {% else %} TWO {% endif $} {{{
    protected function generate_op_if($details, &$body)
    {
        if ($this->if_empty && $this->is_var_filter($details['expr']) && count($details['expr']['var_filter']) == 1) {
            /* if we are doing if <Variable> it should check 
               if it exists without throw any warning */
            $expr = $details['expr'];
            $expr['var_filter'][] = 'empty';

            $variable = $this->get_filtered_var($expr['var_filter'], $var);

            $details['expr'] = hexpr($variable, '===', FALSE)->getArray();
        }
        $this->check_expr($details['expr']);
        $expr = Haanga_AST::fromArrayGetAST($details['expr']);
        $body->do_if($expr);
        $this->generate_op_code($details['body'], $body);
        if (isset($details['else'])) {
            $body->do_else();
            $this->generate_op_code($details['else'], $body);
        }
        $body->do_endif();
    }
    // }}}

    // Override template {{{
    protected function compile_required_template($file)
    {
        if (!is_file($file)) {
            if (isset($this->_base_dir)) {
                $file = $this->_base_dir.'/'.$file;
            }
        }
        if (!is_file($file)) {
            throw new Haanga_Compiler_Exception("can't find {$file} file template");
        }
        $class = get_class($this);
        $comp  = new  $class;
        $comp->reset();
        $code = $comp->compile_file($file, $this->check_function);
        return array($comp->get_template_name(), $code);
    }
    // }}}
    
    // include "file.html" | include <var1> {{{
    protected function generate_op_include($details, &$body)
    {
        if (!$details[0]['string']) {
            throw new Haanga_Compiler_Exception("Dynamic inheritance is not supported for compilated templates");
        }
        list($name,$code) = $this->compile_required_template($details[0]['string']);
        $this->append .= "\n\n{$code}";
        $this->do_print($body,
            hexec($this->get_function_name($name), 
            hvar('vars'), TRUE, hvar('blocks'))
        );
    }
    // }}}

    // Handle HTML code {{{
    protected function generate_op_html($details, &$body)
    {
        $string = Haanga_AST::str($details['html']);
        $this->do_print($body, $string);
    }
    // }}}

    // get_var_filtered {{{
    /**
     *  This method handles all the filtered variable (piped_list(X)'s 
     *  output in the parser.
     *
     *  
     *  @param array $variable      (Output of piped_list(B) (parser))
     *  @param array &$varname      Variable name
     *  @param bool  $accept_string  TRUE is string output are OK (ie: block.parent)
     *
     *  @return expr  
     *
     */
    function get_filtered_var($variable, &$varname, $accept_string=FALSE)
    {
        $this->var_is_safe = FALSE;

        if (count($variable) > 1) {
            $count  = count($variable);
            $target = $this->generate_variable_name($variable[0]);
            
            if (!Haanga_AST::is_var($target)) {
                /* block.super can't have any filter */
                throw new Haanga_Compiler_Exception("This variable can't have any filter");
            }

            for ($i=1; $i < $count; $i++) {
                $func_name = $variable[$i];
                if ($func_name == 'escape') {
                    /* to avoid double cleaning */
                    $this->var_is_safe = TRUE;
                }
                $args = array(isset($exec) ? $exec : $target);
                $exec = $this->do_filtering($func_name, $args);
            }
            unset($variable);
            $varname = $args[0];
            $details = $exec;
        } else {
            $details = $this->generate_variable_name($variable[0]);
            $varname = $variable[0];

            if (!Haanga_AST::is_var($details) && !$accept_string) {
                /* generate_variable_name didn't replied a variable, weird case
                    currently just used for {{block.super}}.
                */
                throw new Haanga_Compiler_Exception("Invalid variable name {$variable[0]}");
            }
        }

        return $details;
    }
    // }}}

    // generate_op_print_var {{{
    /**
     *  Generate code to print a variable with its filters, if there is any.
     *
     *  All variable (except those flagged as |safe) are automatically 
     *  escaped if autoescape is "on".
     *
     */
    protected function generate_op_print_var($details, &$body)
    {

        $details = $this->get_filtered_var($details['variable'], $variable, TRUE);

        if (!Haanga_AST::is_var($details) && !Haanga_AST::is_exec($details)) {
            /* generate_variable_name didn't replied a variable, weird case
                currently just used for {{block.super}}.
            */
            $this->do_print($body, $details);
            return;
        }

        if (!$this->is_safe($details) && $this->autoescape) {
            $args    = array($details);
            $details = $this->do_filtering('escape', $args);
        }


        if (is_array($details)) {
            $details = Haanga_AST::fromArrayGetAST($details);
        }
        $this->do_print($body, $details);
    }
    // }}}

    // {# something #} {{{
    protected function generate_op_comment($details, &$body)
    {
        /* comments are annoying */
        //$body->comment($details['comment']);
    }
    // }}} 

    // {% block 'name' %} ... {% endblock %} {{{
    protected function generate_op_block($details, &$body)
    {
        if (is_array($details['name'])) {
            $name = "";
            foreach ($details['name'] as $part) {
                if (is_string($part)) {
                    $name .= "{$part}";
                } else if (is_array($part)) {
                    if (Haanga_AST::is_str($part)) {
                        $name .= "{$part['string']}";
                    } elseif (isset($part['object'])) {
                        $name .= "{$part['object']}";
                    } else {
                        throw new Haanga_Compiler_Exception("Invalid blockname");
                    }
                }
                $name .= ".";
            }
            $details['name'] = substr($name, 0, -1);
        }
        $this->in_block++;
        $this->blocks[] = $details['name'];
        $block_name = hvar('blocks', $details['name']);

        $this->ob_start($body);
        $buffer_var = 'buffer'.$this->ob_start;

        $content = hcode();
        $this->generate_op_code($details['body'], $content);

        $body->append_ast($content);
        $this->ob_start--;

        $buffer = hvar($buffer_var);

        /* {{{ */
        /**
         *  isset previous block (parent block)?
         *  TRUE
         *      has reference to self::$block_var ?
         *      TRUE    
         *          replace self::$block_var for current block value (buffer)
         *      FALSE
         *          print parent block
         *  FALSE
         *      print current block
         *
         */
        $declare = hexpr_cond(
            hexec('isset', $block_name),
            hexpr_cond(
                hexpr(hexec('strpos', $block_name, self::$block_var), '===', FALSE),
                $block_name,
                hexec('str_replace', self::$block_var, $buffer, $block_name)
            ), $buffer);
        /* }}} */

        if (!$this->subtemplate) {
            $this->do_print($body, $declare);
        } else {
            $body->decl($block_name, $declare);
            if ($this->in_block > 1) {
                $this->do_print($body, $block_name);
            }
        }
        array_pop($this->blocks);
        $this->in_block--;

    } 
    // }}}

    // regroup <var1> by <field> as <foo> {{{
    protected function generate_op_regroup($details, &$body)
    {
        $body->comment("Temporary sorting");

        $array = $this->get_filtered_var($details['array'], $varname);

        if (Haanga_AST::is_exec($array)) {
            $varname = hvar($details['as']);
            $body->decl($varname, $array);
        }
        $var = hvar('item', $details['row']);

        $body->decl('temp_group', array());

        $body->do_foreach($varname, 'item', NULL, 
            hcode()->decl(hvar('temp_group', $var, NULL), hvar('item'))
        );

        $body->comment("Proper format");
        $body->decl($details['as'], array());
        $body->do_foreach('temp_group', 'item', 'group',
            hcode()->decl(
                hvar($details['as'], NULL), 
                array("grouper" => hvar('group'), "list"    => hvar('item'))
            )
        );
        $body->comment("Sorting done");
    }
    // }}}

    // variable context {{{
    /**
     *  Variables context
     *
     *  These two functions are useful to detect if a variable
     *  separated by dot (foo.bar) is an array or object. To avoid
     *  overhead we decide it at compile time, rather than 
     *  ask over and over at rendering time.
     *
     *  foo.bar:
     *      + If foo exists at compile time,
     *        and it is an array, it would be foo['bar'] 
     *        otherwise it'd be foo->bar.
     *      + If foo don't exists at compile time,
     *        it would be foo->bar if the compiler option
     *        dot_as_object is TRUE (by default) otherwise
     *        it'd be foo['bar']
     * 
     *  @author crodas
     *  @author gallir (ideas)
     *
     */
    function set_context($varname, $value)
    {
        $this->context[$varname] = $value;
    }

    function var_is_object(Array $variable)
    {
        $varname = $variable[0];
        switch ($varname) {
        case 'GLOBALS':
        case '_SERVER':
        case '_GET':
        case '_POST':
        case '_FILES':
        case '_COOKIE':
        case '_SESSION':
        case '_REQUEST':
        case '_ENV':
        case 'forloop':
        case 'block':
            return FALSE; /* these are arrays */
        }

        if (isset($this->context[$varname])) {
            if (count($variable) == 1) {
                return is_object($this->context[$varname]);
            }
            $var = & $this->context[$varname];
            foreach ($variable as $id => $part) {
                if ($id != 0) {
                    if (is_array($part) && isset($part['object'])) {
                        $var = &$var->$part['object'];
                    } else if (is_object($var)) {
                        $var = &$var->$part;
                    } else {
                        $var = &$var[$part];
                    }
                }
            }

            $type = is_object($var);

            /* delete reference */
            unset($var);

            return $type;
        }

        return $this->dot_as_object;
    }
    // }}} 

    // Get variable name {{{
    protected function generate_variable_name($variable)
    {
        if (is_array($variable)) {
            switch ($variable[0]) {
            case 'forloop':
                if (!$this->forid) {
                    throw new Haanga_Compiler_Exception("Invalid forloop reference outside of a loop");
                }
                switch ($variable[1]) {
                case 'counter':
                    $this->forloop[$this->forid]['counter'] = TRUE; 
                    $variable = 'forcounter1_'.$this->forid;
                    break;
                case 'counter0':
                    $this->forloop[$this->forid]['counter0'] = TRUE; 
                    $variable = 'forcounter0_'.$this->forid;
                    break;
                case 'last':
                    $this->forloop[$this->forid]['counter'] = TRUE; 
                    $this->forloop[$this->forid]['last']    = TRUE;
                    $variable = 'islast_'.$this->forid;
                    break;
                case 'first':
                    $this->forloop[$this->forid]['first']    = TRUE;
                    $variable = 'isfirst_'.$this->forid;
                    break;
                case 'revcounter':
                    $this->forloop[$this->forid]['revcounter'] = TRUE;
                    $variable = 'revcount_'.$this->forid;
                    break;
                case 'revcounter0':
                    $this->forloop[$this->forid]['revcounter0'] = TRUE;
                    $variable = 'revcount0_'.$this->forid;
                    break;
                case 'parentloop':
                    unset($variable[1]);
                    $this->forid--;
                    $variable = $this->generate_variable_name(array_values($variable));
                    $variable = $variable['var'];
                    $this->forid++;
                    break;
                default:
                    throw new Haanga_Compiler_Exception("Unexpected forloop.{$variable[1]}");
                }
                /* no need to escape it */
                $this->var_is_safe = TRUE;
                break;
            case 'block':
                if ($this->in_block == 0) {
                    throw new Haanga_Compiler_Exception("Can't use block.super outside a block");
                }
                if (!$this->subtemplate) {
                    throw new Haanga_Compiler_Exception("Only subtemplates can call block.super");
                }
                /* no need to escape it */
                $this->var_is_safe = TRUE;
                return Haanga_AST::str(self::$block_var);
                break;
            } 

        } else if (isset($this->var_alias[$variable])) {
            $variable = $this->var_alias[$variable];
        }

        return hvar($variable)->getArray();
    }
    // }}}

    // Print {{{
    public function do_print(Haanga_AST $code, $stmt)
    {
        /* Flag this object as a printing one */
        $code->doesPrint = TRUE;

        if ($this->strip_whitespace && Haanga_AST::is_str($stmt)) {
            $stmt['string'] = preg_replace('/\s+/', ' ', $stmt['string']); 
            if (trim($stmt['string']) == "") {
                return; /* avoid whitespaces */
            }
        }

        if ($this->ob_start == 0) {
            $code->do_echo($stmt);
            return;
        }

        $buffer = hvar('buffer'.$this->ob_start);
        $code->append($buffer, $stmt);

    }

    // }}}

    // for [<key>,]<val> in <array> {{{
    protected function generate_op_loop($details, &$body)
    {
        if (isset($details['empty'])) {
            $body->do_if(hexpr(hexec('count', hvar($details['array'])), '==', 0));
            $this->generate_op_code($details['empty'], $body);
            $body->do_else();
        }

        /* ForID */
        $oldid       = $this->forid;
        $this->forid = $oldid+1;
        $this->forloop[$this->forid] = array();

        /* variables */
        $array = $this->get_filtered_var($details['array'], $varname);

        /* Loop body */
        if ($this->is_safe(hvar($varname))) {
            $this->set_safe(hvar($details['variable']));
        }

        $for_body = hcode();
        $this->generate_op_code($details['body'], $for_body);

        if ($this->is_safe(hvar($varname))) {
            $this->set_unsafe($details['variable']);
        }            

        $oid  = $this->forid;
        $size = hvar('psize_'.$oid);
        
        // counter {{{
        if (isset($this->forloop[$oid]['counter'])) {
            $var   = hvar('forcounter1_'.$oid);
            $body->decl($var, 1);
            $for_body->decl($var, hexpr($var, '+', 1));
        }
        // }}}

        // counter0 {{{
        if (isset($this->forloop[$oid]['counter0'])) {
            $var   = hvar('forcounter0_'.$oid);
            $body->decl($var, 0);
            $for_body->decl($var, hexpr($var, '+', 1));
        }
        // }}}

        // last {{{
        if (isset($this->forloop[$oid]['last'])) {
            if (!isset($cnt)) {
                $body->decl('psize_'.$oid, hexec('count', hvar_ex($details['array'])));
                $cnt = TRUE;
            }
            $var  = 'islast_'.$oid;
            $body->decl($var, hexpr(hvar('forcounter1_'.$oid), '==', $size));
            $for_body->decl($var, hexpr(hvar('forcounter1_'.$oid), '==', $size));
        }
        // }}}

        // first {{{
        if (isset($this->forloop[$oid]['first'])) {
            $var = hvar('isfirst_'.$oid);
            $body->decl($var, TRUE);
            $for_body->decl($var, FALSE);
        }
        // }}}

        // revcounter {{{
        if (isset($this->forloop[$oid]['revcounter'])) {
            if (!isset($cnt)) {
                $body->decl('psize_'.$oid, hexec('count', hvar_ex($details['array'])));
                $cnt = TRUE;
            }
            $var = hvar('revcount_'.$oid);
            $body->decl($var, $size);
            $for_body->decl($var, hexpr($var, '-', 1));
        }
         // }}}

        // revcounter0 {{{
        if (isset($this->forloop[$oid]['revcounter0'])) {
            if (!isset($cnt)) {
                $body->decl('psize_'.$oid, hexec('count', hvar_ex($details['array'])));
                $cnt = TRUE;
            }
            $var = hvar('revcount0_'.$oid);
            $body->decl($var, hexpr($size, "-", 1));
            $for_body->decl($var, hexpr($var, '-', 1));
        }
        // }}}

        /* Restore old ForID */
        $this->forid = $oldid;

        /* Merge loop body  */
        $body->do_foreach($array, $details['variable'], $details['index'], $for_body);

        if (isset($details['empty'])) {
            $body->do_endif();
        }
    }
    // }}}

    // ifchanged [<var1> <var2] {{{
    protected function generate_op_ifchanged($details, &$body)
    {
        static $ifchanged = 0;

        $ifchanged++;
        $var1 = 'ifchanged'.$ifchanged;
        if (!isset($details['check'])) {
            /* ugly */
            $this->ob_start($body);
            $var2 = hvar('buffer'.$this->ob_start);


            $this->generate_op_code($details['body'], $body);
            $this->ob_start--;
            $body->do_if(hexpr(hexec('isset', hvar($var1)), '==', FALSE, '||', hvar($var1), '!=', $var2));
            $this->do_print($body, $var2);
            $body->decl($var1, $var2);
        } else {
            /* beauty :-) */
            foreach ($details['check'] as $id=>$type) {
                if (!Haanga_AST::is_var($type)) {
                    throw new Haanga_Compiler_Exception("Unexpected string {$type['string']}, expected a varabile");
                }

                $this_expr = hexpr(hexpr(
                    hexec('isset', hvar($var1, $id)), '==', FALSE,
                    '||', hvar($var1, $id), '!=', $type
                ));

                if (isset($expr)) {
                    $this_expr = hexpr($expr, '&&', $this_expr);
                }

                $expr = $this_expr;

            }
            $body->do_if($expr);
            $this->generate_op_code($details['body'], $body);
            $body->decl($var1, $details['check']);
        }

        if (isset($details['else'])) {
            $body->do_else();
            $this->generate_op_code($details['else'], $body);
        }
        $body->do_endif();
    }
    // }}}

    // autoescape ON|OFF {{{
    function generate_op_autoescape($details, &$body)
    {
        $old_autoescape   = $this->autoescape;
        $this->autoescape = strtolower($details['value']) == 'on';
        $this->generate_op_code($details['body'], $body);
        $this->autoescape = $old_autoescape;
    }
    // }}}

    // ob_Start(array &$body) {{{
    /**
     *  Start a new buffering  
     *
     */
    function ob_start(&$body)
    {
        $this->ob_start++;
        $body->decl('buffer'.$this->ob_start, "");
    }
    // }}}

    // Custom Tags {{{
    function get_custom_tag($name)
    {
        $function = $this->get_function_name($this->name).'_tag_'.$name;
        $this->append .= "\n\n".Haanga_Extension::getInstance('Tag')->getFunctionBody($name, $function);
        return $function;
    }

    /**
     *  Generate needed code for custom tags (tags that aren't
     *  handled by the compiler).
     *
     */
    function generate_op_custom_tag($details, &$body)
    {
        static $tags;
        if (!$tags) {
            $tags = Haanga_Extension::getInstance('Tag');
        }

        $tag_name    = $details['name'];
        $tagFunction = $tags->getFunctionAlias($tag_name); 

        if (!$tagFunction && !$tags->hasGenerator($tag_name)) {
            $function = $this->get_custom_tag($tag_name, isset($details['as']));
        } else {
            $function = $tagFunction;
        }

        if (isset($details['body'])) {
            /* 
               if the custom tag has 'body' 
               then it behave the same way as a filter
            */
            $this->ob_start($body);
            $this->generate_op_code($details['body'], $body);
            $target = hvar('buffer'.$this->ob_start);
            if ($tags->hasGenerator($tag_name)) {
                $exec = $tags->generator($tag_name, $this, array($target));
                if (!$exec InstanceOf Haanga_AST) {
                    throw new Haanga_Compiler_Exception("Invalid output of custom filter {$tag_name}");
                }
            } else {
                $exec = hexec($function, $target);
            }
            $this->ob_start--;
            $this->do_print($body, $exec);
            return;
        }

        $var  = isset($details['as']) ? $details['as'] : NULL;
        $args = array_merge(array($function), $details['list']);

        if ($tags->hasGenerator($tag_name)) {
            $exec = $tags->generator($tag_name, $this, $details['list'], $var);
            if ($exec InstanceOf Haanga_AST) {
                if ($exec->stack_size() >= 2 || $exec->doesPrint || $var !== NULL) {
                    /* 
                        The generator returned more than one statement,
                        so we assume the output is already handled
                        by one of those stmts.
                    */
                    $body->append_ast($exec);
                    return;
                }
            } else {
                throw new Haanga_Compiler_Exception("Invalid output of the custom tag {$tag_name}");
            }
        } else {
            $fnc  = array_shift($args);
            $exec = hexec($fnc);
            foreach ($args as $arg) {
                $exec->param($arg);
            }
        }
        
        if ($var) {
            $body->decl($var, $exec);
        } else {
            $this->do_print($body, $exec);
        }
    }
    // }}}

    // with <variable> as <var> {{{
    /**
     *
     *
     */
    function generate_op_alias($details, &$body)
    {
        $this->var_alias[ $details['as'] ] = $details['var'];
        $this->generate_op_code($details['body'], $body);
        unset($this->var_alias[ $details['as'] ] );
    }
    // }}}

    // Custom Filters {{{
    function get_custom_filter($name)
    {
        $function = $this->get_function_name($this->name).'_filter_'.$name;
        $this->append .= "\n\n".Haanga_Extension::getInstance('Filter')->getFunctionBody($name, $function);
        return $function;
    }


    function do_filtering($name, $args)
    {
        static $filter;
        if (!$filter) {
            $filter = Haanga_Extension::getInstance('Filter');
        }
        
        if (is_array($name)) {
            /*
               prepare array for ($func_name, $arg1, $arg2 ... ) 
               where $arg1 = last expression and $arg2.. $argX is 
               defined in the template 
             */
            $args = array_merge($args, $name['args']);
            $name = $name[0]; 
        }

        if (!$filter->isValid($name)) {
            throw new Haanga_Compiler_Exception("{$name} is an invalid filter");
        }

        if ($filter->hasGenerator($name)) {
            return $filter->generator($name, $this, $args);
        }
        $fnc = $filter->getFunctionAlias($name);
        if (!$fnc) {
            $fnc = $this->get_custom_filter($name);
        }

        $args = array_merge(array($fnc), $args);
        $exec = call_user_func_array('hexec', $args);

        return $exec;
    }

    function generate_op_filter($details, &$body)
    {
        $this->ob_start($body);
        $this->generate_op_code($details['body'], $body);
        $target = hvar('buffer'.$this->ob_start);
        foreach ($details['functions'] as $f) {
            $param = (isset($exec) ? $exec : $target);
            $exec  = $this->do_filtering($f, array($param));
        }
        $this->ob_start--;
        $this->do_print($body, $exec);
    }
    // }}}

    /* variable safety {{{ */
    function set_safe($name)
    {
        if (!Haanga_AST::is_Var($name)) {
            $name = hvar($name)->getArray();
        }
        $this->safes[serialize($name)] = TRUE;
    }

    function set_unsafe($name)
    {
        if (!Haanga_AST::is_Var($name)) {
            $name = hvar($name)->getArray();
        }
        unset($this->safes[serialize($name)]);
    }

    function is_safe($name)
    {
        if ($this->var_is_safe) {
            return TRUE;
        }
        if (isset($this->safes[serialize($name)])) {
            return TRUE;
        }
        return FALSE;
    }
    /* }}} */

    final static function main_cli()
    {
        $argv   = $GLOBALS['argv'];
        $haanga = new Haanga_Compiler;
        $code   = $haanga->compile_file($argv[1], TRUE);
        if (!isset($argv[2]) || $argv[2] != '--notags') {
            $code = "<?php\n\n$code";
        }
        echo $code;
    }

}

/*
 * Local variables:
 * tab-width: 4
 * c-basic-offset: 4
 * End:
 * vim600: sw=4 ts=4 fdm=marker
 * vim<600: sw=4 ts=4
 */