Partial support for simple type facet validation

For now only certain types and facets are supported.

10 files changed, 497 insertions, 16 deletions

diff --git a/libxsde/xsde/cxx/parser/validating/short.cxx b/libxsde/xsde/cxx/parser/validating/short.cxx
index c4b5da0..6b8c38d 100644
--- a/libxsde/xsde/cxx/parser/validating/short.cxx
+++ b/libxsde/xsde/cxx/parser/validating/short.cxx
@@ -49,11 +49,32 @@ namespace xsde
             bool neg = (sign_ == minus);
 
             if (*p != '\0' || (neg && ul > 32768) || (!neg && ul > 32767))
+            {
               _schema_error (schema_error::invalid_short_value);
+              return;
+            }
 
             value_ = neg
               ? static_cast<short> (-static_cast<int> (ul))
               : static_cast<short> (ul);
+
+            // Check facets.
+            //
+            const facets& f = _facets ();
+
+            if (f.min_set_ &&
+                (value_ < f.min_ || (!f.min_inc_ && value_ == f.min_)))
+            {
+              _schema_error (schema_error::value_less_than_min);
+              return;
+            }
+
+            if (f.max_set_ &&
+                (value_ > f.max_ || (!f.max_inc_ && value_ == f.max_)))
+            {
+              _schema_error (schema_error::value_greater_than_max);
+              return;
+            }
           }
           else
             _schema_error (schema_error::invalid_short_value);
diff --git a/libxsde/xsde/cxx/parser/validating/string-stl.cxx b/libxsde/xsde/cxx/parser/validating/string-stl.cxx
index ed91e36..d0d0e14 100644
--- a/libxsde/xsde/cxx/parser/validating/string-stl.cxx
+++ b/libxsde/xsde/cxx/parser/validating/string-stl.cxx
@@ -25,6 +25,32 @@ namespace xsde
           str_ += s;
         }
 
+        void string_pimpl::
+        _post ()
+        {
+          // Check facets.
+          //
+          const facets& f = _facets ();
+
+          if (f.length_set_ && str_.size () != f.length_)
+          {
+            _schema_error (schema_error::length_not_equal_prescribed);
+            return;
+          }
+
+          if (f.min_length_set_ && str_.size () < f.min_length_)
+          {
+            _schema_error (schema_error::length_less_than_min);
+            return;
+          }
+
+          if (f.max_length_set_ && str_.size () > f.max_length_)
+          {
+            _schema_error (schema_error::length_greater_than_max);
+            return;
+          }
+        }
+
         std::string string_pimpl::
         post_string ()
         {
diff --git a/libxsde/xsde/cxx/parser/validating/string-stl.hxx b/libxsde/xsde/cxx/parser/validating/string-stl.hxx
index 34e1e03..6cc5798 100644
--- a/libxsde/xsde/cxx/parser/validating/string-stl.hxx
+++ b/libxsde/xsde/cxx/parser/validating/string-stl.hxx
@@ -30,6 +30,9 @@ namespace xsde
           virtual void
           _characters (const ro_string&);
 
+          virtual void
+          _post ();
+
           virtual std::string
           post_string ();
 
diff --git a/libxsde/xsde/cxx/parser/validating/string.cxx b/libxsde/xsde/cxx/parser/validating/string.cxx
index 0834dc3..c40a7c9 100644
--- a/libxsde/xsde/cxx/parser/validating/string.cxx
+++ b/libxsde/xsde/cxx/parser/validating/string.cxx
@@ -37,6 +37,32 @@ namespace xsde
 #endif
         }
 
