From 2afb4fedba0d1cab7e237d403570eacfa283759d Mon Sep 17 00:00:00 2001 From: Andreas Kloeckner Date: Sun, 10 Jul 2011 12:30:21 -0400 Subject: [PATCH] Add isl_printer_get_ctx() Signed-off-by: Andreas Kloeckner Signed-off-by: Sven Verdoolaege --- include/isl/printer.h | 2 ++ isl_printer.c | 5 +++++ 2 files changed, 7 insertions(+) diff --git a/include/isl/printer.h b/include/isl/printer.h index 35df17d1..da2f0439 100644 --- a/include/isl/printer.h +++ b/include/isl/printer.h @@ -15,6 +15,8 @@ __isl_give isl_printer *isl_printer_to_file(isl_ctx *ctx, FILE *file); __isl_give isl_printer *isl_printer_to_str(isl_ctx *ctx); void isl_printer_free(__isl_take isl_printer *printer); +isl_ctx *isl_printer_get_ctx(__isl_keep isl_printer *printer); + __isl_give char *isl_printer_get_str(__isl_keep isl_printer *printer); __isl_give isl_printer *isl_printer_set_indent(__isl_take isl_printer *p, diff --git a/isl_printer.c b/isl_printer.c index 15da2094..fe8fab98 100644 --- a/isl_printer.c +++ b/isl_printer.c @@ -235,6 +235,11 @@ void isl_printer_free(__isl_take isl_printer *p) 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) { -- 2.11.4.GIT