Skip to content
Snippets Groups Projects

Settings qualifier fixes

Merged Adam Knapp requested to merge config-fix into main
1 file
+ 4
4
Compare changes
  • Side-by-side
  • Inline
@@ -33,10 +33,10 @@ public class Configuration {
@@ -33,10 +33,10 @@ public class Configuration {
// on-the-fly checker preferences
// on-the-fly checker preferences
public static final String PREFIX = "titan.";
public static final String PREFIX = "titan.";
public static final String DISPLAY_DEBUG_INFORMATION = PREFIX + "displayDebugInformation";
public static final String DISPLAY_DEBUG_INFORMATION = PREFIX + "displayDebugInformation";
public static final String REPORT_IGNORED_PREPROCESSOR_DIRECTIVES = PREFIX + ".reportIgnoredPreprocessorDirectives";
public static final String REPORT_IGNORED_PREPROCESSOR_DIRECTIVES = PREFIX + "reportIgnoredPreprocessorDirectives";
public static final String LIMIT_ALL_THREAD_CREATION = PREFIX + ".limitAllThreadCreation";
public static final String LIMIT_ALL_THREAD_CREATION = PREFIX + "limitAllThreadCreation";
public static final String PROCESSING_UNITS_TO_USE = PREFIX + ".processingUnitsToUse";
public static final String PROCESSING_UNITS_TO_USE = PREFIX + "processingUnitsToUse";
public static final String ENABLE_TITANIUM = ".enableTitanium";
public static final String ENABLE_TITANIUM = PREFIX + "enableTitanium";
public static final String ENABLE_INLAY_HINTS = PREFIX + "enableInlayHints";
public static final String ENABLE_INLAY_HINTS = PREFIX + "enableInlayHints";
public static final String ON_THE_FLY_PREFERENCES = PREFIX + "onTheFlyChecker";
public static final String ON_THE_FLY_PREFERENCES = PREFIX + "onTheFlyChecker";
Loading