Ticket #17268: clear_ignored_errors_v21.patch

File clear_ignored_errors_v21.patch, 23.6 KB (added by taylor.smock, 7 years ago)

Build tree, allow deletion from tree, and rebuild error list from that tree.

  • src/org/openstreetmap/josm/data/preferences/sources/ValidatorPrefHelper.java

     
    4444    /** The preferences for ignored severity other */
    4545    public static final BooleanProperty PREF_OTHER = new BooleanProperty(PREFIX + ".other", false);
    4646
     47    /** The preferences key for the ignorelist */
     48    public static final String PREF_IGNORELIST = PREFIX + ".ignorelist";
     49
     50    /** The preferences key for the ignorelist backup */
     51    public static final String PREF_IGNORELIST_BACKUP = PREFIX + ".ignorelist.bak";
     52
     53    /** The preferences key for whether or not the ignorelist backup should be cleared on start */
     54    public static final BooleanProperty PREF_IGNORELIST_KEEP_BACKUP = new BooleanProperty(PREFIX + ".ignorelist.bak.keep", false);
     55
    4756    /**
    4857     * The preferences key for enabling the permanent filtering
    4958     * of the displayed errors in the tree regarding the current selection
     
    5059     */
    5160    public static final String PREF_FILTER_BY_SELECTION = PREFIX + ".selectionFilter";
    5261
    53     /**
    54      * Constructs a new {@code PresetPrefHelper}.
    55      */
    5662    public ValidatorPrefHelper() {
    5763        super(MapCSSTagChecker.ENTRIES_PREF_KEY, SourceType.TAGCHECKER_RULE);
    5864    }
  • src/org/openstreetmap/josm/data/validation/OsmValidator.java

     
    77import java.io.File;
    88import java.io.FileNotFoundException;
    99import java.io.IOException;
    10 import java.io.PrintWriter;
    1110import java.nio.charset.StandardCharsets;
    1211import java.nio.file.Files;
    1312import java.nio.file.Path;
     
    8887    /** Grid detail, multiplier of east,north values for valuable cell sizing */
    8988    private static double griddetail;
    9089
    91     private static final Collection<String> ignoredErrors = new TreeSet<>();
    92 
     90    private static final HashMap<String, String> ignoredErrors = new HashMap<>();
    9391    /**
    9492     * All registered tests
    9593     */
     
    204202    private static void loadIgnoredErrors() {
    205203        ignoredErrors.clear();
    206204        if (ValidatorPrefHelper.PREF_USE_IGNORE.get()) {
     205            Config.getPref().getListOfMaps(ValidatorPrefHelper.PREF_IGNORELIST).forEach(map -> {
     206                ignoredErrors.putAll(map);
     207            });
    207208            Path path = Paths.get(getValidatorDir()).resolve("ignorederrors");
    208209            try {
    209210                if (path.toFile().exists()) {
    210211                    try {
    211                         ignoredErrors.addAll(Files.readAllLines(path, StandardCharsets.UTF_8));
     212                        TreeSet<String> treeSet = new TreeSet<>();
     213                        treeSet.addAll(Files.readAllLines(path, StandardCharsets.UTF_8));
     214                        treeSet.forEach(ignore -> {
     215                            ignoredErrors.putIfAbsent(ignore, "");
     216                        });
     217
     218                        saveIgnoredErrors();
     219                        Files.deleteIfExists(path);
    212220                    } catch (FileNotFoundException e) {
    213221                        Logging.debug(Logging.getErrorMessage(e));
    214222                    } catch (IOException e) {
     
    228236     * @see TestError#getIgnoreSubGroup()
    229237     */
    230238    public static void addIgnoredError(String s) {
    231         ignoredErrors.add(s);
     239        addIgnoredError(s, "");
    232240    }
    233241
    234242    /**
     243     * Adds an ignored error
     244     * @param s The ignore group / sub group name
     245     * @param description What the error actually is
     246     * @see TestError#getIgnoreGroup()
     247     * @see TestError#getIgnoreSubGroup()
     248     */
     249    public static void addIgnoredError(String s, String description) {
     250        if (description == null) description = "";
     251        ignoredErrors.put(s, description);
     252    }
     253
     254    /**
    235255     * Check if a error should be ignored
    236256     * @param s The ignore group / sub group name
    237257     * @return <code>true</code> to ignore that error
    238258     */
    239259    public static boolean hasIgnoredError(String s) {
    240         return ignoredErrors.contains(s);
     260        return ignoredErrors.containsKey(s);
    241261    }
    242262
    243263    /**
    244      * Saves the names of the ignored errors to a file
     264     * Get the list of all ignored errors
     265     * @return The <code>Collection&ltString&gt</code> of errors that are ignored
    245266     */
     267    public static HashMap<String, String> getIgnoredErrors() {
     268        return ignoredErrors;
     269    }
     270
     271    /**
     272     * Reset the error list by deleting {@code validator.ignorelist}
     273     */
     274    public static void resetErrorList() {
     275        saveIgnoredErrors();
     276        backupErrorList();
     277        Config.getPref().putListOfMaps(ValidatorPrefHelper.PREF_IGNORELIST, null);
     278        OsmValidator.initialize();
     279    }
     280
     281    /**
     282     * Restore the error list by copying {@code validator.ignorelist.bak} to
     283     * {@code validator.ignorelist}
     284     */
     285    public static void restoreErrorList() {
     286        saveIgnoredErrors();
     287        List<Map<String, String>> tlist = Config.getPref().getListOfMaps(ValidatorPrefHelper.PREF_IGNORELIST_BACKUP);
     288        backupErrorList();
     289        Config.getPref().putListOfMaps(ValidatorPrefHelper.PREF_IGNORELIST, tlist);
     290        OsmValidator.initialize();
     291    }
     292
     293    private static void backupErrorList() {
     294        List<Map<String, String>> tlist = Config.getPref().getListOfMaps(ValidatorPrefHelper.PREF_IGNORELIST, null);
     295        Config.getPref().putListOfMaps(ValidatorPrefHelper.PREF_IGNORELIST_BACKUP, tlist);
     296    }
     297
     298    /**
     299     * Saves the names of the ignored errors to a preference
     300     */
    246301    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);
     302        List<Map<String, String>> list = new ArrayList<>();
     303        list.add(ignoredErrors);
     304        int i = 0;
     305        while (i < list.size()) {
     306            if (list.get(i) == null || list.get(i).isEmpty()) {
     307                list.remove(i);
     308                continue;
    250309            }
    251         } catch (IOException e) {
    252             Logging.error(e);
     310            i++;
    253311        }
     312        if (list.isEmpty()) list = null;
     313        Config.getPref().putListOfMaps(ValidatorPrefHelper.PREF_IGNORELIST, list);
    254314    }
    255315
    256316    /**
  • src/org/openstreetmap/josm/gui/dialogs/ValidatorListManagementDialog.java

     
     1// License: GPL. For details, see LICENSE file.
     2package org.openstreetmap.josm.gui.dialogs;
     3
     4import static org.openstreetmap.josm.tools.I18n.tr;
     5
     6import java.awt.GridBagLayout;
     7import java.awt.Rectangle;
     8import java.awt.event.ActionEvent;
     9import java.awt.event.MouseAdapter;
     10import java.awt.event.MouseEvent;
     11import java.util.Enumeration;
     12import java.util.HashMap;
     13import java.util.List;
     14import java.util.Locale;
     15import java.util.TreeMap;
     16
     17import javax.swing.AbstractAction;
     18import javax.swing.ImageIcon;
     19import javax.swing.JMenuItem;
     20import javax.swing.JOptionPane;
     21import javax.swing.JPanel;
     22import javax.swing.JPopupMenu;
     23import javax.swing.JScrollPane;
     24import javax.swing.JTree;
     25import javax.swing.tree.DefaultMutableTreeNode;
     26import javax.swing.tree.TreeModel;
     27import javax.swing.tree.TreeNode;
     28import javax.swing.tree.TreePath;
     29
     30import org.openstreetmap.josm.actions.ValidateAction;
     31import org.openstreetmap.josm.data.validation.OsmValidator;
     32import org.openstreetmap.josm.data.validation.TestError;
     33import org.openstreetmap.josm.gui.ConditionalOptionPaneUtil;
     34import org.openstreetmap.josm.gui.ExtendedDialog;
     35import org.openstreetmap.josm.gui.MainApplication;
     36import org.openstreetmap.josm.gui.MapFrame;
     37import org.openstreetmap.josm.gui.util.GuiHelper;
     38import org.openstreetmap.josm.tools.GBC;
     39import org.openstreetmap.josm.tools.ImageProvider;
     40import org.openstreetmap.josm.tools.Logging;
     41
     42
     43/**
     44 * A management window for the validator's ignorelist
     45 * @author Taylor Smock
     46 * @since xxx
     47 */
     48public class ValidatorListManagementDialog extends ExtendedDialog {
     49    enum BUTTONS {
     50        OK(0, tr("OK"), new ImageProvider("ok")),
     51        CLEAR(1, tr("Clear All"), new ImageProvider("dialogs", "fix")),
     52        RESTORE(2, tr("Restore"), new ImageProvider("copy")),
     53        CANCEL(3, tr("Cancel"), new ImageProvider("cancel"));
     54
     55        private int index;
     56        private String name;
     57        private ImageIcon icon;
     58
     59        BUTTONS(int index, String name, ImageProvider image) {
     60            this.index = index;
     61            this.name = name;
     62            this.icon = image.getResource().getImageIcon();
     63        }
     64
     65        public ImageIcon getImageIcon() {
     66            return icon;
     67        }
     68
     69        public int getIndex() {
     70            return index;
     71        }
     72
     73        public String getName() {
     74            return name;
     75        }
     76    }
     77
     78    private static final String[] BUTTON_TEXTS = {BUTTONS.OK.getName(), BUTTONS.CLEAR.getName(),
     79            BUTTONS.RESTORE.getName(), BUTTONS.CANCEL.getName()
     80    };
     81
     82    private static final ImageIcon[] BUTTON_IMAGES = {BUTTONS.OK.getImageIcon(), BUTTONS.CLEAR.getImageIcon(),
     83            BUTTONS.RESTORE.getImageIcon(), BUTTONS.CANCEL.getImageIcon()
     84    };
     85
     86    private final JPanel panel = new JPanel(new GridBagLayout());
     87
     88    private final JTree ignoreErrors;
     89
     90    private final String type;
     91
     92    /**
     93     * Create a new {@link ValidatorListManagementDialog}
     94     * @param type The type of list to create (first letter may or may not be
     95     * capitalized, it is put into all lowercase after building the title)
     96     */
     97    public ValidatorListManagementDialog(String type) {
     98        super(MainApplication.getMainFrame(), tr("Validator {0} List Management", type), BUTTON_TEXTS, false);
     99        this.type = type.toLowerCase(Locale.ENGLISH);
     100        setButtonIcons(BUTTON_IMAGES);
     101
     102        ignoreErrors = buildList();
     103        JScrollPane scroll = GuiHelper.embedInVerticalScrollPane(ignoreErrors);
     104
     105        panel.add(scroll, GBC.eol().fill(GBC.BOTH).anchor(GBC.CENTER));
     106        setContent(panel);
     107        setDefaultButton(1);
     108        setupDialog();
     109        showDialog();
     110    }
     111
     112    @Override
     113    public void buttonAction(int buttonIndex, ActionEvent evt) {
     114        // Currently OK/Cancel buttons do nothing
     115        final int answer;
     116        if (buttonIndex == BUTTONS.RESTORE.getIndex()) {
     117            dispose();
     118            answer = rerunValidatorPrompt();
     119            if (answer == JOptionPane.YES_OPTION || answer == JOptionPane.NO_OPTION) {
     120                OsmValidator.restoreErrorList();
     121            }
     122        } else if (buttonIndex == BUTTONS.CLEAR.getIndex()) {
     123            dispose();
     124            answer = rerunValidatorPrompt();
     125            if (answer == JOptionPane.YES_OPTION || answer == JOptionPane.NO_OPTION) {
     126                OsmValidator.resetErrorList();
     127            }
     128        } else if (buttonIndex == BUTTONS.OK.getIndex()) {
     129            HashMap<String, String> errors = OsmValidator.getIgnoredErrors();
     130            HashMap<String, String> tree = buildIgnore(ignoreErrors);
     131            if (!errors.equals(tree)) {
     132                answer = rerunValidatorPrompt();
     133                if (answer == JOptionPane.YES_OPTION || answer == JOptionPane.NO_OPTION) {
     134                    OsmValidator.resetErrorList();
     135                    Logging.setLogLevel(Logging.LEVEL_DEBUG);
     136                    Logging.debug("Starting to rebuild the error list of size {0}", tree.size());
     137                    tree.forEach((ignore, description) -> {
     138                        Logging.debug("Adding {0} with description {1}", ignore, description);
     139                        OsmValidator.addIgnoredError(ignore, description);
     140                    });
     141                    OsmValidator.saveIgnoredErrors();
     142                    OsmValidator.initialize();
     143                }
     144            }
     145            dispose();
     146        } else {
     147            super.buttonAction(buttonIndex, evt);
     148        }
     149    }
     150
     151    /**
     152     * Build a {@code HashMap} from a tree of ignored errors
     153     * @param tree The JTree of ignored errors
     154     * @return A {@code HashMap} of the ignored errors for comparison
     155     */
     156    public HashMap<String, String> buildIgnore(JTree tree) {
     157        TreeModel model = tree.getModel();
     158        DefaultMutableTreeNode root = (DefaultMutableTreeNode) model.getRoot();
     159        return buildIgnore(model, root);
     160    }
     161
     162    private HashMap<String, String> buildIgnore(TreeModel model, DefaultMutableTreeNode node) {
     163        Logging.setLogLevel(Logging.LEVEL_DEBUG);
     164        HashMap<String, String> rHashMap = new HashMap<>();
     165
     166        String osmids = node.getUserObject().toString();
     167        String description = "";
     168
     169        if (!model.getRoot().equals(node)) description = ((DefaultMutableTreeNode) node.getParent()).getUserObject().toString();
     170        if (!osmids.matches("^[0-9]+_.*")) osmids = "";
     171
     172        for (int i = 0; i < model.getChildCount(node); i++) {
     173            DefaultMutableTreeNode child = (DefaultMutableTreeNode) model.getChild(node, i);
     174            if (model.getChildCount(child) == 0) {
     175                String ignoreName = child.getUserObject().toString();
     176                if (ignoreName.matches("^(r|w|n)_.*")) {
     177                    osmids += ":" + child.getUserObject().toString();
     178                } else if (ignoreName.matches("^[0-9]+_.*")) {
     179                    rHashMap.put(ignoreName, description);
     180                }
     181            } else {
     182                rHashMap.putAll(buildIgnore(model, child));
     183            }
     184        }
     185        if (!osmids.equals("") && osmids.indexOf(":") != 0) rHashMap.put(osmids, description);
     186        return rHashMap;
     187    }
     188
     189    private DefaultMutableTreeNode inTree(DefaultMutableTreeNode root, String name) {
     190        @SuppressWarnings("unchecked")
     191        Enumeration<TreeNode> trunks = root.children();
     192        while (trunks.hasMoreElements()) {
     193            TreeNode ttrunk = trunks.nextElement();
     194            if (ttrunk instanceof DefaultMutableTreeNode) {
     195                DefaultMutableTreeNode trunk = (DefaultMutableTreeNode) ttrunk;
     196                if (name.equals(trunk.getUserObject())) {
     197                    return trunk;
     198                }
     199            }
     200        }
     201        return new DefaultMutableTreeNode(name);
     202    }
     203
     204    /**
     205     * Build a JTree with a list
     206     * @return &lttype&gtlist as a {@code JTree}
     207     */
     208    public JTree buildList() {
     209        TreeMap<String, String> map = new TreeMap<>();
     210        if ("ignore".equals(type)) {
     211            HashMap<String, String> tmap;
     212            tmap = OsmValidator.getIgnoredErrors();
     213            if (tmap.isEmpty()) {
     214                OsmValidator.initialize();
     215                tmap = OsmValidator.getIgnoredErrors();
     216            }
     217            map.putAll(tmap);
     218        } else {
     219            Logging.error(tr("Cannot understand the following type: {0}", type));
     220            return null;
     221        }
     222        DefaultMutableTreeNode root = new DefaultMutableTreeNode(tr("{0} list", type));
     223
     224        for (String key : map.keySet()) {
     225            String value = map.get(key);
     226            String[] osmobjects = key.split(":(r|w|n)_");
     227            DefaultMutableTreeNode trunk;
     228            DefaultMutableTreeNode branch;
     229
     230            if (value != null && !value.isEmpty()) {
     231                trunk = inTree(root, value);
     232                branch = inTree(trunk, osmobjects[0]);
     233                trunk.add(branch);
     234            } else {
     235                trunk = inTree(root, osmobjects[0]);
     236                branch = trunk;
     237            }
     238            for (int i = 1; i < osmobjects.length; i++) {
     239                String osmid = osmobjects[i];
     240                int index = key.indexOf(osmid);
     241                char type = key.charAt(index - 2);
     242                DefaultMutableTreeNode leaf = new DefaultMutableTreeNode(type + "_" + osmid);
     243                branch.add(leaf);
     244            }
     245            root.add(trunk);
     246        }
     247        JTree tree = new JTree(root);
     248        tree.setRootVisible(false);
     249        tree.setShowsRootHandles(true);
     250        tree.addMouseListener(new MouseAdapter() {
     251            @Override
     252            public void mousePressed(MouseEvent e) {
     253                if (e.isPopupTrigger()) {
     254                    TreePath[] paths = tree.getSelectionPaths();
     255                    if (paths == null) return;
     256                    Rectangle bounds = tree.getUI().getPathBounds(tree, paths[0]);
     257                    if (bounds != null && bounds.contains(e.getX(), e.getY())) {
     258                        JPopupMenu menu = new JPopupMenu();
     259                        JMenuItem delete = new JMenuItem(new AbstractAction(tr("Delete")) {
     260                            @Override
     261                            public void actionPerformed(ActionEvent e1) {
     262                                for (TreePath path : paths) {
     263                                    tree.clearSelection();
     264                                    tree.addSelectionPath(path);
     265                                    DefaultMutableTreeNode node = (DefaultMutableTreeNode) tree.getLastSelectedPathComponent();
     266                                    DefaultMutableTreeNode parent = (DefaultMutableTreeNode) node.getParent();
     267                                    node.removeAllChildren();
     268                                    while (node.getChildCount() == 0) {
     269                                        node.removeFromParent();
     270                                        node = parent;
     271                                        if (parent.isRoot()) break;
     272                                        parent = (DefaultMutableTreeNode) node.getParent();
     273                                    }
     274                                }
     275                                tree.updateUI();
     276                            }
     277                        });
     278                        menu.add(delete);
     279                        menu.show(e.getComponent(), e.getX(), e.getY());
     280                    }
     281                }
     282            }
     283        });
     284        return tree;
     285    }
     286
     287    /**
     288     * Prompt to rerun the validator when the ignore list changes
     289     * @return {@code JOptionPane.YES_OPTION}, {@code JOptionPane.NO_OPTION},
     290     *  or {@code JOptionPane.CANCEL_OPTION}
     291     */
     292    public int rerunValidatorPrompt() {
     293        MapFrame map = MainApplication.getMap();
     294        List<TestError> errors = map.validatorDialog.tree.getErrors();
     295        ValidateAction validateAction = ValidatorDialog.validateAction;
     296        if (!validateAction.isEnabled() || errors == null || errors.isEmpty()) return JOptionPane.NO_OPTION;
     297        final int answer = ConditionalOptionPaneUtil.showOptionDialog(
     298                "rerun_validation_when_ignorelist_changed",
     299                MainApplication.getMainFrame(),
     300                tr("{0}Should the validation be rerun?{1}", "<hmtl><h3>", "</h3></html>"),
     301                tr("Ignored error filter changed"),
     302                JOptionPane.YES_NO_CANCEL_OPTION,
     303                JOptionPane.QUESTION_MESSAGE,
     304                null,
     305                null);
     306        if (answer == JOptionPane.YES_OPTION) {
     307            validateAction.doValidate(true);
     308        }
     309        return answer;
     310    }
     311}
  • src/org/openstreetmap/josm/gui/dialogs/ValidatorDialog.java

     
    6363import org.openstreetmap.josm.tools.ImageProvider;
    6464import org.openstreetmap.josm.tools.InputMapUtils;
    6565import org.openstreetmap.josm.tools.JosmRuntimeException;
     66import org.openstreetmap.josm.tools.Pair;
    6667import org.openstreetmap.josm.tools.Shortcut;
    6768import org.xml.sax.SAXException;
    6869
     
    8586    private final SideButton fixButton;
    8687    /** The ignore button */
    8788    private final SideButton ignoreButton;
     89    /** The reset ignorelist button */
     90    private final SideButton ignorelistManagement;
    8891    /** The select button */
    8992    private final SideButton selectButton;
    9093    /** The lookup button */
     
    174177            });
    175178            ignoreButton.setEnabled(false);
    176179            buttons.add(ignoreButton);
     180
     181            if (!ValidatorPrefHelper.PREF_IGNORELIST_KEEP_BACKUP.get()) {
     182                // Clear the backup ignore list
     183                Config.getPref().putListOfMaps(ValidatorPrefHelper.PREF_IGNORELIST_BACKUP, null);
     184            }
     185            ignorelistManagement = new SideButton(new AbstractAction() {
     186                {
     187                    putValue(NAME, tr("Manage Ignore"));
     188                    putValue(SHORT_DESCRIPTION, tr("Manage the ignore list"));
     189                    new ImageProvider("dialogs", "fix").getResource().attachImageIcon(this, true);
     190                }
     191
     192                @Override
     193                public void actionPerformed(ActionEvent e) {
     194                    ValidatorListManagementDialog dialog = new ValidatorListManagementDialog("Ignore");
     195                    if (dialog.getValue() == 1) {
     196                        // TODO save
     197                    }
     198                }
     199            });
     200            buttons.add(ignorelistManagement);
    177201        } else {
    178202            ignoreButton = null;
     203            ignorelistManagement = null;
    179204        }
     205
    180206        createLayout(tree, true, buttons);
    181207    }
    182208
     
    245271
    246272            Object mainNodeInfo = node.getUserObject();
    247273            if (!(mainNodeInfo instanceof TestError)) {
    248                 Set<String> state = new HashSet<>();
     274                Set<Pair<String, String>> state = new HashSet<>();
    249275                // ask if the whole set should be ignored
    250276                if (asked == JOptionPane.DEFAULT_OPTION) {
    251277                    String[] a = new String[] {tr("Whole group"), tr("Single elements"), tr("Nothing")};
     
    257283                    ValidatorTreePanel.visitTestErrors(node, err -> {
    258284                        err.setIgnored(true);
    259285                        changed.set(true);
    260                         state.add(node.getDepth() == 1 ? err.getIgnoreSubGroup() : err.getIgnoreGroup());
     286                        state.add(new Pair<>(node.getDepth() == 1 ? err.getIgnoreSubGroup() : err.getIgnoreGroup(), err.getMessage()));
    261287                    }, processedNodes);
    262                     for (String s : state) {
    263                         OsmValidator.addIgnoredError(s);
     288                    for (Pair<String, String> s : state) {
     289                        OsmValidator.addIgnoredError(s.a, s.b);
    264290                    }
    265291                    continue;
    266292                } else if (asked == JOptionPane.CANCEL_OPTION || asked == JOptionPane.CLOSED_OPTION) {
     
    271297            ValidatorTreePanel.visitTestErrors(node, error -> {
    272298                String state = error.getIgnoreState();
    273299                if (state != null) {
    274                     OsmValidator.addIgnoredError(state);
     300                    OsmValidator.addIgnoredError(state, error.getMessage());
    275301                }
    276302                changed.set(true);
    277303                error.setIgnored(true);
     
    287313    /**
    288314     * Sets the selection of the map to the current selected items.
    289315     */
    290     @SuppressWarnings("unchecked")
    291316    private void setSelectedItems() {
    292317        DataSet ds = MainApplication.getLayerManager().getActiveDataSet();
    293318        if (tree == null || ds == null)