net.damf.cempu
Class Prefs

java.lang.Object
  extended by net.damf.cempu.Prefs

public class Prefs
extends java.lang.Object


Field Summary
static java.io.File CEMPU_DIR
           
static java.io.File command_dir
           
static java.io.PrintStream debugOut
           
static java.io.File home_dir
           
private  java.io.ObjectInputStream in
           
static boolean isInitialized
           
static java.io.InputStream mainIn
           
static java.io.PrintStream mainOut
           
static java.io.File pattern_dir
           
static java.io.File PREFS_FILE
           
static int text_area_width
           
static boolean usingAWT
           
 
Constructor Summary
Prefs()
           
Prefs(java.io.InputStream inStream, java.io.PrintStream outStream, java.io.PrintStream printStream)
           
 
Method Summary
static void close()
           
static boolean set_command_dir(java.io.File dir)
           
static boolean set_home_dir(java.io.File dir)
           
static boolean set_pattern_dir(java.io.File dir)
           
static void set_text_area_width(int i)
           
 boolean store()
           
 void writeDefaultPrefsFile()
           
static void writeNewPrefsFile()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

CEMPU_DIR

public static final java.io.File CEMPU_DIR

PREFS_FILE

public static final java.io.File PREFS_FILE

isInitialized

public static boolean isInitialized

usingAWT

public static boolean usingAWT

home_dir

public static java.io.File home_dir

command_dir

public static java.io.File command_dir

pattern_dir

public static java.io.File pattern_dir

text_area_width

public static int text_area_width

mainIn

public static java.io.InputStream mainIn

mainOut

public static java.io.PrintStream mainOut

debugOut

public static java.io.PrintStream debugOut

in

private java.io.ObjectInputStream in
Constructor Detail

Prefs

public Prefs()
      throws java.io.IOException
Throws:
java.io.IOException

Prefs

public Prefs(java.io.InputStream inStream,
             java.io.PrintStream outStream,
             java.io.PrintStream printStream)
      throws java.io.IOException
Throws:
java.io.IOException
Method Detail

set_home_dir

public static boolean set_home_dir(java.io.File dir)

set_command_dir

public static boolean set_command_dir(java.io.File dir)

set_pattern_dir

public static boolean set_pattern_dir(java.io.File dir)

set_text_area_width

public static void set_text_area_width(int i)

close

public static void close()
                  throws java.io.IOException
Throws:
java.io.IOException

store

public boolean store()

writeNewPrefsFile

public static void writeNewPrefsFile()
                              throws java.io.IOException
Throws:
java.io.IOException

writeDefaultPrefsFile

public void writeDefaultPrefsFile()
                           throws java.io.IOException
Throws:
java.io.IOException