| 228 | } |
| 229 | |
| 230 | txSlot* fxGetKey(txMachine* the, txID theID) |
| 231 | { |
| 232 | txSlot* key; |
| 233 | mxCheck(the, 0 < theID); |
| 234 | mxCheck(the, theID < the->keyIndex); |
| 235 | if (theID < the->keyOffset) |
| 236 | key = the->keyArrayHost[theID]; |
| 237 | else |
| 238 | key = the->keyArray[theID - the->keyOffset]; |
| 239 | mxCheck(the, key->kind != XS_UNDEFINED_KIND); |
| 240 | return key; |
| 241 | } |
| 242 | |
| 243 | char* fxGetKeyName(txMachine* the, txID theID) |
| 244 | { |
no outgoing calls
no test coverage detected