org.rosuda.deducer.toolkit
Class DeducerPrefs

java.lang.Object
  org.rosuda.deducer.toolkit.DeducerPrefs

public class DeducerPrefs
extends java.lang.Object

Field Summary

static boolean	SHOWANALYSIS
static boolean	SHOWDATA
static boolean	USEQUAQUACHOOSER
static boolean	VIEWERATSTARTUP

Constructor Summary

DeducerPrefs()

Method Summary

static java.lang.String	get(java.lang.String key)
static void	initialize()
static void	readPrefs()
static void	set(java.lang.String key, java.lang.String value)
static void	writePrefs()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

SHOWDATA

public static boolean SHOWDATA

SHOWANALYSIS

public static boolean SHOWANALYSIS

USEQUAQUACHOOSER

public static boolean USEQUAQUACHOOSER

VIEWERATSTARTUP

public static boolean VIEWERATSTARTUP

Constructor Detail

DeducerPrefs

public DeducerPrefs()

Method Detail

initialize

public static void initialize()

readPrefs

public static void readPrefs()

writePrefs

public static void writePrefs()

get

public static java.lang.String get(java.lang.String key)

set

public static void set(java.lang.String key,
                       java.lang.String value)