Method removeObjects

src/debugging/applets/ObjectManager.java:149–158

Removes objects of an assignable type. @param c the type of object

(Class<?> c)

   * @param c the type of object
   */
  public void removeObjects(Class<?> c) {
    HashMap<String, Object> map = new HashMap<>(myObjects); // clone the object map
    Iterator<Object> it = map.values().iterator();
    while (it.hasNext()) { // copy only the obejcts of the correct type
      Object obj = it.next();
      if (!c.isInstance(obj)) {
        it.remove();
      }
    }
  }

  /**
   * Removes an object from the manager.