Home
last modified time | relevance | path

Searched refs:DEFAULT_TASK_PRIORITIES (Results 1 – 4 of 4) sorted by relevance

/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.jdt.core/org.eclipse.jdt.core/model/org/eclipse/jdt/internal/core/
H A DJavaCorePreferenceInitializer.java62 defaultOptionsMap.put(JavaCore.COMPILER_TASK_PRIORITIES, JavaCore.DEFAULT_TASK_PRIORITIES); in initializeDefaultPreferences()
H A DJavaModelManager.java2452 defaultOptionsMap.put(JavaCore.COMPILER_TASK_PRIORITIES, JavaCore.DEFAULT_TASK_PRIORITIES); in getDefaultOptionsNoInitialization()
/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.jdt.core/org.eclipse.jdt.core.tests.performance/src/org/eclipse/jdt/core/tests/performance/
H A DFullSourceWorkspaceTests.java1225 …optionsMap.put(CompilerOptions.OPTION_TaskPriorities, all ? JavaCore.DEFAULT_TASK_PRIORITIES : ""); in warningOptions()
/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.jdt.core/org.eclipse.jdt.core/model/org/eclipse/jdt/core/
H A DJavaCore.java3000 public static final String DEFAULT_TASK_PRIORITIES = "NORMAL,HIGH,NORMAL"; //$NON-NLS-1$ field in JavaCore