| 
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.ObjectbasicPluginFramework.JinnIdeOptions
public class JinnIdeOptions
| Field Summary | |
|---|---|
static java.lang.String | 
jinniPrologBackground
 | 
static java.lang.String | 
jinniPrologInitFile
 | 
static java.lang.String | 
jinniPrologLibrarypath
 | 
static java.lang.String | 
jinniPrologMode
 | 
static java.lang.String | 
jinniPrologNtService
 | 
static java.lang.String | 
jinniPrologServer
 | 
static java.lang.String | 
jinniPrologServerInitFile
 | 
static java.lang.String | 
jinniPrologServerLibrarypath
 | 
static java.lang.String | 
jinniPrologWrapper
 | 
static java.lang.String | 
jinniServerPath
 | 
| Constructor Summary | |
|---|---|
JinnIdeOptions()
 | 
|
| Method Summary | |
|---|---|
static java.lang.String | 
getJinniServerPath()
 | 
static boolean | 
isBgEnabled()
ui logic for the bg check box in the menu  | 
static boolean | 
isJinniServerEnabled()
ui logic for the jinni (prolog) server check box in the menu  | 
static boolean | 
isNtServiceUsed()
ui logic for the jinni nt service check box in the menu  | 
static boolean | 
isPrologEnabled()
ui logic for the prolog check box in the menu  | 
static boolean | 
isWrapperUsed()
ui logic for the jinni server wrapper check box in the menu  | 
static void | 
toggleBgEnabled()
ui logic for the bg check box in the menu  | 
static void | 
toggleJinniServerEnabled()
ui logic for the jinni server check box in the menu  | 
static void | 
togglePrologEnabled()
ui logic for the prolog check box in the menu  | 
| Methods inherited from class java.lang.Object | 
|---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait | 
| Field Detail | 
|---|
public static final java.lang.String jinniPrologServer
public static final java.lang.String jinniPrologServerLibrarypath
public static final java.lang.String jinniPrologServerInitFile
public static final java.lang.String jinniPrologWrapper
public static final java.lang.String jinniPrologNtService
public static final java.lang.String jinniPrologMode
public static final java.lang.String jinniPrologBackground
public static final java.lang.String jinniPrologLibrarypath
public static final java.lang.String jinniPrologInitFile
public static final java.lang.String jinniServerPath
| Constructor Detail | 
|---|
public JinnIdeOptions()
| Method Detail | 
|---|
public static java.lang.String getJinniServerPath()
public static boolean isNtServiceUsed()
public static boolean isWrapperUsed()
public static boolean isJinniServerEnabled()
public static void toggleJinniServerEnabled()
public static boolean isBgEnabled()
public static void toggleBgEnabled()
public static boolean isPrologEnabled()
public static void togglePrologEnabled()
  | 
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||