1 // cl_GV_number debugging support.
4 #include "base/cl_sysdep.h"
11 #include "cln/output.h"
12 #include "cln/GV_number.h"
14 #include "vector/cl_GV_io.h"
18 static void print_for_debug (std::ostream& stream, const cl_print_flags& flags, const cl_number& z)
20 unused stream; // must be cl_debugout
21 unused flags; // must be default_print_flags
25 static void dprint (cl_heap* pointer)
27 var const cl_GV_number& obj = *(const cl_GV_number*)&pointer;
28 fprint(cl_debugout, "(cl_GV_number) ");
29 print_vector(cl_debugout,default_print_flags,&print_for_debug,obj);
31 AT_INITIALIZATION(dprint_GV_number)
32 { extern cl_class& cl_class_gvector_number(); cl_class_gvector_number().dprint = dprint; }
34 // This dummy links in this module when <cln/GV_number.h> requires it.
35 int cl_GV_number_debug_module;
37 extern int cl_GV_I_debug_module;
38 static void* dummy[] = { &dummy,