public static void DumpDescription(SymbolDB symbolDB, DescriptionLine[] lines, TextWriter writer) { foreach (DescriptionLine line in lines) DumpDescriptionLine(symbolDB, line, writer); }