msyds/gf-core
1
0
Fork 0
forked from GitHub/gf-core
Code Pull Requests Activity

libpgf: added printer.c

Browse Source
This commit is contained in:
kr.angelov
2012-02-17 14:11:29 +00:00
parent 21f657a64a
commit 4f8ad8c23f
2 changed files with 390 additions and 13 deletions
Download Patch File Download Diff File Expand all files Collapse all files

46
src/runtime/c/pgf/expr.c
View File

@@ -390,18 +390,38 @@ pgf_print_hypo(PgfHypo *hypo, int prec, GuWriter *wtr, GuExn *err)
void
pgf_print_type(PgfType *type, int prec, GuWriter *wtr, GuExn *err)
{
size_t len = gu_seq_length(type->hypos);
for (size_t i = 0; i < len; i++) {
PgfHypo *hypo = gu_seq_index(type->hypos, PgfHypo, i);
pgf_print_hypo(hypo, 1, wtr, err);
gu_puts(" -> ", wtr, err);
}
gu_string_write(type->cid, wtr, err);
size_t n_hypos = gu_seq_length(type->hypos);
for (int i = 0; i < type->n_exprs; i++) {
gu_puts(" ", wtr, err);
pgf_print_expr(type->exprs[i], 4, wtr, err);
}
if (n_hypos > 0) {
if (prec > 0) gu_putc('(', wtr, err);
for (size_t i = 0; i < n_hypos; i++) {
PgfHypo *hypo = gu_seq_index(type->hypos, PgfHypo, i);
pgf_print_hypo(hypo, 1, wtr, err);
gu_puts(" -> ", wtr, err);
}
gu_string_write(type->cid, wtr, err);
for (int i = 0; i < type->n_exprs; i++) {
gu_puts(" ", wtr, err);
pgf_print_expr(type->exprs[i], 4, wtr, err);
}
if (prec > 0) gu_putc(')', wtr, err);
} else if (type->n_exprs > 0) {
if (prec > 3) gu_putc('(', wtr, err);
gu_string_write(type->cid, wtr, err);
for (int i = 0; i < type->n_exprs; i++) {
gu_puts(" ", wtr, err);
pgf_print_expr(type->exprs[i], 4, wtr, err);
}
if (prec > 3) gu_putc(')', wtr, err);
} else {
gu_string_write(type->cid, wtr, err);
}
}