}
#define match_byte_assert(b) match_byte_assert(b, WHERE)
+static void
+dump_raw(FILE *stream, int start, int end, const char *separator)
+{
+ for (size_t i = start; i < end; )
+ {
+ if (i + 5 <= n
+ && data[i]
+ //&& !data[i + 1]
+ && !data[i + 2]
+ && !data[i + 3]
+ && i + 4 + data[i] + data[i + 1] * 256 <= end
+ && all_ascii(&data[i + 4], data[i] + data[i + 1] * 256))
+ {
+ fprintf(stream, "%s\"", separator);
+ fwrite(&data[i + 4], 1, data[i] + data[i + 1] * 256, stream);
+ fputs("\" ", stream);
+
+ i += 4 + data[i] + data[i + 1] * 256;
+ }
+ else if (i + 12 <= end
+ && data[i + 1] == 40
+ && data[i + 2] == 5
+ && data[i + 3] == 0)
+ {
+ double d;
+
+ memcpy (&d, &data[i + 4], 8);
+ fprintf (stream, "F40.%d(%.*f)%s", data[i], data[i], d, separator);
+ i += 12;
+ }
+ else if (i + 12 <= end
+ && data[i + 1] == 40
+ && data[i + 2] == 31
+ && data[i + 3] == 0)
+ {
+ double d;
+
+ memcpy (&d, &data[i + 4], 8);
+ fprintf (stream, "PCT40.%d(%.*f)%s", data[i], data[i], d, separator);
+ i += 12;
+ }
+ else if (i + 4 <= end
+ && (data[i] && data[i] != 88 && data[i] != 0x41)
+ && !data[i + 1]
+ && !data[i + 2]
+ && !data[i + 3])
+ {
+ fprintf (stream, "i%d ", data[i]);
+ i += 4;
+ }
+ else
+ {
+ fprintf(stream, "%02x ", data[i]);
+ i++;
+ }
+ }
+
+
+}
+
static char *
get_string(const char *where)
{
}
#define get_string() get_string(WHERE)
+static void
+dump_nested(void)
+{
+ int subn = get_u32 ();
+ fprintf (stderr, "nested %d bytes: ", subn);
+ dump_raw(stderr, pos, pos + subn, "");
+ putc('\n', stderr);
+ pos += subn;
+}
+
static void
dump_value_31(void)
{
get_string();
else
match_u32_assert (0);
- int subn = get_u32 ();
- printf ("nested %d bytes", subn);
- pos += subn;
+ dump_nested();
}
else if (match_u32 (1))
{
printf("(footnote %d) ", get_u32());
match_byte_assert (0);
match_byte_assert (0);
- int subn = get_u32 ();
- printf ("nested %d bytes", subn);
- pos += subn;
+ dump_nested();
}
else if (match_u32 (2))
{
match_u32_assert(1);
match_byte_assert(0);
match_byte_assert(0);
- int subn = get_u32 ();
- printf ("nested %d bytes", subn);
- pos += subn;
+ dump_nested();
}
else
{
match_byte_assert(0);
match_byte_assert(1);
match_byte_assert(0);
- int subn = get_u32 ();
- printf ("nested %d bytes, ", subn);
- pos += subn;
- subn = get_u32 ();
- printf ("nested %d bytes, ", subn);
- pos += subn;
+ dump_nested();
+ dump_nested();
}
}
else
}
static void
-dump_value(int level)
+dump_value__(int level, bool match1)
{
for (int i = 0; i <= level; i++)
printf (" ");
- match_byte (0);
- match_byte (0);
- match_byte (0);
- match_byte (0);
+ match_byte(0);
+ match_byte(0);
+ match_byte(0);
+ match_byte(0);
+
if (match_byte (3))
{
char *s1 = get_string();
printf("strings \"%s\", \"%s\" and \"%s\"", s1, s2, s3);
else
printf("string \"%s\" and \"%s\"", s1, s2);
- match_byte (0);
- match_byte (1);
- match_byte (1);
- match_byte (0);
- match_byte (0);
- match_byte (0);
+ if (!match_byte (0))
+ match_byte_assert(1);
+ if (match1)
+ match_byte (1);
}
else if (match_byte (5))
{
get_string();
if (!match_byte(1) && !match_byte(2))
match_byte_assert(3);
- match_byte (0);
- match_byte (0);
- match_byte (0);
}
else if (match_byte (2))
{
value, format >> 16, (format >> 8) & 0xff, format & 0xff, var, vallab);
if (!match_byte (1) && !match_byte(2))
match_byte_assert (3);
- match_byte (0);
- match_byte (0);
- match_byte (0);
}
else if (match_byte (4))
{
value = get_string ();
printf ("value \"%s\" format %d(%d.%d) var \"%s\" vallab \"%s\"",
value, format >> 16, (format >> 8) & 0xff, format & 0xff, var, vallab);
- match_byte (0);
- match_byte (0);
- match_byte (0);
}
else if (match_byte (1))
{
format = get_u32 ();
value = get_double ();
printf ("value %g format %d(%d.%d)", value, format >> 16, (format >> 8) & 0xff, format & 0xff);
- match_byte (1);
- match_byte (0);
- match_byte (0);
- match_byte (0);
+ if (match1)
+ match_byte (1);
}
else
{
dump_value_31();
- char *base = get_string();
+ char *base = get_string();
int x = get_u32();
printf ("\"%s\" with %d variables:\n", base, x);
- if (match_u32(0))
+ for (int i = 0; i < x; i++)
{
- for (int i = 0; i < x; i++)
+ int y = get_u32();
+ if (!y)
+ y = 1;
+ else
+ match_u32_assert(0);
+ for (int j = 0; j <= level; j++)
+ printf (" ");
+ printf("variable %d has %d values:\n", i, y);
+ for (int j = 0; j < y; j++)
{
- dump_value (level+1);
+ dump_value__ (level + 1, false);
putchar('\n');
}
}
- else
- {
- for (int i = 0; i < x; i++)
- {
- int y = get_u32();
- match_u32_assert(0);
- for (int j = 0; j <= level; j++)
- printf (" ");
- printf("variable %d has %d values:\n", i, y);
- for (int j = 0; j < y; j++)
- {
- if (match_byte(3))
- {
- char *a = get_string();
- match_byte_assert(0x58);
- char *b = get_string();
- char *c = get_string();
- for (int k = 0; k <= level + 1; k++)
- printf (" ");
- printf ("\"%s\", \"%s\", \"%s\"", a, b, c);
- match_byte(0);
- match_byte(0);
- match_byte(0);
- match_byte(0);
- match_byte(0);
- }
- else
- dump_value (level+1);
- putchar('\n');
- }
- }
- }
}
}
-static void
-dump_dim_value(int level)
+static int
+compare_int(const void *a_, const void *b_)
{
- for (int i = 0; i <= level; i++)
- printf (" ");
-
- if (match_byte (3))
- {
- get_string();
- dump_value_31();
- get_string();
- printf("string \"%s\"", get_string());
- match_byte (0);
- match_byte (1);
- }
- else if (match_byte (5))
- {
- match_byte_assert (0x58);
- printf ("variable \"%s\"", get_string());
- get_string();
- if (!match_byte (2))
- match_byte_assert(3);
- }
- else if (match_byte (2))
- {
- unsigned int format;
- char *var, *vallab;
- double value;
-
- match_byte_assert (0x58);
- format = get_u32 ();
- value = get_double ();
- var = get_string ();
- vallab = get_string ();
- printf ("value %g format %d(%d.%d) var \"%s\" vallab \"%s\"",
- value, format >> 16, (format >> 8) & 0xff, format & 0xff, var, vallab);
- if (!match_u32 (3))
- match_u32_assert (2);
- match_byte (0);
- }
- else if (match_byte (1))
- {
- unsigned int format;
- double value;
-
- match_byte_assert (0x58);
- format = get_u32 ();
- value = get_double ();
- printf ("value %g format %d(%d.%d)", value, format >> 16, (format >> 8) & 0xff, format & 0xff);
- match_byte (1);
- match_byte (0);
- match_byte (0);
- match_byte (0);
- match_byte (1);
- }
- else
- {
- match_byte (0);
- dump_value_31();
- printf ("; \"%s\", substitutions:", get_string());
- int total_subs = get_u32();
- int x = get_u32();
- if (x)
- {
- total_subs = (total_subs - 1) + x;
- match_u32_assert (0);
- }
- printf (" (total %d)", total_subs);
+ const int *a = a_;
+ const int *b = b_;
+ return *a < *b ? -1 : *a > *b;
+}
- for (int i = 0; i < total_subs; i++)
- {
- putc ('\n', stdout);
- dump_value (level + 1);
- }
- }
+static void
+check_permutation(int *a, int n, const char *name)
+{
+ int b[n];
+ memcpy(b, a, n * sizeof *a);
+ qsort(b, n, sizeof *b, compare_int);
+ for (int i = 0; i < n; i++)
+ if (b[i] != i)
+ {
+ fprintf(stderr, "bad %s permutation:", name);
+ for (int i = 0; i < n; i++)
+ fprintf(stderr, " %d", a[i]);
+ putc('\n', stderr);
+ exit(1);
+ }
}
static void
-dump_category(int level)
+dump_category(int level, int *indexes, int *n_indexes)
{
- match_byte (0);
- match_byte (0);
- match_byte (0);
- match_byte (0);
- dump_value (level);
+ dump_value__ (level, true);
+ match_byte(0);
+ match_byte(0);
+ match_byte(0);
- if (match_u32 (2))
- get_u32 ();
- else if (match_u32 (1))
- {
- match_byte (0);
- match_byte (0);
- match_byte (0);
- get_u32 ();
- }
+ if (match_u32 (1))
+ match_byte (0);
else if (match_byte (1))
{
match_byte (0);
if (!match_u32 (2))
match_u32_assert (1);
match_byte (0);
- get_u32();
- }
- else
- {
- match_u32_assert (0);
- get_u32 ();
}
+ else if (!match_u32(2))
+ match_u32_assert (0);
+ int indx = get_u32();
int n_categories = get_u32();
+ if (indx != -1)
+ {
+ if (n_categories != 0)
+ {
+ fprintf(stderr, "index not -1 but subcategories\n");
+ exit(1);
+ }
+ indexes[(*n_indexes)++] = indx;
+ }
if (n_categories > 0)
printf (", %d subcategories:", n_categories);
+ else
+ printf (", index %d", indx);
printf("\n");
for (int i = 0; i < n_categories; i++)
- dump_category (level + 1);
+ dump_category (level + 1, indexes, n_indexes);
}
static void
{
int n_categories;
printf("next dim\n");
- match_byte(0);
- dump_dim_value(0);
+ dump_value__ (0, false);
/* This byte is usually 0x02 but 0x00 and 0x75 (!) have also been spotted. */
pos++;
match_u32_assert(2);
if (!match_byte(0))
match_byte_assert(1);
- match_byte(0);
- match_byte(0);
- match_byte(0);
- match_byte(0);
- get_u32();
- match_byte(0);
- match_byte(0);
- match_byte(0);
- match_byte(0);
+ if (!match_byte(0))
+ match_byte_assert(1);
+ match_byte_assert(1);
+ static int dim_indx = 0;
+ match_u32_assert(dim_indx++);
n_categories = get_u32();
printf("%d nested categories\n", n_categories);
+
+ int indexes[1024];
+ int n_indexes = 0;
for (int i = 0; i < n_categories; i++)
- dump_category (0);
+ dump_category (0, indexes, &n_indexes);
+ check_permutation(indexes, n_indexes, "categories");
}
int n_dims;
}
}
-static void
-dump_data_value(void)
-{
- match_byte(0);
- match_byte(0);
- match_byte(0);
- match_byte(0);
- if (match_byte (1))
- {
- unsigned int format;
- double value;
-
- dump_value_31();
- format = get_u32 ();
- value = get_double ();
- printf (" value %g format %d(%d.%d)", value, format >> 16, (format >> 8) & 0xff, format & 0xff);
- }
- else if (match_byte (3))
- {
- get_string();
- dump_value_31();
- get_string();
- printf("string \"%s\"", get_string());
- match_byte (0);
- }
- else if (match_byte (2))
- {
- unsigned int format;
- char *var, *vallab;
- double value;
-
- match_byte_assert (0x58);
- format = get_u32 ();
- value = get_double ();
- var = get_string ();
- vallab = get_string ();
- printf ("value %g format %d(%d.%d) var \"%s\" vallab \"%s\"",
- value, format >> 16, (format >> 8) & 0xff, format & 0xff, var, vallab);
- if (!match_byte (1) && !match_byte(2))
- match_byte_assert (3);
- }
- else if (match_byte (4))
- {
- unsigned int format;
- char *var, *vallab, *value;
-
- match_byte_assert (0x58);
- format = get_u32 ();
- vallab = get_string ();
- var = get_string ();
- if (!match_byte(1) && !match_byte(2))
- match_byte_assert (3);
- value = get_string ();
- printf ("value \"%s\" format %d(%d.%d) var \"%s\" vallab \"%s\"",
- value, format >> 16, (format >> 8) & 0xff, format & 0xff, var, vallab);
- }
- else if (match_byte (5))
- {
- match_byte_assert (0x58);
- printf ("variable \"%s\"", get_string());
- get_string();
- if (!match_byte(1) && !match_byte(2))
- match_byte_assert(3);
- match_byte (0);
- match_byte (0);
- match_byte (0);
- match_byte (0);
- }
- else
- {
- dump_value_31();
- char *base = get_string();
- int x = get_u32();
- printf ("\"%s\"; %d variables:\n", base, x);
- for (int i = 0; i < x; i++)
- {
- int y = get_u32();
- if (!y)
- y = 1;
- else
- match_u32_assert(0);
- for (int j = 0; j <= 0; j++)
- printf (" ");
- printf("variable %d has %d values:\n", i, y);
- for (int j = 0; j < y; j++)
- dump_data_value();
- }
- }
-}
-
static void
dump_data(void)
{
-#if 1
- int a[16];
- for (int i = 0; i < 3 + n_dims; i++)
+ /* The first three numbers add to the number of dimensions. */
+ int t = get_u32();
+ t += get_u32();
+ match_u32_assert(n_dims - t);
+
+ /* The next n_dims numbers are a permutation of the dimension numbers. */
+ int a[n_dims];
+ for (int i = 0; i < n_dims; i++)
a[i] = get_u32();
- printf ("data intro:");
- for (int i = 0; i < 3 + n_dims; i++)
- printf(" %d", a[i]);
- printf("\n");
-#else
- fprintf (stderr,"data intro (%d dims):", n_dims);
- for (int i = 0; i < 3+n_dims; i++)
- fprintf (stderr," %d", get_u32());
- fprintf(stderr,"\n");
-#endif
+ check_permutation(a, n_dims, "dimensions");
+
int x = get_u32();
printf ("%d data values, starting at %08x\n", x, pos);
for (int i = 0; i < x; i++)
{
printf("%08x, index %d:\n", pos, get_u32());
match_u32_assert(0);
- dump_data_value();
+ dump_value__(0, false);
putchar('\n');
}
}
-static void
-dump_title_value(int level)
-{
- for (int i = 0; i <= level; i++)
- printf (" ");
-
- match_byte (0);
- match_byte (0);
- match_byte (0);
- match_byte (0);
- if (match_byte (3))
- {
- get_string();
- dump_value_31();
- get_string();
- printf("string \"%s\"", get_string());
- match_byte (0);
- match_byte (1);
- match_byte (1);
- match_byte (0);
- match_byte (0);
- match_byte (0);
- }
- else if (match_byte (5))
- {
- dump_value_31();
- printf ("variable \"%s\"", get_string());
- get_string();
- if (!match_byte(1) && !match_byte(2))
- match_byte_assert(3);
- }
- else if (match_byte (2))
- {
- unsigned int format;
- char *var, *vallab;
- double value;
-
- match_byte_assert (0x58);
- format = get_u32 ();
- value = get_double ();
- var = get_string ();
- vallab = get_string ();
- printf ("value %g format %d(%d.%d) var \"%s\" vallab \"%s\"",
- value, format >> 16, (format >> 8) & 0xff, format & 0xff, var, vallab);
- if (!match_byte (1) && !match_byte(2))
- match_byte_assert (3);
- match_byte (0);
- match_byte (0);
- match_byte (0);
- }
- else if (match_byte (4))
- {
- unsigned int format;
- char *var, *vallab, *value;
-
- match_byte_assert (0x58);
- format = get_u32 ();
- vallab = get_string ();
- var = get_string ();
- if (!match_byte(1) && !match_byte(2))
- match_byte_assert (3);
- value = get_string ();
- printf ("value \"%s\" format %d(%d.%d) var \"%s\" vallab \"%s\"",
- value, format >> 16, (format >> 8) & 0xff, format & 0xff, var, vallab);
- match_byte (0);
- match_byte (0);
- match_byte (0);
- }
- else if (match_byte (1))
- {
- unsigned int format;
- double value;
-
- dump_value_31();
- format = get_u32 ();
- value = get_double ();
- printf ("value %g format %d(%d.%d)", value, format >> 16, (format >> 8) & 0xff, format & 0xff);
- match_byte (1);
- match_byte (0);
- match_byte (0);
- match_byte (0);
- }
- else
- {
- dump_value_31();
-
- char *base = get_string();
- int x = get_u32();
- printf ("\"%s\" with %d variables:\n", base, x);
- for (int i = 0; i < x; i++)
- {
- int y = get_u32();
- if (!y)
- y = 1;
- else
- match_u32_assert(0);
- for (int j = 0; j <= level; j++)
- printf (" ");
- printf("variable %d has %d values:\n", i, y);
- for (int j = 0; j < y; j++)
- {
- match_byte(0);
- if (match_byte(3))
- {
- char *a = get_string();
- match_byte_assert(0x58);
- char *b = get_string();
- char *c = get_string();
- for (int k = 0; k <= level + 1; k++)
- printf (" ");
- printf ("\"%s\", \"%s\", \"%s\"", a, b, c);
- }
- else
- dump_title_value (level+1);
- putchar('\n');
- }
- }
- }
-}
-
-static void
-dump_footnote_value(int level)
-{
- for (int i = 0; i <= level; i++)
- printf (" ");
-
- match_byte (0);
- match_byte (0);
- match_byte (0);
- match_byte (0);
- if (match_byte (3))
- {
- get_string();
- dump_value_31();
- get_string();
- printf("string \"%s\"", get_string());
- if (!match_byte (0))
- match_byte_assert (1);
- }
- else if (match_byte (5))
- {
- match_byte_assert (0x58);
- printf ("variable \"%s\"", get_string());
- get_string();
- if (!match_byte(1) && !match_byte(2))
- match_byte_assert(3);
- }
- else if (match_byte (2))
- {
- unsigned int format;
- char *var, *vallab;
- double value;
-
- match_byte_assert (0x58);
- format = get_u32 ();
- value = get_double ();
- var = get_string ();
- vallab = get_string ();
- printf ("value %g format %d(%d.%d) var \"%s\" vallab \"%s\"",
- value, format >> 16, (format >> 8) & 0xff, format & 0xff, var, vallab);
- if (!match_byte (1) && !match_byte(2))
- match_byte_assert (3);
- match_byte (0);
- match_byte (0);
- match_byte (0);
- match_byte (0);
- match_byte (0);
- match_byte (0);
- match_byte (0);
- }
- else if (match_byte (4))
- {
- unsigned int format;
- char *var, *vallab, *value;
-
- match_byte_assert (0x58);
- format = get_u32 ();
- vallab = get_string ();
- var = get_string ();
- if (!match_byte(1) && !match_byte(2))
- match_byte_assert (3);
- value = get_string ();
- printf ("value \"%s\" format %d(%d.%d) var \"%s\" vallab \"%s\"",
- value, format >> 16, (format >> 8) & 0xff, format & 0xff, var, vallab);
- match_byte (0);
- match_byte (0);
- match_byte (0);
- match_byte (0);
- }
- else if (match_byte (1))
- {
- unsigned int format;
- double value;
-
- dump_value_31();
- format = get_u32 ();
- value = get_double ();
- printf ("value %g format %d(%d.%d)", value, format >> 16, (format >> 8) & 0xff, format & 0xff);
- }
- else
- {
- dump_value_31();
- char *base = get_string();
- int x = get_u32();
- printf ("\"%s\"; %d variables:\n", base, x);
- for (int i = 0; i < x; i++)
- {
- int y = get_u32();
- if (!y)
- y = 1;
- else
- match_u32_assert(0);
- for (int j = 0; j <= level; j++)
- printf (" ");
- printf("variable %d has %d values:\n", i, y);
- for (int j = 0; j < y; j++)
- {
- if (match_byte(3))
- {
- char *a = get_string();
- match_byte_assert(0x58);
- char *b = get_string();
- char *c = get_string();
- for (int k = 0; k <= level + 1; k++)
- printf (" ");
- printf ("\"%s\", \"%s\", \"%s\"", a, b, c);
- if (!match_byte(1))
- match_byte_assert(0);
- }
- else
- dump_footnote_value (level+1);
- putchar('\n');
- }
- }
- }
-}
-
static void
dump_title(void)
{
pos = 0x27;
- dump_title_value(0); putchar('\n');
- dump_title_value(0); putchar('\n');
+ dump_value__(0, true); putchar('\n');
+ dump_value__(0, true); putchar('\n');
match_byte_assert(0x31);
- dump_title_value(0); putchar('\n');
+ dump_value__(0, true); putchar('\n');
match_byte(0);
match_byte_assert(0x58);
if (match_byte(0x31))
{
- dump_footnote_value(0); putchar('\n');
+ dump_value__(0, false); putchar('\n');
}
else
match_byte_assert(0x58);
for (int i = 0; i < n_footnotes; i++)
{
printf("footnote %d:\n", i);
- dump_footnote_value(0);
- match_byte(0);
- match_byte(0);
- match_byte(0);
- match_byte(0);
+ dump_value__(0, false);
if (match_byte (0x31))
{
/* Custom footnote marker string. */
dump_dims ();
printf("\n\ndata:\n");
dump_data ();
- if (pos == n - 1)
- match_byte_assert (1);
+ match_byte (1);
if (pos != n)
{
fprintf (stderr, "%x / %x\n", pos, n);
else
start = 0x27;
- for (size_t i = start; i < n; )
- {
- if (i + 5 <= n
- && data[i]
- //&& !data[i + 1]
- && !data[i + 2]
- && !data[i + 3]
- && i + 4 + data[i] + data[i + 1] * 256 <= n
- && all_ascii(&data[i + 4], data[i] + data[i + 1] * 256))
- {
- fputs("\n\"", stdout);
- fwrite(&data[i + 4], 1, data[i] + data[i + 1] * 256, stdout);
- fputs("\" ", stdout);
-
- i += 4 + data[i] + data[i + 1] * 256;
- }
- else if (i + 12 <= n
- && data[i + 1] == 40
- && data[i + 2] == 5
- && data[i + 3] == 0)
- {
- double d;
-
- memcpy (&d, &data[i + 4], 8);
- printf ("F40.%d(%.*f)\n", data[i], data[i], d);
- i += 12;
- }
- else if (i + 12 <= n
- && data[i + 1] == 40
- && data[i + 2] == 31
- && data[i + 3] == 0)
- {
- double d;
-
- memcpy (&d, &data[i + 4], 8);
- printf ("PCT40.%d(%.*f)\n", data[i], data[i], d);
- i += 12;
- }
- else if (i + 4 <= n
- && (data[i] && data[i] != 88 && data[i] != 0x41)
- && !data[i + 1]
- && !data[i + 2]
- && !data[i + 3])
- {
- printf ("i%d ", data[i]);
- i += 4;
- }
- else
- {
- printf("%02x ", data[i]);
- i++;
- }
- }
+ dump_raw(stdout, start, n, "\n");
return 0;
}