src/vector/cl_SV_number_debug.cc

   1 // cl_SV_number debugging support.
   2
   3 // General includes.
   4 #include "cl_sysdep.h"
   5
   6 // Specification.
   7
   8
   9 // Implementation.
  10
  11 #include "cl_output.h"
  12 #include "cl_SV_number.h"
  13 #include "cl_io.h"
  14 #include "cl_SV_io.h"
  15
  16 static void print_for_debug (cl_ostream stream, const cl_print_flags& flags, const cl_number& z)
  17 {
  18         unused stream; // must be cl_debugout
  19         unused flags; // must be cl_default_print_flags
  20         z.debug_print();
  21 }
  22
  23 static void dprint (cl_heap* pointer)
  24 {
  25         var const cl_SV_number& obj = *(const cl_SV_number*)&pointer;
  26         fprint(cl_debugout, "(cl_SV_number) ");
  27         print_vector(cl_debugout,cl_default_print_flags,&print_for_debug,obj);
  28 }
  29 AT_INITIALIZATION(dprint_SV_number)
  30 { cl_register_type_printer(cl_class_svector_number,dprint); }
  31
  32 // This dummy links in this module when <cl_SV_number.h> requires it.
  33 int cl_SV_number_debug_module;