Bugs item #2799515, was opened at 2009-06-01 10:30
Message generated for change (Tracker Item Submitted) made by eallen
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=2799515&group_id=44253
Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: util package
Group: None
Status: Open
Resolution: None
Priority: 8
Private: No
Submitted By: Eric E. Allen (eallen)
Assigned to: Nobody/Anonymous (nobody)
Summary: AbstractPredicateSet.isEmpty is backwards
Initial Comment:
The check in AbstractPredicateSet.isEmpty is backwards. Here is the source code for that test, in file plt/src/edu/rice/cs/plt/collect/AbstractPredicateSet.java:
/** Returns {@code size(1) != 0}. */
@Override public boolean isEmpty() { return size(1) != 0; }
This function will return true precisely when the receiver set is not empty. The correct code should be:
/** Returns {@code size(1) != 0}. */
@Override public boolean isEmpty() { return size(1) == 0; }
----------------------------------------------------------------------
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=2799515&group_id=44253
|
