| 2918 | } |
| 2919 | |
| 2920 | txID fxGenerateProfileID(void* console) |
| 2921 | { |
| 2922 | txMachine* the = console; |
| 2923 | txID id = the->profileID; |
| 2924 | the->profileID++; |
| 2925 | return id; |
| 2926 | } |
| 2927 | |
| 2928 | void fxGenerateTag(void* console, txString buffer, txInteger bufferSize, txString path) |
| 2929 | { |
no outgoing calls
no test coverage detected