}
static void
-dump_value(FILE *stream, int level, bool match1)
+dump_value(FILE *stream, int level)
{
match_byte(0);
match_byte(0);
fprintf (stream, "/>\n");
if (!match_byte (0))
match_byte_assert(1);
- if (match1)
- match_byte (1);
+
}
else if (match_byte (5))
{
value = get_double ();
fprintf (stream, "<number value=\"%.*g\" format=\"%s%d.%d\"/>\n",
DBL_DIG, value, format_to_string(format >> 16), (format >> 8) & 0xff, format & 0xff);
- if (match1)
- match_byte (1);
}
else
{
fprintf (stream, " ");
fprintf (stream, "<substitution index=\"%d\">\n", i + 1);
for (int j = 0; j < y; j++)
- dump_value (stream, level + 2, false);
+ dump_value (stream, level + 2);
for (int j = 0; j <= level + 1; j++)
fprintf (stream, " ");
fprintf (stream, "</substitution>\n");
for (int i = 0; i <= level; i++)
fprintf (stdout, " ");
printf ("<category>\n");
- dump_value (stdout, level + 1, true);
- match_byte(0);
- match_byte(0);
- match_byte(0);
+ dump_value (stdout, level + 1);
+ match_u32(1);
if (match_u32 (1))
match_byte (0);
int n_categories;
printf ("<dimension index=\"%d\">\n", indx);
- dump_value (stdout, 0, false);
+ dump_value (stdout, 0);
/* This byte is usually 0x02 but many other values have been spotted. */
pos++;
match_u32_assert(0);
if (version == 1)
match_byte(0);
- dump_value(stdout, 1, false);
+ dump_value(stdout, 1);
fprintf (stdout, " </datum>\n");
}
printf ("</data>\n");
{
pos = 0x27;
printf ("<title-local>\n");
- dump_value(stdout, 0, true);
+ dump_value(stdout, 0);
+ match_byte(1);
printf ("</title-local>\n");
printf ("<subtype>\n");
- dump_value(stdout, 0, true);
+ dump_value(stdout, 0);
+ match_byte(1);
printf ("</subtype>\n");
match_byte_assert(0x31);
printf ("<title-c>\n");
- dump_value(stdout, 0, true);
+ dump_value(stdout, 0);
+ match_byte(1);
printf ("</title-c>\n");
match_byte(0);
if (match_byte(0x31))
{
printf ("<caption>\n");
- dump_value(stdout, 0, false);
+ dump_value(stdout, 0);
printf ("</caption>\n");
}
else
for (int i = 0; i < n_footnotes; i++)
{
printf ("<footnote index=\"%d\">\n", i);
- dump_value(stdout, 0, false);
+ dump_value(stdout, 0);
if (match_byte (0x31))
{
/* Custom footnote marker string. */