index 7268b09c934b66ea04f154c1ea0e59b2e850154a..8ddafe2d46befaee65d94d2cb6be83d41b11dcf8 100644 (file)
<?php
-
-
/* This class is inherited from the original 'Tree'
* class written by Heiko Hund.
* It is partly rewritten to create a useable html interface
$this->_construct($root);
}
+
function execute()
{
return($this->dump());
}
+
/* Create a html interface for the current sieve filter
*/
function dump()
$end2 = $this->get_block_end($key);
if($end != $key && in_array(get_class($object),array("sieve_if"))){
$ends_complete_block[$end2] = $end2;
+ $this->dump_ .= "<div style='height:10px;'></div>";
$this->dump_ .= "<div class='container_'>";
}
if(isset($ends[$key])){
if(isset($ends_complete_block[$key])){
$this->dump_ .= "</div>";
+ $this->dump_ .= "<div style='height:10px;'></div>";
}
}
}
}
if(!isset($this->pap[$key_id])){
- trigger_error(_("Can't remove element with object_id=".$key_id.", there is no object with this identifier. Remove aborted."));
+ trigger_error("Can't remove element with object_id=".$key_id.", there is no object with this identifier. Remove aborted.");
return(false);
}
$ret = preg_replace("/,$/","",trim($ret));
$ret = "[".$ret."]";
}
+ $ret = preg_replace("/\"\"/","\"",$ret);
}else{
$Multiline = preg_match("/\n/",$data);
$ret = "text: \r\n".$data."\r\n.\r\n";
}else{
$ret = "\"".$data."\"";
+ $ret = preg_replace("/\"\"/","\"",$ret);
}
}
- $ret = preg_replace("/\"\"/","\"",$ret);
$ret = preg_replace("/\n/","\r\n",$ret);
return($ret);
while(isset($data[$id]) && $data[$id]['class'] != "right-bracket" && $id < count($data)){
if($data[$id]['class'] == "quoted-string"){
- $ret[] = $data[$id]['text'];
+ $text = $data[$id]['text'];
+ $text= preg_replace("/^\"/","",$text);
+ $text= preg_replace("/\"$/","",$text);
+ $ret[] = $text;
}
$id ++;
}
}elseif($data[$id]['class'] == "quoted-string"){
- $ret[] = $data[$id]['text'];
+ $text = $data[$id]['text'];
+ $text= preg_replace("/^\"/","",$text);
+ $text= preg_replace("/\"$/","",$text);
+ $ret[] = $text;
}elseif($data[$id]['class'] == "number"){
$ret[] = $data[$id]['text'];
}elseif($data[$id]['class'] == "multi-line"){