public function __toString()
{
$result = parent::__toString();
$result = preg_replace('/^class /', 'trait ', $result);
return $result;
}
public function __toString()
{
$result = 'abstract ' . parent::__toString();
return $result;
}
