org_eclipse_lemminx_extensions_contentmodel_XMLSyntaxRelatedInfoFinderTest_java
org.apache.xerces.impl.XMLDocumentFragmentScannerImpl$FragmentContentDispatcher
@Override
    public boolean dispatch(boolean bl) throws IOException, XNIException {
        try {
            boolean bl2;
            do {
                bl2 = false;
                block1 : switch (XMLDocumentFragmentScannerImpl.this.fScannerState) {
                    case 7: {
                        if (XMLDocumentFragmentScannerImpl.this.fEntityScanner.skipChar(60)) {
                            XMLDocumentFragmentScannerImpl.this.setScannerState(1);
                            bl2 = true;
                            break;
                        }
                        if (XMLDocumentFragmentScannerImpl.this.fEntityScanner.skipChar(38)) {
                            XMLDocumentFragmentScannerImpl.this.setScannerState(8);
                            bl2 = true;
                            break;
                        }
                        do {
                            int n;
                            if ((n = XMLDocumentFragmentScannerImpl.this.scanContent()) == 60) {
                                XMLDocumentFragmentScannerImpl.this.fEntityScanner.scanChar();
                                XMLDocumentFragmentScannerImpl.this.setScannerState(1);
                                break block1;
                            }
                            if (n == 38) {
                                XMLDocumentFragmentScannerImpl.this.fEntityScanner.scanChar();
                                XMLDocumentFragmentScannerImpl.this.setScannerState(8);
                                break block1;
                            }
                            if (n == -1 || !XMLDocumentFragmentScannerImpl.this.isInvalidLiteral(n)) continue;
                            if (XMLChar.isHighSurrogate(n)) {
                                XMLDocumentFragmentScannerImpl.this.fStringBuffer.clear();
                                if (!XMLDocumentFragmentScannerImpl.this.scanSurrogates(XMLDocumentFragmentScannerImpl.this.fStringBuffer) || XMLDocumentFragmentScannerImpl.this.fDocumentHandler == null) continue;
                                XMLDocumentFragmentScannerImpl.this.fDocumentHandler.characters(XMLDocumentFragmentScannerImpl.this.fStringBuffer, null);
                                continue;
                            }
                            XMLDocumentFragmentScannerImpl.this.reportFatalError("InvalidCharInContent", new Object[]{Integer.toString(n, 16)});
                            XMLDocumentFragmentScannerImpl.this.fEntityScanner.scanChar();
                        } while (bl);
                        break;
                    }
                    case 1: {
                        ++XMLDocumentFragmentScannerImpl.this.fMarkupDepth;
                        if (XMLDocumentFragmentScannerImpl.this.fEntityScanner.skipChar(47)) {
                            if (XMLDocumentFragmentScannerImpl.this.scanEndElement() == 0 && this.elementDepthIsZeroHook()) {
                                return true;
                            }
                            XMLDocumentFragmentScannerImpl.this.setScannerState(7);
                            break;
                        }
                        if (XMLDocumentFragmentScannerImpl.this.isValidNameStartChar(XMLDocumentFragmentScannerImpl.this.fEntityScanner.peekChar())) {
                            XMLDocumentFragmentScannerImpl.this.scanStartElement();
                            XMLDocumentFragmentScannerImpl.this.setScannerState(7);
                            break;
                        }
                        if (XMLDocumentFragmentScannerImpl.this.fEntityScanner.skipChar(33)) {
                            if (XMLDocumentFragmentScannerImpl.this.fEntityScanner.skipChar(45)) {
                                if (!XMLDocumentFragmentScannerImpl.this.fEntityScanner.skipChar(45)) {
                                    XMLDocumentFragmentScannerImpl.this.reportFatalError("InvalidCommentStart", null);
                                }
                                XMLDocumentFragmentScannerImpl.this.setScannerState(2);
                                bl2 = true;
                                break;
                            }
                            if (XMLDocumentFragmentScannerImpl.this.fEntityScanner.skipString("[CDATA[")) {
                                XMLDocumentFragmentScannerImpl.this.setScannerState(15);
                                bl2 = true;
                                break;
                            }
                            if (this.scanForDoctypeHook()) break;
                            XMLDocumentFragmentScannerImpl.this.reportFatalError("MarkupNotRecognizedInContent", null);
                            break;
                        }
                        if (XMLDocumentFragmentScannerImpl.this.fEntityScanner.skipChar(63)) {
                            XMLDocumentFragmentScannerImpl.this.setScannerState(3);
                            bl2 = true;
                            break;
                        }
                        if (XMLDocumentFragmentScannerImpl.this.isValidNameStartHighSurrogate(XMLDocumentFragmentScannerImpl.this.fEntityScanner.peekChar())) {
                            XMLDocumentFragmentScannerImpl.this.scanStartElement();
                            XMLDocumentFragmentScannerImpl.this.setScannerState(7);
                            break;
                        }
                        XMLDocumentFragmentScannerImpl.this.reportFatalError("MarkupNotRecognizedInContent", null);
                        XMLDocumentFragmentScannerImpl.this.setScannerState(7);
                        break;
                    }
                    case 2: {
                        XMLDocumentFragmentScannerImpl.this.scanComment();
                        XMLDocumentFragmentScannerImpl.this.setScannerState(7);
                        break;
                    }
                    case 3: {
                        XMLDocumentFragmentScannerImpl.this.scanPI();
                        XMLDocumentFragmentScannerImpl.this.setScannerState(7);
                        break;
                    }
                    case 15: {
                        XMLDocumentFragmentScannerImpl.this.scanCDATASection(bl);
                        XMLDocumentFragmentScannerImpl.this.setScannerState(7);
                        break;
                    }
                    case 8: {
                        ++XMLDocumentFragmentScannerImpl.this.fMarkupDepth;
                        XMLDocumentFragmentScannerImpl.this.setScannerState(7);
                        if (XMLDocumentFragmentScannerImpl.this.fEntityScanner.skipChar(35)) {
                            XMLDocumentFragmentScannerImpl.this.scanCharReference();
                            break;
                        }
                        XMLDocumentFragmentScannerImpl.this.scanEntityReference();
                        break;
                    }
                    case 16: {
                        if (XMLDocumentFragmentScannerImpl.this.fEntityScanner.skipString("<?xml")) {
                            ++XMLDocumentFragmentScannerImpl.this.fMarkupDepth;
                            if (XMLDocumentFragmentScannerImpl.this.isValidNameChar(XMLDocumentFragmentScannerImpl.this.fEntityScanner.peekChar())) {
                                XMLDocumentFragmentScannerImpl.this.fStringBuffer.clear();
                                XMLDocumentFragmentScannerImpl.this.fStringBuffer.append("xml");
                                if (XMLDocumentFragmentScannerImpl.this.fNamespaces) {
                                    while (XMLDocumentFragmentScannerImpl.this.isValidNCName(XMLDocumentFragmentScannerImpl.this.fEntityScanner.peekChar())) {
                                        XMLDocumentFragmentScannerImpl.this.fStringBuffer.append((char)XMLDocumentFragmentScannerImpl.this.fEntityScanner.scanChar());
                                    }
                                } else {
                                    while (XMLDocumentFragmentScannerImpl.this.isValidNameChar(XMLDocumentFragmentScannerImpl.this.fEntityScanner.peekChar())) {
                                        XMLDocumentFragmentScannerImpl.this.fStringBuffer.append((char)XMLDocumentFragmentScannerImpl.this.fEntityScanner.scanChar());
                                    }
                                }
                                String string = XMLDocumentFragmentScannerImpl.this.fSymbolTable.addSymbol(((XMLDocumentFragmentScannerImpl)XMLDocumentFragmentScannerImpl.this).fStringBuffer.ch, ((XMLDocumentFragmentScannerImpl)XMLDocumentFragmentScannerImpl.this).fStringBuffer.offset, ((XMLDocumentFragmentScannerImpl)XMLDocumentFragmentScannerImpl.this).fStringBuffer.length);
                                XMLDocumentFragmentScannerImpl.this.scanPIData(string, XMLDocumentFragmentScannerImpl.this.fTempString);
                            } else {
                                XMLDocumentFragmentScannerImpl.this.scanXMLDeclOrTextDecl(true);
                            }
                        }
                        XMLDocumentFragmentScannerImpl.this.fEntityManager.fCurrentEntity.mayReadChunks = true;
                        XMLDocumentFragmentScannerImpl.this.setScannerState(7);
                        break;
                    }
                    case 6: {
                        if (this.scanRootElementHook()) {
                            return true;
                        }
                        XMLDocumentFragmentScannerImpl.this.setScannerState(7);
                        break;
                    }
                    case 4: {
                        XMLDocumentFragmentScannerImpl.this.reportFatalError("DoctypeIllegalInContent", null);
                        XMLDocumentFragmentScannerImpl.this.setScannerState(7);
                    }
                }
            } while (bl || bl2);
        }
        catch (MalformedByteSequenceException malformedByteSequenceException) {
            XMLDocumentFragmentScannerImpl.this.fErrorReporter.reportError(malformedByteSequenceException.getDomain(), malformedByteSequenceException.getKey(), malformedByteSequenceException.getArguments(), (short)2, malformedByteSequenceException);
            return false;
        }
        catch (CharConversionException charConversionException) {
            XMLDocumentFragmentScannerImpl.this.fErrorReporter.reportError("http://www.w3.org/TR/1998/REC-xml-19980210", "CharConversionFailure", null, (short)2, charConversionException);
            return false;
        }
        catch (EOFException eOFException) {
            this.endOfFileHook(eOFException);
            return false;
        }
        return true;
    }
 -> java.lang.System.arraycopy(java.lang.Object,int,java.lang.Object,int,int): void -> java.lang.String.intern(): java.lang.String -> java.lang.System.arraycopy(java.lang.Object,int,java.lang.Object,int,int): void -> java.lang.String.intern(): java.lang.String -> java.lang.System.arraycopy(java.lang.Object,int,java.lang.Object,int,int): void -> java.lang.String.intern(): java.lang.String -> java.io.Reader.read(char[],int,int): int -> java.util.Hashtable.get(java.lang.Object): java.lang.Object -> java.util.Locale.getDefault(): java.util.Locale -> java.util.ResourceBundle.getBundle(java.lang.String,java.util.Locale): java.util.ResourceBundle -> java.util.ResourceBundle.getString(java.lang.String): java.lang.String -> java.lang.String.endsWith(java.lang.String): boolean -> java.util.List.iterator(): java.util.Iterator -> java.util.Iterator.hasNext(): boolean -> java.util.Iterator.next(): java.lang.Object -> java.util.List.iterator(): java.util.Iterator -> java.util.Iterator.hasNext(): boolean -> java.util.Iterator.next(): java.lang.Object -> java.lang.String.length(): int -> java.util.List.clear(): void -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.String.charAt(int): char -> java.lang.String.charAt(int): char -> java.lang.String.charAt(int): char -> java.lang.String.charAt(int): char -> java.lang.String.charAt(int): char -> java.lang.String.charAt(int): char -> java.lang.String.charAt(int): char -> java.lang.String.charAt(int): char -> java.lang.String.charAt(int): char -> java.lang.String.charAt(int): char -> java.lang.String.charAt(int): char -> java.lang.String.charAt(int): char -> java.lang.String.charAt(int): char -> java.lang.String.charAt(int): char -> java.lang.String.charAt(int): char -> java.lang.String.charAt(int): char -> java.lang.String.charAt(int): char -> java.lang.String.charAt(int): char -> java.lang.String.charAt(int): char -> java.lang.String.charAt(int): char -> java.lang.String.charAt(int): char -> java.lang.String.charAt(int): char -> java.lang.String.charAt(int): char -> java.lang.String.charAt(int): char -> java.lang.String.length(): int -> java.util.List.size(): int -> java.lang.String.length(): int -> java.util.List.add(java.lang.Object): boolean -> java.util.List.size(): int -> java.util.List.size(): int -> java.util.List.get(int): java.lang.Object -> java.util.List.size(): int -> java.util.List.get(int): java.lang.Object -> java.util.List.size(): int -> java.util.List.size(): int -> java.util.List.get(int): java.lang.Object -> java.util.List.size(): int -> java.util.List.get(int): java.lang.Object -> java.lang.Object.getClass(): java.lang.Class -> java.lang.Object.getClass(): java.lang.Class -> java.util.List.size(): int -> java.util.List.get(int): java.lang.Object -> java.util.List.size(): int -> java.lang.Math.floor(double): double -> java.util.List.get(int): java.lang.Object -> java.util.function.Function.apply(java.lang.Object): java.lang.Object -> java.lang.Boolean.valueOf(boolean): java.lang.Boolean -> java.lang.Boolean.booleanValue(): boolean -> java.util.List.get(int): java.lang.Object -> java.util.Collections.emptyList(): java.util.List -> java.util.List.size(): int -> java.util.List.iterator(): java.util.Iterator -> java.util.Iterator.hasNext(): boolean -> java.util.Iterator.next(): java.lang.Object -> java.util.Collections.emptyList(): java.util.List -> java.util.List.size(): int -> java.util.List.size(): int -> java.util.List.get(int): java.lang.Object -> java.util.List.size(): int -> java.util.List.get(int): java.lang.Object -> java.util.List.size(): int -> java.util.List.get(int): java.lang.Object -> java.util.List.size(): int -> java.util.List.get(int): java.lang.Object -> java.util.Collections.singletonList(java.lang.Object): java.util.List -> java.util.List.addAll(java.util.Collection): boolean -> java.util.List.size(): int -> java.util.List.contains(java.lang.Object): boolean -> java.util.List.add(java.lang.Object): boolean
 [CALL] [CALL] [CALL] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [CALL] [EXIT] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [EXIT] [CALL] [CALL] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [CALL] [EXIT] [CALL] [CALL] -> java.lang.System.arraycopy(java.lang.Object,int,java.lang.Object,int,int): void -> java.lang.String.intern(): java.lang.String [EXIT] [EXIT] [EXIT] [CALL] [EXIT] [EXIT] [CALL] [EXIT] [CALL] [CALL] [EXIT] [EXIT] [CALL] [EXIT] [CALL] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [EXIT] [CALL] [CALL] [EXIT] [EXIT] [CALL] [CALL] [EXIT] [EXIT] [CALL] [CALL] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [CALL] [EXIT] [CALL] [CALL] -> java.lang.System.arraycopy(java.lang.Object,int,java.lang.Object,int,int): void -> java.lang.String.intern(): java.lang.String [EXIT] [EXIT] [EXIT] [CALL] [EXIT] [EXIT] [CALL] [CALL] [EXIT] [EXIT] [CALL] [EXIT] [CALL] [CALL] [EXIT] [EXIT] [CALL] [EXIT] [CALL] [CALL] [EXIT] [CALL] [CALL] [EXIT] [EXIT] [EXIT] [CALL] [CALL] [CALL] [EXIT] [EXIT] [CALL] [EXIT] [CALL] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [EXIT] [CALL] [EXIT] [CALL] [CALL] [EXIT] [EXIT] [CALL] [EXIT] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [EXIT] [CALL] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [EXIT] [CALL] [CALL] [EXIT] [EXIT] [CALL] [CALL] [EXIT] [EXIT] [CALL] [CALL] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [CALL] [EXIT] [CALL] [CALL] -> java.lang.System.arraycopy(java.lang.Object,int,java.lang.Object,int,int): void -> java.lang.String.intern(): java.lang.String [EXIT] [EXIT] [EXIT] [CALL] [EXIT] [EXIT] [CALL] [CALL] [EXIT] [EXIT] [CALL] [EXIT] [CALL] [CALL] [EXIT] [EXIT] [CALL] [EXIT] [CALL] [CALL] [EXIT] [CALL] [CALL] [EXIT] [EXIT] [EXIT] [CALL] [CALL] [CALL] [EXIT] [EXIT] [CALL] [EXIT] [CALL] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [EXIT] [CALL] [EXIT] [CALL] [CALL] [EXIT] [EXIT] [CALL] [EXIT] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [EXIT] [CALL] [CALL] -> java.io.Reader.read(char[],int,int): int [CALL] [CALL] [CALL] [CALL] [EXIT] [CALL] [CALL] [CALL] [CALL] [CALL] [CALL] [EXIT] [CALL] [CALL] -> java.util.Hashtable.get(java.lang.Object): java.lang.Object [EXIT] [CALL] -> java.util.Locale.getDefault(): java.util.Locale -> java.util.ResourceBundle.getBundle(java.lang.String,java.util.Locale): java.util.ResourceBundle -> java.util.ResourceBundle.getString(java.lang.String): java.lang.String [EXIT] [EXIT] [EXIT] [CALL] [CALL] [EXIT] [CALL] [CALL] [EXIT] [EXIT] [EXIT] [CALL] [CALL] [CALL] [CALL] [EXIT] [CALL] [EXIT] [EXIT] [CALL] [CALL] [EXIT] [EXIT] -> java.lang.String.endsWith(java.lang.String): boolean [CALL] [CALL] [CALL] [EXIT] [EXIT] [CALL] [CALL] [CALL] [EXIT] [EXIT] -> java.util.List.iterator(): java.util.Iterator -> java.util.Iterator.hasNext(): boolean -> java.util.Iterator.next(): java.lang.Object [CALL] [CALL] [EXIT] [EXIT] [EXIT] [CALL] [CALL] [EXIT] [EXIT] [CALL] [CALL] [CALL] [CALL] [EXIT] [EXIT] -> java.util.List.iterator(): java.util.Iterator -> java.util.Iterator.hasNext(): boolean -> java.util.Iterator.next(): java.lang.Object [CALL] [CALL] [EXIT] [EXIT] [EXIT] [CALL] [CALL] [CALL] [EXIT] [CALL] [CALL] [CALL] [EXIT] [EXIT] [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [EXIT] [CALL] [CALL] [EXIT] [EXIT] [CALL] [CALL] [EXIT] [EXIT] [CALL] [CALL] [EXIT] [EXIT] [CALL] [CALL] [CALL] [EXIT] [CALL] [CALL] [CALL] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] -> java.util.List.clear(): void -> java.lang.String.length(): int [CALL] [CALL] -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.String.charAt(int): char -> java.lang.String.charAt(int): char -> java.lang.String.charAt(int): char -> java.lang.String.charAt(int): char -> java.lang.String.charAt(int): char -> java.lang.String.charAt(int): char -> java.lang.String.charAt(int): char -> java.lang.String.charAt(int): char -> java.lang.String.charAt(int): char -> java.lang.String.charAt(int): char -> java.lang.String.charAt(int): char -> java.lang.String.charAt(int): char -> java.lang.String.charAt(int): char -> java.lang.String.charAt(int): char -> java.lang.String.charAt(int): char -> java.lang.String.charAt(int): char -> java.lang.String.charAt(int): char -> java.lang.String.charAt(int): char -> java.lang.String.charAt(int): char -> java.lang.String.charAt(int): char -> java.lang.String.charAt(int): char -> java.lang.String.charAt(int): char -> java.lang.String.charAt(int): char -> java.lang.String.charAt(int): char [EXIT] -> java.lang.String.length(): int -> java.util.List.size(): int -> java.lang.String.length(): int [CALL] [EXIT] -> java.util.List.add(java.lang.Object): boolean [EXIT] [EXIT] [EXIT] [EXIT] [CALL] [CALL] [CALL] -> java.util.List.size(): int -> java.util.List.size(): int -> java.util.List.get(int): java.lang.Object [EXIT] [EXIT] -> java.util.List.size(): int -> java.util.List.get(int): java.lang.Object [CALL] [EXIT] [EXIT] [EXIT] [EXIT] [CALL] [CALL] [EXIT] [CALL] [CALL] [EXIT] [CALL] [CALL] [CALL] -> java.util.List.size(): int -> java.util.List.size(): int -> java.util.List.get(int): java.lang.Object [EXIT] [EXIT] -> java.util.List.size(): int -> java.util.List.get(int): java.lang.Object [CALL] [EXIT] [EXIT] [EXIT] [EXIT] [CALL] [CALL] [EXIT] [CALL] [EXIT] [EXIT] [EXIT] [EXIT] [EXIT] [EXIT] [EXIT] [EXIT] [EXIT] [CALL] -> java.lang.Object.getClass(): java.lang.Class -> java.lang.Object.getClass(): java.lang.Class [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [CALL] [EXIT] [CALL] [CALL] [EXIT] [CALL] [CALL] [EXIT] -> java.util.List.size(): int -> java.util.List.get(int): java.lang.Object [CALL] [EXIT] [EXIT] [EXIT] [EXIT] [CALL] [CALL] [CALL] [CALL] [EXIT] [CALL] -> java.util.List.size(): int -> java.lang.Math.floor(double): double -> java.util.List.get(int): java.lang.Object -> java.util.function.Function.apply(java.lang.Object): java.lang.Object [CALL] -> java.lang.Boolean.valueOf(boolean): java.lang.Boolean [EXIT] -> java.lang.Boolean.booleanValue(): boolean [EXIT] -> java.util.List.get(int): java.lang.Object [CALL] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [EXIT] [CALL] [CALL] -> java.util.Collections.emptyList(): java.util.List [EXIT] [CALL] -> java.util.List.size(): int [EXIT] [EXIT] [EXIT] [CALL] [CALL] [EXIT] [EXIT] [CALL] [CALL] [CALL] [EXIT] [EXIT] -> java.util.List.iterator(): java.util.Iterator -> java.util.Iterator.hasNext(): boolean -> java.util.Iterator.next(): java.lang.Object [CALL] [CALL] [EXIT] [EXIT] [EXIT] [CALL] [CALL] [EXIT] [EXIT] [CALL] -> java.util.Collections.emptyList(): java.util.List [EXIT] -> java.util.List.size(): int [CALL] [EXIT] [CALL] [CALL] [CALL] [EXIT] [CALL] [CALL] [EXIT] [CALL] [CALL] -> java.util.List.size(): int -> java.util.List.get(int): java.lang.Object [EXIT] -> java.util.List.size(): int -> java.util.List.get(int): java.lang.Object [CALL] [EXIT] [EXIT] [EXIT] [EXIT] [CALL] [CALL] [EXIT] [CALL] [CALL] [EXIT] [CALL] [CALL] -> java.util.List.size(): int -> java.util.List.get(int): java.lang.Object [EXIT] -> java.util.List.size(): int -> java.util.List.get(int): java.lang.Object [CALL] [EXIT] [EXIT] [EXIT] [EXIT] [CALL] [CALL] [EXIT] [CALL] [EXIT] [EXIT] [EXIT] [CALL] [CALL] [EXIT] [EXIT] [CALL] [CALL] [EXIT] [CALL] [EXIT] [EXIT] [CALL] [CALL] [EXIT] [CALL] [EXIT] [EXIT] -> java.util.Collections.singletonList(java.lang.Object): java.util.List [EXIT] -> java.util.List.addAll(java.util.Collection): boolean [EXIT] [CALL] [CALL] [EXIT] [CALL] [EXIT] [EXIT] [CALL] [CALL] [CALL] [CALL] [CALL] [EXIT] [CALL] [EXIT] [EXIT] [EXIT] [CALL] [CALL] [CALL] [EXIT] [EXIT] [EXIT] [EXIT] -> java.util.List.size(): int [CALL] [EXIT] -> java.util.List.contains(java.lang.Object): boolean -> java.util.List.add(java.lang.Object): boolean [EXIT] [CALL] [CALL] [EXIT] [CALL] [CALL] [EXIT] [EXIT] [CALL] [CALL] [EXIT] [CALL] [EXIT] [EXIT] [CALL] [CALL] [EXIT] [CALL] [EXIT] [EXIT] [CALL] [CALL] [EXIT] [EXIT] [CALL] [CALL] [EXIT] [EXIT] [CALL] [CALL] [EXIT] [EXIT] [CALL] [CALL] [EXIT] [EXIT] [EXIT] [EXIT] [EXIT] [EXIT] [EXIT] [EXIT] [EXIT] [EXIT] [EXIT] [EXIT] [EXIT] [EXIT] [EXIT]