source/mir/producer/FileDeletingProducerNode.java

   1 package mir.producer;
   2
   3 import java.util.*;
   4 import java.io.*;
   5 import mir.util.*;
   6 import mir.producer.*;
   7 import mir.generator.*;
   8 import mircoders.global.*;
   9 import mircoders.localizer.*;
  10
  11 public class FileDeletingProducerNode extends FileOperationProducerNode {
  12
  13   public FileDeletingProducerNode(String aFileIdentifier) {
  14     super(aFileIdentifier);
  15   }
  16
  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());
  20     }
  21   }
  22 }