org_eclipse_lemminx_extensions_generators_xml2xsd_XML2XMLSchemaGeneratorTest_java
org.eclipse.lemminx.extensions.generators.xml2xsd.XML2XMLSchemaGenerator
private void generateXSElement(XMLBuilder schema, String prefix, ElementDeclaration elementDecl, XMLSchemaGeneratorSettings settings) {
        Cardinality cardinality;
        Collection<ElementDeclaration> children = elementDecl.getElements();
        Collection<AttributeDeclaration> attributes = elementDecl.getAttributes();
        boolean hasChildren = !children.isEmpty();
        boolean hasAttributes = !attributes.isEmpty();
        boolean hasCharacterContent = elementDecl.hasCharacterContent();
        boolean mixedContent = hasChildren && hasCharacterContent;
        String name = elementDecl.getName();
        schema.startElement(prefix, ELEMENT_ELT, false);
        schema.addSingleAttribute("name", name, true);
        ElementDeclaration parentDecl = elementDecl.getParent();
        Cardinality cardinality2 = cardinality = parentDecl != null ? parentDecl.getChildrenProperties().getCardinalities().get(name) : null;
        if (cardinality != null) {
            if (cardinality.getMin() == 0L) {
                schema.addSingleAttribute(MIN_OCCURS_ATTR, "0", true);
            } else if (cardinality.getMax() > 1L) {
                schema.addSingleAttribute(MAX_OCCURS_ATTR, MAX_OCCURS_UNBOUNDED_VALUE, true);
            }
        }
        if (!hasChildren && !hasAttributes) {
            if (hasCharacterContent) {
                schema.addSingleAttribute("type", prefix + ":string", true);
            }
            schema.selfCloseElement();
        } else {
            schema.closeStartElement();
            schema.startElement(prefix, COMPLEX_TYPE_ELT, false);
            if (mixedContent) {
                schema.addSingleAttribute(COMPLEX_TYPE_MIXED_ATTR, "true", true);
            }
            schema.closeStartElement();
            if (hasChildren) {
                schema.startElement(prefix, SEQUENCE_ELT, false);
                if (XML2XMLSchemaGenerator.allChildrenAreOptional(elementDecl.getChildrenProperties().getCardinalities().values())) {
                    schema.addSingleAttribute(MIN_OCCURS_ATTR, "0", true);
                }
                schema.closeStartElement();
                boolean sequenced = elementDecl.getChildrenProperties().isSequenced();
                if (!sequenced) {
                    schema.startElement(prefix, CHOICE_ELT, true);
                }
                for (ElementDeclaration child : children) {
                    this.generateXSElement(schema, prefix, child, settings);
                }
                if (!sequenced) {
                    schema.startElement(prefix, CHOICE_ELT, true);
                }
                schema.endElement(prefix, SEQUENCE_ELT);
            }
            if (hasAttributes) {
                if (hasCharacterContent && !mixedContent) {
                    schema.startElement(prefix, SIMPLE_CONTENT_ELT, true);
                    schema.startElement(prefix, EXTENSION_ELT, false);
                    schema.addSingleAttribute("base", prefix + ":string", true);
                    schema.closeStartElement();
                }
                for (AttributeDeclaration attribute : attributes) {
                    boolean required = attribute.isRequired();
                    boolean isID = attribute.isID(settings);
                    boolean fixed = attribute.isFixedValue(settings);
                    boolean enums = attribute.isEnums(settings);
                    schema.startElement(prefix, ATTRIBUTE_ELT, false);
                    schema.addSingleAttribute("name", attribute.getName(), true);
                    if (isID) {
                        schema.addSingleAttribute("type", prefix + ":ID", true);
                    } else {
                        String xsType = XML2XMLSchemaGenerator.getXSType(attribute.getDataType());
                        if (xsType != null) {
                            schema.addSingleAttribute("type", prefix + ":" + xsType, true);
                        }
                    }
                    if (required) {
                        schema.addSingleAttribute(ATTRIBUTE_USER_ATTR, ATTRIBUTE_USER_REQUIRED_VALUE, true);
                    }
                    if (enums && !fixed) {
                        schema.closeStartElement();
                        schema.startElement(prefix, SIMPLE_TYPE_ELT, true);
                        schema.startElement(prefix, RESTRICTION_ELT, false);
                        schema.addSingleAttribute("base", prefix + ":string", true);
                        schema.closeStartElement();
                        SortedSet<String> values = attribute.getValues();
                        for (String value : values) {
                            schema.startElement(prefix, ENUMERATION_ELT, false);
                            schema.addSingleAttribute(ENUMERATION_VALUE_ATTR, value, true);
                            schema.selfCloseElement();
                        }
                        schema.endElement(prefix, RESTRICTION_ELT);
                        schema.endElement(prefix, SIMPLE_TYPE_ELT);
                        schema.endElement(prefix, ATTRIBUTE_ELT);
                        continue;
                    }
                    if (fixed) {
                        schema.addSingleAttribute(ATTRIBUTE_FIXED_ATTR, attribute.getValues().first(), true);
                    }
                    schema.selfCloseElement();
                }
                if (hasCharacterContent && !mixedContent) {
                    schema.endElement(prefix, EXTENSION_ELT);
                    schema.endElement(prefix, SIMPLE_CONTENT_ELT);
                }
            }
            schema.endElement(prefix, COMPLEX_TYPE_ELT);
            schema.endElement(prefix, ELEMENT_ELT);
        }
    }
 -> java.util.Map.values(): java.util.Collection -> java.util.Map.values(): java.util.Collection -> java.util.Collection.isEmpty(): boolean -> java.util.Collection.isEmpty(): boolean -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.String.isEmpty(): boolean -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.Character.valueOf(char): java.lang.Character -> java.lang.Character.charValue(): char -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.Character.charValue(): char -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.util.Map.get(java.lang.Object): java.lang.Object -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.Character.valueOf(char): java.lang.Character -> java.lang.Character.charValue(): char -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.Character.charValue(): char -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.String.isEmpty(): boolean -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.util.Collection.iterator(): java.util.Iterator -> java.util.Iterator.hasNext(): boolean -> java.util.Iterator.next(): java.lang.Object -> java.util.SortedSet.size(): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.String.isEmpty(): boolean -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.Character.valueOf(char): java.lang.Character -> java.lang.Character.charValue(): char -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.Character.charValue(): char -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.toString(): java.lang.String -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.Character.valueOf(char): java.lang.Character -> java.lang.Character.charValue(): char -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.Character.charValue(): char -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.Character.valueOf(char): java.lang.Character -> java.lang.Character.charValue(): char -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.Character.charValue(): char -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.lang.Boolean.booleanValue(): boolean -> java.lang.StringBuilder.length(): int -> java.lang.StringBuilder.length(): int -> java.lang.StringBuilder.charAt(int): char -> java.lang.Character.isSpaceChar(char): boolean -> java.lang.StringBuilder.charAt(int): char -> java.lang.StringBuilder.charAt(int): char -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.util.Iterator.hasNext(): boolean -> java.util.Iterator.next(): java.lang.Object -> java.util.SortedSet.size(): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.String.isEmpty(): boolean -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.Character.valueOf(char): java.lang.Character -> java.lang.Character.charValue(): char -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.Character.charValue(): char -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.toString(): java.lang.String -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.Character.valueOf(char): java.lang.Character -> java.lang.Character.charValue(): char -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.Character.charValue(): char -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.Character.valueOf(char): java.lang.Character -> java.lang.Character.charValue(): char -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.Character.charValue(): char -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.lang.Boolean.booleanValue(): boolean -> java.lang.StringBuilder.length(): int -> java.lang.StringBuilder.length(): int -> java.lang.StringBuilder.charAt(int): char -> java.lang.Character.isSpaceChar(char): boolean -> java.lang.StringBuilder.charAt(int): char -> java.lang.StringBuilder.charAt(int): char -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.util.Iterator.hasNext(): boolean -> java.util.Iterator.next(): java.lang.Object -> java.util.SortedSet.size(): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.String.isEmpty(): boolean -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.Character.valueOf(char): java.lang.Character -> java.lang.Character.charValue(): char -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.Character.charValue(): char -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.toString(): java.lang.String -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.Character.valueOf(char): java.lang.Character -> java.lang.Character.charValue(): char -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.Character.charValue(): char -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.Character.valueOf(char): java.lang.Character -> java.lang.Character.charValue(): char -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.Character.charValue(): char -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.lang.Boolean.booleanValue(): boolean -> java.lang.StringBuilder.length(): int -> java.lang.StringBuilder.length(): int -> java.lang.StringBuilder.charAt(int): char -> java.lang.Character.isSpaceChar(char): boolean -> java.lang.StringBuilder.charAt(int): char -> java.lang.StringBuilder.charAt(int): char -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.util.Iterator.hasNext(): boolean -> java.util.Iterator.next(): java.lang.Object -> java.util.SortedSet.size(): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.String.isEmpty(): boolean -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.Character.valueOf(char): java.lang.Character -> java.lang.Character.charValue(): char -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.Character.charValue(): char -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.toString(): java.lang.String -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.Character.valueOf(char): java.lang.Character -> java.lang.Character.charValue(): char -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.Character.charValue(): char -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.Character.valueOf(char): java.lang.Character -> java.lang.Character.charValue(): char -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.Character.charValue(): char -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.lang.Boolean.booleanValue(): boolean -> java.lang.StringBuilder.length(): int -> java.lang.StringBuilder.length(): int -> java.lang.StringBuilder.charAt(int): char -> java.lang.Character.isSpaceChar(char): boolean -> java.lang.StringBuilder.charAt(int): char -> java.lang.StringBuilder.charAt(int): char -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.util.Iterator.hasNext(): boolean -> java.util.Iterator.next(): java.lang.Object -> java.util.SortedSet.size(): int -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.String.isEmpty(): boolean -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.Character.valueOf(char): java.lang.Character -> java.lang.Character.charValue(): char -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.Character.charValue(): char -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.Character.valueOf(char): java.lang.Character -> java.lang.Character.charValue(): char -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.Character.charValue(): char -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.lang.Boolean.booleanValue(): boolean -> java.lang.StringBuilder.length(): int -> java.lang.StringBuilder.length(): int -> java.lang.StringBuilder.charAt(int): char -> java.lang.Character.isSpaceChar(char): boolean -> java.lang.StringBuilder.charAt(int): char -> java.lang.StringBuilder.charAt(int): char -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.util.Iterator.hasNext(): boolean -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.String.isEmpty(): boolean -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.String.isEmpty(): boolean -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder
 [CALL] [CALL] -> java.util.Map.values(): java.util.Collection [EXIT] [CALL] -> java.util.Map.values(): java.util.Collection [EXIT] -> java.util.Collection.isEmpty(): boolean -> java.util.Collection.isEmpty(): boolean [CALL] [EXIT] [CALL] [EXIT] [CALL] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] -> java.lang.String.isEmpty(): boolean [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [EXIT] [CALL] [CALL] [CALL] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [EXIT] [CALL] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [CALL] [CALL] [EXIT] [CALL] [CALL] [EXIT] [EXIT] [EXIT] [CALL] -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [EXIT] -> java.lang.Character.valueOf(char): java.lang.Character [CALL] -> java.lang.Character.charValue(): char [CALL] -> java.lang.StringBuilder.append(char): java.lang.StringBuilder [EXIT] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] -> java.lang.Character.charValue(): char [CALL] -> java.lang.StringBuilder.append(char): java.lang.StringBuilder [EXIT] [EXIT] [EXIT] [EXIT] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] -> java.util.Map.get(java.lang.Object): java.lang.Object [CALL] [EXIT] [CALL] [EXIT] [CALL] [CALL] [CALL] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [EXIT] [CALL] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [CALL] [CALL] [EXIT] [CALL] [CALL] [EXIT] [EXIT] [EXIT] [CALL] -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [EXIT] -> java.lang.Character.valueOf(char): java.lang.Character [CALL] -> java.lang.Character.charValue(): char [CALL] -> java.lang.StringBuilder.append(char): java.lang.StringBuilder [EXIT] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] -> java.lang.Character.charValue(): char [CALL] -> java.lang.StringBuilder.append(char): java.lang.StringBuilder [EXIT] [EXIT] [EXIT] [EXIT] [EXIT] [CALL] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [EXIT] [CALL] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] -> java.lang.String.isEmpty(): boolean [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [EXIT] [CALL] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [EXIT] -> java.util.Collection.iterator(): java.util.Iterator -> java.util.Iterator.hasNext(): boolean -> java.util.Iterator.next(): java.lang.Object [CALL] [CALL] [EXIT] [CALL] [EXIT] [EXIT] [CALL] [CALL] [EXIT] [CALL] [EXIT] [EXIT] [CALL] [CALL] [CALL] [EXIT] [CALL] [EXIT] [EXIT] [CALL] [EXIT] -> java.util.SortedSet.size(): int [CALL] [EXIT] [CALL] [EXIT] [EXIT] [CALL] [CALL] [EXIT] [EXIT] [CALL] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] -> java.lang.String.isEmpty(): boolean [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [EXIT] [CALL] [EXIT] [CALL] [CALL] [CALL] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [EXIT] [CALL] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [CALL] [CALL] [EXIT] [CALL] [CALL] [EXIT] [EXIT] [EXIT] [CALL] -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [EXIT] -> java.lang.Character.valueOf(char): java.lang.Character [CALL] -> java.lang.Character.charValue(): char [CALL] -> java.lang.StringBuilder.append(char): java.lang.StringBuilder [EXIT] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] -> java.lang.Character.charValue(): char [CALL] -> java.lang.StringBuilder.append(char): java.lang.StringBuilder [EXIT] [EXIT] [EXIT] [EXIT] [EXIT] [CALL] [EXIT] [CALL] [EXIT] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.toString(): java.lang.String [CALL] [CALL] [CALL] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [EXIT] [CALL] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [CALL] [CALL] [EXIT] [CALL] [CALL] [EXIT] [EXIT] [EXIT] [CALL] -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [EXIT] -> java.lang.Character.valueOf(char): java.lang.Character [CALL] -> java.lang.Character.charValue(): char [CALL] -> java.lang.StringBuilder.append(char): java.lang.StringBuilder [EXIT] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] -> java.lang.Character.charValue(): char [CALL] -> java.lang.StringBuilder.append(char): java.lang.StringBuilder [EXIT] [EXIT] [EXIT] [EXIT] [EXIT] [CALL] [CALL] [CALL] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [EXIT] [CALL] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [CALL] [CALL] [EXIT] [CALL] [CALL] [EXIT] [EXIT] [EXIT] [CALL] -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [EXIT] -> java.lang.Character.valueOf(char): java.lang.Character [CALL] -> java.lang.Character.charValue(): char [CALL] -> java.lang.StringBuilder.append(char): java.lang.StringBuilder [EXIT] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] -> java.lang.Character.charValue(): char [CALL] -> java.lang.StringBuilder.append(char): java.lang.StringBuilder [EXIT] [EXIT] [EXIT] [EXIT] [EXIT] [CALL] [CALL] [CALL] [EXIT] [CALL] [CALL] [CALL] [CALL] [EXIT] [CALL] [EXIT] [EXIT] [EXIT] -> java.lang.Boolean.booleanValue(): boolean [EXIT] [EXIT] [CALL] -> java.lang.StringBuilder.length(): int -> java.lang.StringBuilder.length(): int -> java.lang.StringBuilder.charAt(int): char -> java.lang.Character.isSpaceChar(char): boolean -> java.lang.StringBuilder.charAt(int): char -> java.lang.StringBuilder.charAt(int): char [EXIT] [CALL] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [EXIT] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [EXIT] -> java.util.Iterator.hasNext(): boolean -> java.util.Iterator.next(): java.lang.Object [CALL] [CALL] [EXIT] [CALL] [EXIT] [EXIT] [CALL] [CALL] [EXIT] [CALL] [EXIT] [EXIT] [CALL] [CALL] [CALL] [EXIT] [CALL] [EXIT] [EXIT] [CALL] [EXIT] -> java.util.SortedSet.size(): int [CALL] [EXIT] [CALL] [EXIT] [EXIT] [CALL] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [EXIT] [CALL] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] -> java.lang.String.isEmpty(): boolean [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [EXIT] [CALL] [EXIT] [CALL] [CALL] [CALL] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [EXIT] [CALL] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [CALL] [CALL] [EXIT] [CALL] [CALL] [EXIT] [EXIT] [EXIT] [CALL] -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [EXIT] -> java.lang.Character.valueOf(char): java.lang.Character [CALL] -> java.lang.Character.charValue(): char [CALL] -> java.lang.StringBuilder.append(char): java.lang.StringBuilder [EXIT] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] -> java.lang.Character.charValue(): char [CALL] -> java.lang.StringBuilder.append(char): java.lang.StringBuilder [EXIT] [EXIT] [EXIT] [EXIT] [EXIT] [CALL] [EXIT] [CALL] [EXIT] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.toString(): java.lang.String [CALL] [CALL] [CALL] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [EXIT] [CALL] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [CALL] [CALL] [EXIT] [CALL] [CALL] [EXIT] [EXIT] [EXIT] [CALL] -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [EXIT] -> java.lang.Character.valueOf(char): java.lang.Character [CALL] -> java.lang.Character.charValue(): char [CALL] -> java.lang.StringBuilder.append(char): java.lang.StringBuilder [EXIT] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] -> java.lang.Character.charValue(): char [CALL] -> java.lang.StringBuilder.append(char): java.lang.StringBuilder [EXIT] [EXIT] [EXIT] [EXIT] [EXIT] [CALL] [CALL] [CALL] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [EXIT] [CALL] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [CALL] [CALL] [EXIT] [CALL] [CALL] [EXIT] [EXIT] [EXIT] [CALL] -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [EXIT] -> java.lang.Character.valueOf(char): java.lang.Character [CALL] -> java.lang.Character.charValue(): char [CALL] -> java.lang.StringBuilder.append(char): java.lang.StringBuilder [EXIT] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] -> java.lang.Character.charValue(): char [CALL] -> java.lang.StringBuilder.append(char): java.lang.StringBuilder [EXIT] [EXIT] [EXIT] [EXIT] [EXIT] [CALL] [CALL] [CALL] [EXIT] [CALL] [CALL] [CALL] [CALL] [EXIT] [CALL] [EXIT] [EXIT] [EXIT] -> java.lang.Boolean.booleanValue(): boolean [EXIT] [EXIT] [CALL] -> java.lang.StringBuilder.length(): int -> java.lang.StringBuilder.length(): int -> java.lang.StringBuilder.charAt(int): char -> java.lang.Character.isSpaceChar(char): boolean -> java.lang.StringBuilder.charAt(int): char -> java.lang.StringBuilder.charAt(int): char [EXIT] [CALL] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [EXIT] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [EXIT] -> java.util.Iterator.hasNext(): boolean -> java.util.Iterator.next(): java.lang.Object [CALL] [CALL] [EXIT] [CALL] [EXIT] [EXIT] [CALL] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [EXIT] [CALL] [CALL] [CALL] [EXIT] [CALL] [EXIT] [EXIT] [CALL] [EXIT] -> java.util.SortedSet.size(): int [CALL] [EXIT] [CALL] [EXIT] [EXIT] [CALL] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [EXIT] [CALL] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] -> java.lang.String.isEmpty(): boolean [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [EXIT] [CALL] [EXIT] [CALL] [CALL] [CALL] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [EXIT] [CALL] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [CALL] [CALL] [EXIT] [CALL] [CALL] [EXIT] [EXIT] [EXIT] [CALL] -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [EXIT] -> java.lang.Character.valueOf(char): java.lang.Character [CALL] -> java.lang.Character.charValue(): char [CALL] -> java.lang.StringBuilder.append(char): java.lang.StringBuilder [EXIT] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] -> java.lang.Character.charValue(): char [CALL] -> java.lang.StringBuilder.append(char): java.lang.StringBuilder [EXIT] [EXIT] [EXIT] [EXIT] [EXIT] [CALL] [EXIT] [CALL] [EXIT] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.toString(): java.lang.String [CALL] [CALL] [CALL] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [EXIT] [CALL] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [CALL] [CALL] [EXIT] [CALL] [CALL] [EXIT] [EXIT] [EXIT] [CALL] -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [EXIT] -> java.lang.Character.valueOf(char): java.lang.Character [CALL] -> java.lang.Character.charValue(): char [CALL] -> java.lang.StringBuilder.append(char): java.lang.StringBuilder [EXIT] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] -> java.lang.Character.charValue(): char [CALL] -> java.lang.StringBuilder.append(char): java.lang.StringBuilder [EXIT] [EXIT] [EXIT] [EXIT] [EXIT] [CALL] [CALL] [CALL] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [EXIT] [CALL] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [CALL] [CALL] [EXIT] [CALL] [CALL] [EXIT] [EXIT] [EXIT] [CALL] -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [EXIT] -> java.lang.Character.valueOf(char): java.lang.Character [CALL] -> java.lang.Character.charValue(): char [CALL] -> java.lang.StringBuilder.append(char): java.lang.StringBuilder [EXIT] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] -> java.lang.Character.charValue(): char [CALL] -> java.lang.StringBuilder.append(char): java.lang.StringBuilder [EXIT] [EXIT] [EXIT] [EXIT] [EXIT] [CALL] [CALL] [CALL] [EXIT] [CALL] [CALL] [CALL] [CALL] [EXIT] [CALL] [EXIT] [EXIT] [EXIT] -> java.lang.Boolean.booleanValue(): boolean [EXIT] [EXIT] [CALL] -> java.lang.StringBuilder.length(): int -> java.lang.StringBuilder.length(): int -> java.lang.StringBuilder.charAt(int): char -> java.lang.Character.isSpaceChar(char): boolean -> java.lang.StringBuilder.charAt(int): char -> java.lang.StringBuilder.charAt(int): char [EXIT] [CALL] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [EXIT] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [EXIT] -> java.util.Iterator.hasNext(): boolean -> java.util.Iterator.next(): java.lang.Object [CALL] [CALL] [EXIT] [CALL] [EXIT] [EXIT] [CALL] [CALL] [EXIT] [CALL] [EXIT] [EXIT] [CALL] [CALL] [CALL] [EXIT] [CALL] [EXIT] [EXIT] [CALL] [EXIT] -> java.util.SortedSet.size(): int [CALL] [EXIT] [CALL] [EXIT] [EXIT] [CALL] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [EXIT] [CALL] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] -> java.lang.String.isEmpty(): boolean [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [EXIT] [CALL] [EXIT] [CALL] [CALL] [CALL] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [EXIT] [CALL] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [CALL] [CALL] [EXIT] [CALL] [CALL] [EXIT] [EXIT] [EXIT] [CALL] -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [EXIT] -> java.lang.Character.valueOf(char): java.lang.Character [CALL] -> java.lang.Character.charValue(): char [CALL] -> java.lang.StringBuilder.append(char): java.lang.StringBuilder [EXIT] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] -> java.lang.Character.charValue(): char [CALL] -> java.lang.StringBuilder.append(char): java.lang.StringBuilder [EXIT] [EXIT] [EXIT] [EXIT] [EXIT] [CALL] [EXIT] [CALL] [EXIT] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.toString(): java.lang.String [CALL] [CALL] [CALL] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [EXIT] [CALL] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [CALL] [CALL] [EXIT] [CALL] [CALL] [EXIT] [EXIT] [EXIT] [CALL] -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [EXIT] -> java.lang.Character.valueOf(char): java.lang.Character [CALL] -> java.lang.Character.charValue(): char [CALL] -> java.lang.StringBuilder.append(char): java.lang.StringBuilder [EXIT] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] -> java.lang.Character.charValue(): char [CALL] -> java.lang.StringBuilder.append(char): java.lang.StringBuilder [EXIT] [EXIT] [EXIT] [EXIT] [EXIT] [CALL] [CALL] [CALL] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [EXIT] [CALL] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [CALL] [CALL] [EXIT] [CALL] [CALL] [EXIT] [EXIT] [EXIT] [CALL] -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [EXIT] -> java.lang.Character.valueOf(char): java.lang.Character [CALL] -> java.lang.Character.charValue(): char [CALL] -> java.lang.StringBuilder.append(char): java.lang.StringBuilder [EXIT] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] -> java.lang.Character.charValue(): char [CALL] -> java.lang.StringBuilder.append(char): java.lang.StringBuilder [EXIT] [EXIT] [EXIT] [EXIT] [EXIT] [CALL] [CALL] [CALL] [EXIT] [CALL] [CALL] [CALL] [CALL] [EXIT] [CALL] [EXIT] [EXIT] [EXIT] -> java.lang.Boolean.booleanValue(): boolean [EXIT] [EXIT] [CALL] -> java.lang.StringBuilder.length(): int -> java.lang.StringBuilder.length(): int -> java.lang.StringBuilder.charAt(int): char -> java.lang.Character.isSpaceChar(char): boolean -> java.lang.StringBuilder.charAt(int): char -> java.lang.StringBuilder.charAt(int): char [EXIT] [CALL] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [EXIT] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [EXIT] -> java.util.Iterator.hasNext(): boolean -> java.util.Iterator.next(): java.lang.Object [CALL] [CALL] [EXIT] [CALL] [EXIT] [EXIT] [CALL] [CALL] [EXIT] [CALL] [EXIT] [EXIT] [CALL] [CALL] [CALL] [EXIT] [CALL] [EXIT] [EXIT] [CALL] [EXIT] -> java.util.SortedSet.size(): int [EXIT] [CALL] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [EXIT] [CALL] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] -> java.lang.String.isEmpty(): boolean [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [EXIT] [CALL] [EXIT] [CALL] [CALL] [CALL] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [EXIT] [CALL] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [CALL] [CALL] [EXIT] [CALL] [CALL] [EXIT] [EXIT] [EXIT] [CALL] -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [EXIT] -> java.lang.Character.valueOf(char): java.lang.Character [CALL] -> java.lang.Character.charValue(): char [CALL] -> java.lang.StringBuilder.append(char): java.lang.StringBuilder [EXIT] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] -> java.lang.Character.charValue(): char [CALL] -> java.lang.StringBuilder.append(char): java.lang.StringBuilder [EXIT] [EXIT] [EXIT] [EXIT] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [CALL] [CALL] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [EXIT] [CALL] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [CALL] [CALL] [EXIT] [CALL] [CALL] [EXIT] [EXIT] [EXIT] [CALL] -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [EXIT] -> java.lang.Character.valueOf(char): java.lang.Character [CALL] -> java.lang.Character.charValue(): char [CALL] -> java.lang.StringBuilder.append(char): java.lang.StringBuilder [EXIT] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] -> java.lang.Character.charValue(): char [CALL] -> java.lang.StringBuilder.append(char): java.lang.StringBuilder [EXIT] [EXIT] [EXIT] [EXIT] [EXIT] [CALL] [CALL] [CALL] [EXIT] [CALL] [CALL] [CALL] [CALL] [EXIT] [CALL] [EXIT] [EXIT] [EXIT] -> java.lang.Boolean.booleanValue(): boolean [EXIT] [EXIT] [CALL] -> java.lang.StringBuilder.length(): int -> java.lang.StringBuilder.length(): int -> java.lang.StringBuilder.charAt(int): char -> java.lang.Character.isSpaceChar(char): boolean -> java.lang.StringBuilder.charAt(int): char -> java.lang.StringBuilder.charAt(int): char [EXIT] [CALL] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [EXIT] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [EXIT] -> java.util.Iterator.hasNext(): boolean [CALL] [CALL] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] -> java.lang.String.isEmpty(): boolean [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [EXIT] [EXIT] [CALL] [CALL] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] -> java.lang.String.isEmpty(): boolean [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [CALL] -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder [EXIT] [EXIT] [EXIT] [EXIT]