org.checkerframework.framework.test

Class CompilationResult

java.lang.Object

org.checkerframework.framework.test.CompilationResult

public class CompilationResult
extends java.lang.Object

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

Method Summary

Modifier and Type	Method and Description
boolean	compiledWithoutError()
java.util.List<javax.tools.Diagnostic<? extends javax.tools.JavaFileObject>>	getDiagnostics()
java.lang.String	getJavacOutput()
java.lang.Iterable<? extends javax.tools.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 java.lang.String getJavacOutput()

Returns:

all of the output from the compiler

getJavaFileObjects

public java.lang.Iterable<? extends javax.tools.JavaFileObject> getJavaFileObjects()

Returns:

the list of Java files passed to the compiler

getDiagnostics

public java.util.List<javax.tools.Diagnostic<? extends javax.tools.JavaFileObject>> getDiagnostics()

Returns:

the diagnostics reported by the compiler