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
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
compiledWithoutError()
Returns whether or not compilation succeeded without errors or exceptions.java.util.List<javax.tools.Diagnostic<? extends javax.tools.JavaFileObject>>
getDiagnostics()
Returns the diagnostics reported by the compiler.java.lang.String
getJavacOutput()
Returns all of the output from the compiler.java.lang.Iterable<? extends javax.tools.JavaFileObject>
getJavaFileObjects()
Returns the list of Java files passed to the compiler.
-
-
-
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 java.lang.String getJavacOutput()
Returns all of the output from the compiler.- 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.- 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.- Returns:
- the diagnostics reported by the compiler
-
-