org.checkerframework.framework.test.diagnostics

Class JavaDiagnosticReader

java.lang.Object

org.checkerframework.framework.test.diagnostics.JavaDiagnosticReader

All Implemented Interfaces:

java.util.Iterator<TestDiagnosticLine>

public class JavaDiagnosticReader
extends java.lang.Object
implements java.util.Iterator<TestDiagnosticLine>

Reads a file that has serialized javac diagnostics and returns either a list of TestDiagnosticLines or TestDiagnostics. This file might either:

• a Java file, which is read by creating a JavaDiagnosticReader with the JAVA_COMMENT_CODEC
• a "Diagnostic" file, which is read by creating a JavaDiagnosticReader with a DIAGNOSTIC_FILE_CODEC

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static interface	JavaDiagnosticReader.DiagnosticCodec Instances of DiagnosticCodec represent the various formats diagnostic strings can take

Field Summary

Fields

Modifier and Type	Field and Description
JavaDiagnosticReader.DiagnosticCodec	codec
static JavaDiagnosticReader.DiagnosticCodec	DIAGNOSTIC_FILE_CODEC Interprets a string that was written as a line in a Diagnostic File
static JavaDiagnosticReader.DiagnosticCodec	JAVA_COMMENT_CODEC Interprets a string that was written as a comment in a Java file
java.lang.String	nextLine
int	nextLineNumber
java.io.File	toRead
javax.tools.JavaFileObject	toReadFileObject

Constructor Summary

Constructors

Constructor and Description
JavaDiagnosticReader(java.io.File toRead, JavaDiagnosticReader.DiagnosticCodec codec)
JavaDiagnosticReader(javax.tools.JavaFileObject toRead, JavaDiagnosticReader.DiagnosticCodec codec)

Method Summary

Modifier and Type	Method and Description
protected void	advance()
void	close()
boolean	hasNext()
TestDiagnosticLine	next()
static java.util.List<TestDiagnosticLine>	readDiagnosticFile(java.io.File toRead, boolean omitEmptyDiagnostics) Reads diagnostic lines line-by-line from the input Diagnostic file.
static java.util.List<TestDiagnosticLine>	readDiagnosticFileLines(java.lang.Iterable<? extends java.io.File> toRead, boolean omitEmptyDiagnostics) Reads diagnostic lines line-by-line from the input Diagnostic files.
static java.util.List<TestDiagnostic>	readDiagnosticFiles(java.lang.Iterable<? extends java.io.File> toRead, boolean omitEmptyDiagnostics) Reads diagnostics line-by-line from the input Diagnostic files.
static java.util.List<TestDiagnosticLine>	readDiagnosticLines(java.lang.Iterable<java.io.File> toRead, boolean omitEmptyDiagnostics) Reads diagnostic lines from the comments of a set of Java file.
static java.util.List<TestDiagnosticLine>	readDiagnostics(java.io.File toRead, boolean omitEmptyDiagnostics) Reads diagnostic lines from the comments of the input Java file.
static java.util.List<TestDiagnosticLine>	readDiagnostics(java.io.File toRead, JavaDiagnosticReader.DiagnosticCodec codec, boolean omitEmptyDiagnostics) Reads the entire input file using the given codec and returns the resulting line.
static java.util.List<TestDiagnostic>	readDiagnostics(java.lang.Iterable<java.io.File> toRead, boolean omitEmptyDiagnostics) Reads diagnostics from the comments of a set of Java file.
static java.util.List<TestDiagnosticLine>	readDiagnosticsJfo(javax.tools.JavaFileObject toRead, boolean omitEmptyDiagnostics) Reads diagnostic lines from the comments of a set of Java file.
static java.util.List<TestDiagnosticLine>	readExpectedDiagnosticLinesJfo(java.lang.Iterable<? extends javax.tools.JavaFileObject> toRead, boolean omitEmptyDiagnostics) Reads diagnostic lines from the comments of a set of Java file.
static java.util.List<TestDiagnostic>	readExpectedDiagnosticsJfo(java.lang.Iterable<? extends javax.tools.JavaFileObject> toRead, boolean omitEmptyDiagnostics) Reads diagnostics from the comments of a set of Java file.
void	remove()

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.Iterator

forEachRemaining

Field Detail

JAVA_COMMENT_CODEC

public static JavaDiagnosticReader.DiagnosticCodec JAVA_COMMENT_CODEC

Interprets a string that was written as a comment in a Java file

DIAGNOSTIC_FILE_CODEC

public static JavaDiagnosticReader.DiagnosticCodec DIAGNOSTIC_FILE_CODEC

Interprets a string that was written as a line in a Diagnostic File

toRead

public final java.io.File toRead

toReadFileObject

public final javax.tools.JavaFileObject toReadFileObject

codec

public final JavaDiagnosticReader.DiagnosticCodec codec

nextLine

public java.lang.String nextLine

nextLineNumber

public int nextLineNumber

Constructor Detail

JavaDiagnosticReader

public JavaDiagnosticReader(java.io.File toRead,
                            JavaDiagnosticReader.DiagnosticCodec codec)

JavaDiagnosticReader

public JavaDiagnosticReader(javax.tools.JavaFileObject toRead,
                            JavaDiagnosticReader.DiagnosticCodec codec)

Method Detail

readDiagnostics

public static java.util.List<TestDiagnosticLine> readDiagnostics(java.io.File toRead,
                                                                 JavaDiagnosticReader.DiagnosticCodec codec,
                                                                 boolean omitEmptyDiagnostics)