+        void string_pimpl::
+        _post ()
+        {
+          // Check facets.
+          //
+          const facets& f = _facets ();
+
+          if (f.length_set_ && str_.size () != f.length_)
+          {
+            _schema_error (schema_error::length_not_equal_prescribed);
+            return;
+          }
+
+          if (f.min_length_set_ && str_.size () < f.min_length_)
+          {
+            _schema_error (schema_error::length_less_than_min);
+            return;
+          }
+
+          if (f.max_length_set_ && str_.size () > f.max_length_)
+          {
+            _schema_error (schema_error::length_greater_than_max);
+            return;
+          }
+        }
+
         char* string_pimpl::
         post_string ()
         {
diff --git a/libxsde/xsde/cxx/parser/validating/string.hxx b/libxsde/xsde/cxx/parser/validating/string.hxx
index 677fc10..73d404a 100644
--- a/libxsde/xsde/cxx/parser/validating/string.hxx
+++ b/libxsde/xsde/cxx/parser/validating/string.hxx
@@ -30,6 +30,9 @@ namespace xsde
           virtual void
           _characters (const ro_string&);
 
+          virtual void
+          _post ();
+
           virtual char*
           post_string ();
 
diff --git a/libxsde/xsde/cxx/parser/validating/unsigned-byte.cxx b/libxsde/xsde/cxx/parser/validating/unsigned-byte.cxx
index 8f1e9c5..1ec4832 100644
--- a/libxsde/xsde/cxx/parser/validating/unsigned-byte.cxx
+++ b/libxsde/xsde/cxx/parser/validating/unsigned-byte.cxx
@@ -47,9 +47,30 @@ namespace xsde
             unsigned long ul = strtoul (str_, &p, 10);
 
             if (*p != '\0' || ul > 255)
+            {
               _schema_error (schema_error::invalid_unsigned_byte_value);
+              return;
+            }
 
             value_ = static_cast<unsigned char> (ul);
+
+            // Check facets.
+            //
+            const facets& f = _facets ();
+
+            if (f.min_set_ &&
+                (value_ < f.min_ || (!f.min_inc_ && value_ == f.min_)))
+            {
+              _schema_error (schema_error::value_less_than_min);
+              return;
+            }
+
+            if (f.max_set_ &&
+                (value_ > f.max_ || (!f.max_inc_ && value_ == f.max_)))
+            {
+              _schema_error (schema_error::value_greater_than_max);
+              return;
+            }
           }
           else
             _schema_error (schema_error::invalid_unsigned_byte_value);
diff --git a/libxsde/xsde/cxx/parser/validating/unsigned-int.cxx b/libxsde/xsde/cxx/parser/validating/unsigned-int.cxx
index 8ffd4b7..df0d0aa 100644
--- a/libxsde/xsde/cxx/parser/validating/unsigned-int.cxx
+++ b/libxsde/xsde/cxx/parser/validating/unsigned-int.cxx
@@ -47,9 +47,30 @@ namespace xsde
             unsigned long ul = strtoul (str_, &p, 10);
 
             if (*p != '\0' || get_errno () != 0 || ul > 4294967295UL)
+            {
               _schema_error (schema_error::invalid_unsigned_int_value);
+              return;
+            }
 
             value_ = static_cast<unsigned int> (ul);
+
+            // Check facets.
+            //
+            const facets& f = _facets ();
+
+            if (f.min_set_ &&
+                (value_ < f.min_ || (!f.min_inc_ && value_ == f.min_)))
+            {
+              _schema_error (schema_error::value_less_than_min);
+              return;
+            }
+
+            if (f.max_set_ &&
+                (value_ > f.max_ || (!f.max_inc_ && value_ == f.max_)))
+            {
+              _schema_error (schema_error::value_greater_than_max);
+              return;
+            }
           }
           else
             _schema_error (schema_error::invalid_unsigned_int_value);
diff --git a/libxsde/xsde/cxx/parser/validating/unsigned-short.cxx b/libxsde/xsde/cxx/parser/validating/unsigned-short.cxx
index 4a92139..01bfbf9 100644
--- a/libxsde/xsde/cxx/parser/validating/unsigned-short.cxx
+++ b/libxsde/xsde/cxx/parser/validating/unsigned-short.cxx
@@ -47,9 +47,30 @@ namespace xsde
             unsigned long ul = strtoul (str_, &p, 10);
 
             if (*p != '\0' || ul > 65535)
