[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[cp-patches] RFC: WeakHashMap improvement
From: |
Roman Kennke |
Subject: |
[cp-patches] RFC: WeakHashMap improvement |
Date: |
Wed, 26 Oct 2005 08:27:42 +0000 |
Hi,
Friedjof Siebert did some improvements on java.util.WeakHashMap that I'd
like to check in. They are meant to improve reliability of this class by
enabling the prove of a cast and the absence of a null-pointer.
2005-10-26 Roman Kennke <address@hidden>
Reported by Friedjof Siebert <address@hidden>
* java/util/WeakHashMap.java
(WeakEntrySet.Iterator.checkMod): Improved exception message.
(cleanQueue): Replaced null check with instanceof check to
prove correctness of cast at the same time.
(internalRemove): Removed redundant reads of buckets[slot] and
prev.next and added checks to ensure that no null pointer
exception may occur and that this can be proved automatically.
/Roman
WeakHashMap.diff
Description: Text Data
- [cp-patches] RFC: WeakHashMap improvement,
Roman Kennke <=