These are [exception class properties](http://php.net/manual/en/class.exception.php)