| // Copyright (C) 2014 The Android Open Source Project | |
| // | |
| // Licensed under the Apache License, Version 2.0 (the "License"); | |
| // you may not use this file except in compliance with the License. | |
| // You may obtain a copy of the License at | |
| // | |
| // http://www.apache.org/licenses/LICENSE-2.0 | |
| // | |
| // Unless required by applicable law or agreed to in writing, software | |
| // distributed under the License is distributed on an "AS IS" BASIS, | |
| // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. | |
| // See the License for the specific language governing permissions and | |
| // limitations under the License. | |
| package com.google.gerrit.index.query; | |
| import com.google.common.primitives.Ints; | |
| import com.google.gerrit.common.Nullable; | |
| import java.util.regex.Matcher; | |
| import java.util.regex.Pattern; | |
| public final class RangeUtil { | |
| private static final Pattern RANGE_PATTERN = Pattern.compile("(>|>=|=|<|<=|)([+-]?\\d+)$"); | |
| private RangeUtil() {} | |
| public static class Range { | |
| /** The prefix of the query, before the range component. */ | |
| public final String prefix; | |
| /** The minimum value specified in the query, inclusive. */ | |
| public final int min; | |
| /** The maximum value specified in the query, inclusive. */ | |
| public final int max; | |
| public Range(String prefix, int min, int max) { | |
| this.prefix = prefix; | |
| this.min = min; | |
| this.max = max; | |
| } | |
| } | |
| /** | |
| * Determine the range of values being requested in the given query. | |
| * | |
| * @param rangeQuery the raw query, e.g. "{@code added:>12345}" | |
| * @param minValue the minimum possible value for the field, inclusive | |
| * @param maxValue the maximum possible value for the field, inclusive | |
| * @return the calculated {@link Range}, or null if the query is invalid | |
| */ | |
| @Nullable | |
| public static Range getRange(String rangeQuery, int minValue, int maxValue) { | |
| Matcher m = RANGE_PATTERN.matcher(rangeQuery); | |
| String prefix; | |
| String test; | |
| Integer queryInt; | |
| if (m.find()) { | |
| prefix = rangeQuery.substring(0, m.start()); | |
| test = m.group(1); | |
| queryInt = value(m.group(2)); | |
| if (queryInt == null) { | |
| return null; | |
| } | |
| } else { | |
| return null; | |
| } | |
| return getRange(prefix, test, queryInt, minValue, maxValue); | |
| } | |
| /** | |
| * Determine the range of values being requested in the given query. | |
| * | |
| * @param prefix a prefix string which is copied into the range | |
| * @param test the test operator, one of >, >=, =, <, or <= | |
| * @param queryInt the integer being queried | |
| * @param minValue the minimum possible value for the field, inclusive | |
| * @param maxValue the maximum possible value for the field, inclusive | |
| * @return the calculated {@link Range} | |
| */ | |
| public static Range getRange( | |
| String prefix, String test, int queryInt, int minValue, int maxValue) { | |
| int min; | |
| int max; | |
| switch (test) { | |
| case "=": | |
| default: | |
| min = max = queryInt; | |
| break; | |
| case ">": | |
| min = Ints.saturatedCast(queryInt + 1L); | |
| max = maxValue; | |
| break; | |
| case ">=": | |
| min = queryInt; | |
| max = maxValue; | |
| break; | |
| case "<": | |
| min = minValue; | |
| max = Ints.saturatedCast(queryInt - 1L); | |
| break; | |
| case "<=": | |
| min = minValue; | |
| max = queryInt; | |
| break; | |
| } | |
| // Ensure that minValue <= min/max <= maxValue. | |
| min = Ints.constrainToRange(min, minValue, maxValue); | |
| max = Ints.constrainToRange(max, minValue, maxValue); | |
| return new Range(prefix, min, max); | |
| } | |
| private static Integer value(String value) { | |
| if (value.startsWith("+")) { | |
| value = value.substring(1); | |
| } | |
| return Ints.tryParse(value); | |
| } | |
| } |