+            {
               _schema_error (schema_error::invalid_unsigned_short_value);
+              return;
+            }
 
             value_ = static_cast<unsigned short> (ul);
+
+            // Check facets.
+            //
+            const facets& f = _facets ();
+
+            if (f.min_set_ &&
+                (value_ < f.min_ || (!f.min_inc_ && value_ == f.min_)))
+            {
+              _schema_error (schema_error::value_less_than_min);
+              return;
+            }
+
+            if (f.max_set_ &&
+                (value_ > f.max_ || (!f.max_inc_ && value_ == f.max_)))
+            {
+              _schema_error (schema_error::value_greater_than_max);
+              return;
+            }
           }
           else
             _schema_error (schema_error::invalid_unsigned_short_value);
diff --git a/libxsde/xsde/cxx/parser/validating/xml-schema-pskel.hxx b/libxsde/xsde/cxx/parser/validating/xml-schema-pskel.hxx
index 1c82e00..24a7759 100644
--- a/libxsde/xsde/cxx/parser/validating/xml-schema-pskel.hxx
+++ b/libxsde/xsde/cxx/parser/validating/xml-schema-pskel.hxx
@@ -159,13 +159,40 @@ namespace xsde
           _dynamic_type () const;
 #endif
 
-#ifdef XSDE_REUSE_STYLE_TIEIN
           unsigned_byte_pskel ();
+
+#ifdef XSDE_REUSE_STYLE_TIEIN
           unsigned_byte_pskel (unsigned_byte_pskel* impl, void*);
 
         protected:
           unsigned_byte_pskel* unsigned_byte_impl_;
 #endif
+          // Facets.
+          //
+        public:
+          void
+          _max_facet (unsigned char, bool inclusive);
+
+          void
+          _min_facet (unsigned char, bool inclusive);
+
+        protected:
+          struct facets
+          {
+            unsigned char min_;
+            unsigned char max_;
+
+            unsigned int min_set_ : 1;
+            unsigned int min_inc_ : 1;
+            unsigned int max_set_ : 1;
+            unsigned int max_inc_ : 1;
+          };
+
+          const facets&
+          _facets () const;
+
+        private:
+          facets facets_;
         };
 
 
@@ -185,13 +212,40 @@ namespace xsde
           _dynamic_type () const;
 #endif
 
-#ifdef XSDE_REUSE_STYLE_TIEIN
           short_pskel ();
+
+#ifdef XSDE_REUSE_STYLE_TIEIN
           short_pskel (short_pskel* impl, void*);
 
         protected:
           short_pskel* short_impl_;
 #endif
+          // Facets.
+          //
+        public:
+          void
+          _max_facet (short, bool inclusive);
+
+          void
+          _min_facet (short, bool inclusive);
+
+        protected:
+          struct facets
+          {
+            short min_;
+            short max_;
+
+            unsigned int min_set_ : 1;
+            unsigned int min_inc_ : 1;
+            unsigned int max_set_ : 1;
+            unsigned int max_inc_ : 1;
+          };
+
+          const facets&
+          _facets () const;
+
+        private:
+          facets facets_;
         };
 
         struct unsigned_short_pskel: simple_content
@@ -207,13 +261,40 @@ namespace xsde
           _dynamic_type () const;
 #endif
 
-#ifdef XSDE_REUSE_STYLE_TIEIN
           unsigned_short_pskel ();
+
+#ifdef XSDE_REUSE_STYLE_TIEIN
           unsigned_short_pskel (unsigned_short_pskel* impl, void*);
 
         protected:
           unsigned_short_pskel* unsigned_short_impl_;
 #endif
+          // Facets.
+          //
+        public:
+          void
+          _max_facet (unsigned short, bool inclusive);
+
+          void
+          _min_facet (unsigned short, bool inclusive);
+
+        protected:
+          struct facets
+          {
+            unsigned short min_;
+            unsigned short max_;
+
+            unsigned int min_set_ : 1;
+            unsigned int min_inc_ : 1;
+            unsigned int max_set_ : 1;
+            unsigned int max_inc_ : 1;
+          };
+
+          const facets&
+          _facets () const;
+
+        private:
+          facets facets_;
         };
 
 
