/** * Converts the given diagnostics to strings (as they would appear in a source file individually) */ public static List<String> diagnosticsToString(List<TestDiagnostic> diagnostics) { final List<String> strings = new ArrayList<String>(diagnostics.size()); for (TestDiagnostic diagnostic : diagnostics) { strings.add(diagnostic.toString()); } return strings; }
/** Convert a line in a DiagnosticFile to a TestDiagnosticLine */ public static TestDiagnosticLine fromDiagnosticFileLine(String diagnosticLine) { final String trimmedLine = diagnosticLine.trim(); if (trimmedLine.startsWith("#") || trimmedLine.isEmpty()) { return new TestDiagnosticLine(-1, diagnosticLine, EMPTY); } TestDiagnostic diagnostic = fromDiagnosticFileString(diagnosticLine); return new TestDiagnosticLine( diagnostic.getLineNumber(), diagnosticLine, Arrays.asList(diagnostic)); }