From 28bce1cdc01bff7a2caf1f30152b99827b907576 Mon Sep 17 00:00:00 2001 From: "kr.angelov" Date: Sat, 21 Jan 2012 10:27:55 +0000 Subject: added an API for printing the PGF to human readable format --- src/runtime/c/pgf/expr.h | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) (limited to 'src/runtime/c/pgf/expr.h') diff --git a/src/runtime/c/pgf/expr.h b/src/runtime/c/pgf/expr.h index 7ecca30bd..65e2d66a9 100644 --- a/src/runtime/c/pgf/expr.h +++ b/src/runtime/c/pgf/expr.h @@ -147,6 +147,12 @@ PgfExpr pgf_read_expr(GuReader* rdr, GuPool* pool, GuExn* err); void -pgf_expr_print(PgfExpr expr, GuWriter* wtr, GuExn* err); +pgf_print_expr(PgfExpr expr, int prec, GuWriter* wtr, GuExn* err); + +void +pgf_print_hypo(PgfHypo *hypo, int prec, GuWriter *wtr, GuExn *err); + +void +pgf_print_type(PgfType *type, int prec, GuWriter *wtr, GuExn *err); #endif /* EXPR_H_ */ -- cgit v1.2.3