if (!p->buf)
goto error;
p->buf_n = 0;
+ p->buf[0] = '\0';
p->buf_size = 256;
p->indent = 0;
p->output_format = ISL_FORMAT_ISL;
free(p);
}
+isl_ctx *isl_printer_get_ctx(__isl_keep isl_printer *printer)
+{
+ return printer ? printer->ctx : NULL;
+}
+
__isl_give isl_printer *isl_printer_set_isl_int_width(__isl_take isl_printer *p,
int width)
{
return p;
}
+__isl_give isl_printer *isl_printer_indent(__isl_take isl_printer *p,
+ int indent)
+{
+ if (!p)
+ return NULL;
+
+ p->indent += indent;
+ if (p->indent < 0)
+ p->indent = 0;
+
+ return p;
+}
+
__isl_give isl_printer *isl_printer_set_prefix(__isl_take isl_printer *p,
const char *prefix)
{
__isl_give isl_printer *isl_printer_print_str(__isl_take isl_printer *p,
const char *s)
{
+ if (!p)
+ return NULL;
+
return p->ops->print_str(p, s);
}
__isl_give isl_printer *isl_printer_print_int(__isl_take isl_printer *p, int i)
{
+ if (!p)
+ return NULL;
+
return p->ops->print_int(p, i);
}
__isl_give isl_printer *isl_printer_print_isl_int(__isl_take isl_printer *p,
isl_int i)
{
+ if (!p)
+ return NULL;
+
return p->ops->print_isl_int(p, i);
}
__isl_give isl_printer *isl_printer_start_line(__isl_take isl_printer *p)
{
+ if (!p)
+ return NULL;
+
return p->ops->start_line(p);
}
__isl_give isl_printer *isl_printer_end_line(__isl_take isl_printer *p)
{
+ if (!p)
+ return NULL;
+
return p->ops->end_line(p);
}
__isl_give isl_printer *isl_printer_flush(__isl_take isl_printer *p)
{
+ if (!p)
+ return NULL;
+
return p->ops->flush(p);
}