www

chemin.php (4640B)

---

 <?php
 
 require_once(dirname(__FILE__) . "/path.php");
 
 define('CHEMIN_JOKER_MULTI_SEGMENTS', '**');
 define('CHEMIN_JOKER_SEGMENT', '*');
 
 class Chemin {
 	// Si $chemin est un tableau, chaque segment doit vérifier les invariants de nettoyer_segment.
     public function __construct($chemin, $est_un_motif = false) {
 		if (! is_array($chemin)) {
 			$this->segments = self::nettoyer_chemin($chemin, $est_un_motif);
 		} else {
 			$this->segments = $chemin;
 		}
     }
     
 	public function correspond($motif) {
 		$motif = $motif->segments;
 		// motif : liste de segments pouvant être un chaîne ou un jocker
 		// correspondant à "n'importe quelle chaîne pour ce segment". Le
 		// dernier segment peut être le joker "n'importe quelle suite de
 		// segments (le motif doit donc correspondre à un préfixe du chemin
 		// dans ce cas-là).
 		// chemin : liste de segments.
 		
 		// SÉCURITÉ : les segments de chemin et motif sont déjà nettoyés.
 		
 		if ((count($motif) != count($this->segments)) && (end($motif) != CHEMIN_JOKER_MULTI_SEGMENTS)) {
 			return false;
 		}
 		for ($i = 0; $i < count($motif); $i++) {
 			if ($motif[$i] == CHEMIN_JOKER_MULTI_SEGMENTS) {
 				continue;
 			}
 			if ($motif[$i] == CHEMIN_JOKER_SEGMENT) {
 				continue;
 			}
 			if ($i < count($this->segments) && $motif[$i] == $this->segments[$i]) {
 				continue;
 			}
 			return false;
 		}
 		return true;
 	}
 	
 	// Invariant de sécurité : la chaîne renvoyée ne commence ni ne
 	// termine par '/'.
     public function get($slash_debut = true) {
         return ($slash_debut ? '/' : '') . join($this->segments, '/');
     }
     
     public function get_url($fin = "") {
 		// Config::get("url_base") DOIT se terminer par '/', tel que spécifié
 		// dans config.php.
 		$ch = $this->get(false) . "/";
 		if ($ch == '/') $ch = '';
 		return Config::get("url_base") . $ch . $fin;
 	}
 	
 	public function get_fs_stockage() {
 		return Path::combine(Config::get("chemin_base_stockage"), $this->get());
 	}
 	
 	public function get_fs_public() {
 		return Path::combine(Config::get("chemin_base_public"), $this->get());
 	}
     
     public function enfant($nom) {
 		$s = $this->segments;
 		$x = self::nettoyer_segment($nom);
 		if ($x != '') {
 			array_push($s, $x);
 		}
 		return new self($s);
 	}
 	
 	public function parent() {
 		return new self(array_slice($this->segments, 0, -1));
 	}
 	
 	public function renomer($nom) {
 		return $this->parent()->enfant($nom);
 	}
 	
     public function dernier() {
         return end($this->segments);
     }
 
     
     public static function nettoyer_chemin($chemin, $est_un_motif = false) {
         // SÉCURITÉ : $chemin nettoyé
         //   * Ne contient pas '\0'
         //   * Ne contient pas '../'
         //   * Ne contient pas de double occurence de '/'
         //   * Ne se termine pas par '/'
         //   * Ne commence pas par '/'
         //   * Est découpé en segments
         //   * Chaque segment est nettoyé avec nettoyer_segment().
         
         $chemin = preg_replace("/\\0/", '', $chemin); // TODO : vérifier si c'est bien ça ! (supprime _toutes_ les occurences ???)
         $chemin = Path::normalize($chemin);
         $chemin = preg_replace("/^\\/*/", '', $chemin);
         $chemin = preg_replace("/\\/*$/", '', $chemin);
         
         $segments = qw($chemin, '/');
         if ($est_un_motif) {
 			$segments = array_map(array("self", "nettoyer_segment_motif"), $segments);
 		} else {
 			$segments = array_map(array("self", "nettoyer_segment"), $segments);
 		}
         
         return $segments;
     }
     
     public static function nettoyer_segment($segment, $est_un_motif = false) {
 		// SÉCURITÉ : $segment nettoyé :
 		//   * /!\ Ne peut pas être vide /!\
         //   * Ne doit pas contenir '\0' (octet NULL).
 		//   * Ne doit pas contenir '/' non plus, remplacer par '-'.
 		//   * Ne doit pas contenir '*' non plus, remplacer par '-'.
         //   * Ne contient pas "__prop__", remplacer par "___prop___".
 		
 		if ($segment == "") $segment = "_vide_";
         $segment = preg_replace("/\\0/", '', $segment); // TODO : vérifier si c'est bien ça ! (supprime _toutes_ les occurences ???)
         $segment = preg_replace("/\\//", '-', $segment); // TODO : vérifier si c'est bien ça ! (supprime _toutes_ les occurences ???)
         if (!$est_un_motif) $segment = preg_replace("/\\*/", '-', $segment); // TODO : vérifier ...
         $segment = preg_replace("/__prop__/", '___prop___', $segment); // TODO : vérifier si c'est bien ça ! (supprime _toutes_ les occurences ???)
 		return $segment;
 	}
 
 	public static function nettoyer_segment_motif($segment) {
 		return self::nettoyer_segment($segment, true);
 	}
 }
 
 ?>