1 // cl_GV_number debugging support.
11 #include "cl_output.h"
12 #include "cl_GV_number.h"
16 static void print_for_debug (cl_ostream stream, const cl_print_flags& flags, const cl_number& z)
18 unused stream; // must be cl_debugout
19 unused flags; // must be cl_default_print_flags
23 static void dprint (cl_heap* pointer)
25 var const cl_GV_number& obj = *(const cl_GV_number*)&pointer;
26 fprint(cl_debugout, "(cl_GV_number) ");
27 print_vector(cl_debugout,cl_default_print_flags,&print_for_debug,obj);
29 AT_INITIALIZATION(dprint_GV_number)
30 { cl_register_type_printer(cl_class_gvector_number,dprint); }
32 // This dummy links in this module when <cl_GV_number.h> requires it.
33 int cl_GV_number_debug_module;
35 extern int cl_GV_I_debug_module;
36 static void* dummy[] = { &dummy,