private void scheduleCleanerJobIfNecessary(final IPreferencePageContainer preferencePageContainer) { console.debug("BuilderPreferencePage scheduleCleanerJobIfNecessary"); Map<String, ValueDifference<String>> changes = builderConfigurationBlock.getPreferenceChanges(); for (String key : changes.keySet()) { if (key.matches("^" + EclipseOutputConfigurationProvider.OUTPUT_PREFERENCE_TAG + "\\.\\w+\\." + EclipseOutputConfigurationProvider.OUTPUT_DIRECTORY + "$")) { ValueDifference<String> difference = changes.get(key); scheduleCleanerJob(preferencePageContainer, difference.rightValue()); } } }
public Class<? extends IContextualOutputConfigurationProvider> bindIContextualOutputConfigurationProvider() { return EclipseOutputConfigurationProvider.class; }
/** * This method has been copied from org.eclipse.xtext.builder.preferences.BuilderPreferencePage. */ @Inject public void setConfigurationProvider(EclipseOutputConfigurationProvider configurationProvider) { this.configurationProvider = configurationProvider; rebuildCount = getRebuildCount(); }
@Inject public void setConfigurationProvider( final EclipseOutputConfigurationProvider configurationProvider) { console.debug("BuilderPreferencePage setConfigurationProvider "); this.configurationProvider = configurationProvider; }