43 lines · c
1#include <isl_printer_private.h>2 3#define xCAT(A,B) A ## B4#define CAT(A,B) xCAT(A,B)5#undef TYPE6#define TYPE CAT(isl_,BASE)7#define xFN(TYPE,NAME) TYPE ## _ ## NAME8#define FN(TYPE,NAME) xFN(TYPE,NAME)9 10#ifndef PRINT_DUMP_DEFAULT11#define PRINT_DUMP_DEFAULT 112#endif13 14void FN(TYPE,dump)(__isl_keep TYPE *obj)15{16 isl_printer *p;17 18 if (!obj)19 return;20 p = isl_printer_to_file(FN(TYPE,get_ctx)(obj), stderr);21 p = isl_printer_set_dump(p, PRINT_DUMP_DEFAULT);22 p = FN(isl_printer_print,BASE)(p, obj);23 p = isl_printer_end_line(p);24 isl_printer_free(p);25}26 27#undef PRINT_DUMP_DEFAULT28 29__isl_give char *FN(TYPE,to_str)(__isl_keep TYPE *obj)30{31 isl_printer *p;32 char *s;33 34 if (!obj)35 return NULL;36 p = isl_printer_to_str(FN(TYPE,get_ctx)(obj));37 p = FN(isl_printer_print,BASE)(p, obj);38 s = isl_printer_get_str(p);39 isl_printer_free(p);40 41 return s;42}43