| 332 | #endif |
| 333 | |
| 334 | static void fxTraceID(txMachine* the, txID id, txIndex index) |
| 335 | { |
| 336 | if (id) { |
| 337 | char* key = fxGetKeyName(the, id); |
| 338 | if (key) |
| 339 | fprintf(stderr, " [%s]", key); |
| 340 | else |
| 341 | fprintf(stderr, " [?]"); |
| 342 | } |
| 343 | else |
| 344 | fprintf(stderr, " [%d]", (int)index); |
| 345 | } |
| 346 | |
| 347 | static void fxTraceIndex(txMachine* the, txU2 theIndex) |
| 348 | { |
no test coverage detected