Ticket #17268: clear_ignored_errors_v12.2.patch
| File clear_ignored_errors_v12.2.patch, 10.2 KB (added by , 7 years ago) |
|---|
-
src/org/openstreetmap/josm/data/preferences/sources/ValidatorPrefHelper.java
10 10 import java.util.Map; 11 11 12 12 import org.openstreetmap.josm.data.preferences.BooleanProperty; 13 import org.openstreetmap.josm.data.preferences.ListProperty; 13 14 import org.openstreetmap.josm.data.validation.tests.MapCSSTagChecker; 14 15 15 16 /** … … 44 45 /** The preferences for ignored severity other */ 45 46 public static final BooleanProperty PREF_OTHER = new BooleanProperty(PREFIX + ".other", false); 46 47 48 /** The preferences key for the ignorelist */ 49 public static final ListProperty PREF_IGNORELIST = new ListProperty(PREFIX + ".ignorelist", null); 50 51 /** The preferences key for the ignorelist backup */ 52 public static final ListProperty PREF_IGNORELIST_BACKUP = new ListProperty(PREFIX + ".ignorelist.bak", null); 47 53 /** 48 54 * The preferences key for enabling the permanent filtering 49 55 * of the displayed errors in the tree regarding the current selection -
src/org/openstreetmap/josm/data/validation/OsmValidator.java
7 7 import java.io.File; 8 8 import java.io.FileNotFoundException; 9 9 import java.io.IOException; 10 import java.io.PrintWriter;11 10 import java.nio.charset.StandardCharsets; 12 11 import java.nio.file.Files; 13 12 import java.nio.file.Path; … … 89 88 private static double griddetail; 90 89 91 90 private static final Collection<String> ignoredErrors = new TreeSet<>(); 91 /** 92 * The preference value for the validator's ignorederrors list 93 */ 94 public static final String prefIgnoredErrors = "validator.ignorederrors"; 92 95 93 96 /** 94 97 * All registered tests … … 204 207 private static void loadIgnoredErrors() { 205 208 ignoredErrors.clear(); 206 209 if (ValidatorPrefHelper.PREF_USE_IGNORE.get()) { 210 List<String> errors = ValidatorPrefHelper.PREF_IGNORELIST.get(); 211 if (errors != null && !errors.isEmpty()) { 212 ignoredErrors.addAll(ValidatorPrefHelper.PREF_IGNORELIST.get()); 213 } 207 214 Path path = Paths.get(getValidatorDir()).resolve("ignorederrors"); 208 215 try { 209 216 if (path.toFile().exists()) { 210 217 try { 211 218 ignoredErrors.addAll(Files.readAllLines(path, StandardCharsets.UTF_8)); 219 saveIgnoredErrors(); 220 Files.deleteIfExists(path); 212 221 } catch (FileNotFoundException e) { 213 222 Logging.debug(Logging.getErrorMessage(e)); 214 223 } catch (IOException e) { … … 241 250 } 242 251 243 252 /** 253 * Get the list of all ignored errors 254 * @return The <code>Collection<String></code> of errors that are ignored 255 */ 256 public static Collection<String> getIgnoredErrors() { 257 return ignoredErrors; 258 } 259 260 /** 261 * Reset the error list by deleting ignorederrors 262 */ 263 public static void resetErrorList() { 264 saveIgnoredErrors(); 265 backupErrorList(); 266 ValidatorPrefHelper.PREF_USE_IGNORE.put(null); 267 OsmValidator.initialize(); 268 } 269 270 /** 271 * Restore the error list by copying ignorederrors.bak to ignorederrors 272 */ 273 public static void restoreErrorList() { 274 saveIgnoredErrors(); 275 List<String> tlist = ValidatorPrefHelper.PREF_IGNORELIST_BACKUP.get(); 276 backupErrorList(); 277 ValidatorPrefHelper.PREF_IGNORELIST.put(tlist); 278 OsmValidator.initialize(); 279 } 280 281 private static void backupErrorList() { 282 List<String> tlist = ValidatorPrefHelper.PREF_IGNORELIST.get(); 283 if (tlist.isEmpty()) tlist = null; 284 ValidatorPrefHelper.PREF_IGNORELIST_BACKUP.put(tlist); 285 } 286 287 /** 244 288 * Saves the names of the ignored errors to a file 245 289 */ 246 290 public static void saveIgnoredErrors() { 247 try (PrintWriter out = new PrintWriter(new File(getValidatorDir(), "ignorederrors"), StandardCharsets.UTF_8.name())) { 248 for (String e : ignoredErrors) { 249 out.println(e); 250 } 251 } catch (IOException e) { 252 Logging.error(e); 253 } 291 List<String> list = new ArrayList<>(ignoredErrors); 292 Collections.sort(list); 293 ValidatorPrefHelper.PREF_IGNORELIST.put(list); 254 294 } 255 295 256 296 /** -
src/org/openstreetmap/josm/gui/dialogs/ValidatorDialog.java
46 46 import org.openstreetmap.josm.data.validation.OsmValidator; 47 47 import org.openstreetmap.josm.data.validation.TestError; 48 48 import org.openstreetmap.josm.data.validation.ValidatorVisitor; 49 import org.openstreetmap.josm.gui.ConditionalOptionPaneUtil; 49 50 import org.openstreetmap.josm.gui.MainApplication; 51 import org.openstreetmap.josm.gui.MapFrame; 50 52 import org.openstreetmap.josm.gui.PleaseWaitRunnable; 51 53 import org.openstreetmap.josm.gui.PopupMenuHandler; 52 54 import org.openstreetmap.josm.gui.SideButton; … … 85 87 private final SideButton fixButton; 86 88 /** The ignore button */ 87 89 private final SideButton ignoreButton; 90 /** The reset ignorelist button */ 91 private final SideButton resetignorelistButton; 88 92 /** The select button */ 89 93 private final SideButton selectButton; 90 94 /** The lookup button */ … … 174 178 }); 175 179 ignoreButton.setEnabled(false); 176 180 buttons.add(ignoreButton); 181 resetignorelistButton = new SideButton(new AbstractAction() { 182 int reset; 183 { 184 toggle(); 185 } 186 187 public void toggle() { 188 this.setEnabled(true); 189 if (!OsmValidator.getIgnoredErrors().isEmpty()) { 190 putValue(NAME, tr("Clear Ignore")); 191 putValue(SHORT_DESCRIPTION, tr("Clear ignore list")); 192 new ImageProvider("dialogs", "fix").getResource().attachImageIcon(this, true); 193 reset = 1; 194 } else { 195 List<String> ignoredErrors = ValidatorPrefHelper.PREF_IGNORELIST_BACKUP.get(); 196 if (!ignoredErrors.isEmpty()) { 197 putValue(NAME, tr("Restore Ignore")); 198 putValue(SHORT_DESCRIPTION, tr("Restore ignore list")); 199 new ImageProvider("copy").getResource().attachImageIcon(this, true); 200 reset = 2; 201 } else if (!OsmValidator.getIgnoredErrors().isEmpty()) { 202 putValue(NAME, tr("Save Ignore")); 203 putValue(SHORT_DESCRIPTION, tr("Save ignore list")); 204 new ImageProvider("save").getResource().attachImageIcon(this, true); 205 reset = 3; 206 } else { 207 putValue(NAME, tr("Ignore list modification")); 208 putValue(SHORT_DESCRIPTION, tr("Clear/Restore/Save the ignore list, depending upon various conditions")); 209 new ImageProvider("dialogs", "validator").getResource().attachImageIcon(this, true); 210 this.setEnabled(false); 211 } 212 } 213 } 214 215 @Override 216 public void actionPerformed(ActionEvent e) { 217 if (e != null) { 218 if (reset == 1) { 219 OsmValidator.resetErrorList(); 220 } else if (reset == 2) { 221 OsmValidator.restoreErrorList(); 222 } else if (reset == 3 && !OsmValidator.getIgnoredErrors().isEmpty()) { 223 OsmValidator.saveIgnoredErrors(); 224 } 225 if (reset == 1 || reset == 2) rerunValidatorPrompt(); 226 } 227 toggle(); 228 } 229 }); 230 buttons.add(resetignorelistButton); 177 231 } else { 178 232 ignoreButton = null; 233 resetignorelistButton = null; 179 234 } 235 180 236 createLayout(tree, true, buttons); 181 237 } 182 238 … … 280 336 if (changed.get()) { 281 337 tree.resetErrors(); 282 338 OsmValidator.saveIgnoredErrors(); 339 if (resetignorelistButton != null) { 340 resetignorelistButton.getAction().actionPerformed(null); 341 } 283 342 invalidateValidatorLayers(); 284 343 } 285 344 } 286 345 287 346 /** 347 * Prompt to rerun the validator when the ignore list changes 348 */ 349 public void rerunValidatorPrompt() { 350 MapFrame map = MainApplication.getMap(); 351 List<TestError> errors = map.validatorDialog.tree.getErrors(); 352 if (!validateAction.isEnabled() || errors == null || errors.isEmpty()) return; 353 final int answer = ConditionalOptionPaneUtil.showOptionDialog( 354 "rerun_validation_when_ignorelist_changed", 355 MainApplication.getMainFrame(), 356 "<hmtl><h3>" + tr("Should the validation be rerun?") + "</h3></html>", 357 tr("Ignored error filter changed"), 358 JOptionPane.YES_NO_CANCEL_OPTION, 359 JOptionPane.QUESTION_MESSAGE, 360 null, 361 null); 362 if (answer == JOptionPane.YES_OPTION) { 363 validateAction.doValidate(true); 364 } 365 } 366 367 /** 288 368 * Sets the selection of the map to the current selected items. 289 369 */ 290 @SuppressWarnings("unchecked")291 370 private void setSelectedItems() { 292 371 DataSet ds = MainApplication.getLayerManager().getActiveDataSet(); 293 372 if (tree == null || ds == null)
