1 #include <iostream>
2 #include <fstream>
3 #include <string>
4 #include <stack>
6 #include <oberon.h>
7 #include <reader.h>
8 #include <store.h>
9 #include <textmodel.h>
10 #include <visitor.h>
12 // Character encoding conversions
13 #include <locale.h>
14 #include <iconv.h>
15 #include <errno.h>
16 #include <string.h>
23 };
30 }
33 }
34 };
49 }
50 }
56 }
57 }
58 };
72 }
74 }
79 }
82 }
85 }
88 }
91 }
98 }
109 }
114 }
116 }
118 /*
119 char *out = (char*)piece->getBuffer();
120 std::string str(out);
121 d_context.top()->addPiece(str);
122 */
123 //d_convLong = iconv_open(setlocale(LC_CTYPE, 0), "UCS-2");
129 }
140 }
145 }
147 }
148 };
159 }
162 }
164 }
165 }
170 }
172 // Set the locale according to the terminal's environment
186 }
187 // std::cout << s->toPlainText() << std::endl;
188 // std::cout << std::endl << std::endl;
196 }
197 // std::cout << s->toString() << std::endl;
198 // std::cout << in.tellg() << " " << in.eof() << std::endl;
200 // odc::TypePath path;
201 // odc::ContainerModel(0).getTypePath(&path);
202 // std::cout << path.toString() << std::endl;
204 }