private function addValue(&$result, $key, $value)
{
if ($key === NULL) {
$result[] = $value;
} elseif ($result && array_key_exists($key, $result)) {
$this->error("Duplicated key '{$key}'");
} else {
$result[$key] = $value;
}
}