aboutsummaryrefslogtreecommitdiff
path: root/libxsde/xsde/cxx/parser/validating/float.cxx
blob: ea41b938b0f41412736634bec2917ee8c0d68f52 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
// file      : xsde/cxx/parser/validating/float.cxx
// copyright : Copyright (c) 2005-2011 Code Synthesis Tools CC
// license   : GNU GPL v2 + exceptions; see accompanying LICENSE file

#include <stdlib.h> // strtof, strtod

#include <xsde/cxx/config.hxx>
#include <xsde/cxx/errno.hxx>

#include <xsde/cxx/parser/validating/float.hxx>

namespace xsde
{
  namespace cxx
  {
    namespace parser
    {
      namespace validating
      {
        void float_pimpl::
        _pre ()
        {
          size_ = 0;
          sign_ = none;
          state_ = leading_ws;
        }

        void float_pimpl::
        _characters (const ro_string& s)
        {
          if (!parse (s, str_, 127))
            _schema_error (schema_error::invalid_float_value);
        }

        void float_pimpl::
        _post ()
        {
          ro_string tmp (str_, size_);
          size_t size = trim_right (tmp);

          if (size != 0 && tmp[0] != '-' && tmp[0] != '+')
          {
            str_[size] = '\0';

            if (tmp == "INF")
            {
              switch (sign_)
              {
              case none:
                {
#ifdef XSDE_STRTOF
                  value_ = strtof ("INF", 0);
#else
                  value_ = static_cast<float> (strtod ("INF", 0));
#endif
                  break;
                }
              case plus:
                {
                  _schema_error (schema_error::invalid_float_value);
                  break;
                }
              case minus:
                {
#ifdef XSDE_STRTOF
                  value_ = strtof ("-INF", 0);
#else
                  value_ = static_cast<float> (strtod ("-INF", 0));
#endif
                  break;
                }
              }
            }
            else if (tmp == "NaN")
            {
              if (sign_ == none)
              {
#ifdef XSDE_STRTOF
                value_ = strtof ("NAN", 0);
#else
                value_ = static_cast<float> (strtod ("NAN", 0));
#endif
              }
              else
                _schema_error (schema_error::invalid_float_value);

            }
            else
            {
              char* p;
              set_errno (0);
#ifdef XSDE_STRTOF
              value_ = strtof (str_, &p);
#else
              value_ = static_cast<float> (strtod (str_, &p));
#endif

              if (*p != '\0' || get_errno () != 0)
                _schema_error (schema_error::invalid_float_value);

              if (sign_ == minus)
                value_ = -value_;
            }

            // 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_float_value);
        }

        float float_pimpl::
        post_float ()
        {
          return value_;
        }
      }
    }
  }
}