Reads the entire input file using the given codec and returns the resulting line.

Parameters:

toRead - the file (Java or Diagnostics format) to read

codec - a codec corresponding to the file type being read

omitEmptyDiagnostics - whether or not lines that do not contain any diagnostics should be reported as empty TestDiagnosticLines

Returns:

the List of TestDiagnosticLines from the input file

readDiagnostics

public static java.util.List<TestDiagnosticLine> readDiagnostics(java.io.File toRead,
                                                                 boolean omitEmptyDiagnostics)

Reads diagnostic lines from the comments of the input Java file.

Parameters:

toRead - a Java File

omitEmptyDiagnostics - whether or not lines that do not contain any diagnostics should be reported as empty TestDiagnosticLines

Returns:

the List of TestDiagnosticLines from the input file

readDiagnosticLines

public static java.util.List<TestDiagnosticLine> readDiagnosticLines(java.lang.Iterable<java.io.File> toRead,
                                                                     boolean omitEmptyDiagnostics)

Reads diagnostic lines from the comments of a set of Java file.

Parameters:

toRead - java files to read using the JAVA_COMMENT_CODEC

omitEmptyDiagnostics - whether or not lines that do not contain any diagnostics should be reported as empty TestDiagnosticLines

Returns:

the List of TestDiagnosticLines from the input Jav afiles

readDiagnostics

public static java.util.List<TestDiagnostic> readDiagnostics(java.lang.Iterable<java.io.File> toRead,
                                                             boolean omitEmptyDiagnostics)

Reads diagnostics from the comments of a set of Java file.

Parameters:

toRead - java files to read using the JAVA_COMMENT_CODEC

omitEmptyDiagnostics - whether or not lines that do not contain any diagnostics should be reported as empty TestDiagnosticLines

Returns:

the List of TestDiagnostics (not lines) from the files ToRead

readDiagnosticsJfo

public static java.util.List<TestDiagnosticLine> readDiagnosticsJfo(javax.tools.JavaFileObject toRead,
                                                                    boolean omitEmptyDiagnostics)

Reads diagnostic lines from the comments of a set of Java file.

Parameters:

toRead - the Java files to read using the JAVA_COMMENT_CODEC

omitEmptyDiagnostics - whether or not lines that do not contain any diagnostics should be reported as empty TestDiagnosticLines

Returns:

the List of TestDiagnostics (not lines) from the files ToRead

readExpectedDiagnosticLinesJfo

public static java.util.List<TestDiagnosticLine> readExpectedDiagnosticLinesJfo(java.lang.Iterable<? extends javax.tools.JavaFileObject> toRead,
                                                                                boolean omitEmptyDiagnostics)

Reads diagnostic lines from the comments of a set of Java file.

Parameters:

toRead - the Java files to read using the JAVA_COMMENT_CODEC

omitEmptyDiagnostics - whether or not lines that do not contain any diagnostics should be reported as empty TestDiagnosticLines

Returns:

the List of TestDiagnosticLines from the input Jav afiles

readExpectedDiagnosticsJfo

public static java.util.List<TestDiagnostic> readExpectedDiagnosticsJfo(java.lang.Iterable<? extends javax.tools.JavaFileObject> toRead,
                                                                        boolean omitEmptyDiagnostics)

Reads diagnostics from the comments of a set of Java file.

Parameters:

toRead - the Java files to read using the JAVA_COMMENT_CODEC

omitEmptyDiagnostics - whether or not lines that do not contain any diagnostics should be reported as empty TestDiagnosticLines

Returns:

the List of TestDiagnostics (not lines)

readDiagnosticFile

public static java.util.List<TestDiagnosticLine> readDiagnosticFile(java.io.File toRead,
                                                                    boolean omitEmptyDiagnostics)

Reads diagnostic lines line-by-line from the input Diagnostic file.

Parameters:

toRead - a Diagnostic File

omitEmptyDiagnostics - whether or not lines that do not contain any diagnostics should be reported as empty TestDiagnosticLines

Returns:

the List of TestDiagnosticLines from the input file

readDiagnosticFileLines

public static java.util.List<TestDiagnosticLine> readDiagnosticFileLines(java.lang.Iterable<? extends java.io.File> toRead,
                                                                         boolean omitEmptyDiagnostics)

Reads diagnostic lines line-by-line from the input Diagnostic files.

Parameters:

toRead - a set of Diagnostic Files

omitEmptyDiagnostics - whether or not lines that do not contain any diagnostics should be reported as empty TestDiagnosticLines

Returns:

the List of TestDiagnosticLines from the input files

readDiagnosticFiles

public static java.util.List<TestDiagnostic> readDiagnosticFiles(java.lang.Iterable<? extends java.io.File> toRead,
                                                                 boolean omitEmptyDiagnostics)

Reads diagnostics line-by-line from the input Diagnostic files.

Parameters:

toRead - a set of Diagnostic Files

omitEmptyDiagnostics - whether or not lines that do not contain any diagnostics should be reported as empty TestDiagnosticLines

Returns:

the List of TestDiagnosticLines from the input files

hasNext

public boolean hasNext()

Specified by:

hasNext in interface java.util.Iterator<TestDiagnosticLine>

remove

public void remove()

Specified by:

remove in interface java.util.Iterator<TestDiagnosticLine>

next

public TestDiagnosticLine next()

Specified by:

next in interface java.util.Iterator<TestDiagnosticLine>

advance

protected void advance()
                throws java.io.IOException

Throws:

java.io.IOException

close

public void close()