class Exception{
protected $message = 'Unkown exception';
protected $code = 0;
protected $file;
protected $line;
function __construct($message = null, $code = 0);
final function getMessage();
final function getCode();
final function getFile();
final function getLine();
final function getTrace();
final function getTraceAsString();
function __toString();
}
?>