@@ -255,13 +336,40 @@ namespace xsde
           _dynamic_type () const;
 #endif
 
-#ifdef XSDE_REUSE_STYLE_TIEIN
           unsigned_int_pskel ();
+
+#ifdef XSDE_REUSE_STYLE_TIEIN
           unsigned_int_pskel (unsigned_int_pskel* impl, void*);
 
         protected:
           unsigned_int_pskel* unsigned_int_impl_;
 #endif
+          // Facets.
+          //
+        public:
+          void
+          _max_facet (unsigned int, bool inclusive);
+
+          void
+          _min_facet (unsigned int, bool inclusive);
+
+        protected:
+          struct facets
+          {
+            unsigned int min_;
+            unsigned int max_;
+
+            unsigned int min_set_ : 1;
+            unsigned int min_inc_ : 1;
+            unsigned int max_set_ : 1;
+            unsigned int max_inc_ : 1;
+          };
+
+          const facets&
+          _facets () const;
+
+        private:
+          facets facets_;
         };
 
 
@@ -562,13 +670,43 @@ namespace xsde
           _dynamic_type () const;
 #endif
 
-#ifdef XSDE_REUSE_STYLE_TIEIN
           string_pskel ();
+
+#ifdef XSDE_REUSE_STYLE_TIEIN
           string_pskel (string_pskel* impl, void*);
 
         protected:
           string_pskel* string_impl_;
 #endif
+          // Facets.
+          //
+        public:
+          void
+          _length_facet (size_t);
+
+          void
+          _max_length_facet (size_t);
+
+          void
+          _min_length_facet (size_t);
+
+        protected:
+          struct facets
+          {
+            size_t length_;
+            size_t min_length_;
+            size_t max_length_;
+
+            unsigned int length_set_ : 1;
+            unsigned int min_length_set_ : 1;
+            unsigned int max_length_set_ : 1;
+          };
+
+          const facets&
+          _facets () const;
+
+        private:
+          facets facets_;
         };
 
         struct normalized_string_pskel: simple_content
@@ -853,13 +991,43 @@ namespace xsde
           _dynamic_type () const;
 #endif
 
-#ifdef XSDE_REUSE_STYLE_TIEIN
           string_pskel ();
+
+#ifdef XSDE_REUSE_STYLE_TIEIN
           string_pskel (string_pskel* impl, void*);
 
         protected:
           string_pskel* string_impl_;
 #endif
+          // Facets.
+          //
+        public:
+          void
+          _length_facet (size_t);
+
+          void
+          _max_length_facet (size_t);
+
+          void
+          _min_length_facet (size_t);
+
+        protected:
+          struct facets
+          {
+            size_t length_;
+            size_t min_length_;
+            size_t max_length_;
+
+            unsigned int length_set_ : 1;
+            unsigned int min_length_set_ : 1;
+            unsigned int max_length_set_ : 1;
+          };
+
+          const facets&
+          _facets () const;
+
+        private:
+          facets facets_;
         };
 
         struct normalized_string_pskel: simple_content
diff --git a/libxsde/xsde/cxx/parser/validating/xml-schema-pskel.ixx b/libxsde/xsde/cxx/parser/validating/xml-schema-pskel.ixx
index 69abb6e..3d69e15 100644
--- a/libxsde/xsde/cxx/parser/validating/xml-schema-pskel.ixx
+++ b/libxsde/xsde/cxx/parser/validating/xml-schema-pskel.ixx
@@ -77,51 +77,149 @@ namespace xsde
 
         // unsigned_byte_pskel
         //
-#ifdef XSDE_REUSE_STYLE_TIEIN
         inline unsigned_byte_pskel::
         unsigned_byte_pskel ()
-            : unsigned_byte_impl_ (0)
         {
+#ifdef XSDE_REUSE_STYLE_TIEIN
+          unsigned_byte_impl_ = 0;
+#endif
+          facets_.min_set_ = 0;
+          facets_.max_set_ = 0;
         }
 
