Program: 172780
Project: 172780
Buggy source:
@Override public boolean canBlockSkip(final IFilter filter){
switch (filter.getFilterType()) {
case NUMBER:
    NumberFilter numberFilter=(NumberFilter)filter;
  Double setNumber;
try {
  setNumber=Double.valueOf(numberFilter.getNumberObject().getDouble());
}
 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;
Double setMin;
Double setMax;
try {
setMin=Double.valueOf(numberRangeFilter.getMinObject().getDouble());
setMax=Double.valueOf(numberRangeFilter.getMaxObject().getDouble());
}
 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;
  Double setNumber;
try {
  setNumber=Double.valueOf(numberFilter.getNumberObject().getDouble());
}
 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;
Double setMin;
Double setMax;
try {
setMin=Double.valueOf(numberRangeFilter.getMinObject().getDouble());
setMax=Double.valueOf(numberRangeFilter.getMaxObject().getDouble());
}
 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;
}
}