Program: 189788
Project: 189788
Buggy source:
public boolean verify(){
  for (  EdgeDraftImpl edge : edgeMap.values().toArray(new EdgeDraftImpl[0])) {
    if (edge.getWeight() <= 0f) {
      if (parameters.isRemoveEdgeWithWeightZero()) {
        String id=edge.getId();
        String sourceTargetId=edge.getSource().getId() + "String_Node_Str" + edge.getTarget().getId();
        edgeMap.remove(id);
        edgeSourceTargetMap.remove(sourceTargetId);
        report.logIssue(new Issue(NbBundle.getMessage(ImportContainerImpl.class,"String_Node_Str",id),Level.SEVERE));
      }
    }
  }
  if (directedEdgesCount > 0 && undirectedEdgesCount == 0) {
    parameters.setEdgeDefault(EdgeDefault.DIRECTED);
  }
 else   if (directedEdgesCount == 0 && undirectedEdgesCount > 0) {
    parameters.setEdgeDefault(EdgeDefault.UNDIRECTED);
  }
 else   if (directedEdgesCount > 0 && undirectedEdgesCount > 0) {
    parameters.setEdgeDefault(EdgeDefault.MIXED);
  }
  for (  NodeDraftImpl node : nodeMap.values()) {
    dynamicGraph=node.getTimeInterval() != null;
    if (dynamicGraph) {
      break;
    }
  }
  if (!dynamicGraph) {
    for (    EdgeDraftImpl edge : edgeMap.values()) {
      dynamicGraph=edge.getTimeInterval() != null;
      if (dynamicGraph) {
        break;
      }
    }
  }
  if (!dynamicGraph) {
    for (    AttributeColumn col : attributeModel.getNodeTable().getColumns()) {
      dynamicGraph=col.getType().isDynamicType();
      if (dynamicGraph) {
        break;
      }
    }
    for (    AttributeColumn col : attributeModel.getEdgeTable().getColumns()) {
      dynamicGraph=col.getType().isDynamicType();
      if (dynamicGraph) {
        break;
      }
    }
  }
  if (timeIntervalMin != null || timeIntervalMax != null) {
    if (timeFormat.equals(TimeFormat.DATE) || timeFormat.equals(TimeFormat.DATETIME)) {
      try {
        String message="String_Node_Str" + (timeIntervalMin != null ? DynamicUtilities.getXMLDateStringFromDouble(timeIntervalMin) : "String_Node_Str") + "String_Node_Str";
        message+=(timeIntervalMax != null ? DynamicUtilities.getXMLDateStringFromDouble(timeIntervalMax) : "String_Node_Str") + "String_Node_Str";
        report.log(NbBundle.getMessage(ImportContainerImpl.class,"String_Node_Str",message));
      }
 catch (      Exception e) {
      }
    }
 else {
      String message="String_Node_Str" + (timeIntervalMin != null ? timeIntervalMin.toString() : "String_Node_Str") + "String_Node_Str";
      message+=(timeIntervalMax != null ? timeIntervalMax.toString() : "String_Node_Str") + "String_Node_Str";
      report.log(NbBundle.getMessage(ImportContainerImpl.class,"String_Node_Str",message));
    }
  }
  if (dynamicGraph) {
    report.logIssue(new Issue(NbBundle.getMessage(ImportContainerImpl.class,"String_Node_Str",timeFormat.toString()),Level.INFO));
  }
  if (dynamicGraph && parameters.isRemoveIntervalsOverlapping()) {
    for (    NodeDraftImpl node : nodeMap.values()) {
      AttributeValue[] values=node.getAttributeRow().getValues();
      for (int i=0; i < values.length; i++) {
        AttributeValue val=values[i];
        if (val.getValue() != null && val.getValue() instanceof DynamicType) {
          DynamicType type=(DynamicType)val.getValue();
          type=DynamicUtilities.removeOverlapping(type);
          node.getAttributeRow().setValue(val.getColumn(),type);
        }
      }
    }
    for (    EdgeDraftImpl edge : edgeMap.values()) {
      AttributeValue[] values=edge.getAttributeRow().getValues();
      for (int i=0; i < values.length; i++) {
        AttributeValue val=values[i];
        if (val.getValue() != null && val.getValue() instanceof DynamicType) {
          DynamicType type=(DynamicType)val.getValue();
          type=DynamicUtilities.removeOverlapping(type);
          edge.getAttributeRow().setValue(val.getColumn(),type);
        }
      }
    }
  }
  if (dynamicGraph && (timeIntervalMin != null || timeIntervalMax != null)) {
    for (    NodeDraftImpl node : nodeMap.values()) {
      boolean issue=false;
      if (timeIntervalMin != null || timeIntervalMax != null) {
        if (timeIntervalMin != null && node.getTimeInterval() != null && node.getTimeInterval().getLow() < timeIntervalMin) {
          node.setTimeInterval((TimeInterval)DynamicUtilities.fitToInterval(node.getTimeInterval(),timeIntervalMin,node.getTimeInterval().getHigh()));
          issue=true;
        }
        if (timeIntervalMax != null && node.getTimeInterval() != null && node.getTimeInterval().getHigh() > timeIntervalMax) {
          node.setTimeInterval((TimeInterval)DynamicUtilities.fitToInterval(node.getTimeInterval(),node.getTimeInterval().getLow(),timeIntervalMax));
          issue=true;
        }
        if (node.getTimeInterval() == null) {
          node.setTimeInterval(new TimeInterval(timeIntervalMin,timeIntervalMax));
        }
      }
      AttributeValue[] values=node.getAttributeRow().getValues();
      for (int i=0; i < values.length; i++) {
        AttributeValue val=values[i];
        if (val.getValue() != null && val.getValue() instanceof DynamicType) {
          DynamicType type=(DynamicType)val.getValue();
          if (timeIntervalMin != null && type.getLow() < timeIntervalMin) {
            if (!Double.isInfinite(type.getLow())) {
              issue=true;
            }
            node.getAttributeRow().setValue(val.getColumn(),DynamicUtilities.fitToInterval(type,timeIntervalMin,type.getHigh()));
          }
          if (timeIntervalMax != null && type.getHigh() > timeIntervalMax) {
            if (!Double.isInfinite(type.getHigh())) {
              issue=true;
            }
            node.getAttributeRow().setValue(val.getColumn(),DynamicUtilities.fitToInterval(type,type.getLow(),timeIntervalMax));
          }
        }
      }
      if (issue) {
        report.logIssue(new Issue(NbBundle.getMessage(ImportContainerImpl.class,"String_Node_Str",node.getId()),Level.WARNING));
      }
    }
    for (    EdgeDraftImpl edge : edgeMap.values()) {
      boolean issue=false;
      if (timeIntervalMin != null || timeIntervalMax != null) {
        if (timeIntervalMin != null && edge.getTimeInterval() != null && edge.getTimeInterval().getLow() < timeIntervalMin) {
          edge.setTimeInterval((TimeInterval)DynamicUtilities.fitToInterval(edge.getTimeInterval(),timeIntervalMin,edge.getTimeInterval().getHigh()));
          issue=true;
        }
        if (timeIntervalMax != null && edge.getTimeInterval() != null && edge.getTimeInterval().getHigh() > timeIntervalMax) {
          edge.setTimeInterval((TimeInterval)DynamicUtilities.fitToInterval(edge.getTimeInterval(),edge.getTimeInterval().getLow(),timeIntervalMax));
          issue=true;
        }
        if (edge.getTimeInterval() == null) {
          edge.setTimeInterval(new TimeInterval(timeIntervalMin,timeIntervalMax));
        }
      }
      AttributeValue[] values=edge.getAttributeRow().getValues();
      for (int i=0; i < values.length; i++) {
        AttributeValue val=values[i];
        if (val.getValue() != null && val.getValue() instanceof DynamicType) {
          DynamicType type=(DynamicType)val.getValue();
          if (timeIntervalMin != null && type.getLow() < timeIntervalMin) {
            if (!Double.isInfinite(type.getLow())) {
              issue=true;
            }
            edge.getAttributeRow().setValue(val.getColumn(),DynamicUtilities.fitToInterval(type,timeIntervalMin,type.getHigh()));
          }
          if (timeIntervalMax != null && type.getHigh() > timeIntervalMax) {
            if (!Double.isInfinite(type.getHigh())) {
              issue=true;
            }
            edge.getAttributeRow().setValue(val.getColumn(),DynamicUtilities.fitToInterval(type,type.getLow(),timeIntervalMax));
          }
        }
      }
      if (issue) {
        report.logIssue(new Issue(NbBundle.getMessage(ImportContainerImpl.class,"String_Node_Str",edge.getId()),Level.WARNING));
      }
    }
  }
  return true;
}

