conf/HeaderFile.java

   1
   2 package org.de.metux.treebuild.conf;
   3
   4 import java.util.Properties;
   5 import java.io.File;
   6
   7 public class HeaderFile
   8 {
   9     Properties properties;
  10     public String name;
  11     public File output_file;
  12     public File input_file;
  13
  14     public HeaderFile(Properties p)
  15     {
  16         properties = p;
  17         name = p.getProperty("name");
  18         input_file = new File(name+".in");
  19         output_file = new File(name);
  20     }
  21 }