From 1aee701fef17c8dff8d6d8e50e7c9ebad43e4a16 Mon Sep 17 00:00:00 2001
From: Jephte Clain <Jephte.Clain@univ-reunion.fr>
Date: Wed, 25 Oct 2023 16:49:28 +0400
Subject: [PATCH] modifs.mineures sans commentaires

---
 .idea/php-docker-settings.xml | 15 +++++++++++++++
 php/src_base/str.php          | 22 ++++++++++++++++++++++
 2 files changed, 37 insertions(+)

diff --git a/.idea/php-docker-settings.xml b/.idea/php-docker-settings.xml
index 5c353a5..d039669 100644
--- a/.idea/php-docker-settings.xml
+++ b/.idea/php-docker-settings.xml
@@ -3,6 +3,21 @@
   <component name="PhpDockerContainerSettings">
     <list>
       <map>
+        <entry key="125ffb9d-fd5f-4e71-8182-94191665795a">
+          <value>
+            <DockerContainerSettings>
+              <option name="version" value="1" />
+              <option name="volumeBindings">
+                <list>
+                  <DockerVolumeBindingImpl>
+                    <option name="containerPath" value="/opt/project" />
+                    <option name="hostPath" value="$PROJECT_DIR$" />
+                  </DockerVolumeBindingImpl>
+                </list>
+              </option>
+            </DockerContainerSettings>
+          </value>
+        </entry>
         <entry key="c4cf2564-ed91-488c-a93d-fe2daeae80db">
           <value>
             <DockerContainerSettings>
diff --git a/php/src_base/str.php b/php/src_base/str.php
index ecbb538..d2b5471 100644
--- a/php/src_base/str.php
+++ b/php/src_base/str.php
@@ -1,6 +1,8 @@
 <?php
 namespace nulib;
 
+use nur\base;
+
 /**
  * Class str: gestion des chaines de caractère "simples"
  */
@@ -66,6 +68,26 @@ class str {
     else return rtrim($s);
   }
 
+  static final function left(?string $s, int $size): ?string {
+    if ($s === null) return null;
+    else return str_pad($s, $size);
+  }
+
+  static final function right(?string $s, int $size): ?string {
+    if ($s === null) return null;
+    else return str_pad($s, $size, " ", STR_PAD_LEFT);
+  }
+
+  static final function center(?string $s, int $size): ?string {
+    if ($s === null) return null;
+    else return str_pad($s, $size, " ", STR_PAD_BOTH);
+  }
+
+  static final function pad0(?string $s, int $size): ?string {
+    if ($s === null) return null;
+    else return str_pad($s, $size, "0", STR_PAD_LEFT);
+  }
+
   static final function lower(?string $s): ?string {
     if ($s === null) return null;
     else return strtolower($s);