From 3028fe12f7dcf3a0b8130a94f08d5e8f87fa5f4a Mon Sep 17 00:00:00 2001
From: Jephte Clain <Jephte.Clain@univ-reunion.fr>
Date: Mon, 27 Nov 2023 22:39:35 +0400
Subject: [PATCH] modifs.mineures sans commentaires

---
 TODO.md                                       |   1 -
 src/schema/{values => }/Result.php            |   2 +-
 src/schema/Schema.php                         |  24 ++--
 src/schema/Value.php                          |  27 +++++
 src/schema/input/Input.php                    |  24 ++--
 src/schema/{ => schemas}/AssocSchema.php      |  15 ++-
 src/schema/{ => schemas}/ListSchema.php       |  15 ++-
 src/schema/{ => schemas}/ScalarSchema.php     |  13 ++-
 src/schema/types.php                          |  37 ++++++
 src/schema/types/IType.php                    |   2 +-
 src/schema/types/Registry.php                 |  26 +++++
 src/schema/types/tarray.php                   |   2 +-
 src/schema/types/tbool.php                    |   2 +-
 src/schema/types/tcallable.php                |   2 +-
 src/schema/types/tcontent.php                 |   2 +-
 src/schema/types/tfloat.php                   |   5 +
 src/schema/types/tint.php                     |   5 +
 src/schema/types/tkey.php                     |   2 +-
 src/schema/types/tpkey.php                    |   2 +-
 src/schema/types/tstring.php                  |   2 +-
 src/schema/values/AssocValue.php              |   7 +-
 src/schema/values/IValue.php                  |  29 -----
 src/schema/values/ListValue.php               |   7 +-
 src/schema/values/ScalarValue.php             |  69 +++++++-----
 src/schema/values/TValue.php                  |  17 ---
 tests/schema/schemaTest.php                   | 106 ++++++++++++++++++
 .../schema/{ => schemas}/ScalarSchemaTest.php |   6 +-
 27 files changed, 330 insertions(+), 121 deletions(-)
 rename src/schema/{values => }/Result.php (96%)
 create mode 100644 src/schema/Value.php
 rename src/schema/{ => schemas}/AssocSchema.php (71%)
 rename src/schema/{ => schemas}/ListSchema.php (74%)
 rename src/schema/{ => schemas}/ScalarSchema.php (95%)
 create mode 100644 src/schema/types.php
 create mode 100644 src/schema/types/Registry.php
 create mode 100644 src/schema/types/tfloat.php
 create mode 100644 src/schema/types/tint.php
 delete mode 100644 src/schema/values/IValue.php
 delete mode 100644 src/schema/values/TValue.php
 create mode 100644 tests/schema/schemaTest.php
 rename tests/schema/{ => schemas}/ScalarSchemaTest.php (94%)

diff --git a/TODO.md b/TODO.md
index 1f00665..c3db9ef 100644
--- a/TODO.md
+++ b/TODO.md
@@ -2,7 +2,6 @@
 
 ## schema
 
-* [ ] properties dans ScalarSchema, avec aliases pour notamment "nature" => ""
 * [ ] remplacer IValue et TValue par une classe abstraite Value
 
 -*- coding: utf-8 mode: markdown -*- vim:sw=4:sts=4:et:ai:si:sta:fenc=utf-8:noeol:binary
\ No newline at end of file
diff --git a/src/schema/values/Result.php b/src/schema/Result.php
similarity index 96%
rename from src/schema/values/Result.php
rename to src/schema/Result.php
index 87cafe6..3d299a8 100644
--- a/src/schema/values/Result.php
+++ b/src/schema/Result.php
@@ -1,5 +1,5 @@
 <?php
