X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fappletgui%2FPaintRefresher.java;h=fe99187ba71937b6a8df7a147289c71c83c18762;hb=933e28e48b4f3bf98851cedd99ef345d45bf25a3;hp=3613247968442cb7501011ba596706275c4d9597;hpb=47168f025aefdaa044802bd5f8f510ffe43a4808;p=jalview.git diff --git a/src/jalview/appletgui/PaintRefresher.java b/src/jalview/appletgui/PaintRefresher.java index 3613247..fe99187 100755 --- a/src/jalview/appletgui/PaintRefresher.java +++ b/src/jalview/appletgui/PaintRefresher.java @@ -1,6 +1,6 @@ /* - * Jalview - A Sequence Alignment Editor and Viewer (Version 2.8.2) - * Copyright (C) 2014 The Jalview Authors + * Jalview - A Sequence Alignment Editor and Viewer ($$Version-Rel$$) + * Copyright (C) $$Year-Rel$$ The Jalview Authors * * This file is part of Jalview. * @@ -20,12 +20,15 @@ */ package jalview.appletgui; -import java.util.*; -import java.util.List; - -import java.awt.*; +import jalview.datamodel.AlignmentI; +import jalview.datamodel.SequenceI; -import jalview.datamodel.*; +import java.awt.Component; +import java.util.Hashtable; +import java.util.Iterator; +import java.util.List; +import java.util.Map; +import java.util.Vector; /** * DOCUMENT ME! @@ -35,7 +38,7 @@ import jalview.datamodel.*; */ public class PaintRefresher { - static Hashtable components; + static Map> components; /** * DOCUMENT ME! @@ -49,12 +52,12 @@ public class PaintRefresher { if (components == null) { - components = new Hashtable(); + components = new Hashtable>(); } if (components.containsKey(seqSetId)) { - Vector comps = (Vector) components.get(seqSetId); + Vector comps = components.get(seqSetId); if (!comps.contains(comp)) { comps.addElement(comp); @@ -62,7 +65,7 @@ public class PaintRefresher } else { - Vector vcoms = new Vector(); + Vector vcoms = new Vector<>(); vcoms.addElement(comp); components.put(seqSetId, vcoms); } @@ -75,15 +78,14 @@ public class PaintRefresher return; } - Enumeration en = components.keys(); - while (en.hasMoreElements()) + Iterator it = components.keySet().iterator(); + while (it.hasNext()) { - String id = en.nextElement().toString(); - Vector comps = (Vector) components.get(id); + Vector comps = components.get(it.next()); comps.removeElement(comp); - if (comps.size() == 0) + if (comps.isEmpty()) { - components.remove(id); + it.remove(); } } } @@ -102,17 +104,17 @@ public class PaintRefresher } Component comp; - Vector comps = (Vector) components.get(id); + Vector comps = components.get(id); if (comps == null) { return; } - Enumeration e = comps.elements(); - while (e.hasMoreElements()) + Iterator it = comps.iterator(); + while (it.hasNext()) { - comp = (Component) e.nextElement(); + comp = it.next(); if (comp == source) { @@ -121,7 +123,7 @@ public class PaintRefresher if (!comp.isValid()) { - comps.removeElement(comp); + it.remove(); } else if (validateSequences && comp instanceof AlignmentPanel && source instanceof AlignmentPanel) @@ -238,8 +240,8 @@ public class PaintRefresher public static AlignmentPanel[] getAssociatedPanels(String id) { - Vector comps = (Vector) components.get(id); - Vector tmp = new Vector(); + Vector comps = components.get(id); + Vector tmp = new Vector<>(); int i, iSize = comps.size(); for (i = 0; i < iSize; i++) {