protected static function escapeChar($char)
{
switch ($char) {
case "":
$esc = "\\0";
break;
case "\n":
$esc = "\\n";
break;
case "\r":
$esc = "\\r";
break;
case '\\':
case '\'':
case '"':
$esc = "\\{$char}";
break;
case "":
$esc = "\\Z";
break;
default:
$esc = $char;
break;
}
return $esc;
}