Fixed version (ground truth):
public boolean verify(){
  for (  EdgeDraftImpl edge : edgeMap.values().toArray(new EdgeDraftImpl[0])) {
    if (edge.getWeight() <= 0f) {
      if (parameters.isRemoveEdgeWithWeightZero()) {
        String id=edge.getId();
        String sourceTargetId=edge.getSource().getId() + "String_Node_Str" + edge.getTarget().getId();
        edgeMap.remove(id);
        edgeSourceTargetMap.remove(sourceTargetId);
        report.logIssue(new Issue(NbBundle.getMessage(ImportContainerImpl.class,"String_Node_Str",id),Level.SEVERE));
      }
    }
  }
  if (directedEdgesCount > 0 && undirectedEdgesCount == 0) {
    parameters.setEdgeDefault(EdgeDefault.DIRECTED);
  }
 else   if (directedEdgesCount == 0 && undirectedEdgesCount > 0) {
    parameters.setEdgeDefault(EdgeDefault.UNDIRECTED);
  }
 else   if (directedEdgesCount > 0 && undirectedEdgesCount > 0) {
    parameters.setEdgeDefault(EdgeDefault.MIXED);
  }
  for (  NodeDraftImpl node : nodeMap.values()) {
    dynamicGraph=node.getTimeInterval() != null;
    if (dynamicGraph) {
      break;
    }
  }
  if (!dynamicGraph) {
    for (    EdgeDraftImpl edge : edgeMap.values()) {
      dynamicGraph=edge.getTimeInterval() != null;
      if (dynamicGraph) {
        break;
      }
    }
  }
  if (!dynamicGraph) {
    for (    AttributeColumn col : attributeModel.getNodeTable().getColumns()) {
      dynamicGraph=col.getType().isDynamicType();
      if (dynamicGraph) {
        break;
      }
    }
    for (    AttributeColumn col : attributeModel.getEdgeTable().getColumns()) {
      dynamicGraph=dynamicGraph || col.getType().isDynamicType();
      if (dynamicGraph) {
        break;
      }
    }
  }
  if (timeIntervalMin != null || timeIntervalMax != null) {
    if (timeFormat.equals(TimeFormat.DATE) || timeFormat.equals(TimeFormat.DATETIME)) {
      try {
        String message="String_Node_Str" + (timeIntervalMin != null ? DynamicUtilities.getXMLDateStringFromDouble(timeIntervalMin) : "String_Node_Str") + "String_Node_Str";
        message+=(timeIntervalMax != null ? DynamicUtilities.getXMLDateStringFromDouble(timeIntervalMax) : "String_Node_Str") + "String_Node_Str";
        report.log(NbBundle.getMessage(ImportContainerImpl.class,"String_Node_Str",message));
      }
 catch (      Exception e) {
      }
    }
 else {
      String message="String_Node_Str" + (timeIntervalMin != null ? timeIntervalMin.toString() : "String_Node_Str") + "String_Node_Str";
      message+=(timeIntervalMax != null ? timeIntervalMax.toString() : "String_Node_Str") + "String_Node_Str";
      report.log(NbBundle.getMessage(ImportContainerImpl.class,"String_Node_Str",message));
    }
  }
  if (dynamicGraph) {
    report.logIssue(new Issue(NbBundle.getMessage(ImportContainerImpl.class,"String_Node_Str",timeFormat.toString()),Level.INFO));
  }
  if (dynamicGraph && parameters.isRemoveIntervalsOverlapping()) {
    for (    NodeDraftImpl node : nodeMap.values()) {
      AttributeValue[] values=node.getAttributeRow().getValues();
      for (int i=0; i < values.length; i++) {
        AttributeValue val=values[i];
        if (val.getValue() != null && val.getValue() instanceof DynamicType) {
          DynamicType type=(DynamicType)val.getValue();
          type=DynamicUtilities.removeOverlapping(type);
          node.getAttributeRow().setValue(val.getColumn(),type);
        }
      }
    }
    for (    EdgeDraftImpl edge : edgeMap.values()) {
      AttributeValue[] values=edge.getAttributeRow().getValues();
      for (int i=0; i < values.length; i++) {
        AttributeValue val=values[i];
        if (val.getValue() != null && val.getValue() instanceof DynamicType) {
          DynamicType type=(DynamicType)val.getValue();
          type=DynamicUtilities.removeOverlapping(type);
          edge.getAttributeRow().setValue(val.getColumn(),type);
        }
      }
    }
  }
  if (dynamicGraph && (timeIntervalMin != null || timeIntervalMax != null)) {
    for (    NodeDraftImpl node : nodeMap.values()) {
      boolean issue=false;
      if (timeIntervalMin != null || timeIntervalMax != null) {
        if (timeIntervalMin != null && node.getTimeInterval() != null && node.getTimeInterval().getLow() < timeIntervalMin) {
          node.setTimeInterval((TimeInterval)DynamicUtilities.fitToInterval(node.getTimeInterval(),timeIntervalMin,node.getTimeInterval().getHigh()));
          issue=true;
        }
        if (timeIntervalMax != null && node.getTimeInterval() != null && node.getTimeInterval().getHigh() > timeIntervalMax) {
          node.setTimeInterval((TimeInterval)DynamicUtilities.fitToInterval(node.getTimeInterval(),node.getTimeInterval().getLow(),timeIntervalMax));
          issue=true;
        }
        if (node.getTimeInterval() == null) {
          node.setTimeInterval(new TimeInterval(timeIntervalMin,timeIntervalMax));
        }
      }
      AttributeValue[] values=node.getAttributeRow().getValues();
      for (int i=0; i < values.length; i++) {
        AttributeValue val=values[i];
        if (val.getValue() != null && val.getValue() instanceof DynamicType) {
          DynamicType type=(DynamicType)val.getValue();
          if (timeIntervalMin != null && type.getLow() < timeIntervalMin) {
            if (!Double.isInfinite(type.getLow())) {
              issue=true;
            }
            node.getAttributeRow().setValue(val.getColumn(),DynamicUtilities.fitToInterval(type,timeIntervalMin,type.getHigh()));
          }
          if (timeIntervalMax != null && type.getHigh() > timeIntervalMax) {
            if (!Double.isInfinite(type.getHigh())) {
              issue=true;
            }
            node.getAttributeRow().setValue(val.getColumn(),DynamicUtilities.fitToInterval(type,type.getLow(),timeIntervalMax));
          }
        }
      }
      if (issue) {
        report.logIssue(new Issue(NbBundle.getMessage(ImportContainerImpl.class,"String_Node_Str",node.getId()),Level.WARNING));
      }
    }
    for (    EdgeDraftImpl edge : edgeMap.values()) {
      boolean issue=false;
      if (timeIntervalMin != null || timeIntervalMax != null) {
        if (timeIntervalMin != null && edge.getTimeInterval() != null && edge.getTimeInterval().getLow() < timeIntervalMin) {
          edge.setTimeInterval((TimeInterval)DynamicUtilities.fitToInterval(edge.getTimeInterval(),timeIntervalMin,edge.getTimeInterval().getHigh()));
          issue=true;
        }
        if (timeIntervalMax != null && edge.getTimeInterval() != null && edge.getTimeInterval().getHigh() > timeIntervalMax) {
          edge.setTimeInterval((TimeInterval)DynamicUtilities.fitToInterval(edge.getTimeInterval(),edge.getTimeInterval().getLow(),timeIntervalMax));
          issue=true;
        }
        if (edge.getTimeInterval() == null) {
          edge.setTimeInterval(new TimeInterval(timeIntervalMin,timeIntervalMax));
        }
      }
      AttributeValue[] values=edge.getAttributeRow().getValues();
      for (int i=0; i < values.length; i++) {
        AttributeValue val=values[i];
        if (val.getValue() != null && val.getValue() instanceof DynamicType) {
          DynamicType type=(DynamicType)val.getValue();
          if (timeIntervalMin != null && type.getLow() < timeIntervalMin) {
            if (!Double.isInfinite(type.getLow())) {
              issue=true;
            }
            edge.getAttributeRow().setValue(val.getColumn(),DynamicUtilities.fitToInterval(type,timeIntervalMin,type.getHigh()));
          }
          if (timeIntervalMax != null && type.getHigh() > timeIntervalMax) {
            if (!Double.isInfinite(type.getHigh())) {
              issue=true;
            }
            edge.getAttributeRow().setValue(val.getColumn(),DynamicUtilities.fitToInterval(type,type.getLow(),timeIntervalMax));
          }
        }
      }
      if (issue) {
        report.logIssue(new Issue(NbBundle.getMessage(ImportContainerImpl.class,"String_Node_Str",edge.getId()),Level.WARNING));
      }
    }
  }
  return true;
}