WeakMap m = new WeakMap();
assure("", m.size() == 0);
assure("", m.isEmpty());
assure("", !m.containsKey("key1"));
assure("", !m.containsValue(null));
WaitUnreachable u1 = new WaitUnreachable(new Object());
m.put("key1", u1.get());
WaitUnreachable u2 = new WaitUnreachable(new Disposable());
m.put("key2", u2.get());
assure("", m.size() == 2);
assure("", !m.isEmpty());
assure("", m.containsKey("key1"));
assure("", m.containsKey("key2"));
assure("", !m.containsKey("key3"));
assure("", m.containsValue(m.get("key1")));
assure("", m.containsValue(m.get("key2")));
assure("", WeakMap.getValue(m.get("key1")).equals(u1.get()));
assure("", WeakMap.getValue(m.get("key2")).equals(u2.get()));
assure("", m.values().size() == 2);
assure("", m.values().contains(m.get("key1")));
assure("", m.values().contains(m.get("key2")));
u1.waitUnreachable();
assure("", WeakMap.getValue(m.get("key1")) == null);
((Disposable) u2.get()).dispose();
assure("", WeakMap.getValue(m.get("key2")) == null);
m.clear();
u2.waitUnreachable();
assure("", m.size() == 0);
m.put("key2", new Object());
assure("", m.size() == 1);
}