-namespace nur\sery\schema\values;
+namespace nur\sery\schema;
 
 /**
  * Class Result: résultat de l'analyse ou de la normalisation d'une valeur
diff --git a/src/schema/Schema.php b/src/schema/Schema.php
index 7349e81..ec96e18 100644
--- a/src/schema/Schema.php
+++ b/src/schema/Schema.php
@@ -2,28 +2,29 @@
 namespace nur\sery\schema;
 
 use ArrayAccess;
-use BadMethodCallException;
 use LogicException;
 use nulib\cl;
-use nur\sery\schema\values\IValue;
+use nur\sery\schema\schemas\AssocSchema;
+use nur\sery\schema\schemas\ListSchema;
+use nur\sery\schema\schemas\ScalarSchema;
 
 abstract class Schema implements ArrayAccess {
   /**
    * créer si besoin une nouvelle instance à partir d'une définition de schéma
    */
-  static function new(&$md, $definition): self {
-    if ($md === null) {
+  static function ns(?Schema &$schema, $definition): self {
+    if ($schema === null) {
       if (AssocSchema::isa_definition($definition)) {
-        $md = new AssocSchema($definition);
+        $schema = new AssocSchema($definition);
       } elseif (ListSchema::isa_definition($definition)) {
-        $md = new ListSchema($definition);
+        $schema = new ListSchema($definition);
       } elseif (ScalarSchema::isa_definition($definition)) {
-        $md = new ScalarSchema($definition);
+        $schema = new ScalarSchema($definition);
       } else {
         throw SchemaException::invalid_schema();
       }
     }
-    return $md;
+    return $schema;
   }
 
   /**
@@ -42,8 +43,11 @@ abstract class Schema implements ArrayAccess {
   /** retourner true si le schéma est de nature scalaire */
   function isScalar(?ScalarSchema &$scalar=null): bool { return false; }
 
-  abstract function getValue(&$value, $key=null): IValue;
-
+  /**
+   * Créer si besoin une nouvelle instance de {@link Value} qui référence la
+   * variable $dest
+   */
+  abstract function nv(?Value &$value=null, &$dest=null, $key=null): Value;
 
   #############################################################################
   # key & properties
diff --git a/src/schema/Value.php b/src/schema/Value.php
new file mode 100644
index 0000000..de04417
--- /dev/null
+++ b/src/schema/Value.php
@@ -0,0 +1,27 @@
+<?php
+namespace nur\sery\schema;
+
+use nur\sery\schema\types\IType;
+use nur\sery\schema\values\AssocValue;
+use nur\sery\schema\values\ListValue;
+use nur\sery\schema\values\ScalarValue;
+
+abstract class Value {
+  function isAssoc(?AssocValue &$assoc=null): bool { return false; }
+  function isList(?ListValue &$list=null): bool { return false; }
+  function isScalar(?ScalarValue &$scalar=null): bool { return false; }
+
+  abstract function reset(&$dest, $key=null, bool $verifix=true): self;
+
+  /** retourner le type associé à cette valeur */
+  abstract function getType(): IType;
+
+  /** retourner true si la valeur existe */
+  abstract function exists(): bool;
+
+  /** retourner true si la valeur est valide */
+  abstract function valid(): bool;
+
+  /** retourner true si la valeur est dans sa forme normalisée */
+  abstract function normalized(): bool;
+}
diff --git a/src/schema/input/Input.php b/src/schema/input/Input.php
index 0f66528..3a6c7b6 100644
--- a/src/schema/input/Input.php
+++ b/src/schema/input/Input.php
@@ -1,32 +1,36 @@
 <?php
 namespace nur\sery\schema\input;
 
+#XXX available permet de préciser qu'une valeur doit exister et être non vide
+# pour être considérée. en faire un paramètre, à moins que ce soit au niveau du
+# type qu'il faille le gérer?
 /**
  * Class Input: accès à une valeur
  *
  * cette implémentation lit depuis et écrit dans une référence
  */
 class Input {
-  function __construct(&$value=null) {
-    $this->value =& $value;
+  function __construct(&$dest=null) {
+    $this->dest =& $dest;
   }
 
-  protected $value;
+  protected $dest;
 
+  /** tester si la valeur existe */
   function exists($key=null): bool {
     if ($key === null) return true;
-    return $this->value !== null && array_key_exists($key, $this->value);
+    return $this->dest !== null && array_key_exists($key, $this->dest);
   }
 
   function get($key=null) {
-    if ($key === null) return $this->value;
-    elseif ($this->value === null) return null;
-    elseif (!array_key_exists($key, $this->value)) return null;
-    else return $this->value[$key];
+    if ($key === null) return $this->dest;
+    elseif ($this->dest === null) return null;
+    elseif (!array_key_exists($key, $this->dest)) return null;
+    else return $this->dest[$key];
   }
 
   function set($value, $key=null): void {
-    if ($key === null) $this->value = $value;
-    else $this->value[$key] = $value;
+    if ($key === null) $this->dest = $value;
+    else $this->dest[$key] = $value;
   }
 }
diff --git a/src/schema/AssocSchema.php b/src/schema/schemas/AssocSchema.php
similarity index 71%
rename from src/schema/AssocSchema.php
rename to src/schema/schemas/AssocSchema.php
index f34afd5..f35eca6 100644
--- a/src/schema/AssocSchema.php
+++ b/src/schema/schemas/AssocSchema.php
@@ -1,7 +1,12 @@
 <?php
-namespace nur\sery\schema;
+namespace nur\sery\schema\schemas;
 
 use nulib\cl;
+use nur\sery\schema\input\Input;
+use nur\sery\schema\Schema;
+use nur\sery\schema\Value;
+use nur\sery\schema\values\AssocValue;
+use nur\sery\schema\values\ScalarValue;
 
 class AssocSchema extends Schema {
   /** @var array meta-schema d'un schéma de nature tableau associatif */
@@ -29,7 +34,6 @@ class AssocSchema extends Schema {
   }
 
   static function normalize($definition): array {
-
   }
 
   function __construct($definition=null, bool $normalize=true) {
@@ -42,4 +46,11 @@ class AssocSchema extends Schema {
     $assoc = $this;
     return true;
   }
+
+  function nv(?Value &$value=null, &$dest=null, $key=null): Value {
+    if (!($value instanceof AssocValue)) $value = new AssocValue($this);
+    if ($dest instanceof Input) $input = $dest;
+    else $input = new Input($dest);
+    return $value->reset($input, $key);
+  }
 }
diff --git a/src/schema/ListSchema.php b/src/schema/schemas/ListSchema.php
similarity index 74%
rename from src/schema/ListSchema.php
rename to src/schema/schemas/ListSchema.php
index f4a6bf7..04c4472 100644
--- a/src/schema/ListSchema.php
+++ b/src/schema/schemas/ListSchema.php
@@ -1,5 +1,10 @@
 <?php
-namespace nur\sery\schema;
+namespace nur\sery\schema\schemas;
+
+use nur\sery\schema\input\Input;
+use nur\sery\schema\Schema;
+use nur\sery\schema\Value;
+use nur\sery\schema\values\ListValue;
 
 class ListSchema extends Schema {
   /** @var array meta-schema d'un schéma de nature liste */
@@ -29,7 +34,6 @@ class ListSchema extends Schema {
   }
 
   static function normalize($definition): array {
-
   }
 
   function __construct($definition=null, bool $normalize=true) {
@@ -42,4 +46,11 @@ class ListSchema extends Schema {
     $list = $this;
     return true;
   }
+
+  function nv(?Value &$value=null, &$dest=null, $key=null): Value {
+    if (!($value instanceof ListValue)) $value = new ListValue($this);
+    if ($dest instanceof Input) $input = $dest;
+    else $input = new Input($dest);
+    return $value->reset($input, $key);
+  }
 }
diff --git a/src/schema/ScalarSchema.php b/src/schema/schemas/ScalarSchema.php
similarity index 95%
rename from src/schema/ScalarSchema.php
rename to src/schema/schemas/ScalarSchema.php
index 868ea69..1902201 100644
--- a/src/schema/ScalarSchema.php
+++ b/src/schema/schemas/ScalarSchema.php
@@ -1,17 +1,19 @@
 <?php
-namespace nur\sery\schema;
+namespace nur\sery\schema\schemas;
 
 use nulib\cl;
 use nur\sery\schema\input\Input;
 use nur\sery\schema\ref\ref_schema;
 use nur\sery\schema\ref\ref_types;
+use nur\sery\schema\Schema;
+use nur\sery\schema\SchemaException;
 use nur\sery\schema\types\tarray;
 use nur\sery\schema\types\tbool;
 use nur\sery\schema\types\tcallable;
 use nur\sery\schema\types\tcontent;
 use nur\sery\schema\types\tpkey;
 use nur\sery\schema\types\tstring;
-use nur\sery\schema\values\IValue;
+use nur\sery\schema\Value;
 use nur\sery\schema\values\ScalarValue;
 
 /**
@@ -180,10 +182,9 @@ class ScalarSchema extends Schema {
     return true;
   }
 
-  function getValue(&$value, $key=null): IValue {
-    if ($value instanceof Input) $input = $value;
-    else $input = new Input($value);
-    return new ScalarValue($input, $this, $key);
+  function nv(?Value &$value=null, &$dest=null, $key=null): Value {
+    if (!($value instanceof ScalarValue)) $value = new ScalarValue($this);
+    return $value->reset($dest, $key);
   }
 
   #############################################################################
diff --git a/src/schema/types.php b/src/schema/types.php
new file mode 100644
index 0000000..a89d615
--- /dev/null
+++ b/src/schema/types.php
@@ -0,0 +1,37 @@
+<?php
+namespace nur\sery\schema;
+
+use nur\sery\schema\types\IType;
+use nur\sery\schema\types\Registry;
+use nur\sery\schema\types\tarray;
+use nur\sery\schema\types\tbool;
+use nur\sery\schema\types\tcallable;
+use nur\sery\schema\types\tfloat;
+use nur\sery\schema\types\tint;
+use nur\sery\schema\types\tstring;
+
+/**
+ * Class types: classe outil pour gérer le registre de types
+ */
+class types {
+  /** @var Registry */
+  private static $registry;
+
+  static function registry(): Registry {
+    if (self::$registry === null) {
+      self::$registry = new Registry();
+    }
+    return self::$registry;
+  }
+
+  static function get(string $name): IType {
+    return self::registry()->get($name);
+  }
+
+  static function string(): tstring { return self::get("string"); }
+  static function bool(): tbool { return self::get("bool"); }
+  static function int(): tint { return self::get("int"); }
+  static function float(): tfloat { return self::get("float"); }
+  static function array(): tarray { return self::get("array"); }
+  static function callable(): tcallable { return self::get("callable"); }
+}
diff --git a/src/schema/types/IType.php b/src/schema/types/IType.php
index 6820ee3..1d544a2 100644
--- a/src/schema/types/IType.php
+++ b/src/schema/types/IType.php
@@ -1,7 +1,7 @@
 <?php
 namespace nur\sery\schema\types;
 
-use nur\sery\schema\values\Result;
+use nur\sery\schema\Result;
 
 /**
  * Interface IType: un type de données
diff --git a/src/schema/types/Registry.php b/src/schema/types/Registry.php
new file mode 100644
index 0000000..9feec8c
--- /dev/null
+++ b/src/schema/types/Registry.php
@@ -0,0 +1,26 @@
+<?php
+namespace nur\sery\schema\types;
+
+class Registry {
+  const TYPES = [
+    "string" => tstring::class,
+    "bool" => tbool::class, "boolean" => tbool::class,
+    "int" => tint::class, "integer" => tint::class,
+    "float" => tfloat::class, "flt" => tfloat::class,
+    "double" => tfloat::class, "dbl" => tfloat::class,
+    "array" => tarray::class,
+    "callable" => tcallable::class,
+  ];
+
+  function __construct() {
+    $this->types = [];
+  }
+
+  /** @var IType[] */
+  protected $types;
+
+  function get(string $name): IType {
+    #XXX les instancier
+    return $this->types[$name];
+  }
+}
diff --git a/src/schema/types/tarray.php b/src/schema/types/tarray.php
index 1112609..b6f1c10 100644
--- a/src/schema/types/tarray.php
+++ b/src/schema/types/tarray.php
@@ -3,7 +3,7 @@ namespace nur\sery\schema\types;
 
 use nulib\cl;
 
-class tarray {
+class tarray implements IType {
   static function ensure_array(&$array): void {
     if (!is_array($array)) $array = cl::with($array);
   }
diff --git a/src/schema/types/tbool.php b/src/schema/types/tbool.php
index 84e0313..83cb0ba 100644
--- a/src/schema/types/tbool.php
+++ b/src/schema/types/tbool.php
@@ -1,7 +1,7 @@
 <?php
 namespace nur\sery\schema\types;
 
-class tbool {
+class tbool implements IType {
   static function ensure_bool(&$bool): void {
     if (!is_bool($bool)) $bool = boolval($bool);
   }
diff --git a/src/schema/types/tcallable.php b/src/schema/types/tcallable.php
index 094a772..54d83a4 100644
--- a/src/schema/types/tcallable.php
+++ b/src/schema/types/tcallable.php
@@ -3,7 +3,7 @@ namespace nur\sery\schema\types;
 
 use nur\sery\schema\SchemaException;
 
-class tcallable {
+class tcallable implements IType {
   static function ensure_callable(&$callable): void {
     if (!is_callable($callable)) throw SchemaException::invalid_callable($callable);
   }
diff --git a/src/schema/types/tcontent.php b/src/schema/types/tcontent.php
index c56ebec..bf464cf 100644
--- a/src/schema/types/tcontent.php
+++ b/src/schema/types/tcontent.php
@@ -1,7 +1,7 @@
 <?php
 namespace nur\sery\schema\types;
 
-class tcontent {
+class tcontent implements IType {
   static function ensure_content(&$content): void {
     if (!is_string($content) && !is_array($content)) $content = strval($content);
   }
diff --git a/src/schema/types/tfloat.php b/src/schema/types/tfloat.php
new file mode 100644
index 0000000..2de8584
--- /dev/null
+++ b/src/schema/types/tfloat.php
@@ -0,0 +1,5 @@
+<?php
+namespace nur\sery\schema\types;
+
+class tfloat implements IType {
+}
diff --git a/src/schema/types/tint.php b/src/schema/types/tint.php
new file mode 100644
index 0000000..384a36f
--- /dev/null
+++ b/src/schema/types/tint.php
@@ -0,0 +1,5 @@
+<?php
+namespace nur\sery\schema\types;
+
+class tint implements IType {
+}
diff --git a/src/schema/types/tkey.php b/src/schema/types/tkey.php
index b4bd9a3..d7b88b0 100644
--- a/src/schema/types/tkey.php
+++ b/src/schema/types/tkey.php
@@ -1,7 +1,7 @@
 <?php
 namespace nur\sery\schema\types;
 
-class tkey {
+class tkey implements IType {
   static function ensure_key(&$key): void {
     if (!is_string($key) && !is_int($key)) $key = strval($key);
   }
diff --git a/src/schema/types/tpkey.php b/src/schema/types/tpkey.php
index a85154f..8486fc0 100644
--- a/src/schema/types/tpkey.php
+++ b/src/schema/types/tpkey.php
@@ -1,7 +1,7 @@
 <?php
 namespace nur\sery\schema\types;
 
-class tpkey {
+class tpkey implements IType {
   static function ensure_pkey(&$pkey): void {
     if (!is_string($pkey) && !is_int($pkey) && !is_array($pkey)) $pkey = strval($pkey);
     if (is_array($pkey)) {
diff --git a/src/schema/types/tstring.php b/src/schema/types/tstring.php
index 6d95b24..95a4132 100644
--- a/src/schema/types/tstring.php
+++ b/src/schema/types/tstring.php
@@ -1,7 +1,7 @@
 <?php
 namespace nur\sery\schema\types;
 
-class tstring {
+class tstring implements IType {
   static function ensure_string(&$string): void {
     if (!is_string($string)) $string = strval($string);
   }
diff --git a/src/schema/values/AssocValue.php b/src/schema/values/AssocValue.php
index 1ed2ad2..12b8cec 100644
--- a/src/schema/values/AssocValue.php
+++ b/src/schema/values/AssocValue.php
@@ -1,11 +1,10 @@
 <?php
 namespace nur\sery\schema\values;
 
-class AssocValue implements IValue {
-  use TValue;
+use nur\sery\schema\Value;
+use nur\sery\schema\Result;
 
-  function isScalar(?ScalarValue &$scalar=null): bool { return false; }
-  function isList(?ListValue &$list=null): bool { return false; }
+class AssocValue extends Value {
   function isAssoc(?AssocValue &$assoc=null): bool { $assoc = $this; return true; }
 
   function ensureKeys(): bool {
diff --git a/src/schema/values/IValue.php b/src/schema/values/IValue.php
deleted file mode 100644
index 478f412..0000000
--- a/src/schema/values/IValue.php
+++ /dev/null
@@ -1,29 +0,0 @@
-<?php
-namespace nur\sery\schema\values;
-
-use nur\sery\schema\types\IType;
-
-interface IValue {
-  /** retourner true si cette valeur est scalaire */
-  function isScalar(?ScalarValue &$scalar=null): bool;
-
-  /** retourner true cette valeur est une liste */
-  function isList(?ListValue &$list=null): bool;
-
-  /** retourner true cette valeur est un tableau associatif */
-  function isAssoc(?AssocValue &$assoc=null): bool;
-
-  function reset(&$value, $key=null, bool $verifix=true): void;
-
-  /** retourner true si la valeur existe */
-  function exists(): bool;
-
-  /** retourner true si la valeur est valide */
-  function isValid(): bool;
-
-  /** retourner true si la valeur est dans sa forme normalisée */
-  function isNormalized();
-
-  /** retourner le type associé à cette valeur */
-  function getType(): IType;
-}
diff --git a/src/schema/values/ListValue.php b/src/schema/values/ListValue.php
index e96bc94..c2b72b7 100644
--- a/src/schema/values/ListValue.php
+++ b/src/schema/values/ListValue.php
@@ -1,12 +1,11 @@
 <?php
 namespace nur\sery\schema\values;
 
-class ListValue implements IValue {
-  use TValue;
+use nur\sery\schema\Result;
+use nur\sery\schema\Value;
 
-  function isScalar(?ScalarValue &$scalar=null): bool { return false; }
+class ListValue extends Value {
   function isList(?ListValue &$list=null): bool { $list = $this; return true; }
-  function isAssoc(?AssocValue &$assoc=null): bool { return false; }
 
   function ensureKeys(): bool {
   }
diff --git a/src/schema/values/ScalarValue.php b/src/schema/values/ScalarValue.php
index 2ca3dba..116d171 100644
--- a/src/schema/values/ScalarValue.php
+++ b/src/schema/values/ScalarValue.php
@@ -1,52 +1,71 @@
 <?php
 namespace nur\sery\schema\values;
 
-use nur\sery\schema\ScalarSchema;
+use nur\sery\schema\input\Input;
+use nur\sery\schema\Result;
+use nur\sery\schema\schemas\ScalarSchema;
 use nur\sery\schema\types\IType;
+use nur\sery\schema\Value;
 
-class ScalarValue implements IValue {
-  use TValue;
+class ScalarValue extends Value {
+  function __construct(ScalarSchema $schema, &$dest=null, $key=null, bool $verifix=true) {
+    $this->schema = $schema;
+    $this->reset($dest, $key, $verifix);
+  }
+
+  function isScalar(?ScalarValue &$scalar=null): bool { $scalar = $this; return true; }
 
   /** @var ScalarSchema schéma de cette valeur */
   protected $schema;
 
+  /** @var Input source et destination de la valeur */
+  protected $input;
+
+  /** @var string|int clé de la valeur dans le tableau destination */
+  protected $key;
+
   /** @var ?Result résultat de l'analyse de la valeur */
   protected $result;
 
-  function __construct(&$value, ScalarSchema $schema, $key=null, bool $verifix=true) {
-    $this->schema = $schema;
-    $this->reset($value, $key, $verifix);
-    #XXX résoudre les type dans reset()?
+  function reset(&$dest, $key=null, bool $verifix=true): Value {
+    if ($dest instanceof Input) $input = $dest;
+    else $input = new Input($dest);
+    $this->input = $input;
+    $this->key = $key;
+    $this->result = null;
+    #XXX résoudre les types ici?
+    if ($verifix) $this->verifix();
+    return $this;
   }
 
-  function isScalar(?ScalarValue &$scalar=null): bool { $scalar = $this; return true; }
-  function isList(?ListValue &$list=null): bool { return false; }
-  function isAssoc(?AssocValue &$assoc=null): bool { return false; }
+  function exists(): bool {
+    return $this->input->exists($this->key);
+  }
 
   function get($default=null) {
     $key = $this->key;
-    if ($key === null) return $this->value;
-    elseif (array_key_exists($key, $this->value)) return $this->value[$key];
+    $input = $this->input;
+    if ($input->exists($key)) return $input->get($key);
     else return $default;
   }
 
   function set($value): self {
-    $key = $this->key;
-    if ($key === null) $this->value = $value;
-    else $this->value[$key] = $value;
+    $this->input->set($value, $this->key);
     return $this;
   }
 
   /** @var IType */
   protected $type;
 
-  function type(): IType {
+  function getType(): IType {
     if ($this->type === null) $this->type = $this->schema->getType($this->key);
     return $this->type;
   }
 
-  function exists(): bool {
-    return $this->type()->exists($this->value, $this->key);
+  function valid(): bool {
+  }
+
+  function normalized(): bool {
   }
 
   /**
@@ -55,25 +74,25 @@ class ScalarValue implements IValue {
    * si la valeur était déjà normalisée, retourner false.
    */
   function verifix(bool $throw=true, ?Result &$result=null): bool {
-    $type = $this->type();
+    $type = $this->getType();
     $key = $this->key;
-    if ($key === null) $modified = $type->verifix($this->value, $throw, $result);
-    else $modified = $type->verifix($this->value[$key], $throw, $result);
+    if ($key === null) $modified = $type->verifix($this->input, $throw, $result);
+    else $modified = $type->verifix($this->input[$key], $throw, $result);
     $this->result = $result;
     return $modified;
   }
 
   function parse($value, bool $throw=true, ?Result &$result=null) {
-    $this->type()->verifix($value, $throw, $result);
+    $this->getType()->verifix($value, $throw, $result);
     $this->set($value);
     $this->result = $result;
     return $value;
   }
 
   function format(?string $format=null): string {
-    $type = $this->type();
+    $type = $this->getType();
     $key = $this->key;
-    if ($key === null) return $type->format($this->value, $format);
-    else return $type->format($this->value[$key], $format);
+    if ($key === null) return $type->format($this->input, $format);
+    else return $type->format($this->input[$key], $format);
   }
 }
diff --git a/src/schema/values/TValue.php b/src/schema/values/TValue.php
deleted file mode 100644
index 75d6953..0000000
--- a/src/schema/values/TValue.php
+++ /dev/null
@@ -1,17 +0,0 @@
-<?php
-namespace nur\sery\schema\values;
-
-trait TValue {
-  /** @var mixed valeur ou référence d'un tableau contenant la valeur */
-  protected $value;
-
-  /** @var string|int clé de la valeur dans le tableau destination */
-  protected $key;
-
-  function reset(&$value, $key=null, bool $verifix=true): void {
-    $this->value =& $value;
-    $this->key = $key;
-    $this->result = null;
-    if ($verifix) $this->verifix();
-  }
-}
diff --git a/tests/schema/schemaTest.php b/tests/schema/schemaTest.php
new file mode 100644
index 0000000..6e83c85
--- /dev/null
+++ b/tests/schema/schemaTest.php
@@ -0,0 +1,106 @@
+<?php
+namespace nur\sery\schema;
+
+use Exception;
+use nulib\tests\TestCase;
+use nur\sery\schema\values\ScalarValue;
+
+class schemaTest extends TestCase {
+  function testInt() {
+    Schema::ns($schema, "int");
+    /** @var ScalarValue $intv */
+    $schema->nv($intv, $int);
+    $f = function($value) use($intv) {
+      return function() use($intv, $value) {
+        $intv->set($value);
+      };
+    };
+
+    self::assertException(Exception::class, $f(null));
+    self::assertException(Exception::class, $f(""));
+    self::assertException(Exception::class, $f(" "));
+
+    $intv->set(12);
+    self::assertSame(12, $intv->get());
+    self::assertSame(12, $int);
+    self::assertSame("12", $intv->format());
+    self::assertSame("0012", $intv->format("%4u"));
+
+    $intv->set("12");
+    self::assertSame(12, $intv->get());
+
+    $intv->set(" 12 ");
+    self::assertSame(12, $intv->get());
+
+    self::assertException(Exception::class, $f(true));
+    self::assertException(Exception::class, $f(false));
+    self::assertException(Exception::class, $f("a"));
+    self::assertException(Exception::class, $f([]));
+    self::assertException(Exception::class, $f(["a"]));
+  }
+
+  function testNint() {
+    Schema::ns($schema, ["?int"]);
+    /** @var ScalarValue $intv */
+    $schema->nv($intv, $int);
+    $f = function($value) use($intv) {
+      return function() use($intv, $value) {
+        $intv->set($value);
+      };
+    };
+
+    $intv->set(null);
+    self::assertNull($intv->get());
+    self::assertNull($int);
+    self::assertSame("", $intv->format());
+
+    $intv->set("");
+    self::assertNull($intv->get());
+    self::assertNull($int);
+    self::assertSame("", $intv->format());
+
+    $intv->set(" ");
+    self::assertNull($intv->get());
+    self::assertNull($int);
+    self::assertSame("", $intv->format());
+
+    $intv->set(12);
+    self::assertSame(12, $intv->get());
+    self::assertSame(12, $int);
+    self::assertSame("12", $intv->format());
+    self::assertSame("0012", $intv->format("%4u"));
+
+    $intv->set("12");
+    self::assertSame(12, $int);
+
+    $intv->set(" 12 ");
+    self::assertSame(12, $int);
+
+    self::assertException(Exception::class, $f(true));
+    self::assertException(Exception::class, $f(false));
+    self::assertException(Exception::class, $f("a"));
+    self::assertException(Exception::class, $f([]));
+    self::assertException(Exception::class, $f(["a"]));
+  }
+
+  function testUnionTypes() {
+    # l'ordre des types est respecté
+    Schema::ns($schema, ["string|int"]);
+    /** @var ScalarValue $siv */
+    $schema->nv($siv, $si);
+
+    $siv->set("12");
+    self::assertSame("12", $si);
+    $siv->set(12);
+    self::assertSame(12, $si);
+
+    Schema::ns($schema, ["int|string"]);
+    /** @var ScalarValue $siv */
+    $schema->nv($siv, $si);
+
+    $siv->set("12");
+    self::assertSame(12, $si);
+    $siv->set(12);
+    self::assertSame(12, $si);
+  }
+}
diff --git a/tests/schema/ScalarSchemaTest.php b/tests/schema/schemas/ScalarSchemaTest.php
similarity index 94%
rename from tests/schema/ScalarSchemaTest.php
rename to tests/schema/schemas/ScalarSchemaTest.php
index f8e15e3..fcce800 100644
--- a/tests/schema/ScalarSchemaTest.php
+++ b/tests/schema/schemas/ScalarSchemaTest.php
@@ -1,7 +1,9 @@
 <?php
-namespace nur\sery\schema;
+namespace nur\sery\schema\schemas;
 
 use nulib\tests\TestCase;
+use nur\sery\schema\SchemaException;
+use nur\sery\schema\schemas\ScalarSchema;
 
 class ScalarSchemaTest extends TestCase {
   const NULL_SCHEMA = [
@@ -20,7 +22,7 @@ class ScalarSchemaTest extends TestCase {
     "format" => null,
     "" => ["scalar"],
     "name" => null,
-    "key" => null,
+    "pkey" => null,
     "header" => null,
     "composite" => null,
   ];