src/vector/cl_SV_ringelt_debug.cc

   1 // cl_SV_ringelt debugging support.
   2
   3 // General includes.
   4 #include "cl_sysdep.h"
   5
   6 // Specification.
   7
   8
   9 // Implementation.
  10
  11 #include "cl_SV_ringelt.h"
  12 #include "cl_io.h"
  13
  14 extern void cl_dprint_unknown (cl_heap* pointer);
  15 static void dprint (cl_heap* pointer)
  16 {
  17 //      var const cl_SV_ringelt& obj = *(const cl_SV_ringelt*)&pointer;
  18         fprint(cl_debugout, "(cl_SV_ringelt) ");
  19         cl_dprint_unknown(pointer);
  20 }
  21 AT_INITIALIZATION(dprint_SV_ringelt)
  22 { cl_register_type_printer(cl_class_svector_ringelt,dprint); }
  23
  24 // This dummy links in this module when <cl_SV_ringelt.h> requires it.
  25 int cl_SV_ringelt_debug_module;