Examples of org.exist.storage.io.VariableByteArrayInput.readFixedInt()

                        while (is.available() > 0) {
                            final int storedDocId = is.readInt();
                            final byte storedSection = is.readByte();
                            final int termCount = is.readInt();
                            //Read (variable) length of node IDs + frequency + offsets
                            final int length = is.readFixedInt();
                            if (storedSection != currentSection || storedDocId != this.doc.getDocId()) {
                                // data are related to another section or document:
                                // append them to any existing data
                                os.writeInt(storedDocId);
                                os.writeByte(storedSection);

                        final VariableByteArrayInput is = new VariableByteArrayInput( value.getData() );


                        while( is.available() > 0 ) {
                            final int storedDocId = is.readInt();
                            final int gidsCount   = is.readInt();
                            final int size        = is.readFixedInt();


                            if( storedDocId != this.doc.getDocId() ) {


                                // data are related to another document:
                                // append them to any existing data

                    os.clear();


                    while( is.available() > 0 ) {
                        final int storedDocId = is.readInt();
                        final int gidsCount   = is.readInt();
                        final int size        = is.readFixedInt();


                        if( storedDocId != document.getDocId() ) {


                            // data are related to another document:
                            // copy them (keep them)

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.