net.sourceforge.nite.corpus
Class Preferences

java.lang.Object
  extended by net.sourceforge.nite.corpus.Preferences
All Implemented Interfaces:
java.io.Serializable

public class Preferences
extends java.lang.Object
implements java.io.Serializable

This is similar to the search.S class but adds preferences for plugins

See Also:
Serialized Form

Field Summary
 boolean autoloaded
           
static java.lang.String[] bookmarks
           
 java.util.ArrayList bookmarksNames
           
 java.util.ArrayList bookmarksQueries
           
 java.util.List corpora
           
 boolean corpusLoaded
           
 java.util.HashMap names
           
 java.util.List plugins
           
static java.lang.String[] plugs
           
 java.io.File saveDir
           
 
Constructor Summary
Preferences()
          Initialize values and then read anything we can find from the default file location.
Preferences(java.lang.String dir)
          Initialize values and then read anything we can find from the given directory location.
 
Method Summary
 java.io.File getSaveDir()
          return the directory in which we save (normally the user's home directory)
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

bookmarks

public static java.lang.String[] bookmarks

corpora

public java.util.List corpora

names

public java.util.HashMap names

bookmarksNames

public java.util.ArrayList bookmarksNames

bookmarksQueries

public java.util.ArrayList bookmarksQueries

autoloaded

public boolean autoloaded

corpusLoaded

public boolean corpusLoaded

saveDir

public java.io.File saveDir

plugs

public static java.lang.String[] plugs

plugins

public java.util.List plugins
Constructor Detail

Preferences

public Preferences()
Initialize values and then read anything we can find from the default file location.


Preferences

public Preferences(java.lang.String dir)
Initialize values and then read anything we can find from the given directory location.

Method Detail

getSaveDir

public java.io.File getSaveDir()
return the directory in which we save (normally the user's home directory)