is.skip(gidsCount);
is.skipBytes(size);
        public boolean indexInfo(Value value, long pointer) throws TerminatedException {            VariableByteInput is;			try {				is = dbValues.getAsStream(pointer);			} catch (IOException e) {				LOG.error(e.getMessage(), e);                return true;			}         			try {                                while (is.available() > 0) {                    int storedDocId = is.readInt();                    int gidsCount = is.readInt();                    DocumentImpl storedDocument = docs.getDoc(storedDocId);                    //Exit if the document is not concerned                	if (storedDocument == null) {                        is.skip(gidsCount);                        continue;                                            }                                	if (contextSet != null) {                         //Exit if the document is not concerned                	    if (!contextSet.containsDoc(storedDocument)) {                	        is.skip(gidsCount);                	        continue;                        }                                        	}                	//Process the nodes                    NodeId nodeId;                	for (int j = 0; j < gidsCount; j++) {                        nodeId = broker.getBrokerPool().getNodeFactory().createFromStream(is);                                                NodeProxy storedNode = new NodeProxy(storedDocument, nodeId);					                		// if a context set is specified, we can directly check if the                		// matching node is a descendant of one of the nodes                		// in the context set.                		if (contextSet != null) {                            int sizeHint = contextSet.getSizeHint(storedDocument);                            if (returnAncestor) {                                NodeProxy parentNode = contextSet.parentWithChild(storedNode, false, true, NodeProxy.UNKNOWN_NODE_LEVEL);                                if (parentNode != null)                                     result.add(parentNode, sizeHint);                			} else                                result.add(storedNode, sizeHint);                		// otherwise, we add all nodes without check                		} else {                			result.add(storedNode, -1);                		}                	}                }            } catch (EOFException e) {                // EOF is expected here            } catch (IOException e) {                                LOG.error(e.getMessage(), e);            }            return false;        }