private function writeStringTable(&$buffer)
{
if (count($this->tokenList) > 0) {
$buffer .= ',';
}
$buffer .= '[';
for ($i = 0, $c = count($this->stringTable); $i < $c; ++$i) {
if ($i > 0) {
$buffer .= ',';
}
$buffer .= ServerSerializationStreamWriter::escapeString($this->stringTable[$i]);
}
$buffer .= ']';
}