Go to the documentation of this file.
98 void init(
char *fileName,
bool _useConsole);
115 void printHeader(
string header);
125 void printThreadId(
int id);
135 void printSection(
string section);
145 void printMessage(
string message);
164 void internalError(
string errorMsg);
175 void externalError(
string errorMsg);
192 void printString(
string traceStr);