src/base/input/cl_read_err_junk.cc

   1 // read_number_junk().
   2
   3 // General includes.
   4 #include "cl_sysdep.h"
   5
   6 // Specification.
   7 #include "cl_number_io.h"
   8
   9
  10 // Implementation.
  11
  12 #include "cl_io.h"
  13 #include "cl_abort.h"
  14
  15 void read_number_junk (const char * string_rest, const char * string, const char * string_limit)
  16 {
  17         fprint(cl_stderr, "Junk after number: ");
  18         { for (const char * ptr = string; ptr != string_rest; ptr++)
  19                 fprintchar(cl_stderr, *ptr);
  20         }
  21         fprint(cl_stderr, "\"");
  22         { for (const char * ptr = string_rest; ptr != string_limit; ptr++)
  23                 fprintchar(cl_stderr, *ptr);
  24         }
  25         fprint(cl_stderr, "\"\n");
  26         cl_abort();
  27 }