Chris@10
|
1 /*
|
Chris@10
|
2 * Copyright (c) 2003, 2007-11 Matteo Frigo
|
Chris@10
|
3 * Copyright (c) 2003, 2007-11 Massachusetts Institute of Technology
|
Chris@10
|
4 *
|
Chris@10
|
5 * This program is free software; you can redistribute it and/or modify
|
Chris@10
|
6 * it under the terms of the GNU General Public License as published by
|
Chris@10
|
7 * the Free Software Foundation; either version 2 of the License, or
|
Chris@10
|
8 * (at your option) any later version.
|
Chris@10
|
9 *
|
Chris@10
|
10 * This program is distributed in the hope that it will be useful,
|
Chris@10
|
11 * but WITHOUT ANY WARRANTY; without even the implied warranty of
|
Chris@10
|
12 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
Chris@10
|
13 * GNU General Public License for more details.
|
Chris@10
|
14 *
|
Chris@10
|
15 * You should have received a copy of the GNU General Public License
|
Chris@10
|
16 * along with this program; if not, write to the Free Software
|
Chris@10
|
17 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
|
Chris@10
|
18 *
|
Chris@10
|
19 */
|
Chris@10
|
20
|
Chris@10
|
21 #include "api.h"
|
Chris@10
|
22
|
Chris@10
|
23 typedef struct {
|
Chris@10
|
24 printer super;
|
Chris@10
|
25 int *cnt;
|
Chris@10
|
26 } P_cnt;
|
Chris@10
|
27
|
Chris@10
|
28 static void putchr_cnt(printer * p_, char c)
|
Chris@10
|
29 {
|
Chris@10
|
30 P_cnt *p = (P_cnt *) p_;
|
Chris@10
|
31 UNUSED(c);
|
Chris@10
|
32 ++*p->cnt;
|
Chris@10
|
33 }
|
Chris@10
|
34
|
Chris@10
|
35 static printer *mkprinter_cnt(int *cnt)
|
Chris@10
|
36 {
|
Chris@10
|
37 P_cnt *p = (P_cnt *) X(mkprinter)(sizeof(P_cnt), putchr_cnt, 0);
|
Chris@10
|
38 p->cnt = cnt;
|
Chris@10
|
39 *cnt = 0;
|
Chris@10
|
40 return &p->super;
|
Chris@10
|
41 }
|
Chris@10
|
42
|
Chris@10
|
43 typedef struct {
|
Chris@10
|
44 printer super;
|
Chris@10
|
45 char *s;
|
Chris@10
|
46 } P_str;
|
Chris@10
|
47
|
Chris@10
|
48 static void putchr_str(printer * p_, char c)
|
Chris@10
|
49 {
|
Chris@10
|
50 P_str *p = (P_str *) p_;
|
Chris@10
|
51 *p->s++ = c;
|
Chris@10
|
52 *p->s = 0;
|
Chris@10
|
53 }
|
Chris@10
|
54
|
Chris@10
|
55 static printer *mkprinter_str(char *s)
|
Chris@10
|
56 {
|
Chris@10
|
57 P_str *p = (P_str *) X(mkprinter)(sizeof(P_str), putchr_str, 0);
|
Chris@10
|
58 p->s = s;
|
Chris@10
|
59 *s = 0;
|
Chris@10
|
60 return &p->super;
|
Chris@10
|
61 }
|
Chris@10
|
62
|
Chris@10
|
63 char *X(export_wisdom_to_string)(void)
|
Chris@10
|
64 {
|
Chris@10
|
65 printer *p;
|
Chris@10
|
66 planner *plnr = X(the_planner)();
|
Chris@10
|
67 int cnt;
|
Chris@10
|
68 char *s;
|
Chris@10
|
69
|
Chris@10
|
70 p = mkprinter_cnt(&cnt);
|
Chris@10
|
71 plnr->adt->exprt(plnr, p);
|
Chris@10
|
72 X(printer_destroy)(p);
|
Chris@10
|
73
|
Chris@10
|
74 s = (char *) malloc(sizeof(char) * (cnt + 1));
|
Chris@10
|
75 if (s) {
|
Chris@10
|
76 p = mkprinter_str(s);
|
Chris@10
|
77 plnr->adt->exprt(plnr, p);
|
Chris@10
|
78 X(printer_destroy)(p);
|
Chris@10
|
79 }
|
Chris@10
|
80
|
Chris@10
|
81 return s;
|
Chris@10
|
82 }
|