equal
deleted
inserted
replaced
1420 if (++currentOffset == endOffset) { |
1420 if (++currentOffset == endOffset) { |
1421 break; |
1421 break; |
1422 } |
1422 } |
1423 ch = data.charAt(currentOffset); |
1423 ch = data.charAt(currentOffset); |
1424 } while (ch == ' ' || ch == 0x0A || ch == 0x09 || ch == 0x0D); |
1424 } while (ch == ' ' || ch == 0x0A || ch == 0x09 || ch == 0x0D); |
1425 if (currentOffset == endOffset || ch == '|') { |
1425 if (currentOffset == endOffset || ch == '|' || ch == '/') { |
1426 addToken(tokens, XPath.Tokens.EXPRTOKEN_PERIOD); |
1426 addToken(tokens, XPath.Tokens.EXPRTOKEN_PERIOD); |
1427 starIsMultiplyOperator = true; |
1427 starIsMultiplyOperator = true; |
1428 break; |
1428 break; |
1429 } |
1429 } |
1430 throw new XPathException ("c-general-xpath"); |
1430 throw new XPathException ("c-general-xpath"); |