Class TestDiagnosticLine
- java.lang.Object
-
- org.checkerframework.framework.test.diagnostics.TestDiagnosticLine
-
public class TestDiagnosticLine extends java.lang.Object
Represents a list of TestDiagnostics, which was read from a one line of a file.
-
-
Constructor Summary
Constructors Constructor Description TestDiagnosticLine(java.lang.String filename, long lineNumber, java.lang.String originalLine, java.util.List<TestDiagnostic> diagnostics)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.util.List<TestDiagnostic>
getDiagnostics()
java.lang.String
getFilename()
long
getLineNumber()
java.lang.String
getOriginalLine()
boolean
hasDiagnostics()
-
-
-
Constructor Detail
-
TestDiagnosticLine
public TestDiagnosticLine(java.lang.String filename, long lineNumber, java.lang.String originalLine, java.util.List<TestDiagnostic> diagnostics)
-
-
Method Detail
-
getFilename
public java.lang.String getFilename()
-
hasDiagnostics
public boolean hasDiagnostics()
-
getLineNumber
public long getLineNumber()
-
getOriginalLine
public java.lang.String getOriginalLine()
-
getDiagnostics
public java.util.List<TestDiagnostic> getDiagnostics()
-
-