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