| 374 | } |
| 375 | |
| 376 | void fxPrintID(txMachine* the, FILE* file, txID id) |
| 377 | { |
| 378 | if (id != XS_NO_ID) { |
| 379 | txBoolean adorn; |
| 380 | txString string = fxGetKeyString(the, id, &adorn); |
| 381 | if (adorn) |
| 382 | fprintf(file, "["); |
| 383 | fxPrintString(the, file, string); |
| 384 | if (adorn) |
| 385 | fprintf(file, "]"); |
| 386 | } |
| 387 | else |
| 388 | fprintf(file, "?"); |
| 389 | } |
| 390 | |
| 391 | void fxPrintProfiler(txMachine* the, void* stream) |
| 392 | { |
no test coverage detected