+#ifdef XSDE_REUSE_STYLE_TIEIN
         inline unsigned_byte_pskel::
         unsigned_byte_pskel (unsigned_byte_pskel* impl, void*)
             : simple_content (impl, 0), unsigned_byte_impl_ (impl)
         {
+          facets_.min_set_ = 0;
+          facets_.max_set_ = 0;
+        }
+#endif
+
+        inline void unsigned_byte_pskel::
+        _max_facet (unsigned char v, bool inc)
+        {
+          facets_.max_ = v;
+          facets_.max_set_ = 1;
+          facets_.max_inc_ = inc;
+        }
+
+        inline void unsigned_byte_pskel::
+        _min_facet (unsigned char v, bool inc)
+        {
+          facets_.min_ = v;
+          facets_.min_set_ = 1;
+          facets_.min_inc_ = inc;
         }
+
+        inline const unsigned_byte_pskel::facets& unsigned_byte_pskel::
+        _facets () const
+        {
+#ifdef XSDE_REUSE_STYLE_TIEIN
+          if (parent_ != 0)
+            return static_cast<const unsigned_byte_pskel&> (*parent_).facets_;
+          else
 #endif
+            return facets_;
+        }
 
         // short_pskel
         //
-#ifdef XSDE_REUSE_STYLE_TIEIN
         inline short_pskel::
         short_pskel ()
-            : short_impl_ (0)
         {
+#ifdef XSDE_REUSE_STYLE_TIEIN
+          short_impl_ = 0;
+#endif
+          facets_.min_set_ = 0;
+          facets_.max_set_ = 0;
         }
 
+#ifdef XSDE_REUSE_STYLE_TIEIN
         inline short_pskel::
         short_pskel (short_pskel* impl, void*)
             : simple_content (impl, 0), short_impl_ (impl)
         {
+          facets_.min_set_ = 0;
+          facets_.max_set_ = 0;
         }
 #endif
 
+        inline void short_pskel::
+        _max_facet (short v, bool inc)
+        {
+          facets_.max_ = v;
+          facets_.max_set_ = 1;
+          facets_.max_inc_ = inc;
+        }
+
+        inline void short_pskel::
+        _min_facet (short v, bool inc)
+        {
+          facets_.min_ = v;
+          facets_.min_set_ = 1;
+          facets_.min_inc_ = inc;
+        }
+
+        inline const short_pskel::facets& short_pskel::
+        _facets () const
+        {
+#ifdef XSDE_REUSE_STYLE_TIEIN
+          if (parent_ != 0)
+            return static_cast<const short_pskel&> (*parent_).facets_;
+          else
+#endif
+            return facets_;
+        }
+
         // unsigned_short_pskel
         //
-#ifdef XSDE_REUSE_STYLE_TIEIN
         inline unsigned_short_pskel::
         unsigned_short_pskel ()
-            : unsigned_short_impl_ (0)
         {
+#ifdef XSDE_REUSE_STYLE_TIEIN
+          unsigned_short_impl_ = 0;
+#endif
+          facets_.min_set_ = 0;
+          facets_.max_set_ = 0;
         }
 
+#ifdef XSDE_REUSE_STYLE_TIEIN
         inline unsigned_short_pskel::
         unsigned_short_pskel (unsigned_short_pskel* impl, void*)
             : simple_content (impl, 0), unsigned_short_impl_ (impl)
         {
+          facets_.min_set_ = 0;
+          facets_.max_set_ = 0;
         }
 #endif
+        inline void unsigned_short_pskel::
+        _max_facet (unsigned short v, bool inc)
+        {
+          facets_.max_ = v;
+          facets_.max_set_ = 1;
+          facets_.max_inc_ = inc;
+        }
+
+        inline void unsigned_short_pskel::
+        _min_facet (unsigned short v, bool inc)
+        {
+          facets_.min_ = v;
+          facets_.min_set_ = 1;
+          facets_.min_inc_ = inc;
+        }
+
+        inline const unsigned_short_pskel::facets& unsigned_short_pskel::
+        _facets () const
+        {
+#ifdef XSDE_REUSE_STYLE_TIEIN
+          if (parent_ != 0)
+            return static_cast<const unsigned_short_pskel&> (*parent_).facets_;
+          else
+#endif
+            return facets_;
+        }
 
         // int_pskel
         //
