| 1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216121712181219122012211222122312241225122612271228122912301231123212331234123512361237123812391240124112421243124412451246124712481249125012511252125312541255125612571258125912601261126212631264126512661267126812691270127112721273 | 
							- <?php
 - 
 - /**
 -  *  Class for operations on Sieve scripts
 -  *
 -  * Copyright (C) 2008-2011, The Roundcube Dev Team
 -  * Copyright (C) 2011, Kolab Systems AG
 -  *
 -  * This program is free software: you can redistribute it and/or modify
 -  * it under the terms of the GNU General Public License as published by
 -  * the Free Software Foundation, either version 3 of the License, or
 -  * (at your option) any later version.
 -  *
 -  * This program is distributed in the hope that it will be useful,
 -  * but WITHOUT ANY WARRANTY; without even the implied warranty of
 -  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
 -  * GNU General Public License for more details.
 -  *
 -  * You should have received a copy of the GNU General Public License
 -  * along with this program. If not, see http://www.gnu.org/licenses/.
 -  */
 - 
 - class rcube_sieve_script
 - {
 -     public $content = array();      // script rules array
 - 
 -     private $vars = array();        // "global" variables
 -     private $prefix = '';           // script header (comments)
 -     private $supported = array(     // Sieve extensions supported by class
 -         'body',                     // RFC5173
 -         'copy',                     // RFC3894
 -         'date',                     // RFC5260
 -         'enotify',                  // RFC5435
 -         'envelope',                 // RFC5228
 -         'ereject',                  // RFC5429
 -         'fileinto',                 // RFC5228
 -         'imapflags',                // draft-melnikov-sieve-imapflags-06
 -         'imap4flags',               // RFC5232
 -         'include',                  // draft-ietf-sieve-include-12
 -         'index',                    // RFC5260
 -         'notify',                   // draft-martin-sieve-notify-01,
 -         'regex',                    // draft-ietf-sieve-regex-01
 -         'reject',                   // RFC5429
 -         'relational',               // RFC3431
 -         'subaddress',               // RFC5233
 -         'vacation',                 // RFC5230
 -         'vacation-seconds',         // RFC6131
 -         'variables',                // RFC5229
 -         // @TODO: spamtest+virustest, mailbox
 -     );
 - 
 -     /**
 -      * Object constructor
 -      *
 -      * @param  string  Script's text content
 -      * @param  array   List of capabilities supported by server
 -      */
 -     public function __construct($script, $capabilities=array())
 -     {
 -         $capabilities = array_map('strtolower', (array) $capabilities);
 - 
 -         // disable features by server capabilities
 -         if (!empty($capabilities)) {
 -             foreach ($this->supported as $idx => $ext) {
 -                 if (!in_array($ext, $capabilities)) {
 -                     unset($this->supported[$idx]);
 -                 }
 -             }
 -         }
 - 
 -         // Parse text content of the script
 -         $this->_parse_text($script);
 -     }
 - 
 -     /**
 -      * Adds rule to the script (at the end)
 -      *
 -      * @param string Rule name
 -      * @param array  Rule content (as array)
 -      *
 -      * @return int The index of the new rule
 -      */
 -     public function add_rule($content)
 -     {
 -         // TODO: check this->supported
 -         array_push($this->content, $content);
 -         return sizeof($this->content)-1;
 -     }
 - 
 -     public function delete_rule($index)
 -     {
 -         if(isset($this->content[$index])) {
 -             unset($this->content[$index]);
 -             return true;
 -         }
 -         return false;
 -     }
 - 
 -     public function size()
 -     {
 -         return sizeof($this->content);
 -     }
 - 
 -     public function update_rule($index, $content)
 -     {
 -         // TODO: check this->supported
 -         if ($this->content[$index]) {
 -             $this->content[$index] = $content;
 -             return $index;
 -         }
 -         return false;
 -     }
 - 
 -     /**
 -      * Sets "global" variable
 -      *
 -      * @param string $name  Variable name
 -      * @param string $value Variable value
 -      * @param array  $mods  Variable modifiers
 -      */
 -     public function set_var($name, $value, $mods = array())
 -     {
 -         // Check if variable exists
 -         for ($i=0, $len=count($this->vars); $i<$len; $i++) {
 -             if ($this->vars[$i]['name'] == $name) {
 -                 break;
 -             }
 -         }
 - 
 -         $var = array_merge($mods, array('name' => $name, 'value' => $value));
 -         $this->vars[$i] = $var;
 -     }
 - 
 -     /**
 -      * Unsets "global" variable
 -      *
 -      * @param string $name  Variable name
 -      */
 -     public function unset_var($name)
 -     {
 -         // Check if variable exists
 -         foreach ($this->vars as $idx => $var) {
 -             if ($var['name'] == $name) {
 -                 unset($this->vars[$idx]);
 -                 break;
 -             }
 -         }
 -     }
 - 
 -     /**
 -      * Gets the value of  "global" variable
 -      *
 -      * @param string $name  Variable name
 -      *
 -      * @return string Variable value
 -      */
 -     public function get_var($name)
 -     {
 -         // Check if variable exists
 -         for ($i=0, $len=count($this->vars); $i<$len; $i++) {
 -             if ($this->vars[$i]['name'] == $name) {
 -                 return $this->vars[$i]['name'];
 -             }
 -         }
 -     }
 - 
 -     /**
 -      * Sets script header content
 -      *
 -      * @param string $text  Header content
 -      */
 -     public function set_prefix($text)
 -     {
 -         $this->prefix = $text;
 -     }
 - 
 -     /**
 -      * Returns script as text
 -      */
 -     public function as_text()
 -     {
 -         $output = '';
 -         $exts   = array();
 -         $idx    = 0;
 - 
 -         if (!empty($this->vars)) {
 -             if (in_array('variables', (array)$this->supported)) {
 -                 $has_vars = true;
 -                 array_push($exts, 'variables');
 -             }
 -             foreach ($this->vars as $var) {
 -                 if (empty($has_vars)) {
 -                     // 'variables' extension not supported, put vars in comments
 -                     $output .= sprintf("# %s %s\n", $var['name'], $var['value']);
 -                 }
 -                 else {
 -                     $output .= 'set ';
 -                     foreach (array_diff(array_keys($var), array('name', 'value')) as $opt) {
 -                         $output .= ":$opt ";
 -                     }
 -                     $output .= self::escape_string($var['name']) . ' ' . self::escape_string($var['value']) . ";\n";
 -                 }
 -             }
 -         }
 - 
 -         $imapflags = in_array('imap4flags', $this->supported) ? 'imap4flags' : 'imapflags';
 -         $notify    = in_array('enotify', $this->supported) ? 'enotify' : 'notify';
 - 
 -         // rules
 -         foreach ($this->content as $rule) {
 -             $script    = '';
 -             $tests     = array();
 -             $i         = 0;
 - 
 -             // header
 -             if (!empty($rule['name']) && strlen($rule['name'])) {
 -                 $script .= '# rule:[' . $rule['name'] . "]\n";
 -             }
 - 
 -             // constraints expressions
 -             if (!empty($rule['tests'])) {
 -                 foreach ($rule['tests'] as $test) {
 -                     $tests[$i] = '';
 -                     switch ($test['test']) {
 -                     case 'size':
 -                         $tests[$i] .= ($test['not'] ? 'not ' : '');
 -                         $tests[$i] .= 'size :' . ($test['type']=='under' ? 'under ' : 'over ') . $test['arg'];
 -                         break;
 - 
 -                     case 'true':
 -                         $tests[$i] .= ($test['not'] ? 'false' : 'true');
 -                         break;
 - 
 -                     case 'exists':
 -                         $tests[$i] .= ($test['not'] ? 'not ' : '');
 -                         $tests[$i] .= 'exists ' . self::escape_string($test['arg']);
 -                         break;
 - 
 -                     case 'header':
 -                         $tests[$i] .= ($test['not'] ? 'not ' : '');
 -                         $tests[$i] .= 'header';
 - 
 -                         $this->add_index($test, $tests[$i], $exts);
 -                         $this->add_operator($test, $tests[$i], $exts);
 - 
 -                         $tests[$i] .= ' ' . self::escape_string($test['arg1']);
 -                         $tests[$i] .= ' ' . self::escape_string($test['arg2']);
 -                         break;
 - 
 -                     case 'address':
 -                     case 'envelope':
 -                         if ($test['test'] == 'envelope') {
 -                             array_push($exts, 'envelope');
 -                         }
 - 
 -                         $tests[$i] .= ($test['not'] ? 'not ' : '');
 -                         $tests[$i] .= $test['test'];
 - 
 -                         if ($test['test'] != 'envelope') {
 -                             $this->add_index($test, $tests[$i], $exts);
 -                         }
 - 
 -                         // :all address-part is optional, skip it
 -                         if (!empty($test['part']) && $test['part'] != 'all') {
 -                             $tests[$i] .= ' :' . $test['part'];
 -                             if ($test['part'] == 'user' || $test['part'] == 'detail') {
 -                                 array_push($exts, 'subaddress');
 -                             }
 -                         }
 - 
 -                         $this->add_operator($test, $tests[$i], $exts);
 - 
 -                         $tests[$i] .= ' ' . self::escape_string($test['arg1']);
 -                         $tests[$i] .= ' ' . self::escape_string($test['arg2']);
 -                         break;
 - 
 -                     case 'body':
 -                         array_push($exts, 'body');
 - 
 -                         $tests[$i] .= ($test['not'] ? 'not ' : '') . 'body';
 - 
 -                         if (!empty($test['part'])) {
 -                             $tests[$i] .= ' :' . $test['part'];
 - 
 -                             if (!empty($test['content']) && $test['part'] == 'content') {
 -                                 $tests[$i] .= ' ' . self::escape_string($test['content']);
 -                             }
 -                         }
 - 
 -                         $this->add_operator($test, $tests[$i], $exts);
 - 
 -                         $tests[$i] .= ' ' . self::escape_string($test['arg']);
 -                         break;
 - 
 -                     case 'date':
 -                     case 'currentdate':
 -                         array_push($exts, 'date');
 - 
 -                         $tests[$i] .= ($test['not'] ? 'not ' : '') . $test['test'];
 - 
 -                         $this->add_index($test, $tests[$i], $exts);
 - 
 -                         if (!empty($test['originalzone']) && $test['test'] == 'date') {
 -                             $tests[$i] .= ' :originalzone';
 -                         }
 -                         else if (!empty($test['zone'])) {
 -                             $tests[$i] .= ' :zone ' . self::escape_string($test['zone']);
 -                         }
 - 
 -                         $this->add_operator($test, $tests[$i], $exts);
 - 
 -                         if ($test['test'] == 'date') {
 -                             $tests[$i] .= ' ' . self::escape_string($test['header']);
 -                         }
 - 
 -                         $tests[$i] .= ' ' . self::escape_string($test['part']);
 -                         $tests[$i] .= ' ' . self::escape_string($test['arg']);
 - 
 -                         break;
 -                     }
 -                     $i++;
 -                 }
 -             }
 - 
 -             // disabled rule: if false #....
 -             if (!empty($tests)) {
 -                 $script .= 'if ' . ($rule['disabled'] ? 'false # ' : '');
 - 
 -                 if (count($tests) > 1) {
 -                     $tests_str = implode(', ', $tests);
 -                 }
 -                 else {
 -                     $tests_str = $tests[0];
 -                 }
 - 
 -                 if ($rule['join'] || count($tests) > 1) {
 -                     $script .= sprintf('%s (%s)', $rule['join'] ? 'allof' : 'anyof', $tests_str);
 -                 }
 -                 else {
 -                     $script .= $tests_str;
 -                 }
 -                 $script .= "\n{\n";
 -             }
 - 
 -             // action(s)
 -             if (!empty($rule['actions'])) {
 -                 foreach ($rule['actions'] as $action) {
 -                     $action_script = '';
 - 
 -                     switch ($action['type']) {
 - 
 -                     case 'fileinto':
 -                         array_push($exts, 'fileinto');
 -                         $action_script .= 'fileinto ';
 -                         if ($action['copy']) {
 -                             $action_script .= ':copy ';
 -                             array_push($exts, 'copy');
 -                         }
 -                         $action_script .= self::escape_string($action['target']);
 -                         break;
 - 
 -                     case 'redirect':
 -                         $action_script .= 'redirect ';
 -                         if ($action['copy']) {
 -                             $action_script .= ':copy ';
 -                             array_push($exts, 'copy');
 -                         }
 -                         $action_script .= self::escape_string($action['target']);
 -                         break;
 - 
 -                     case 'reject':
 -                     case 'ereject':
 -                         array_push($exts, $action['type']);
 -                         $action_script .= $action['type'].' '
 -                             . self::escape_string($action['target']);
 -                         break;
 - 
 -                     case 'addflag':
 -                     case 'setflag':
 -                     case 'removeflag':
 -                         array_push($exts, $imapflags);
 -                         $action_script .= $action['type'].' '
 -                             . self::escape_string($action['target']);
 -                         break;
 - 
 -                     case 'keep':
 -                     case 'discard':
 -                     case 'stop':
 -                         $action_script .= $action['type'];
 -                         break;
 - 
 -                     case 'include':
 -                         array_push($exts, 'include');
 -                         $action_script .= 'include ';
 -                         foreach (array_diff(array_keys($action), array('target', 'type')) as $opt) {
 -                             $action_script .= ":$opt ";
 -                         }
 -                         $action_script .= self::escape_string($action['target']);
 -                         break;
 - 
 -                     case 'set':
 -                         array_push($exts, 'variables');
 -                         $action_script .= 'set ';
 -                         foreach (array_diff(array_keys($action), array('name', 'value', 'type')) as $opt) {
 -                             $action_script .= ":$opt ";
 -                         }
 -                         $action_script .= self::escape_string($action['name']) . ' ' . self::escape_string($action['value']);
 -                         break;
 - 
 -                     case 'notify':
 -                         array_push($exts, $notify);
 -                         $action_script .= 'notify';
 - 
 -                         $method = $action['method'];
 -                         unset($action['method']);
 -                         $action['options'] = (array) $action['options'];
 - 
 -                         // Here we support draft-martin-sieve-notify-01 used by Cyrus
 -                         if ($notify == 'notify') {
 -                             switch ($action['importance']) {
 -                                 case 1: $action_script .= " :high"; break;
 -                                 //case 2: $action_script .= " :normal"; break;
 -                                 case 3: $action_script .= " :low"; break;
 -                             }
 - 
 -                             // Old-draft way: :method "mailto" :options "email@address"
 -                             if (!empty($method)) {
 -                                 $parts = explode(':', $method, 2);
 -                                 $action['method'] = $parts[0];
 -                                 array_unshift($action['options'], $parts[1]);
 -                             }
 - 
 -                             unset($action['importance']);
 -                             unset($action['from']);
 -                             unset($method);
 -                         }
 - 
 -                         foreach (array('id', 'importance', 'method', 'options', 'from', 'message') as $n_tag) {
 -                             if (!empty($action[$n_tag])) {
 -                                 $action_script .= " :$n_tag " . self::escape_string($action[$n_tag]);
 -                             }
 -                         }
 - 
 -                         if (!empty($method)) {
 -                             $action_script .= ' ' . self::escape_string($method);
 -                         }
 - 
 -                         break;
 - 
 -                     case 'vacation':
 -                         array_push($exts, 'vacation');
 -                         $action_script .= 'vacation';
 -                         if (isset($action['seconds'])) {
 -                             array_push($exts, 'vacation-seconds');
 -                             $action_script .= " :seconds " . intval($action['seconds']);
 -                         }
 -                         else if (!empty($action['days'])) {
 -                             $action_script .= " :days " . intval($action['days']);
 -                         }
 -                         if (!empty($action['addresses']))
 -                             $action_script .= " :addresses " . self::escape_string($action['addresses']);
 -                         if (!empty($action['subject']))
 -                             $action_script .= " :subject " . self::escape_string($action['subject']);
 -                         if (!empty($action['handle']))
 -                             $action_script .= " :handle " . self::escape_string($action['handle']);
 -                         if (!empty($action['from']))
 -                             $action_script .= " :from " . self::escape_string($action['from']);
 -                         if (!empty($action['mime']))
 -                             $action_script .= " :mime";
 -                         $action_script .= " " . self::escape_string($action['reason']);
 -                         break;
 -                     }
 - 
 -                     if ($action_script) {
 -                         $script .= !empty($tests) ? "\t" : '';
 -                         $script .= $action_script . ";\n";
 -                     }
 -                 }
 -             }
 - 
 -             if ($script) {
 -                 $output .= $script . (!empty($tests) ? "}\n" : '');
 -                 $idx++;
 -             }
 -         }
 - 
 -         // requires
 -         if (!empty($exts)) {
 -             $exts = array_unique($exts);
 - 
 -             if (in_array('vacation-seconds', $exts) && ($key = array_search('vacation', $exts)) !== false) {
 -                 unset($exts[$key]);
 -             }
 - 
 -             sort($exts); // for convenience use always the same order
 - 
 -             $output = 'require ["' . implode('","', $exts) . "\"];\n" . $output;
 -         }
 - 
 -         if (!empty($this->prefix)) {
 -             $output = $this->prefix . "\n\n" . $output;
 -         }
 - 
 -         return $output;
 -     }
 - 
 -     /**
 -      * Returns script object
 -      *
 -      */
 -     public function as_array()
 -     {
 -         return $this->content;
 -     }
 - 
 -     /**
 -      * Returns array of supported extensions
 -      *
 -      */
 -     public function get_extensions()
 -     {
 -         return array_values($this->supported);
 -     }
 - 
 -     /**
 -      * Converts text script to rules array
 -      *
 -      * @param string Text script
 -      */
 -     private function _parse_text($script)
 -     {
 -         $prefix   = '';
 -         $options  = array();
 -         $position = 0;
 -         $length   = strlen($script);
 - 
 -         while ($position < $length) {
 -             // skip whitespace chars
 -             $position = self::ltrim_position($script, $position);
 -             $rulename = '';
 - 
 -             // Comments
 -             while ($script[$position] === '#') {
 -                 $endl = strpos($script, "\n", $position) ?: $length;
 -                 $line = substr($script, $position, $endl - $position);
 - 
 -                 // Roundcube format
 -                 if (preg_match('/^# rule:\[(.*)\]/', $line, $matches)) {
 -                     $rulename = $matches[1];
 -                 }
 -                 // KEP:14 variables
 -                 else if (preg_match('/^# (EDITOR|EDITOR_VERSION) (.+)$/', $line, $matches)) {
 -                     $this->set_var($matches[1], $matches[2]);
 -                 }
 -                 // Horde-Ingo format
 -                 else if (!empty($options['format']) && $options['format'] == 'INGO'
 -                     && preg_match('/^# (.*)/', $line, $matches)
 -                 ) {
 -                     $rulename = $matches[1];
 -                 }
 -                 else if (empty($options['prefix'])) {
 -                     $prefix .= $line . "\n";
 -                 }
 - 
 -                 $position = $endl + 1;
 -             }
 - 
 -             // handle script header
 -             if (empty($options['prefix'])) {
 -                 $options['prefix'] = true;
 -                 if ($prefix && strpos($prefix, 'horde.org/ingo')) {
 -                     $options['format'] = 'INGO';
 -                 }
 -             }
 - 
 -             // Control structures/blocks
 -             if (preg_match('/^(if|else|elsif)/i', substr($script, $position, 5))) {
 -                 $rule = $this->_tokenize_rule($script, $position);
 -                 if (strlen($rulename) && !empty($rule)) {
 -                     $rule['name'] = $rulename;
 -                 }
 -             }
 -             // Simple commands
 -             else {
 -                 $rule = $this->_parse_actions($script, $position, ';');
 -                 if (!empty($rule[0]) && is_array($rule)) {
 -                     // set "global" variables
 -                     if ($rule[0]['type'] == 'set') {
 -                         unset($rule[0]['type']);
 -                         $this->vars[] = $rule[0];
 -                         unset($rule);
 -                     }
 -                     else {
 -                         $rule = array('actions' => $rule);
 -                     }
 -                 }
 -             }
 - 
 -             if (!empty($rule)) {
 -                 $this->content[] = $rule;
 -             }
 -         }
 - 
 -         if (!empty($prefix)) {
 -             $this->prefix = trim($prefix);
 -         }
 -     }
 - 
 -     /**
 -      * Convert text script fragment to rule object
 -      *
 -      * @param string $content   The whole script content
 -      * @param int    &$position Start position in the script
 -      *
 -      * @return array Rule data
 -      */
 -     private function _tokenize_rule($content, &$position)
 -     {
 -         $cond = strtolower(self::tokenize($content, 1, $position));
 -         if ($cond != 'if' && $cond != 'elsif' && $cond != 'else') {
 -             return null;
 -         }
 - 
 -         $disabled = false;
 -         $join     = false;
 -         $join_not = false;
 -         $length   = strlen($content);
 - 
 -         // disabled rule (false + comment): if false # .....
 -         if (preg_match('/^\s*false\s+#\s*/i', substr($content, $position, 20), $m)) {
 -             $position += strlen($m[0]);
 -             $disabled = true;
 -         }
 - 
 -         while ($position < $length) {
 -             $tokens    = self::tokenize($content, true, $position);
 -             $separator = array_pop($tokens);
 - 
 -             if (!empty($tokens)) {
 -                 $token = array_shift($tokens);
 -             }
 -             else {
 -                 $token = $separator;
 -             }
 - 
 -             $token = strtolower($token);
 - 
 -             if ($token == 'not') {
 -                 $not = true;
 -                 $token = strtolower(array_shift($tokens));
 -             }
 -             else {
 -                 $not = false;
 -             }
 - 
 -             // we support "not allof" as a negation of allof sub-tests
 -             if ($join_not) {
 -                 $not = !$not;
 -             }
 - 
 -             switch ($token) {
 -             case 'allof':
 -                 $join     = true;
 -                 $join_not = $not;
 -                 break;
 - 
 -             case 'anyof':
 -                 break;
 - 
 -             case 'size':
 -                 $test = array('test' => 'size', 'not' => $not);
 - 
 -                 $test['arg'] = array_pop($tokens);
 - 
 -                 for ($i=0, $len=count($tokens); $i<$len; $i++) {
 -                     if (!is_array($tokens[$i])
 -                         && preg_match('/^:(under|over)$/i', $tokens[$i])
 -                     ) {
 -                         $test['type'] = strtolower(substr($tokens[$i], 1));
 -                     }
 -                 }
 - 
 -                 $tests[] = $test;
 -                 break;
 - 
 -             case 'header':
 -             case 'address':
 -             case 'envelope':
 -                 $test = array('test' => $token, 'not' => $not);
 - 
 -                 $test['arg2'] = array_pop($tokens);
 -                 $test['arg1'] = array_pop($tokens);
 - 
 -                 $test += $this->test_tokens($tokens);
 - 
 -                 if ($token != 'header' && !empty($tokens)) {
 -                     for ($i=0, $len=count($tokens); $i<$len; $i++) {
 -                         if (!is_array($tokens[$i]) && preg_match('/^:(localpart|domain|all|user|detail)$/i', $tokens[$i])) {
 -                             $test['part'] = strtolower(substr($tokens[$i], 1));
 -                         }
 -                     }
 -                 }
 - 
 -                 $tests[] = $test;
 -                 break;
 - 
 -             case 'body':
 -                 $test = array('test' => 'body', 'not' => $not);
 - 
 -                 $test['arg'] = array_pop($tokens);
 - 
 -                 $test += $this->test_tokens($tokens);
 - 
 -                 for ($i=0, $len=count($tokens); $i<$len; $i++) {
 -                     if (!is_array($tokens[$i]) && preg_match('/^:(raw|content|text)$/i', $tokens[$i])) {
 -                         $test['part'] = strtolower(substr($tokens[$i], 1));
 - 
 -                         if ($test['part'] == 'content') {
 -                             $test['content'] = $tokens[++$i];
 -                         }
 -                     }
 -                 }
 - 
 -                 $tests[] = $test;
 -                 break;
 - 
 -             case 'date':
 -             case 'currentdate':
 -                 $test = array('test' => $token, 'not' => $not);
 - 
 -                 $test['arg']  = array_pop($tokens);
 -                 $test['part'] = array_pop($tokens);
 - 
 -                 if ($token == 'date') {
 -                     $test['header']  = array_pop($tokens);
 -                 }
 - 
 -                 $test += $this->test_tokens($tokens);
 - 
 -                 for ($i=0, $len=count($tokens); $i<$len; $i++) {
 -                     if (!is_array($tokens[$i]) && preg_match('/^:zone$/i', $tokens[$i])) {
 -                         $test['zone'] = $tokens[++$i];
 -                     }
 -                     else if (!is_array($tokens[$i]) && preg_match('/^:originalzone$/i', $tokens[$i])) {
 -                         $test['originalzone'] = true;
 -                     }
 -                 }
 - 
 -                 $tests[] = $test;
 -                 break;
 - 
 -             case 'exists':
 -                 $tests[] = array('test' => 'exists', 'not' => $not,
 -                     'arg'  => array_pop($tokens));
 -                 break;
 - 
 -             case 'true':
 -                 $tests[] = array('test' => 'true', 'not' => $not);
 -                 break;
 - 
 -             case 'false':
 -                 $tests[] = array('test' => 'true', 'not' => !$not);
 -                 break;
 -             }
 - 
 -             // goto actions...
 -             if ($separator == '{') {
 -                 break;
 -             }
 -         }
 - 
 -         // ...and actions block
 -         $actions = $this->_parse_actions($content, $position);
 - 
 -         if ($tests && $actions) {
 -             $result = array(
 -                 'type'     => $cond,
 -                 'tests'    => $tests,
 -                 'actions'  => $actions,
 -                 'join'     => $join,
 -                 'disabled' => $disabled,
 -             );
 -         }
 - 
 -         return $result;
 -     }
 - 
 -     /**
 -      * Parse body of actions section
 -      *
 -      * @param string $content   The whole script content
 -      * @param int    &$position Start position in the script
 -      * @param string $end       End of text separator
 -      *
 -      * @return array Array of parsed action type/target pairs
 -      */
 -     private function _parse_actions($content, &$position, $end = '}')
 -     {
 -         $result = null;
 -         $length = strlen($content);
 - 
 -         while ($position < $length) {
 -             $tokens    = self::tokenize($content, true, $position);
 -             $separator = array_pop($tokens);
 -             $token     = !empty($tokens) ? array_shift($tokens) : $separator;
 - 
 -             switch ($token) {
 -             case 'discard':
 -             case 'keep':
 -             case 'stop':
 -                 $result[] = array('type' => $token);
 -                 break;
 - 
 -             case 'fileinto':
 -             case 'redirect':
 -                 $action  = array('type' => $token, 'target' => array_pop($tokens));
 -                 $args    = array('copy');
 -                 $action += $this->action_arguments($tokens, $args);
 - 
 -                 $result[] = $action;
 -                 break;
 - 
 -             case 'vacation':
 -                 $action  = array('type' => 'vacation', 'reason' => array_pop($tokens));
 -                 $args    = array('mime');
 -                 $vargs   = array('seconds', 'days', 'addresses', 'subject', 'handle', 'from');
 -                 $action += $this->action_arguments($tokens, $args, $vargs);
 - 
 -                 $result[] = $action;
 -                 break;
 - 
 -             case 'reject':
 -             case 'ereject':
 -             case 'setflag':
 -             case 'addflag':
 -             case 'removeflag':
 -                 $result[] = array('type' => $token, 'target' => array_pop($tokens));
 -                 break;
 - 
 -             case 'include':
 -                 $action  = array('type' => 'include', 'target' => array_pop($tokens));
 -                 $args    = array('once', 'optional', 'global', 'personal');
 -                 $action += $this->action_arguments($tokens, $args);
 - 
 -                 $result[] = $action;
 -                 break;
 - 
 -             case 'set':
 -                 $action  = array('type' => 'set', 'value' => array_pop($tokens), 'name' => array_pop($tokens));
 -                 $args    = array('lower', 'upper', 'lowerfirst', 'upperfirst', 'quotewildcard', 'length');
 -                 $action += $this->action_arguments($tokens, $args);
 - 
 -                 $result[] = $action;
 -                 break;
 - 
 -             case 'require':
 -                 // skip, will be build according to used commands
 -                 // $result[] = array('type' => 'require', 'target' => array_pop($tokens));
 -                 break;
 - 
 -             case 'notify':
 -                 $action     = array('type' => 'notify');
 -                 $priorities = array('high' => 1, 'normal' => 2, 'low' => 3);
 -                 $vargs      = array('from', 'id', 'importance', 'options', 'message', 'method');
 -                 $args       = array_keys($priorities);
 -                 $action    += $this->action_arguments($tokens, $args, $vargs);
 - 
 -                 // Here we'll convert draft-martin-sieve-notify-01 into RFC 5435
 -                 if (!isset($action['importance'])) {
 -                     foreach ($priorities as $key => $val) {
 -                         if (isset($action[$key])) {
 -                             $action['importance'] = $val;
 -                             unset($action[$key]);
 -                         }
 -                     }
 -                 }
 - 
 -                 $action['options'] = (array) $action['options'];
 - 
 -                 // Old-draft way: :method "mailto" :options "email@address"
 -                 if (!empty($action['method']) && !empty($action['options'])) {
 -                     $action['method'] .= ':' . array_shift($action['options']);
 -                 }
 -                 // unnamed parameter is a :method in enotify extension
 -                 else if (!isset($action['method'])) {
 -                     $action['method'] = array_pop($tokens);
 -                 }
 - 
 -                 $result[] = $action;
 -                 break;
 -             }
 - 
 -             if ($separator == $end)
 -                 break;
 -         }
 - 
 -         return $result;
 -     }
 - 
 -     /**
 -      * Add comparator to the test
 -      */
 -     private function add_comparator($test, &$out, &$exts)
 -     {
 -         if (empty($test['comparator'])) {
 -             return;
 -         }
 - 
 -         if ($test['comparator'] == 'i;ascii-numeric') {
 -             array_push($exts, 'relational');
 -             array_push($exts, 'comparator-i;ascii-numeric');
 -         }
 -         else if (!in_array($test['comparator'], array('i;octet', 'i;ascii-casemap'))) {
 -             array_push($exts, 'comparator-' . $test['comparator']);
 -         }
 - 
 -         // skip default comparator
 -         if ($test['comparator'] != 'i;ascii-casemap') {
 -             $out .= ' :comparator ' . self::escape_string($test['comparator']);
 -         }
 -     }
 - 
 -     /**
 -      * Add index argument to the test
 -      */
 -     private function add_index($test, &$out, &$exts)
 -     {
 -         if (!empty($test['index'])) {
 -             array_push($exts, 'index');
 -             $out .= ' :index ' . intval($test['index']) . ($test['last'] ? ' :last' : '');
 -         }
 -     }
 - 
 -     /**
 -      * Add operators to the test
 -      */
 -     private function add_operator($test, &$out, &$exts)
 -     {
 -         if (empty($test['type'])) {
 -             return;
 -         }
 - 
 -         // relational operator
 -         if (preg_match('/^(value|count)-([gteqnl]{2})/', $test['type'], $m)) {
 -             array_push($exts, 'relational');
 - 
 -             $out .= ' :' . $m[1] . ' "' . $m[2] . '"';
 -         }
 -         else {
 -             if ($test['type'] == 'regex') {
 -                 array_push($exts, 'regex');
 -             }
 - 
 -             $out .= ' :' . $test['type'];
 -         }
 - 
 -         $this->add_comparator($test, $out, $exts);
 -     }
 - 
 -     /**
 -      * Extract test tokens
 -      */
 -     private function test_tokens(&$tokens)
 -     {
 -         $test   = array();
 -         $result = array();
 - 
 -         for ($i=0, $len=count($tokens); $i<$len; $i++) {
 -             if (!is_array($tokens[$i]) && $tokens[$i][0] == ':') {
 -                 if (preg_match('/^:comparator$/i', $tokens[$i])) {
 -                     $test['comparator'] = $tokens[++$i];
 -                     continue;
 -                 }
 - 
 -                 if (preg_match('/^:(count|value)$/i', $tokens[$i])) {
 -                     $test['type'] = strtolower(substr($tokens[$i], 1)) . '-' . $tokens[++$i];
 -                     continue;
 -                 }
 - 
 -                 if (preg_match('/^:(is|contains|matches|regex)$/i', $tokens[$i])) {
 -                     $test['type'] = strtolower(substr($tokens[$i], 1));
 -                     continue;
 -                 }
 - 
 -                 if (preg_match('/^:index$/i', $tokens[$i])) {
 -                     $test['index'] = intval($tokens[++$i]);
 -                     if ($tokens[$i+1] && preg_match('/^:last$/i', $tokens[$i+1])) {
 -                         $test['last'] = true;
 -                         $i++;
 -                     }
 -                     continue;
 -                 }
 -             }
 - 
 -             $result[] = $tokens[$i];
 -         }
 - 
 -         $tokens = $result;
 - 
 -         return $test;
 -     }
 - 
 -     /**
 -      * Extract action arguments
 -      */
 -     private function action_arguments(&$tokens, $bool_args, $val_args = array())
 -     {
 -         $action = array();
 -         $result = array();
 - 
 -         for ($i=0, $len=count($tokens); $i<$len; $i++) {
 -             $tok = $tokens[$i];
 -             if (!is_array($tok) && $tok[0] == ':') {
 -                 $tok = strtolower(substr($tok, 1));
 -                 if (in_array($tok, $bool_args)) {
 -                     $action[$tok] = true;
 -                 }
 -                 else if (in_array($tok, $val_args)) {
 -                     $action[$tok] = $tokens[++$i];
 -                 }
 -                 else {
 -                     $result[] = $tok;
 -                 }
 -             }
 -             else {
 -                 $result[] = $tok;
 -             }
 -         }
 - 
 -         $tokens = $result;
 - 
 -         return $action;
 -     }
 - 
 -     /**
 -      * Escape special chars into quoted string value or multi-line string
 -      * or list of strings
 -      *
 -      * @param string $str Text or array (list) of strings
 -      *
 -      * @return string Result text
 -      */
 -     static function escape_string($str)
 -     {
 -         if (is_array($str) && count($str) > 1) {
 -             foreach($str as $idx => $val)
 -                 $str[$idx] = self::escape_string($val);
 - 
 -             return '[' . implode(',', $str) . ']';
 -         }
 -         else if (is_array($str)) {
 -             $str = array_pop($str);
 -         }
 - 
 -         // multi-line string
 -         if (preg_match('/[\r\n\0]/', $str) || strlen($str) > 1024) {
 -             return sprintf("text:\n%s\n.\n", self::escape_multiline_string($str));
 -         }
 -         // quoted-string
 -         else {
 -             return '"' . addcslashes($str, '\\"') . '"';
 -         }
 -     }
 - 
 -     /**
 -      * Escape special chars in multi-line string value
 -      *
 -      * @param string $str Text
 -      *
 -      * @return string Text
 -      */
 -     static function escape_multiline_string($str)
 -     {
 -         $str = preg_split('/(\r?\n)/', $str, -1, PREG_SPLIT_DELIM_CAPTURE);
 - 
 -         foreach ($str as $idx => $line) {
 -             // dot-stuffing
 -             if (isset($line[0]) && $line[0] == '.') {
 -                 $str[$idx] = '.' . $line;
 -             }
 -         }
 - 
 -         return implode($str);
 -     }
 - 
 -     /**
 -      * Splits script into string tokens
 -      *
 -      * @param string $str       The script
 -      * @param mixed  $num       Number of tokens to return, 0 for all
 -      *                          or True for all tokens until separator is found.
 -      *                          Separator will be returned as last token.
 -      * @param int    &$position Parsing start position
 -      *
 -      * @return mixed Tokens array or string if $num=1
 -      */
 -     static function tokenize($str, $num = 0, &$position = 0)
 -     {
 -         $result = array();
 -         $length = strlen($str);
 -         $mask   = 'abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ0123456789:_';
 - 
 -         // remove spaces from the beginning of the string
 -         while ($position < $length && (!$num || $num === true || count($result) < $num)) {
 -             // skip whitespace chars
 -             $position = self::ltrim_position($str, $position);
 - 
 -             switch ($str[$position]) {
 - 
 -             // Quoted string
 -             case '"':
 -                 for ($pos = $position + 1; $pos < $length; $pos++) {
 -                     if ($str[$pos] == '"') {
 -                         break;
 -                     }
 -                     if ($str[$pos] == "\\") {
 -                         if ($str[$pos + 1] == '"' || $str[$pos + 1] == "\\") {
 -                             $pos++;
 -                         }
 -                     }
 -                 }
 -                 if ($str[$pos] != '"') {
 -                     // error
 -                 }
 - 
 -                 // we need to strip slashes for a quoted string
 -                 $result[] = stripslashes(substr($str, $position + 1, $pos - $position - 1));
 -                 $position = $pos + 1;
 -                 break;
 - 
 -             // Parenthesized list
 -             case '[':
 -                 $position++;
 -                 $result[] = self::tokenize($str, 0, $position);
 -                 break;
 -             case ']':
 -                 $position++;
 -                 return $result;
 -                 break;
 - 
 -             // list/test separator
 -             case ',':
 -             // command separator
 -             case ';':
 -             // block/tests-list
 -             case '(':
 -             case ')':
 -             case '{':
 -             case '}':
 -                 $sep = $str[$position];
 -                 $position++;
 -                 if ($num === true) {
 -                     $result[] = $sep;
 -                     break 2;
 -                 }
 -                 break;
 - 
 -             // bracket-comment
 -             case '/':
 -                 if ($str[$position + 1] == '*') {
 -                     if ($end_pos = strpos($str, '*/', $position + 2)) {
 -                         $position = $end_pos + 2;
 -                     }
 -                     else {
 -                         // error
 -                         $position = $length;
 -                     }
 -                 }
 -                 break;
 - 
 -             // hash-comment
 -             case '#':
 -                 if ($lf_pos = strpos($str, "\n", $position)) {
 -                     $position = $lf_pos + 1;
 -                     break;
 -                 }
 -                 else {
 -                     $position = $length;
 -                 }
 - 
 -             // String atom
 -             default:
 -                 // empty or one character
 -                 if ($position == $length) {
 -                     break 2;
 -                 }
 - 
 -                 // tag/identifier/number
 -                 if ($len = strspn($str, $mask, $position)) {
 -                     $atom      = substr($str, $position, $len);
 -                     $position += $len;
 - 
 -                     if ($atom != 'text:') {
 -                         $result[] = $atom;
 -                     }
 -                     // multiline string
 -                     else {
 -                         // skip whitespace chars (except \r\n)
 -                         $position = self::ltrim_position($str, $position, false);
 - 
 -                         // possible hash-comment after "text:"
 -                         if ($str[$position] === '#') {
 -                             $endl     = strpos($str, "\n", $position);
 -                             $position = $endl ?: $length;
 -                         }
 - 
 -                         // skip \n or \r\n
 -                         if ($str[$position] == "\n") {
 -                             $position++;
 -                         }
 -                         else if ($str[$position] == "\r" && $str[$position] == "\n") {
 -                             $position += 2;
 -                         }
 - 
 -                         $text = '';
 - 
 -                         // get text until alone dot in a line
 -                         while ($position < $length) {
 -                             $pos = strpos($str, "\n.", $position);
 -                             if ($pos === false) {
 -                                 break;
 -                             }
 - 
 -                             $text    .= substr($str, $position, $pos - $position);
 -                             $position = $pos + 2;
 - 
 -                             if ($str[$pos] == "\n"
 -                                 || ($str[$pos] == "\r" && $str[$pos + 1] == "\n")
 -                             ) {
 -                                 break;
 -                             }
 -                         }
 - 
 -                         // remove dot-stuffing
 -                         $text = str_replace("\n..", "\n.", $text);
 - 
 -                         $result[] = $text;
 -                         $position++;
 -                     }
 -                 }
 -                 // fallback, skip one character as infinite loop prevention
 -                 else {
 -                     $position++;
 -                 }
 - 
 -                 break;
 -             }
 -         }
 - 
 -         return $num === 1 ? (isset($result[0]) ? $result[0] : null) : $result;
 -     }
 - 
 -     /**
 -      * Skip whitespace characters in a string from specified position.
 -      */
 -     static function ltrim_position($content, $position, $br = true)
 -     {
 -         $blanks = array("\t", "\0", "\x0B", " ");
 - 
 -         if ($br) {
 -             $blanks[] = "\r";
 -             $blanks[] = "\n";
 -         }
 - 
 -         while (isset($content[$position]) && isset($content[$position + 1])
 -             && in_array($content[$position], $blanks, true)
 -         ) {
 -             $position++;
 -         }
 - 
 -         return $position;
 -     }
 - }
 
 
  |