Program: 149037
Project: 149037
Buggy source:
/** 
 * Print a simple type definition for the document.
 * @param xsdSimpleTypeDefinition a simple type definition in the schema for schema.
 */
public String getSimpleTypeDefinition(XSDSimpleTypeDefinition xsdSimpleTypeDefinition){
  String s="String_Node_Str";
  if (xsdSimpleTypeDefinition == null) {
  }
 else   if (xsdSimpleTypeDefinition.getEffectiveEnumerationFacet() != null) {
    List value=xsdSimpleTypeDefinition.getEffectiveEnumerationFacet().getValue();
    if (value.size() > 1) {
      s+="String_Node_Str";
    }
    for (Iterator enumerators=value.iterator(); enumerators.hasNext(); ) {
      String enumerator=enumerators.next().toString();
      s+=enumerator;
      if (enumerators.hasNext()) {
        s+="String_Node_Str";
      }
    }
    if (value.size() > 1) {
      s+="String_Node_Str";
    }
  }
 else   if (xsdSimpleTypeDefinition.getElement() != null && xsdSimpleTypeDefinition.getElement().hasAttribute(XSDConstants.ID_ATTRIBUTE)) {
    s+=xsdSimpleTypeDefinition.getName();
  }
 else   if ((XSDVariety.UNION_LITERAL == xsdSimpleTypeDefinition.getVariety()) | (XSDVariety.LIST_LITERAL == xsdSimpleTypeDefinition.getVariety())) {
    s+="String_Node_Str";
    for (Iterator members=xsdSimpleTypeDefinition.getMemberTypeDefinitions().iterator(); members.hasNext(); ) {
      XSDSimpleTypeDefinition memberTypeDefinition=(XSDSimpleTypeDefinition)members.next();
      s+=getSimpleTypeDefinition(memberTypeDefinition);
      if (members.hasNext()) {
        s+="String_Node_Str";
      }
    }
    s+="String_Node_Str";
  }
 else   if ((XSDVariety.UNION_LITERAL == xsdSimpleTypeDefinition.getVariety()) | (XSDVariety.LIST_LITERAL == xsdSimpleTypeDefinition.getVariety())) {
    s+="String_Node_Str";
    s+=getSimpleTypeDefinition(xsdSimpleTypeDefinition.getItemTypeDefinition());
  }
 else   if (xsdSimpleTypeDefinition.getName() != null) {
    s+=xsdSimpleTypeDefinition.getName();
  }
 else   if (xsdSimpleTypeDefinition.getEffectivePatternFacet() != null) {
    s+="String_Node_Str";
  }
 else {
    s+="String_Node_Str";
  }
  String tail=xsdSimpleTypeDefinition.getTargetNamespace() == null ? "String_Node_Str" : xsdSimpleTypeDefinition.getTargetNamespace();
  if (tail.equals(XSDConstants.SCHEMA_FOR_SCHEMA_URI_2001) || tail.equals(XSDConstants.SCHEMA_FOR_SCHEMA_URI_1999))   tail="String_Node_Str";
  return s + tail;
}

Fixed version (ground truth):
/** 
 * Print a simple type definition for the document.
 * @param xsdSimpleTypeDefinition a simple type definition in the schema for schema.
 */
public String getSimpleTypeDefinition(XSDSimpleTypeDefinition xsdSimpleTypeDefinition){
  String s="String_Node_Str";
  if (xsdSimpleTypeDefinition == null) {
  }
 else   if (xsdSimpleTypeDefinition.getEffectiveEnumerationFacet() != null) {
    s+=xsdSimpleTypeDefinition.getName();
  }
 else   if (xsdSimpleTypeDefinition.getElement() != null && xsdSimpleTypeDefinition.getElement().hasAttribute(XSDConstants.ID_ATTRIBUTE)) {
    s+=xsdSimpleTypeDefinition.getName();
  }
 else   if ((XSDVariety.UNION_LITERAL == xsdSimpleTypeDefinition.getVariety()) | (XSDVariety.LIST_LITERAL == xsdSimpleTypeDefinition.getVariety())) {
    s+="String_Node_Str";
    for (Iterator members=xsdSimpleTypeDefinition.getMemberTypeDefinitions().iterator(); members.hasNext(); ) {
      XSDSimpleTypeDefinition memberTypeDefinition=(XSDSimpleTypeDefinition)members.next();
      s+=getSimpleTypeDefinition(memberTypeDefinition);
      if (members.hasNext()) {
        s+="String_Node_Str";
      }
    }
    s+="String_Node_Str";
  }
 else   if ((XSDVariety.UNION_LITERAL == xsdSimpleTypeDefinition.getVariety()) | (XSDVariety.LIST_LITERAL == xsdSimpleTypeDefinition.getVariety())) {
    s+="String_Node_Str";
    s+=getSimpleTypeDefinition(xsdSimpleTypeDefinition.getItemTypeDefinition());
  }
 else   if (xsdSimpleTypeDefinition.getName() != null) {
    s+=xsdSimpleTypeDefinition.getName();
  }
 else   if (xsdSimpleTypeDefinition.getEffectivePatternFacet() != null) {
    s+="String_Node_Str";
  }
 else {
    s+="String_Node_Str";
  }
  String tail=xsdSimpleTypeDefinition.getTargetNamespace() == null ? "String_Node_Str" : xsdSimpleTypeDefinition.getTargetNamespace();
  if (tail.equals(XSDConstants.SCHEMA_FOR_SCHEMA_URI_2001) || tail.equals(XSDConstants.SCHEMA_FOR_SCHEMA_URI_1999))   tail="String_Node_Str";
  return s + tail;
}