@@ -141,20 +239,53 @@ namespace xsde
 
         // unsigned_int_pskel
         //
-#ifdef XSDE_REUSE_STYLE_TIEIN
         inline unsigned_int_pskel::
         unsigned_int_pskel ()
-            : unsigned_int_impl_ (0)
         {
+#ifdef XSDE_REUSE_STYLE_TIEIN
+          unsigned_int_impl_ = 0;
+#endif
+          facets_.min_set_ = 0;
+          facets_.max_set_ = 0;
         }
 
+#ifdef XSDE_REUSE_STYLE_TIEIN
         inline unsigned_int_pskel::
         unsigned_int_pskel (unsigned_int_pskel* impl, void*)
             : simple_content (impl, 0), unsigned_int_impl_ (impl)
         {
+          facets_.min_set_ = 0;
+          facets_.max_set_ = 0;
         }
 #endif
 
+        inline void unsigned_int_pskel::
+        _max_facet (unsigned int v, bool inc)
+        {
+          facets_.max_ = v;
+          facets_.max_set_ = 1;
+          facets_.max_inc_ = inc;
+        }
+
+        inline void unsigned_int_pskel::
+        _min_facet (unsigned int v, bool inc)
+        {
+          facets_.min_ = v;
+          facets_.min_set_ = 1;
+          facets_.min_inc_ = inc;
+        }
+
+        inline const unsigned_int_pskel::facets& unsigned_int_pskel::
+        _facets () const
+        {
+#ifdef XSDE_REUSE_STYLE_TIEIN
+          if (parent_ != 0)
+            return static_cast<const unsigned_int_pskel&> (*parent_).facets_;
+          else
+#endif
+            return facets_;
+        }
+
         // long_pskel
         //
 #ifdef XSDE_REUSE_STYLE_TIEIN
@@ -317,20 +448,60 @@ namespace xsde
 
         // string_pskel
         //
-#ifdef XSDE_REUSE_STYLE_TIEIN
         inline string_pskel::
         string_pskel ()
-            : string_impl_ (0)
         {
+#ifdef XSDE_REUSE_STYLE_TIEIN
+          string_impl_ = 0;
+#endif
+          facets_.length_set_ = 0;
+          facets_.min_length_set_ = 0;
+          facets_.max_length_set_ = 0;
         }
 
+#ifdef XSDE_REUSE_STYLE_TIEIN
         inline string_pskel::
         string_pskel (string_pskel* impl, void*)
             : simple_content (impl, 0), string_impl_ (impl)
         {
+          facets_.length_set_ = 0;
+          facets_.min_length_set_ = 0;
+          facets_.max_length_set_ = 0;
         }
 #endif
 
+        inline void string_pskel::
+        _length_facet (size_t v)
+        {
+          facets_.length_ = v;
+          facets_.length_set_ = 1;
+        }
+
+        inline void string_pskel::
+        _max_length_facet (size_t v)
+        {
+          facets_.max_length_ = v;
+          facets_.max_length_set_ = 1;
+        }
+
+        inline void string_pskel::
+        _min_length_facet (size_t v)
+        {
+          facets_.min_length_ = v;
+          facets_.min_length_set_ = 1;
+        }
+
+        inline const string_pskel::facets& string_pskel::
+        _facets () const
+        {
+#ifdef XSDE_REUSE_STYLE_TIEIN
+          if (parent_ != 0)
+            return static_cast<const string_pskel&> (*parent_).facets_;
+          else
+#endif
+            return facets_;
+        }
+
         // normalized_string_pskel
         //
 #ifdef XSDE_REUSE_STYLE_TIEIN