7 import mir.generator.*;
8 import mircoders.global.*;
9 import mircoders.localizer.*;
11 public class FileDeletingProducerNode extends FileOperationProducerNode {
13 public FileDeletingProducerNode(String aFileIdentifier) {
14 super(aFileIdentifier);
17 protected void perform(File aFile, Map aValueMap, String aVerb, PrintWriter aLogger) throws ProducerFailure {
18 if (!aFile.delete()) {
19 aLogger.print("Can't delete " + aFile.getName());