public class WrappedClassFileManager extends java.lang.Object implements ClassFileManager
Modifier | Constructor and Description |
---|---|
protected |
WrappedClassFileManager(ClassFileManager internal,
java.util.Optional<ClassFileManager> external) |
Modifier and Type | Method and Description |
---|---|
void |
complete(boolean success)
Informs the class file manager whether the compilation run has succeeded.
|
void |
delete(java.io.File[] classes)
Handler of classes that deletes them prior to every compilation step.
|
void |
generated(java.io.File[] classes)
Handler of classes that decides where certain class files should be
stored after every compilation step.
|
static WrappedClassFileManager |
of(ClassFileManager internal,
java.util.Optional<ClassFileManager> external) |
protected WrappedClassFileManager(ClassFileManager internal, java.util.Optional<ClassFileManager> external)
public static WrappedClassFileManager of(ClassFileManager internal, java.util.Optional<ClassFileManager> external)
public void delete(java.io.File[] classes)
ClassFileManager
delete
in interface ClassFileManager
classes
- The generated class files must not exist if the method
returns normally, as well as any empty ancestor
directories of deleted files.public void complete(boolean success)
ClassFileManager
complete
in interface ClassFileManager
success
- Whether the compilation run has succeded or not.public void generated(java.io.File[] classes)
ClassFileManager
generated
in interface ClassFileManager
classes
- The generated class files by the immediate compilation run.