mirror of
https://github.com/hwchase17/langchain
synced 2024-11-06 03:20:49 +00:00
104 lines
3.3 KiB
Python
104 lines
3.3 KiB
Python
|
"""Logic for converting internal query language to a valid Milvus query."""
|
||
|
from typing import Tuple, Union
|
||
|
|
||
|
from langchain_core.structured_query import (
|
||
|
Comparator,
|
||
|
Comparison,
|
||
|
Operation,
|
||
|
Operator,
|
||
|
StructuredQuery,
|
||
|
Visitor,
|
||
|
)
|
||
|
|
||
|
COMPARATOR_TO_BER = {
|
||
|
Comparator.EQ: "==",
|
||
|
Comparator.GT: ">",
|
||
|
Comparator.GTE: ">=",
|
||
|
Comparator.LT: "<",
|
||
|
Comparator.LTE: "<=",
|
||
|
Comparator.IN: "in",
|
||
|
Comparator.LIKE: "like",
|
||
|
}
|
||
|
|
||
|
UNARY_OPERATORS = [Operator.NOT]
|
||
|
|
||
|
|
||
|
def process_value(value: Union[int, float, str], comparator: Comparator) -> str:
|
||
|
"""Convert a value to a string and add double quotes if it is a string.
|
||
|
|
||
|
It required for comparators involving strings.
|
||
|
|
||
|
Args:
|
||
|
value: The value to convert.
|
||
|
comparator: The comparator.
|
||
|
|
||
|
Returns:
|
||
|
The converted value as a string.
|
||
|
"""
|
||
|
#
|
||
|
if isinstance(value, str):
|
||
|
if comparator is Comparator.LIKE:
|
||
|
# If the comparator is LIKE, add a percent sign after it for prefix matching
|
||
|
# and add double quotes
|
||
|
return f'"{value}%"'
|
||
|
else:
|
||
|
# If the value is already a string, add double quotes
|
||
|
return f'"{value}"'
|
||
|
else:
|
||
|
# If the value is not a string, convert it to a string without double quotes
|
||
|
return str(value)
|
||
|
|
||
|
|
||
|
class MilvusTranslator(Visitor):
|
||
|
"""Translate Milvus internal query language elements to valid filters."""
|
||
|
|
||
|
"""Subset of allowed logical operators."""
|
||
|
allowed_operators = [Operator.AND, Operator.NOT, Operator.OR]
|
||
|
|
||
|
"""Subset of allowed logical comparators."""
|
||
|
allowed_comparators = [
|
||
|
Comparator.EQ,
|
||
|
Comparator.GT,
|
||
|
Comparator.GTE,
|
||
|
Comparator.LT,
|
||
|
Comparator.LTE,
|
||
|
Comparator.IN,
|
||
|
Comparator.LIKE,
|
||
|
]
|
||
|
|
||
|
def _format_func(self, func: Union[Operator, Comparator]) -> str:
|
||
|
self._validate_func(func)
|
||
|
value = func.value
|
||
|
if isinstance(func, Comparator):
|
||
|
value = COMPARATOR_TO_BER[func]
|
||
|
return f"{value}"
|
||
|
|
||
|
def visit_operation(self, operation: Operation) -> str:
|
||
|
if operation.operator in UNARY_OPERATORS and len(operation.arguments) == 1:
|
||
|
operator = self._format_func(operation.operator)
|
||
|
return operator + "(" + operation.arguments[0].accept(self) + ")"
|
||
|
elif operation.operator in UNARY_OPERATORS:
|
||
|
raise ValueError(
|
||
|
f'"{operation.operator.value}" can have only one argument in Milvus'
|
||
|
)
|
||
|
else:
|
||
|
args = [arg.accept(self) for arg in operation.arguments]
|
||
|
operator = self._format_func(operation.operator)
|
||
|
return "(" + (" " + operator + " ").join(args) + ")"
|
||
|
|
||
|
def visit_comparison(self, comparison: Comparison) -> str:
|
||
|
comparator = self._format_func(comparison.comparator)
|
||
|
processed_value = process_value(comparison.value, comparison.comparator)
|
||
|
attribute = comparison.attribute
|
||
|
|
||
|
return "( " + attribute + " " + comparator + " " + processed_value + " )"
|
||
|
|
||
|
def visit_structured_query(
|
||
|
self, structured_query: StructuredQuery
|
||
|
) -> Tuple[str, dict]:
|
||
|
if structured_query.filter is None:
|
||
|
kwargs = {}
|
||
|
else:
|
||
|
kwargs = {"expr": structured_query.filter.accept(self)}
|
||
|
return structured_query.query, kwargs
|