|
From: SourceForge.net <no...@so...> - 2009-06-01 15:30:12
|
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 |