Config.java

// This class reads in a configuration file, called "config.txt", and makes
// its contents easily available to Java code.
//
// A configuration entry can be read as a String, like this:
//
//         String str = Config.getAsString("entryname");
//
// An entry can be read as an integer, like this:
//
//         int i = Config.getAsInt("entryname");
//
// For documentation on the format of the config.txt file, see that file.


import java.io.FileInputStream;
import java.util.Properties;

import java.io.IOException;


public class Config {
  private static String configFileName = "config.txt";

  private static boolean needInit = true;

  private static Properties props;

  private static void init() {
    needInit = false;
    try{
      FileInputStream fis = new FileInputStream(configFileName);
      if(fis != null){
	props = new Properties();
	props.load(fis);
      }
    }catch(IOException x){
      x.printStackTrace(System.err);
    }
  }
  
  public static String getAsString(String name) {
    if(needInit)    init();
    return props.getProperty(name);
  }

  public static int getAsInt(String name) {
    if(needInit)    init();
    return Integer.parseInt(getAsString(name));
  }
}