|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.ObjectJESConfig
public class JESConfig
The JES Config Class Created for the Jython Environment for Students The JESConfig Class reads the config file information for the JES config file, located at JES_CONFIG_FILE_NAME
Field Summary | |
---|---|
static int |
CONFIG_AUTOOPENDOC
Depreciated option, retained for backward compatibility. |
static int |
CONFIG_AUTOSAVEONRUN
Ease-of-use constant for the JES auto save on load option (0 is off, 1 is on). |
static int |
CONFIG_BACKUPSAVE
Ease-of-use constant for the JES save backup copy on save option (0 off, 1 on). |
static int |
CONFIG_BLOCK
Ease-of-use constant for the JES indention help (0 is on, 1 is off). |
static int |
CONFIG_EMAIL_ADDR
Ease-of-use constant for the JES user's e-mail address (for turn-in purposes). |
static int |
CONFIG_FONT
Ease-of-use constant for the JES user's font-size (1-72). |
static int |
CONFIG_GT
Ease-of-use constant for the JES user's ID # (for turn-in purposes). |
static int |
CONFIG_GUTTER
Ease-of-use constant for the JES line number gutter (0 is off, 1 is on). |
static int |
CONFIG_LOGBUFFER
Ease-of-use constant for the JES save logs option (0 off, 1 on). |
static int |
CONFIG_MAIL
Ease-of-use constant for the JES user's mail server (for turn-in purposes). |
static int |
CONFIG_MEDIAPATH
Ease-of-use constant for the JES mediapath option (default is user.home). |
static int |
CONFIG_MODE
Ease-of-use constant for the JES user's experience level ("Normal" or "Expert"). |
static int |
CONFIG_NAME
Ease-of-use constant for the JES user's name (for turn-in purposes). |
static int |
CONFIG_NLINES
Number of options in the current version of JES. |
static int |
CONFIG_SHOWTURNIN
Ease-of-use constant for the JES turnin menu option (0 off, 1 on). |
static int |
CONFIG_SKIN
Ease-of-use constant for the JES skin option (UIManager.getLookAndFeel().getName()). |
static int |
CONFIG_WEB_TURNIN
Ease-of-use constant for the JES user's web-turnin server (coweb site). |
static int |
CONFIG_WRAPPIXELVALUES
Ease-of-use constant for the JES wrap pixel value option (0 out of bounds colors capped, 1 colors will be (value % 256)). |
static java.lang.String |
JES_CONFIG_FILE_NAME
Ease-of-use constant for JES Config file. |
Method Summary | |
---|---|
boolean |
getBooleanProperty(int property)
Method to get a JES boolean property |
static JESConfig |
getInstance()
Method to get the instance of the JESConfig singleton pattern |
int |
getIntegerProperty(int property)
Method to get a JES Integer property |
boolean |
getSessionWrapAround()
Method to get the current value of the pixel wrap around option. |
java.lang.String |
getStringProperty(int property)
Method to get a JES String property |
boolean |
isConfigLoaded()
Method to determine if the JES_CONFIG_FILE was read and previous settings restored |
static void |
main(java.lang.String[] args)
|
void |
setBooleanProperty(int property,
boolean value)
Method to set a JES Boolean property |
void |
setIntegerProperty(int property,
int value)
Method to set a JES Integer property |
void |
setSessionWrapAround(boolean value)
Method to set the current value of the pixel wrap around option. |
void |
setStringProperty(int property,
java.lang.String value)
Method to set a JES String property |
void |
writeConfig()
Method to write the current JES settings to the file user.home/JES_CONFIG_FILE_NAME |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static final java.lang.String JES_CONFIG_FILE_NAME
public static final int CONFIG_NAME
public static final int CONFIG_GT
public static final int CONFIG_MAIL
public static final int CONFIG_MODE
public static final int CONFIG_FONT
public static final int CONFIG_EMAIL_ADDR
public static final int CONFIG_GUTTER
public static final int CONFIG_BLOCK
public static final int CONFIG_WEB_TURNIN
public static final int CONFIG_AUTOSAVEONRUN
public static final int CONFIG_AUTOOPENDOC
public static final int CONFIG_WRAPPIXELVALUES
public static final int CONFIG_SKIN
public static final int CONFIG_SHOWTURNIN
public static final int CONFIG_BACKUPSAVE
public static final int CONFIG_LOGBUFFER
public static final int CONFIG_MEDIAPATH
public static final int CONFIG_NLINES
Method Detail |
---|
public static JESConfig getInstance()
public boolean getSessionWrapAround()
public void setSessionWrapAround(boolean value)
value
- the new value for the pixel wrap aroundpublic boolean isConfigLoaded()
public java.lang.String getStringProperty(int property)
property
- the JESConfig.CONFIG_* constant for the desired property
public boolean getBooleanProperty(int property)
property
- the JESConfig.CONFIG_* constant for the desired property
public int getIntegerProperty(int property)
property
- the JESConfig.CONFIG_* constant for the desired property
public void setStringProperty(int property, java.lang.String value)
property
- the JESConfig.CONFIG_* constant for the desired propertyvalue
- the new String value for the specified propertypublic void setIntegerProperty(int property, int value)
property
- the JESConfig.CONFIG_* constant for the desired propertyvalue
- the new Integer value for the specified propertypublic void setBooleanProperty(int property, boolean value)
property
- the JESConfig.CONFIG_* constant for the desired propertyvalue
- the new Boolean value for the specified propertypublic void writeConfig()
public static void main(java.lang.String[] args)
|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |