org.checkerframework.framework.test.diagnostics

Class TestDiagnosticLine

java.lang.Object

org.checkerframework.framework.test.diagnostics.TestDiagnosticLine

public class TestDiagnosticLine
extends java.lang.Object

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

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
java.lang.String	asSourceString()
java.util.List<TestDiagnostic>	getDiagnostics()
java.lang.String	getFilename()
long	getLineNumber()
java.lang.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(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()

asSourceString

public java.lang.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 java.util.List<TestDiagnostic> getDiagnostics()