198 |
|
|
199 |
void statem::flush(FILE *fp, statem *compare) |
void statem::flush(FILE *fp, statem *compare) |
200 |
{ |
{ |
201 |
int_values[MTSM_FI].diff(fp, "html-tag:.fi", |
int_values[MTSM_FI].diff(fp, "devtag:.fi", |
202 |
compare->int_values[MTSM_FI]); |
compare->int_values[MTSM_FI]); |
203 |
int_values[MTSM_RJ].diff(fp, "html-tag:.rj", |
int_values[MTSM_RJ].diff(fp, "devtag:.rj", |
204 |
compare->int_values[MTSM_RJ]); |
compare->int_values[MTSM_RJ]); |
205 |
int_values[MTSM_SP].diff(fp, "html-tag:.sp", |
int_values[MTSM_SP].diff(fp, "devtag:.sp", |
206 |
compare->int_values[MTSM_SP]); |
compare->int_values[MTSM_SP]); |
207 |
units_values[MTSM_IN].diff(fp, "html-tag:.in", |
units_values[MTSM_IN].diff(fp, "devtag:.in", |
208 |
compare->units_values[MTSM_IN]); |
compare->units_values[MTSM_IN]); |
209 |
units_values[MTSM_LL].diff(fp, "html-tag:.ll", |
units_values[MTSM_LL].diff(fp, "devtag:.ll", |
210 |
compare->units_values[MTSM_LL]); |
compare->units_values[MTSM_LL]); |
211 |
units_values[MTSM_PO].diff(fp, "html-tag:.po", |
units_values[MTSM_PO].diff(fp, "devtag:.po", |
212 |
compare->units_values[MTSM_PO]); |
compare->units_values[MTSM_PO]); |
213 |
string_values[MTSM_TA].diff(fp, "html-tag:.ta", |
string_values[MTSM_TA].diff(fp, "devtag:.ta", |
214 |
compare->string_values[MTSM_TA]); |
compare->string_values[MTSM_TA]); |
215 |
units_values[MTSM_TI].diff(fp, "html-tag:.ti", |
units_values[MTSM_TI].diff(fp, "devtag:.ti", |
216 |
compare->units_values[MTSM_TI]); |
compare->units_values[MTSM_TI]); |
217 |
int_values[MTSM_CE].diff(fp, "html-tag:.ce", |
int_values[MTSM_CE].diff(fp, "devtag:.ce", |
218 |
compare->int_values[MTSM_CE]); |
compare->int_values[MTSM_CE]); |
219 |
bool_values[MTSM_EOL].diff(fp, "html-tag:.eol", |
bool_values[MTSM_EOL].diff(fp, "devtag:.eol", |
220 |
compare->bool_values[MTSM_EOL]); |
compare->bool_values[MTSM_EOL]); |
221 |
bool_values[MTSM_BR].diff(fp, "html-tag:.br", |
bool_values[MTSM_BR].diff(fp, "devtag:.br", |
222 |
compare->bool_values[MTSM_BR]); |
compare->bool_values[MTSM_BR]); |
223 |
if (debug_state) { |
if (debug_state) { |
224 |
fprintf(stderr, "compared state %d\n", compare->issue_no); |
fprintf(stderr, "compared state %d\n", compare->issue_no); |