index 912422360f1cedd5cc95741e3c2ff4375ed6fa2d..ac99301a6f0406dac55cad68e4cf97fb160530c5 100644 (file)
<?php
+/* String used to indent the different code blocks */
define("SIEVE_INDENT_TAB"," ");
+
/* This class is inherited from the original 'Parser'
* class written by Heiko Hund
*/
class My_Parser extends Parser
{
var $parent = NULL;
+ var $registeredExtensions_ =array();
function My_Parser($parent)
{
+ $this->registeredExtensions_ = array();
$this->parent = $parent;
}
*/
function parse($script)
{
+ $script = preg_replace("/^###GOSA/","",$script);
+
+ $this->registeredExtensions_ = array();
$this->status_text = "incomplete";
$this->script_ = $script;
$this->tree_ = new My_Tree(@Scanner::scriptStart(),$this);
$this->tree_->setDumpFunc(array(&$this, 'dumpToken_'));
- $this->scanner_ = new Scanner($this->script_);
+ $this->scanner_ = new My_Scanner($this->script_);
$this->scanner_->setCommentFunc(array($this, 'comment_'));
if ($this->commands_($this->tree_->getRoot()) &&
$this->scanner_->nextTokenIs('script-end'))
{
+ $this->scanner_->nextToken();
return $this->success_('success');
}
function get_sieve_script()
{
- return($this->tree_->get_sieve_script());
+ return("###GOSA\n".$this->tree_->get_sieve_script());
}
}
- /* Should be obsolete in the end. */
- function dumpToken_(&$token)
- {
- if (is_array($token))
- {
- $str = "<" . $token['text'] . "> ";
- foreach ($token as $k => $v)
- {
- $str .= " $k:$v";
- }
- return $str;
- }
- return strval($token);
- }
-
-
function dumpParseTree()
{
return $this->tree_->execute();