Line data    Source code

       1             : #include <isl_printer_private.h>
       2             : 
       3             : #define xCAT(A,B) A ## B
       4             : #define CAT(A,B) xCAT(A,B)
       5             : #undef TYPE
       6             : #define TYPE CAT(isl_,BASE)
       7             : #define xFN(TYPE,NAME) TYPE ## _ ## NAME
       8             : #define FN(TYPE,NAME) xFN(TYPE,NAME)
       9             : 
      10      225912 : void FN(TYPE,dump)(__isl_keep TYPE *obj)
      11             : {
      12             :         isl_printer *p;
      13             : 
      14      225912 :         if (!obj)
      15           0 :                 return;
      16      225912 :         p = isl_printer_to_file(FN(TYPE,get_ctx)(obj), stderr);
      17      225912 :         p = isl_printer_set_dump(p, 1);
      18      225912 :         p = FN(isl_printer_print,BASE)(p, obj);
      19      225912 :         p = isl_printer_end_line(p);
      20      225912 :         isl_printer_free(p);
      21             : }
      22             : 
      23           0 : __isl_give char *FN(TYPE,to_str)(__isl_keep TYPE *obj)
      24             : {
      25             :         isl_printer *p;
      26             :         char *s;
      27             : 
      28           0 :         if (!obj)
      29           0 :                 return NULL;
      30           0 :         p = isl_printer_to_str(FN(TYPE,get_ctx)(obj));
      31           0 :         p = FN(isl_printer_print,BASE)(p, obj);
      32           0 :         s = isl_printer_get_str(p);
      33           0 :         isl_printer_free(p);
      34             : 
      35           0 :         return s;
      36             : }