Class CommonsPreferences


  • public class CommonsPreferences
    extends org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer
    • Field Detail

      • DEBUG_LOGGING

        public static final java.lang.String DEBUG_LOGGING
        Enable/disable debug logging
        See Also:
        Constant Field Values
      • DEBUG_LOGGING_DEFAULT

        public static final java.lang.Boolean DEBUG_LOGGING_DEFAULT
      • CLOC_PATH

        public static final java.lang.String CLOC_PATH
        Configure path to cloc
        See Also:
        Constant Field Values
      • CLOC_PATH_DEFAULT

        public static final java.lang.String CLOC_PATH_DEFAULT
        See Also:
        Constant Field Values
      • NORMALIZE_GRAPH_ELEMENT_ADDRESSES

        public static final java.lang.String NORMALIZE_GRAPH_ELEMENT_ADDRESSES
        Enable/disable node address normalization
        See Also:
        Constant Field Values
      • NORMALIZE_GRAPH_ELEMENT_ADDRESSES_DEFAULT

        public static final java.lang.Boolean NORMALIZE_GRAPH_ELEMENT_ADDRESSES_DEFAULT
      • CONSTRUCT_ICFG

        public static final java.lang.String CONSTRUCT_ICFG
        Enable/disable ICFG construction
        See Also:
        Constant Field Values
      • CONSTRUCT_ICFG_DEFAULT

        public static final java.lang.Boolean CONSTRUCT_ICFG_DEFAULT
      • COMPUTE_CONTROL_FLOW_GRAPH_DOMINANCE

        public static final java.lang.String COMPUTE_CONTROL_FLOW_GRAPH_DOMINANCE
        Enable/disable computing control flow graph dominance trees
        See Also:
        Constant Field Values
      • COMPUTE_CONTROL_FLOW_GRAPH_DOMINANCE_DEFAULT

        public static final java.lang.Boolean COMPUTE_CONTROL_FLOW_GRAPH_DOMINANCE_DEFAULT
      • COMPUTE_EXCEPTIONAL_CONTROL_FLOW_GRAPH_DOMINANCE_TREES

        public static final java.lang.String COMPUTE_EXCEPTIONAL_CONTROL_FLOW_GRAPH_DOMINANCE_TREES
        Enable/disable computing exceptional control flow graph dominance trees
        See Also:
        Constant Field Values
      • COMPUTE_EXCEPTIONAL_CONTROL_FLOW_GRAPH_DOMINANCE_TREES_DEFAULT

        public static final java.lang.Boolean COMPUTE_EXCEPTIONAL_CONTROL_FLOW_GRAPH_DOMINANCE_TREES_DEFAULT
      • ADD_MASTER_ENTRY_EXIT_CONTAINMENT_RELATIONSHIPS

        public static final java.lang.String ADD_MASTER_ENTRY_EXIT_CONTAINMENT_RELATIONSHIPS
        Enable/disable adding master entry/exit containment relationships
        See Also:
        Constant Field Values
      • ADD_MASTER_ENTRY_EXIT_CONTAINMENT_RELATIONSHIPS_DEFAULT

        public static final java.lang.Boolean ADD_MASTER_ENTRY_EXIT_CONTAINMENT_RELATIONSHIPS_DEFAULT
      • DISPLAY_FILTER_VIEW_RESULT_CONTAINERS

        public static final java.lang.String DISPLAY_FILTER_VIEW_RESULT_CONTAINERS
        Enable/disable displaying filter view result containers
        See Also:
        Constant Field Values
      • DISPLAY_FILTER_VIEW_RESULT_CONTAINERS_DEFAULT

        public static final java.lang.Boolean DISPLAY_FILTER_VIEW_RESULT_CONTAINERS_DEFAULT
    • Constructor Detail

      • CommonsPreferences

        public CommonsPreferences()
    • Method Detail

      • getPreferenceStore

        public static org.eclipse.jface.preference.IPreferenceStore getPreferenceStore()
        Returns the preference store used for these preferences
        Returns:
      • enableDebugLogging

        public static void enableDebugLogging​(boolean enabled)
        Configures debug logging
      • isDebugLoggingEnabled

        public static boolean isDebugLoggingEnabled()
        Returns true if debug logging is enabled
        Returns:
      • configureClocPath

        public static void configureClocPath​(java.io.File clocPath)
        Configures path to cloc
      • getClocPath

        public static java.io.File getClocPath()
        Returns the path to cloc
        Returns:
      • enableAddressNormalization

        public static void enableAddressNormalization​(boolean enabled)
        Configures address normalization
      • isAddressNormalizationEnabled

        public static boolean isAddressNormalizationEnabled()
        Returns true if address normalization is enabled
        Returns:
      • enableConstructICFG

        public static void enableConstructICFG​(boolean enabled)
        Configures ICFG construction
      • isConstructICFGEnabled

        public static boolean isConstructICFGEnabled()
        Returns true if ICFG construction is enabled
        Returns:
      • enableComputeControlFlowGraphDominance

        public static void enableComputeControlFlowGraphDominance​(boolean enabled)
        Configures dominance analysis
      • isComputeControlFlowGraphDominanceEnabled

        public static boolean isComputeControlFlowGraphDominanceEnabled()
        Returns true if dominance analysis is enabled
        Returns:
      • enableComputeExceptionalControlFlowGraphDominance

        public static void enableComputeExceptionalControlFlowGraphDominance​(boolean enabled)
        Configures inference rule logging
      • isComputeExceptionalControlFlowGraphDominanceEnabled

        public static boolean isComputeExceptionalControlFlowGraphDominanceEnabled()
      • enableMasterEntryExitContainmentRelationships

        public static void enableMasterEntryExitContainmentRelationships​(boolean enabled)
        Configures inference rule logging
      • isMasterEntryExitContainmentRelationshipsEnabled

        public static boolean isMasterEntryExitContainmentRelationshipsEnabled()
      • enableDisplayFilterViewResultContainers

        public static void enableDisplayFilterViewResultContainers​(boolean enabled)
        Configures displaying filter view result containers
      • isDisplayFilterViewResultContainersEnabled

        public static boolean isDisplayFilterViewResultContainersEnabled()
      • 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