Class SlicePreferences


  • public class SlicePreferences
    extends org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer
    • 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
    • Constructor Detail

      • SlicePreferences

        public SlicePreferences()
    • 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 class org.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