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()
List<Diagnostic<? extends JavaFileObject>>	getDiagnostics()
String	getJavacOutput()
Iterable<? extends JavaFileObject>	getJavaFileObjects()

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

getJavacOutput

public String getJavacOutput()

Returns:

all of the output from the compiler

getJavaFileObjects

public Iterable<? extends JavaFileObject> getJavaFileObjects()

Returns:

the list of Java files passed to the compiler

getDiagnostics

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

Returns:

the diagnostics reported by the compiler