57 lines
		
	
	
		
			1.7 KiB
		
	
	
	
		
			PHP
		
	
	
	
	
	
			
		
		
	
	
			57 lines
		
	
	
		
			1.7 KiB
		
	
	
	
		
			PHP
		
	
	
	
	
	
<?php
 | 
						|
namespace nur\b\io;
 | 
						|
 | 
						|
use nur\b\UserException;
 | 
						|
 | 
						|
/**
 | 
						|
 * Class IOException: exception lancée quand une erreur se produit lors d'une
 | 
						|
 * opération sur un flux ou sur un système de fichiers
 | 
						|
 */
 | 
						|
class IOException extends UserException {
 | 
						|
  static final function last_error(?string $prefix=null): ?self {
 | 
						|
    $error = error_get_last();
 | 
						|
    if ($error === null) return null;
 | 
						|
    $message = $error["message"];
 | 
						|
    if ($prefix) $message = "$prefix: $message";
 | 
						|
    return new static($message);
 | 
						|
  }
 | 
						|
 | 
						|
  static final function generic_error(?string $message=null): self {
 | 
						|
    if ($message === null) $message = "generic error";
 | 
						|
    return new static($message);
 | 
						|
  }
 | 
						|
 | 
						|
  static final function error(?string $prefix=null): self {
 | 
						|
    $exception = self::last_error($prefix);
 | 
						|
    if ($exception !== null) throw $exception;
 | 
						|
    else throw self::generic_error($prefix);
 | 
						|
  }
 | 
						|
 | 
						|
  static final function ensure_not_false($value, ?string $prefix=null) {
 | 
						|
    if ($value !== false) return $value;
 | 
						|
    else throw self::error($prefix);
 | 
						|
  }
 | 
						|
 | 
						|
  static final function already_closed(): self {
 | 
						|
    return new static("already closed");
 | 
						|
  }
 | 
						|
 | 
						|
  static final function ensure_open(bool $closed): void {
 | 
						|
    if ($closed) throw self::already_closed();
 | 
						|
  }
 | 
						|
 | 
						|
  static final function json_last_error(?string $prefix=null): ?self {
 | 
						|
    $json_last_error = json_last_error();
 | 
						|
    if ($json_last_error === JSON_ERROR_NONE) return null;
 | 
						|
    $message = json_last_error_msg()." ($json_last_error)";
 | 
						|
    if ($prefix) $message = "$prefix: $message";
 | 
						|
    return new static($message);
 | 
						|
  }
 | 
						|
 | 
						|
  static final function ensure_json_value($value, ?string $prefix=null) {
 | 
						|
    $exception = self::json_last_error($prefix);
 | 
						|
    if ($exception === null) return $value;
 | 
						|
    else throw $exception;
 | 
						|
  }
 | 
						|
}
 |