index 691faf43e0ed342224067e82bcc9f69676258247..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)
}
- /* 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();