Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
__isl_give char *isl_printer_get_str(
__isl_keep isl_printer *printer);
+The printer can be inspected using the following function.
+
+ FILE *isl_printer_get_file(
+ __isl_keep isl_printer *printer);
+
The behavior of the printer can be modified in various ways
__isl_give isl_printer *isl_printer_set_output_format(
void isl_printer_free(__isl_take isl_printer *printer);
isl_ctx *isl_printer_get_ctx(__isl_keep isl_printer *printer);
+FILE *isl_printer_get_file(__isl_keep isl_printer *printer);
__isl_give char *isl_printer_get_str(__isl_keep isl_printer *printer);
return printer ? printer->ctx : NULL;
}
+FILE *isl_printer_get_file(__isl_keep isl_printer *printer)
+{
+ if (!printer)
+ return NULL;
+ if (!printer->file)
+ isl_die(isl_printer_get_ctx(printer), isl_error_invalid,
+ "not a file printer", return NULL);
+ return printer->file;
+}
+
__isl_give isl_printer *isl_printer_set_isl_int_width(__isl_take isl_printer *p,
int width)
{