public function setLinterConfigurationValue($key, $value)
{
switch ($key) {
case 'xhpast.naminghook':
$this->naminghook = $value;
return;
default:
return parent::setLinterConfigurationValue($key, $value);
}
}
public function setLinterConfigurationValue($key, $value)
{
switch ($key) {
case 'xhpast.printf-functions':
$this->printfFunctions = $value;
return;
default:
return parent::setLinterConfigurationValue($key, $value);
}
}
public function setLinterConfigurationValue($key, $value)
{
switch ($key) {
case 'xhpast.php-version':
$this->version = $value;
return;
case 'xhpast.php-version.windows':
$this->windowsVersion = $value;
return;
default:
return parent::setLinterConfigurationValue($key, $value);
}
}
public function setLinterConfigurationValue($key, $value)
{
switch ($key) {
case 'xhpast.dynamic-string.classes':
$this->dynamicStringClasses = $value;
return;
case 'xhpast.dynamic-string.functions':
$this->dynamicStringFunctions = $value;
return;
default:
parent::setLinterConfigurationValue($key, $value);
return;
}
}
