3 #include <isl_printer_private.h>
5 static __isl_give isl_printer
*file_start_line(__isl_take isl_printer
*p
)
7 fprintf(p
->file
, "%s%*s%s", p
->indent_prefix
? p
->indent_prefix
: "",
8 p
->indent
, "", p
->prefix
? p
->prefix
: "");
12 static __isl_give isl_printer
*file_end_line(__isl_take isl_printer
*p
)
14 fprintf(p
->file
, "%s\n", p
->suffix
? p
->suffix
: "");
18 static __isl_give isl_printer
*file_flush(__isl_take isl_printer
*p
)
24 static __isl_give isl_printer
*file_print_str(__isl_take isl_printer
*p
,
27 fprintf(p
->file
, "%s", s
);
31 static __isl_give isl_printer
*file_print_double(__isl_take isl_printer
*p
,
34 fprintf(p
->file
, "%g", d
);
38 static __isl_give isl_printer
*file_print_int(__isl_take isl_printer
*p
, int i
)
40 fprintf(p
->file
, "%d", i
);
44 static __isl_give isl_printer
*file_print_isl_int(__isl_take isl_printer
*p
, isl_int i
)
46 isl_int_print(p
->file
, i
, p
->width
);
50 static int grow_buf(__isl_keep isl_printer
*p
, int extra
)
58 new_size
= ((p
->buf_n
+ extra
+ 1) * 3) / 2;
59 new_buf
= isl_realloc_array(p
->ctx
, p
->buf
, char, new_size
);
65 p
->buf_size
= new_size
;
70 static __isl_give isl_printer
*str_print(__isl_take isl_printer
*p
,
71 const char *s
, int len
)
73 if (p
->buf_n
+ len
+ 1 >= p
->buf_size
&& grow_buf(p
, len
))
75 memcpy(p
->buf
+ p
->buf_n
, s
, len
);
78 p
->buf
[p
->buf_n
] = '\0';
85 static __isl_give isl_printer
*str_print_indent(__isl_take isl_printer
*p
,
90 if (p
->buf_n
+ indent
+ 1 >= p
->buf_size
&& grow_buf(p
, indent
))
92 for (i
= 0; i
< indent
; ++i
)
93 p
->buf
[p
->buf_n
++] = ' ';
100 static __isl_give isl_printer
*str_start_line(__isl_take isl_printer
*p
)
102 if (p
->indent_prefix
)
103 p
= str_print(p
, p
->indent_prefix
, strlen(p
->indent_prefix
));
104 p
= str_print_indent(p
, p
->indent
);
106 p
= str_print(p
, p
->prefix
, strlen(p
->prefix
));
110 static __isl_give isl_printer
*str_end_line(__isl_take isl_printer
*p
)
113 p
= str_print(p
, p
->suffix
, strlen(p
->suffix
));
114 p
= str_print(p
, "\n", strlen("\n"));
118 static __isl_give isl_printer
*str_flush(__isl_take isl_printer
*p
)
124 static __isl_give isl_printer
*str_print_str(__isl_take isl_printer
*p
,
127 return str_print(p
, s
, strlen(s
));
130 static __isl_give isl_printer
*str_print_double(__isl_take isl_printer
*p
,
133 int left
= p
->buf_size
- p
->buf_n
;
134 int need
= snprintf(p
->buf
+ p
->buf_n
, left
, "%g", d
);
136 if (grow_buf(p
, need
))
138 left
= p
->buf_size
- p
->buf_n
;
139 need
= snprintf(p
->buf
+ p
->buf_n
, left
, "%g", d
);
148 static __isl_give isl_printer
*str_print_int(__isl_take isl_printer
*p
, int i
)
150 int left
= p
->buf_size
- p
->buf_n
;
151 int need
= snprintf(p
->buf
+ p
->buf_n
, left
, "%d", i
);
153 if (grow_buf(p
, need
))
155 left
= p
->buf_size
- p
->buf_n
;
156 need
= snprintf(p
->buf
+ p
->buf_n
, left
, "%d", i
);
165 static __isl_give isl_printer
*str_print_isl_int(__isl_take isl_printer
*p
,
171 s
= isl_int_get_str(i
);
174 p
= str_print_indent(p
, p
->width
- len
);
175 p
= str_print(p
, s
, len
);
180 struct isl_printer_ops
{
181 __isl_give isl_printer
*(*start_line
)(__isl_take isl_printer
*p
);
182 __isl_give isl_printer
*(*end_line
)(__isl_take isl_printer
*p
);
183 __isl_give isl_printer
*(*print_double
)(__isl_take isl_printer
*p
,
185 __isl_give isl_printer
*(*print_int
)(__isl_take isl_printer
*p
, int i
);
186 __isl_give isl_printer
*(*print_isl_int
)(__isl_take isl_printer
*p
,
188 __isl_give isl_printer
*(*print_str
)(__isl_take isl_printer
*p
,
190 __isl_give isl_printer
*(*flush
)(__isl_take isl_printer
*p
);
193 static struct isl_printer_ops file_ops
= {
203 static struct isl_printer_ops str_ops
= {
213 __isl_give isl_printer
*isl_printer_to_file(isl_ctx
*ctx
, FILE *file
)
215 struct isl_printer
*p
= isl_alloc_type(ctx
, struct isl_printer
);
226 p
->output_format
= ISL_FORMAT_ISL
;
227 p
->indent_prefix
= NULL
;
235 __isl_give isl_printer
*isl_printer_to_str(isl_ctx
*ctx
)
237 struct isl_printer
*p
= isl_alloc_type(ctx
, struct isl_printer
);
244 p
->buf
= isl_alloc_array(ctx
, char, 256);
251 p
->output_format
= ISL_FORMAT_ISL
;
252 p
->indent_prefix
= NULL
;
263 __isl_null isl_printer
*isl_printer_free(__isl_take isl_printer
*p
)
270 isl_ctx_deref(p
->ctx
);
276 isl_ctx
*isl_printer_get_ctx(__isl_keep isl_printer
*printer
)
278 return printer
? printer
->ctx
: NULL
;
281 FILE *isl_printer_get_file(__isl_keep isl_printer
*printer
)
286 isl_die(isl_printer_get_ctx(printer
), isl_error_invalid
,
287 "not a file printer", return NULL
);
288 return printer
->file
;
291 __isl_give isl_printer
*isl_printer_set_isl_int_width(__isl_take isl_printer
*p
,
302 __isl_give isl_printer
*isl_printer_set_indent(__isl_take isl_printer
*p
,
313 __isl_give isl_printer
*isl_printer_indent(__isl_take isl_printer
*p
,
326 /* Replace the indent prefix of "p" by "prefix".
328 __isl_give isl_printer
*isl_printer_set_indent_prefix(__isl_take isl_printer
*p
,
334 free(p
->indent_prefix
);
335 p
->indent_prefix
= prefix
? strdup(prefix
) : NULL
;
340 __isl_give isl_printer
*isl_printer_set_prefix(__isl_take isl_printer
*p
,
347 p
->prefix
= prefix
? strdup(prefix
) : NULL
;
352 __isl_give isl_printer
*isl_printer_set_suffix(__isl_take isl_printer
*p
,
359 p
->suffix
= suffix
? strdup(suffix
) : NULL
;
364 __isl_give isl_printer
*isl_printer_set_output_format(__isl_take isl_printer
*p
,
370 p
->output_format
= output_format
;
375 int isl_printer_get_output_format(__isl_keep isl_printer
*p
)
379 return p
->output_format
;
382 __isl_give isl_printer
*isl_printer_print_str(__isl_take isl_printer
*p
,
388 return isl_printer_free(p
);
390 return p
->ops
->print_str(p
, s
);
393 __isl_give isl_printer
*isl_printer_print_double(__isl_take isl_printer
*p
,
399 return p
->ops
->print_double(p
, d
);
402 __isl_give isl_printer
*isl_printer_print_int(__isl_take isl_printer
*p
, int i
)
407 return p
->ops
->print_int(p
, i
);
410 __isl_give isl_printer
*isl_printer_print_isl_int(__isl_take isl_printer
*p
,
416 return p
->ops
->print_isl_int(p
, i
);
419 __isl_give isl_printer
*isl_printer_start_line(__isl_take isl_printer
*p
)
424 return p
->ops
->start_line(p
);
427 __isl_give isl_printer
*isl_printer_end_line(__isl_take isl_printer
*p
)
432 return p
->ops
->end_line(p
);
435 char *isl_printer_get_str(__isl_keep isl_printer
*printer
)
437 if (!printer
|| !printer
->buf
)
439 return strdup(printer
->buf
);
442 __isl_give isl_printer
*isl_printer_flush(__isl_take isl_printer
*p
)
447 return p
->ops
->flush(p
);