13 all_ascii(const uint8_t *p, size_t n)
15 for (size_t i = 0; i < n; i++)
16 if (p[i] < 32 || p[i] > 126)
22 find(const char *target, size_t target_len)
24 const uint8_t *pos = (const uint8_t *) memmem (data, n, target, target_len);
27 fprintf (stderr, "not found\n");
36 #define STR(x) XSTR(x)
37 #define WHERE __FILE__":" STR(__LINE__)
43 memcpy(&x, &data[pos], 4);
52 memcpy(&x, &data[pos], 8);
67 match_u32_assert(uint32_t x, const char *where)
69 unsigned int y = get_u32();
72 fprintf(stderr, "%s: 0x%x: expected i%u, got i%u\n", where, pos - 4, x, y);
76 #define match_u32_assert(x) match_u32_assert(x, WHERE)
91 match_byte_assert(uint8_t b, const char *where)
95 fprintf(stderr, "%s: 0x%x: expected %02x, got %02x\n", where, pos, b, data[pos]);
99 #define match_byte_assert(b) match_byte_assert(b, WHERE)
104 if (data[pos + 1] == 0 && data[pos + 2] == 0 && data[pos + 3] == 0
105 && all_ascii(&data[pos + 4], data[pos]))
108 char *s = malloc(len + 1);
110 memcpy(s, &data[pos + 4], len);
112 pos += 4 + data[pos];
117 fprintf(stderr, "0x%x: expected string\n", pos);
123 dump_category(int level)
125 for (int i = 0; i <= level; i++)
132 match_byte_assert (0x58);
134 printf("string \"%s\"", get_string());
135 match_byte_assert (1);
141 else if (match_byte (5))
143 match_byte_assert (0x58);
144 printf ("variable \"%s\"", get_string());
147 match_byte_assert (2);
152 else if (match_byte (2))
158 match_byte_assert (0x58);
160 value = get_double ();
162 vallab = get_string ();
163 printf ("value %g format %d(%d.%d) var \"%s\" vallab \"%s\"",
164 value, format >> 16, (format >> 8) & 0xff, format & 0xff, var, vallab);
166 match_u32_assert (2);
173 match_byte_assert (1);
174 match_byte_assert (0x58);
176 value = get_double ();
177 printf ("value %g format %d(%d.%d)", value, format >> 16, (format >> 8) & 0xff, format & 0xff);
187 else if (match_u32 (1))
196 match_u32_assert (0);
199 int n_categories = get_u32();
200 if (n_categories > 0)
201 printf (", %d subcategories:", n_categories);
203 for (int i = 0; i < n_categories; i++)
204 dump_category (level + 1);
214 match_byte_assert(0x58);
216 printf("string \"%s\": ", get_string());
217 match_byte_assert(1);
219 else if (match_byte(5))
221 match_byte_assert(0x58);
222 printf("variable \"%s\": ", get_string());
225 match_byte_assert(3);
229 fprintf(stderr, "%08x: unexpected byte\n", pos);
233 match_byte_assert(0);
234 if (!match_byte(0) && !match_byte(1))
235 match_byte_assert(2);
238 match_byte_assert(1);
248 n_categories = get_u32();
249 printf("%d nested categories\n", n_categories);
250 for (int i = 0; i < n_categories; i++)
257 int n_dims = get_u32();
259 printf ("%u dimensions\n", n_dims);
260 for (int i = 0; i < n_dims; i++)
268 main(int argc, char *argv[])
273 if (isatty(STDIN_FILENO))
275 fprintf(stderr, "redirect stdin from a .bin file\n");
278 if (fstat(STDIN_FILENO, &s))
290 if (read(STDIN_FILENO, data, n) != n)
298 if (!strcmp(argv[1], "title"))
300 const char fonts[] = "\x01\x31\x09\0\0\0SansSerif";
302 n = find(fonts, sizeof fonts - 1);
304 else if (!strcmp(argv[1], "fonts"))
306 const char fonts[] = "\x01\x31\x09\0\0\0SansSerif";
307 const char styles[] = "\xf0\0\0\0";
308 start = find(fonts, sizeof fonts - 1);
309 n = find(styles, sizeof styles - 1);
311 else if (!strcmp(argv[1], "styles"))
313 const char styles[] = "\xf0\0\0\0";
314 const char dimensions[] = "-,,,.\0";
315 start = find(styles, sizeof styles - 1);
316 n = find(dimensions, sizeof dimensions - 1) + sizeof dimensions - 1;
318 else if (!strcmp(argv[1], "dimensions"))
320 const char dimensions[] = "-,,,.\0";
321 start = find(dimensions, sizeof dimensions - 1) + sizeof dimensions - 1;
328 fprintf (stderr, "unknown section %s\n", argv[1]);
335 for (size_t i = start; i < n; )
342 && i + 4 + data[i] <= n
343 && all_ascii(&data[i + 4], data[i]))
345 fputs("\n\"", stdout);
346 fwrite(&data[i + 4], 1, data[i], stdout);
347 fputs("\" ", stdout);
358 memcpy (&d, &data[i + 4], 8);
359 printf ("F40.%d(%.*f)\n", data[i], data[i], d);
369 memcpy (&d, &data[i + 4], 8);
370 printf ("PCT40.%d(%.*f)\n", data[i], data[i], d);
374 && (data[i] && data[i] != 88 && data[i] != 0x41)
379 printf ("i%d ", data[i]);
384 printf("%02x ", data[i]);