isl_printer: add indent_prefix
commit023740fbd5060acff7baa73be4c39c0a4dc5ec96
authorSven Verdoolaege <skimo@kotnet.org>
Sat, 8 Feb 2014 13:31:30 +0000 (8 14:31 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Sun, 2 Mar 2014 19:02:25 +0000 (2 20:02 +0100)
treeda94d96cce46be31bc06b47b433e20b3ae3610a5
parentfac322b834bde76b8456e1379865b593c3bed5d8
isl_printer: add indent_prefix

The printer "prefix" is documented to be printed after the indentation.
Sometimes, a prefix should be printed before the indentation.
Introduce a new indent_prefix for this purpose.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
doc/user.pod
include/isl/printer.h
isl_printer.c
isl_printer_private.h