@ignore
protected function quotedString($value) {
if (preg_match("/[\t\n\r]/", $value)) {
$escaped = str_replace(array(
'\\',
'"""',
), array(
'\\\\',
'\\"""',
), $value);
return '"""' . $escaped . '"""';
}
else {
$escaped = str_replace(array(
'\\',
'"',
), array(
'\\\\',
'\\"',
), $value);
return '"' . $escaped . '"';
}
}