org.checkerframework.framework.test.diagnostics

Class TestDiagnosticLine

java.lang.Object

org.checkerframework.framework.test.diagnostics.TestDiagnosticLine

public class TestDiagnosticLine
extends Object

Represents an entire line of TestDiagnostics which is essentially a list of diagnostics

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
String	asSourceString()
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()

asSourceString

public String asSourceString()

Returns:

a String representation of how this diagnostic should appear in source. This may differ from the original line if there was no original line, the original line had extraneous whitespace.

getDiagnostics

public List<TestDiagnostic> getDiagnostics()