1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/os/ossrv/stdcpp/src/num_put.h	Fri Jun 15 03:10:57 2012 +0200
     1.3 @@ -0,0 +1,80 @@
     1.4 +/*
     1.5 + * © Portions copyright (c) 2006-2007 Nokia Corporation.  All rights reserved.
     1.6 + *
     1.7 + * Copyright (c) 1999
     1.8 + * Silicon Graphics Computer Systems, Inc.
     1.9 + *
    1.10 + * Copyright (c) 1999 
    1.11 + * Boris Fomitchev
    1.12 + *
    1.13 + * This material is provided "as is", with absolutely no warranty expressed
    1.14 + * or implied. Any use is at your own risk.
    1.15 + *
    1.16 + * Permission to use or copy this software for any purpose is hereby granted 
    1.17 + * without fee, provided the above notices are retained on all copies.
    1.18 + * Permission to modify the code and to distribute modified code is granted,
    1.19 + * provided the above notices are retained, and a notice that the code was
    1.20 + * modified is included with the above copyright notice.
    1.21 + *
    1.22 + */ 
    1.23 +
    1.24 +# ifndef _STLP_NUM_PUT_H
    1.25 +#  define _STLP_NUM_PUT_H
    1.26 +
    1.27 +#ifndef _STLP_INTERNAL_NUM_PUT_H
    1.28 +#include <stl/_num_put.h>
    1.29 +#endif
    1.30 +#ifndef _STLP_INTERNAL_OSTREAM_H
    1.31 +#include <stl/_ostream.h>
    1.32 +#endif
    1.33 +
    1.34 +_STLP_BEGIN_NAMESPACE
    1.35 +
    1.36 +// Note that grouping[0] is the number of digits in the *rightmost* group.
    1.37 +// We assume, without checking, that *last is null and that there is enough
    1.38 +// space in the buffer to extend the number past [first, last).
    1.39 +template <class Char>
    1.40 +ptrdiff_t 
    1.41 +__insert_grouping_aux(Char* first, Char* last, const string& grouping,
    1.42 +                      Char separator, Char Plus, Char Minus,
    1.43 +		      int basechars)
    1.44 +{
    1.45 +  typedef string::size_type str_size;
    1.46 +
    1.47 +  if (first == last)
    1.48 +    return 0;
    1.49 +
    1.50 +  int sign = 0;
    1.51 +
    1.52 +  if (*first == Plus || *first == Minus) {
    1.53 +    sign = 1;
    1.54 +    ++first;
    1.55 +  }
    1.56 + 
    1.57 +  first += basechars;
    1.58 +  str_size n = 0;               // Index of the current group.
    1.59 +  Char* cur_group = last;       // Points immediately beyond the rightmost
    1.60 +                                // digit of the current group.
    1.61 +  int groupsize = 0;            // Size of the current group.
    1.62 +  
    1.63 +  while (true) {
    1.64 +    //groupsize = n < grouping.size() ? grouping[n]-48 : groupsize;
    1.65 +    groupsize = n < grouping.size() ? grouping[n] : groupsize;
    1.66 +    ++n;
    1.67 +
    1.68 +    if (groupsize <= 0 || groupsize >= cur_group - first)
    1.69 +      break;
    1.70 +
    1.71 +    // Insert a separator character just before position cur_group - groupsize
    1.72 +    cur_group -= groupsize;
    1.73 +    ++last;
    1.74 +    copy_backward(cur_group, last, last + 1);
    1.75 +    *cur_group = separator;
    1.76 +  }
    1.77 +
    1.78 +  return (last - first) + sign + basechars;
    1.79 +}
    1.80 +
    1.81 +_STLP_END_NAMESPACE
    1.82 +
    1.83 +# endif