Class SlicePreferences
- java.lang.Object
-
- org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer
-
- com.ensoftcorp.open.slice.preferences.SlicePreferences
-
public class SlicePreferences extends org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer
-
-
Field Summary
Fields Modifier and Type Field Description static java.lang.String
COMPUTE_PROGRAM_DEPENDENCE_GRAPHS
Enable/disable decompiled loop identificationstatic java.lang.Boolean
COMPUTE_PROGRAM_DEPENDENCE_GRAPHS_DEFAULT
-
Constructor Summary
Constructors Constructor Description SlicePreferences()
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static void
enableComputeProgramDependenceGraphs(boolean enabled)
Configures inference rule loggingstatic org.eclipse.jface.preference.IPreferenceStore
getPreferenceStore()
Returns the preference store used for these preferencesvoid
initializeDefaultPreferences()
static boolean
isComputeProgramDependenceGraphsEnabled()
static void
loadPreferences()
Loads or refreshes current preference valuesstatic void
restoreDefaults()
Restores the default preferences
-
-
-
Field Detail
-
COMPUTE_PROGRAM_DEPENDENCE_GRAPHS
public static final java.lang.String COMPUTE_PROGRAM_DEPENDENCE_GRAPHS
Enable/disable decompiled loop identification- See Also:
- Constant Field Values
-
COMPUTE_PROGRAM_DEPENDENCE_GRAPHS_DEFAULT
public static final java.lang.Boolean COMPUTE_PROGRAM_DEPENDENCE_GRAPHS_DEFAULT
-
-
Method Detail
-
getPreferenceStore
public static org.eclipse.jface.preference.IPreferenceStore getPreferenceStore()
Returns the preference store used for these preferences- Returns:
-
enableComputeProgramDependenceGraphs
public static void enableComputeProgramDependenceGraphs(boolean enabled)
Configures inference rule logging
-
isComputeProgramDependenceGraphsEnabled
public static boolean isComputeProgramDependenceGraphsEnabled()
-
initializeDefaultPreferences
public void initializeDefaultPreferences()
- Specified by:
initializeDefaultPreferences
in classorg.eclipse.core.runtime.preferences.AbstractPreferenceInitializer
-
restoreDefaults
public static void restoreDefaults()
Restores the default preferences
-
loadPreferences
public static void loadPreferences()
Loads or refreshes current preference values
-
-