[DrJava] [ drjava-Bugs-2799515 ] AbstractPredicateSet.isEmpty is backwards

[SourceForge.net <no...@so...>]

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