Package org.checkerframework.framework.test.diagnostics

Class TestDiagnosticLine

java.lang.Object

org.checkerframework.framework.test.diagnostics.TestDiagnosticLine

public class TestDiagnosticLine
extends Object

Represents a list of TestDiagnostics, which was read from a one line of a file.

Constructor Summary

Constructors

Constructor	Description
TestDiagnosticLine(String filename, long lineNumber, String originalLine, List<TestDiagnostic> diagnostics)

Method Summary

Modifier and Type	Method	Description
List<TestDiagnostic>	getDiagnostics()
String	getFilename()
long	getLineNumber()
String	getOriginalLine()
boolean	hasDiagnostics()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

TestDiagnosticLine

public TestDiagnosticLine(String filename,
 long lineNumber,
 String originalLine,
 List<TestDiagnostic> diagnostics)

Method Details

getFilename

public String getFilename()

hasDiagnostics

public boolean hasDiagnostics()

getLineNumber

public long getLineNumber()

getOriginalLine

public String getOriginalLine()

getDiagnostics

public List<TestDiagnostic> getDiagnostics()