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 and Description
TestDiagnosticLine(String filename, long lineNumber, String originalLine, List<TestDiagnostic> diagnostics)

Method Summary

Modifier and Type	Method and 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 Detail

TestDiagnosticLine

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

Method Detail

getFilename

public String getFilename()

hasDiagnostics

public boolean hasDiagnostics()

getLineNumber

public long getLineNumber()

getOriginalLine

public String getOriginalLine()

getDiagnostics

public List<TestDiagnostic> getDiagnostics()