Program: 172781
Project: 172781
Buggy source:
@Override public boolean canBlockSkip(final IFilter filter){
switch (filter.getFilterType()) {
case NUMBER:
    NumberFilter numberFilter=(NumberFilter)filter;
  Float setNumber;
try {
  setNumber=Float.valueOf(numberFilter.getNumberObject().getFloat());
}
 catch (NumberFormatException|IOException e) {
  return false;
}
switch (numberFilter.getNumberFilterType()) {
case EQUAL:
if (0 < min.compareTo(setNumber) || max.compareTo(setNumber) < 0) {
  return true;
}
return false;
case LT:
if (0 <= min.compareTo(setNumber)) {
return true;
}
return false;
case LE:
if (0 < min.compareTo(setNumber)) {
return true;
}
return false;
case GT:
if (max.compareTo(setNumber) <= 0) {
return true;
}
return false;
case GE:
if (max.compareTo(setNumber) < 0) {
return true;
}
return false;
default :
return false;
}
case NUMBER_RANGE:
NumberRangeFilter numberRangeFilter=(NumberRangeFilter)filter;
Float setMin;
Float setMax;
try {
setMin=Float.valueOf(numberRangeFilter.getMinObject().getFloat());
setMax=Float.valueOf(numberRangeFilter.getMaxObject().getFloat());
}
 catch (NumberFormatException|IOException e) {
return false;
}
boolean minHasEquals=numberRangeFilter.isMinHasEquals();
boolean maxHasEquals=numberRangeFilter.isMaxHasEquals();
boolean invert=numberRangeFilter.isInvert();
if (minHasEquals && maxHasEquals) {
if ((min.compareTo(setMin) < 0 && 0 < max.compareTo(setMax)) != invert) {
return true;
}
return false;
}
 else if (minHasEquals) {
if ((min.compareTo(setMin) < 0 && 0 <= max.compareTo(setMax)) != invert) {
return true;
}
return false;
}
 else if (maxHasEquals) {
if ((min.compareTo(setMin) <= 0 && 0 < max.compareTo(setMax)) != invert) {
return true;
}
return false;
}
 else {
if ((min.compareTo(setMin) <= 0 && 0 <= max.compareTo(setMax)) != invert) {
return true;
}
return false;
}
default :
return false;
}
}

Fixed version (ground truth):
@Override public boolean canBlockSkip(final IFilter filter){
switch (filter.getFilterType()) {
case NUMBER:
    NumberFilter numberFilter=(NumberFilter)filter;
  Float setNumber;
try {
  setNumber=Float.valueOf(numberFilter.getNumberObject().getFloat());
}
 catch (NumberFormatException|IOException e) {
  return false;
}
switch (numberFilter.getNumberFilterType()) {
case EQUAL:
if (0 < min.compareTo(setNumber) || max.compareTo(setNumber) < 0) {
  return true;
}
return false;
case LT:
if (0 <= min.compareTo(setNumber)) {
return true;
}
return false;
case LE:
if (0 < min.compareTo(setNumber)) {
return true;
}
return false;
case GT:
if (max.compareTo(setNumber) <= 0) {
return true;
}
return false;
case GE:
if (max.compareTo(setNumber) < 0) {
return true;
}
return false;
default :
return false;
}
case NUMBER_RANGE:
NumberRangeFilter numberRangeFilter=(NumberRangeFilter)filter;
Float setMin;
Float setMax;
try {
setMin=Float.valueOf(numberRangeFilter.getMinObject().getFloat());
setMax=Float.valueOf(numberRangeFilter.getMaxObject().getFloat());
}
 catch (NumberFormatException|IOException e) {
return false;
}
boolean minHasEquals=numberRangeFilter.isMinHasEquals();
boolean maxHasEquals=numberRangeFilter.isMaxHasEquals();
boolean invert=numberRangeFilter.isInvert();
if (minHasEquals && maxHasEquals) {
if ((0 < min.compareTo(setMax) || max.compareTo(setMin) < 0) != invert) {
return true;
}
return false;
}
 else if (minHasEquals) {
if ((0 < min.compareTo(setMax) || max.compareTo(setMin) <= 0) != invert) {
return true;
}
return false;
}
 else if (maxHasEquals) {
if ((0 <= min.compareTo(setMax) || max.compareTo(setMin) < 0) != invert) {
return true;
}
return false;
}
 else {
if ((0 <= min.compareTo(setMax) || max.compareTo(setMin) <= 0) != invert) {
return true;
}
return false;
}
default :
return false;
}
}