if (c == ':') {
            if (s.charAt(pos) == ':') {
                types.push(XPathParser.DOUBLECOLON);
                values.push("::");
                pos++;