Package com.ensoftcorp.open.cg.preferences

Class CallGraphPreferences

  • public class CallGraphPreferences
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

      • RA_ALGORITHM

        public static final java.lang.String RA_ALGORITHM
        Enable/disable RA
        See Also:
        Constant Field Values

      • RA_ALGORITHM_DEFAULT

        public static final java.lang.Boolean RA_ALGORITHM_DEFAULT

      • CHA_ALGORITHM

        public static final java.lang.String CHA_ALGORITHM
        Enable/disable CHA
        See Also:
        Constant Field Values

      • CHA_ALGORITHM_DEFAULT

        public static final java.lang.Boolean CHA_ALGORITHM_DEFAULT

      • RTA_ALGORITHM

        public static final java.lang.String RTA_ALGORITHM
        Enable/disable RTA
        See Also:
        Constant Field Values

      • RTA_ALGORITHM_DEFAULT

        public static final java.lang.Boolean RTA_ALGORITHM_DEFAULT

      • MTA_ALGORITHM

        public static final java.lang.String MTA_ALGORITHM
        Enable/disable MTA
        See Also:
        Constant Field Values

      • MTA_ALGORITHM_DEFAULT

        public static final java.lang.Boolean MTA_ALGORITHM_DEFAULT

      • FTA_ALGORITHM

        public static final java.lang.String FTA_ALGORITHM
        Enable/disable FTA
        See Also:
        Constant Field Values

      • FTA_ALGORITHM_DEFAULT

        public static final java.lang.Boolean FTA_ALGORITHM_DEFAULT

      • ETA_ALGORITHM

        public static final java.lang.String ETA_ALGORITHM
        Enable/disable ETA
        See Also:
        Constant Field Values

      • ETA_ALGORITHM_DEFAULT

        public static final java.lang.Boolean ETA_ALGORITHM_DEFAULT

      • XTA_ALGORITHM

        public static final java.lang.String XTA_ALGORITHM
        Enable/disable XTA
        See Also:
        Constant Field Values

      • XTA_ALGORITHM_DEFAULT

        public static final java.lang.Boolean XTA_ALGORITHM_DEFAULT

      • XTA2_ALGORITHM

        public static final java.lang.String XTA2_ALGORITHM
        Enable/disable XTA2
        See Also:
        Constant Field Values

      • XTA2_ALGORITHM_DEFAULT

        public static final java.lang.Boolean XTA2_ALGORITHM_DEFAULT

      • ZEROCFA_ALGORITHM

        public static final java.lang.String ZEROCFA_ALGORITHM
        Enable/disable ZeroCFA
        See Also:
        Constant Field Values

      • ZEROCFA_ALGORITHM_DEFAULT

        public static final java.lang.Boolean ZEROCFA_ALGORITHM_DEFAULT

      • GENERAL_LOGGING

        public static final java.lang.String GENERAL_LOGGING
        Enable/disable general logging
        See Also:
        Constant Field Values

      • GENERAL_LOGGING_DEFAULT

        public static final java.lang.Boolean GENERAL_LOGGING_DEFAULT

      • INFER_LIBRARY_CALLBACK_ENTRY_POINTS

        public static final java.lang.String INFER_LIBRARY_CALLBACK_ENTRY_POINTS
        See Also:
        Constant Field Values

      • INFER_LIBRARY_CALLBACK_ENTRY_POINTS_DEFAULT

        public static final java.lang.Boolean INFER_LIBRARY_CALLBACK_ENTRY_POINTS_DEFAULT

      • LIBRARY_CALL_GRAPH_CONSTRUCTION

        public static final java.lang.String LIBRARY_CALL_GRAPH_CONSTRUCTION
        See Also:
        Constant Field Values

      • LIBRARY_CALL_GRAPH_CONSTRUCTION_DEFAULT

        public static final java.lang.Boolean LIBRARY_CALL_GRAPH_CONSTRUCTION_DEFAULT

      • REACHABILITY_RESTRICTIONS

        public static final java.lang.String REACHABILITY_RESTRICTIONS
        Enable/disable reachability restrictions in various CG algorithms
        See Also:
        Constant Field Values

      • REACHABILITY_RESTRICTIONS_DEFAULT

        public static final java.lang.Boolean REACHABILITY_RESTRICTIONS_DEFAULT

    • Constructor Detail

      • CallGraphPreferences

        public CallGraphPreferences()

    • 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 loop cataloging is enabled
        Returns:

      • isReachabilityAnalysisEnabled

        public static boolean isReachabilityAnalysisEnabled()

      • enableReachabilityAnalysis

        public static void enableReachabilityAnalysis​(boolean enabled)
        Configures Reachability Analysis

      • isClassHierarchyAnalysisEnabled

        public static boolean isClassHierarchyAnalysisEnabled()

      • enableClassHierarchyAnalysis

        public static void enableClassHierarchyAnalysis​(boolean enabled)
        Configures Class Hierarchy Analysis

      • isRapidTypeAnalysisEnabled

        public static boolean isRapidTypeAnalysisEnabled()

      • enableRapidTypeAnalysis

        public static void enableRapidTypeAnalysis​(boolean enabled)
        Configures Rapid Type Analysis

      • isMethodTypeAnalysisEnabled

        public static boolean isMethodTypeAnalysisEnabled()

      • enableMethodTypeAnalysis

        public static void enableMethodTypeAnalysis​(boolean enabled)
        Configures Method Type Analysis

      • isFieldTypeAnalysisEnabled

        public static boolean isFieldTypeAnalysisEnabled()

      • enableFieldTypeAnalysis

        public static void enableFieldTypeAnalysis​(boolean enabled)
        Configures Field Type Analysis

      • isExceptionTypeAnalysisEnabled

        public static boolean isExceptionTypeAnalysisEnabled()

      • enableExceptionTypeAnalysis

        public static void enableExceptionTypeAnalysis​(boolean enabled)
        Configures Exception Type Analysis

      • isClassicHybridTypeAnalysisEnabled

        public static boolean isClassicHybridTypeAnalysisEnabled()

      • enableClassicHybridTypeAnalysis

        public static void enableClassicHybridTypeAnalysis​(boolean enabled)
        Configures Classic Hybrid Type Analysis

      • isHybridTypeAnalysisEnabled

        public static boolean isHybridTypeAnalysisEnabled()

      • enableHybridTypeAnalysis

        public static void enableHybridTypeAnalysis​(boolean enabled)
        Configures Hybrid Type Analysis

      • isZeroCFAEnabled

        public static boolean isZeroCFAEnabled()

      • enableZeroCFAAnalysis

        public static void enableZeroCFAAnalysis​(boolean enabled)
        Configures 0-CFA Analysis

      • isGeneralLoggingEnabled

        public static boolean isGeneralLoggingEnabled()

      • enableGeneralLogging

        public static void enableGeneralLogging​(boolean enabled)
        Configures general logging

      • isLibraryCallbackEntryPointsInferenceEnabled

        public static boolean isLibraryCallbackEntryPointsInferenceEnabled()

      • enableLibraryCallbackEntryPointsInfererence

        public static void enableLibraryCallbackEntryPointsInfererence​(boolean enabled)
        Configures library callback entry point inference

      • isLibraryCallGraphConstructionEnabled

        public static boolean isLibraryCallGraphConstructionEnabled()

      • enableLibraryCallGraphConstruction

        public static void enableLibraryCallGraphConstruction​(boolean enabled)
        Configures library call graph construction

      • isReachabilityEnabled

        public static boolean isReachabilityEnabled()

      • enableReachabilityRestrictions

        public static void enableReachabilityRestrictions​(boolean enabled)
        Configures reachability restrictions

      • 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