Searched refs:ExtraLen (Results 1 – 1 of 1) sorted by relevance
177 void WriteLineInfo(unsigned LineNo, const char *Extra=0, unsigned ExtraLen=0);191 unsigned ExtraLen) { in WriteLineInfo() argument204 if (ExtraLen) in WriteLineInfo()205 OS.write(Extra, ExtraLen); in WriteLineInfo()