Package de.firemage.autograder.core.compiler

Class SeparateBinaryFileManager

java.lang.Object

javax.tools.ForwardingJavaFileManager<StandardJavaFileManager>

de.firemage.autograder.core.compiler.SeparateBinaryFileManager

All Implemented Interfaces:

Closeable, Flushable, AutoCloseable, JavaFileManager, OptionChecker

public class SeparateBinaryFileManager
extends ForwardingJavaFileManager<StandardJavaFileManager>

Nested Class Summary

Nested classes/interfaces inherited from interface javax.tools.JavaFileManager

JavaFileManager.Location

Field Summary

Fields inherited from class javax.tools.ForwardingJavaFileManager

fileManager

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	SeparateBinaryFileManager(StandardJavaFileManager fileManager, File binaryRootDirectory, Charset charset)

Method Summary

Modifier and Type	Method	Description
JavaFileObject	getJavaFileForOutput(JavaFileManager.Location location, String className, JavaFileObject.Kind kind, FileObject sibling)

Methods inherited from class javax.tools.ForwardingJavaFileManager

close, contains, flush, getClassLoader, getFileForInput, getFileForOutput, getJavaFileForInput, getLocationForModule, getLocationForModule, getServiceLoader, handleOption, hasLocation, inferBinaryName, inferModuleName, isSameFile, isSupportedOption, list, listLocationsForModules

Methods inherited from class java.lang.Object

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

Constructor Details

SeparateBinaryFileManager

protected SeparateBinaryFileManager(StandardJavaFileManager fileManager,
 File binaryRootDirectory,
 Charset charset)

Method Details

getJavaFileForOutput

public JavaFileObject getJavaFileForOutput(JavaFileManager.Location location,
 String className,
 JavaFileObject.Kind kind,
 FileObject sibling)
                                    throws IOException

Specified by:

getJavaFileForOutput in interface JavaFileManager

Overrides:

getJavaFileForOutput in class ForwardingJavaFileManager<StandardJavaFileManager>

Throws:

IOException