hphp/system/php/lang/ErrorException.php

   1 <?hh
   2
   3 namespace {
   4
   5 // This doc comment block generated by idl/sysdoc.php
   6 /**
   7  * ( excerpt from http://php.net/manual/en/class.errorexception.php )
   8  *
   9  * An Error Exception.
  10  *
  11  */
  12 class ErrorException extends Exception {
  13   protected $severity;
  14   // This doc comment block generated by idl/sysdoc.php
  15   /**
  16    * ( excerpt from http://php.net/manual/en/errorexception.construct.php )
  17    *
  18    * Constructs the Exception.
  19    *
  20    * @message    mixed   The Exception message to throw.
  21    * @code       mixed   The Exception code.
  22    * @severity   mixed   The severity level of the exception.
  23    * @filename   mixed   The filename where the exception is thrown.
  24    * @lineno     mixed   The line number where the exception is thrown.
  25    * @previous   mixed   The previous exception used for the exception
  26    *                     chaining.
  27    */
  28   <<__Rx>>
  29   public function __construct($message = "", $code = 0, $severity = 0,
  30                               $filename = null, $lineno = null, <<__MaybeMutable>> Exception $previous = null) {
  31     parent::__construct($message, $code, $previous);
  32     $this->severity = $severity;
  33     if ($filename !== null) {
  34       $this->file = $filename;
  35     }
  36     if ($lineno !== null) {
  37       $this->line = $lineno;
  38     }
  39   }
  40
  41   // This doc comment block generated by idl/sysdoc.php
  42   /**
  43    * ( excerpt from http://php.net/manual/en/errorexception.getseverity.php )
  44    *
  45    * Returns the severity of the exception.
  46    *
  47    * @return     mixed   Returns the severity level of the exception.
  48    */
  49   <<__Rx, __MaybeMutable>>
  50   final public function getSeverity() { return $this->severity; }
  51 }
  52
  53 }