org.checkerframework.framework.test

Class CompilationResult

java.lang.Object

org.checkerframework.framework.test.CompilationResult

public class CompilationResult
extends Object

CompilationResult represents the output of the compiler after it is run.

Method Summary

Modifier and Type	Method and Description
boolean	compiledWithoutError() Returns whether or not compilation succeeded without errors or exceptions.
List<Diagnostic<? extends JavaFileObject>>	getDiagnostics() Returns the diagnostics reported by the compiler.
String	getJavacOutput() Returns all of the output from the compiler.
Iterable<? extends JavaFileObject>	getJavaFileObjects() Returns the list of Java files passed to the compiler.

Methods inherited from class java.lang.Object

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

Method Detail

compiledWithoutError

public boolean compiledWithoutError()

Returns whether or not compilation succeeded without errors or exceptions.

Returns:

whether or not compilation succeeded without errors or exceptions

getJavacOutput

public String getJavacOutput()

Returns all of the output from the compiler.

Returns:

all of the output from the compiler

getJavaFileObjects

public Iterable<? extends JavaFileObject> getJavaFileObjects()

Returns the list of Java files passed to the compiler.

Returns:

the list of Java files passed to the compiler

getDiagnostics

public List<Diagnostic<? extends JavaFileObject>> getDiagnostics()

Returns the diagnostics reported by the compiler.

Returns:

the diagnostics reported by the compiler