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)
Deprecated.
|
void |
delete(VirtualFile[] classes)
Handler of classes that deletes them prior to every compilation step.
|
void |
generated(java.io.File[] classes)
Deprecated.
|
void |
generated(VirtualFile[] 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(VirtualFile[] classes)
ClassFileManagerdelete in interface ClassFileManagerclasses - The generated class files must not exist if the method
returns normally, as well as any empty ancestor
directories of deleted files.@Deprecated public void delete(java.io.File[] classes)
delete in interface ClassFileManagerpublic void complete(boolean success)
ClassFileManagercomplete in interface ClassFileManagersuccess - Whether the compilation run has succeeded or not.public void generated(VirtualFile[] classes)
ClassFileManagergenerated in interface ClassFileManagerclasses - The generated class files by the immediate compilation run.@Deprecated public void generated(java.io.File[] classes)
generated in interface ClassFileManager