org.checkerframework.framework.test.diagnostics

Interface JavaDiagnosticReader.DiagnosticCodec

Enclosing class:

JavaDiagnosticReader

public static interface JavaDiagnosticReader.DiagnosticCodec

Instances of DiagnosticCodec represent the various formats diagnostic strings can take

Method Summary

Modifier and Type	Method and Description
TestDiagnosticLine	convertLine(String filename, long lineNumber, String line)

Method Detail

convertLine

TestDiagnosticLine convertLine(String filename,
                               long lineNumber,
                               String line)