| <?xml version='1.0' encoding='UTF-8' standalone='no'?> |
| <doxygen xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:noNamespaceSchemaLocation="compound.xsd" version="1.9.8" xml:lang="en-US"> |
| <compounddef id="predicate_8cc" kind="file" language="C++"> |
| <compoundname>predicate.cc</compoundname> |
| <includes refid="predicate_8h" local="yes">iceberg/expression/predicate.h</includes> |
| <includes local="no">algorithm</includes> |
| <includes local="no">format</includes> |
| <includes refid="expressions_8h" local="yes">iceberg/expression/expressions.h</includes> |
| <includes refid="literal_8h" local="yes">iceberg/expression/literal.h</includes> |
| <includes refid="result_8h" local="yes">iceberg/result.h</includes> |
| <includes refid="type_8h" local="yes">iceberg/type.h</includes> |
| <includes refid="checked__cast_8h" local="yes">iceberg/util/checked_cast.h</includes> |
| <includes refid="formatter__internal_8h" local="yes">iceberg/util/formatter_internal.h</includes> |
| <includes refid="macros_8h" local="yes">iceberg/util/macros.h</includes> |
| <incdepgraph> |
| <node id="15"> |
| <label>iceberg/exception.h</label> |
| <link refid="exception_8h"/> |
| <childnode refid="16" relation="include"> |
| </childnode> |
| <childnode refid="7" relation="include"> |
| </childnode> |
| </node> |
| <node id="42"> |
| <label>iceberg/expression/aggregate.h</label> |
| <link refid="aggregate_8h"/> |
| <childnode refid="5" relation="include"> |
| </childnode> |
| <childnode refid="25" relation="include"> |
| </childnode> |
| <childnode refid="6" relation="include"> |
| </childnode> |
| <childnode refid="20" relation="include"> |
| </childnode> |
| <childnode refid="4" relation="include"> |
| </childnode> |
| <childnode refid="38" relation="include"> |
| </childnode> |
| <childnode refid="8" relation="include"> |
| </childnode> |
| <childnode refid="11" relation="include"> |
| </childnode> |
| </node> |
| <node id="4"> |
| <label>iceberg/expression/expression.h</label> |
| <link refid="expression_8h"/> |
| <childnode refid="5" relation="include"> |
| </childnode> |
| <childnode refid="6" relation="include"> |
| </childnode> |
| <childnode refid="7" relation="include"> |
| </childnode> |
| <childnode refid="8" relation="include"> |
| </childnode> |
| <childnode refid="11" relation="include"> |
| </childnode> |
| <childnode refid="12" relation="include"> |
| </childnode> |
| <childnode refid="13" relation="include"> |
| </childnode> |
| </node> |
| <node id="40"> |
| <label>iceberg/expression/expressions.h</label> |
| <link refid="expressions_8h"/> |
| <childnode refid="41" relation="include"> |
| </childnode> |
| <childnode refid="5" relation="include"> |
| </childnode> |
| <childnode refid="6" relation="include"> |
| </childnode> |
| <childnode refid="20" relation="include"> |
| </childnode> |
| <childnode refid="42" relation="include"> |
| </childnode> |
| <childnode refid="17" relation="include"> |
| </childnode> |
| <childnode refid="2" relation="include"> |
| </childnode> |
| <childnode refid="38" relation="include"> |
| </childnode> |
| <childnode refid="7" relation="include"> |
| </childnode> |
| <childnode refid="13" relation="include"> |
| </childnode> |
| </node> |
| <node id="17"> |
| <label>iceberg/expression/literal.h</label> |
| <link refid="literal_8h_source"/> |
| <childnode refid="18" relation="include"> |
| </childnode> |
| <childnode refid="5" relation="include"> |
| </childnode> |
| <childnode refid="6" relation="include"> |
| </childnode> |
| <childnode refid="19" relation="include"> |
| </childnode> |
| <childnode refid="20" relation="include"> |
| </childnode> |
| <childnode refid="7" relation="include"> |
| </childnode> |
| <childnode refid="8" relation="include"> |
| </childnode> |
| <childnode refid="21" relation="include"> |
| </childnode> |
| <childnode refid="33" relation="include"> |
| </childnode> |
| <childnode refid="12" relation="include"> |
| </childnode> |
| <childnode refid="36" relation="include"> |
| </childnode> |
| <childnode refid="37" relation="include"> |
| </childnode> |
| </node> |
| <node id="1"> |
| <label>iceberg/expression/predicate.cc</label> |
| <link refid="predicate_8cc"/> |
| <childnode refid="2" relation="include"> |
| </childnode> |
| <childnode refid="39" relation="include"> |
| </childnode> |
| <childnode refid="10" relation="include"> |
| </childnode> |
| <childnode refid="40" relation="include"> |
| </childnode> |
| <childnode refid="17" relation="include"> |
| </childnode> |
| <childnode refid="8" relation="include"> |
| </childnode> |
| <childnode refid="21" relation="include"> |
| </childnode> |
| <childnode refid="43" relation="include"> |
| </childnode> |
| <childnode refid="45" relation="include"> |
| </childnode> |
| <childnode refid="13" relation="include"> |
| </childnode> |
| </node> |
| <node id="2"> |
| <label>iceberg/expression/predicate.h</label> |
| <link refid="predicate_8h"/> |
| <childnode refid="3" relation="include"> |
| </childnode> |
| <childnode refid="4" relation="include"> |
| </childnode> |
| <childnode refid="17" relation="include"> |
| </childnode> |
| <childnode refid="38" relation="include"> |
| </childnode> |
| <childnode refid="7" relation="include"> |
| </childnode> |
| </node> |
| <node id="38"> |
| <label>iceberg/expression/term.h</label> |
| <link refid="term_8h"/> |
| <childnode refid="30" relation="include"> |
| </childnode> |
| <childnode refid="5" relation="include"> |
| </childnode> |
| <childnode refid="6" relation="include"> |
| </childnode> |
| <childnode refid="28" relation="include"> |
| </childnode> |
| <childnode refid="4" relation="include"> |
| </childnode> |
| <childnode refid="17" relation="include"> |
| </childnode> |
| <childnode refid="11" relation="include"> |
| </childnode> |
| <childnode refid="12" relation="include"> |
| </childnode> |
| </node> |
| <node id="7"> |
| <label>iceberg/iceberg_export.h</label> |
| <link refid="iceberg__export_8h_source"/> |
| </node> |
| <node id="8"> |
| <label>iceberg/result.h</label> |
| <link refid="result_8h_source"/> |
| <childnode refid="9" relation="include"> |
| </childnode> |
| <childnode refid="10" relation="include"> |
| </childnode> |
| <childnode refid="6" relation="include"> |
| </childnode> |
| <childnode refid="7" relation="include"> |
| </childnode> |
| </node> |
| <node id="27"> |
| <label>iceberg/schema_field.h</label> |
| <link refid="schema__field_8h"/> |
| <childnode refid="23" relation="include"> |
| </childnode> |
| <childnode refid="5" relation="include"> |
| </childnode> |
| <childnode refid="6" relation="include"> |
| </childnode> |
| <childnode refid="28" relation="include"> |
| </childnode> |
| <childnode refid="7" relation="include"> |
| </childnode> |
| <childnode refid="8" relation="include"> |
| </childnode> |
| <childnode refid="11" relation="include"> |
| </childnode> |
| <childnode refid="12" relation="include"> |
| </childnode> |
| </node> |
| <node id="21"> |
| <label>iceberg/type.h</label> |
| <link refid="type_8h"/> |
| <childnode refid="22" relation="include"> |
| </childnode> |
| <childnode refid="23" relation="include"> |
| </childnode> |
| <childnode refid="5" relation="include"> |
| </childnode> |
| <childnode refid="24" relation="include"> |
| </childnode> |
| <childnode refid="25" relation="include"> |
| </childnode> |
| <childnode refid="6" relation="include"> |
| </childnode> |
| <childnode refid="26" relation="include"> |
| </childnode> |
| <childnode refid="20" relation="include"> |
| </childnode> |
| <childnode refid="7" relation="include"> |
| </childnode> |
| <childnode refid="8" relation="include"> |
| </childnode> |
| <childnode refid="27" relation="include"> |
| </childnode> |
| <childnode refid="12" relation="include"> |
| </childnode> |
| <childnode refid="29" relation="include"> |
| </childnode> |
| </node> |
| <node id="11"> |
| <label>iceberg/type_fwd.h</label> |
| <link refid="type__fwd_8h"/> |
| </node> |
| <node id="43"> |
| <label>iceberg/util/checked_cast.h</label> |
| <link refid="checked__cast_8h"/> |
| <childnode refid="5" relation="include"> |
| </childnode> |
| <childnode refid="35" relation="include"> |
| </childnode> |
| <childnode refid="44" relation="include"> |
| </childnode> |
| </node> |
| <node id="33"> |
| <label>iceberg/util/decimal.h</label> |
| <link refid="decimal_8h"/> |
| <childnode refid="22" relation="include"> |
| </childnode> |
| <childnode refid="18" relation="include"> |
| </childnode> |
| <childnode refid="23" relation="include"> |
| </childnode> |
| <childnode refid="34" relation="include"> |
| </childnode> |
| <childnode refid="6" relation="include"> |
| </childnode> |
| <childnode refid="28" relation="include"> |
| </childnode> |
| <childnode refid="35" relation="include"> |
| </childnode> |
| <childnode refid="20" relation="include"> |
| </childnode> |
| <childnode refid="7" relation="include"> |
| </childnode> |
| <childnode refid="8" relation="include"> |
| </childnode> |
| <childnode refid="12" relation="include"> |
| </childnode> |
| <childnode refid="36" relation="include"> |
| </childnode> |
| </node> |
| <node id="12"> |
| <label>iceberg/util/formattable.h</label> |
| <link refid="formattable_8h"/> |
| <childnode refid="6" relation="include"> |
| </childnode> |
| <childnode refid="7" relation="include"> |
| </childnode> |
| </node> |
| <node id="49"> |
| <label>iceberg/util/formatter.h</label> |
| <link refid="formatter_8h"/> |
| <childnode refid="30" relation="include"> |
| </childnode> |
| <childnode refid="10" relation="include"> |
| </childnode> |
| <childnode refid="28" relation="include"> |
| </childnode> |
| <childnode refid="12" relation="include"> |
| </childnode> |
| </node> |
| <node id="45"> |
| <label>iceberg/util/formatter_internal.h</label> |
| <link refid="formatter__internal_8h_source"/> |
| <childnode refid="30" relation="include"> |
| </childnode> |
| <childnode refid="10" relation="include"> |
| </childnode> |
| <childnode refid="46" relation="include"> |
| </childnode> |
| <childnode refid="47" relation="include"> |
| </childnode> |
| <childnode refid="48" relation="include"> |
| </childnode> |
| <childnode refid="28" relation="include"> |
| </childnode> |
| <childnode refid="26" relation="include"> |
| </childnode> |
| <childnode refid="3" relation="include"> |
| </childnode> |
| <childnode refid="20" relation="include"> |
| </childnode> |
| <childnode refid="49" relation="include"> |
| </childnode> |
| </node> |
| <node id="36"> |
| <label>iceberg/util/int128.h</label> |
| <link refid="int128_8h"/> |
| </node> |
| <node id="29"> |
| <label>iceberg/util/lazy.h</label> |
| <link refid="lazy_8h"/> |
| <childnode refid="30" relation="include"> |
| </childnode> |
| <childnode refid="31" relation="include"> |
| </childnode> |
| <childnode refid="32" relation="include"> |
| </childnode> |
| <childnode refid="8" relation="include"> |
| </childnode> |
| <childnode refid="13" relation="include"> |
| </childnode> |
| </node> |
| <node id="13"> |
| <label>iceberg/util/macros.h</label> |
| <link refid="macros_8h_source"/> |
| <childnode refid="14" relation="include"> |
| </childnode> |
| <childnode refid="15" relation="include"> |
| </childnode> |
| <childnode refid="8" relation="include"> |
| </childnode> |
| </node> |
| <node id="37"> |
| <label>iceberg/util/uuid.h</label> |
| <link refid="uuid_8h"/> |
| <childnode refid="22" relation="include"> |
| </childnode> |
| <childnode refid="23" relation="include"> |
| </childnode> |
| <childnode refid="25" relation="include"> |
| </childnode> |
| <childnode refid="28" relation="include"> |
| </childnode> |
| <childnode refid="7" relation="include"> |
| </childnode> |
| <childnode refid="8" relation="include"> |
| </childnode> |
| <childnode refid="12" relation="include"> |
| </childnode> |
| </node> |
| <node id="39"> |
| <label>algorithm</label> |
| </node> |
| <node id="22"> |
| <label>array</label> |
| </node> |
| <node id="14"> |
| <label>cassert</label> |
| </node> |
| <node id="18"> |
| <label>compare</label> |
| </node> |
| <node id="30"> |
| <label>concepts</label> |
| </node> |
| <node id="23"> |
| <label>cstdint</label> |
| </node> |
| <node id="9"> |
| <label>expected</label> |
| </node> |
| <node id="10"> |
| <label>format</label> |
| </node> |
| <node id="31"> |
| <label>functional</label> |
| </node> |
| <node id="41"> |
| <label>initializer_list</label> |
| </node> |
| <node id="34"> |
| <label>iosfwd</label> |
| </node> |
| <node id="46"> |
| <label>map</label> |
| </node> |
| <node id="5"> |
| <label>memory</label> |
| </node> |
| <node id="32"> |
| <label>mutex</label> |
| </node> |
| <node id="24"> |
| <label>optional</label> |
| </node> |
| <node id="47"> |
| <label>ranges</label> |
| </node> |
| <node id="25"> |
| <label>span</label> |
| </node> |
| <node id="48"> |
| <label>sstream</label> |
| </node> |
| <node id="16"> |
| <label>stdexcept</label> |
| </node> |
| <node id="6"> |
| <label>string</label> |
| </node> |
| <node id="28"> |
| <label>string_view</label> |
| </node> |
| <node id="35"> |
| <label>type_traits</label> |
| </node> |
| <node id="26"> |
| <label>unordered_map</label> |
| </node> |
| <node id="3"> |
| <label>unordered_set</label> |
| </node> |
| <node id="44"> |
| <label>utility</label> |
| </node> |
| <node id="19"> |
| <label>variant</label> |
| </node> |
| <node id="20"> |
| <label>vector</label> |
| </node> |
| </incdepgraph> |
| <innernamespace refid="namespaceiceberg">iceberg</innernamespace> |
| <briefdescription> |
| </briefdescription> |
| <detaileddescription> |
| </detaileddescription> |
| <programlisting> |
| <codeline lineno="1"><highlight class="comment">/*</highlight></codeline> |
| <codeline lineno="2"><highlight class="comment"><sp/>*<sp/>Licensed<sp/>to<sp/>the<sp/>Apache<sp/>Software<sp/>Foundation<sp/>(ASF)<sp/>under<sp/>one</highlight></codeline> |
| <codeline lineno="3"><highlight class="comment"><sp/>*<sp/>or<sp/>more<sp/>contributor<sp/>license<sp/>agreements.<sp/><sp/>See<sp/>the<sp/>NOTICE<sp/>file</highlight></codeline> |
| <codeline lineno="4"><highlight class="comment"><sp/>*<sp/>distributed<sp/>with<sp/>this<sp/>work<sp/>for<sp/>additional<sp/>information</highlight></codeline> |
| <codeline lineno="5"><highlight class="comment"><sp/>*<sp/>regarding<sp/>copyright<sp/>ownership.<sp/><sp/>The<sp/>ASF<sp/>licenses<sp/>this<sp/>file</highlight></codeline> |
| <codeline lineno="6"><highlight class="comment"><sp/>*<sp/>to<sp/>you<sp/>under<sp/>the<sp/>Apache<sp/>License,<sp/>Version<sp/>2.0<sp/>(the</highlight></codeline> |
| <codeline lineno="7"><highlight class="comment"><sp/>*<sp/>"License");<sp/>you<sp/>may<sp/>not<sp/>use<sp/>this<sp/>file<sp/>except<sp/>in<sp/>compliance</highlight></codeline> |
| <codeline lineno="8"><highlight class="comment"><sp/>*<sp/>with<sp/>the<sp/>License.<sp/><sp/>You<sp/>may<sp/>obtain<sp/>a<sp/>copy<sp/>of<sp/>the<sp/>License<sp/>at</highlight></codeline> |
| <codeline lineno="9"><highlight class="comment"><sp/>*</highlight></codeline> |
| <codeline lineno="10"><highlight class="comment"><sp/>*<sp/><sp/><sp/>http://www.apache.org/licenses/LICENSE-2.0</highlight></codeline> |
| <codeline lineno="11"><highlight class="comment"><sp/>*</highlight></codeline> |
| <codeline lineno="12"><highlight class="comment"><sp/>*<sp/>Unless<sp/>required<sp/>by<sp/>applicable<sp/>law<sp/>or<sp/>agreed<sp/>to<sp/>in<sp/>writing,</highlight></codeline> |
| <codeline lineno="13"><highlight class="comment"><sp/>*<sp/>software<sp/>distributed<sp/>under<sp/>the<sp/>License<sp/>is<sp/>distributed<sp/>on<sp/>an</highlight></codeline> |
| <codeline lineno="14"><highlight class="comment"><sp/>*<sp/>"AS<sp/>IS"<sp/>BASIS,<sp/>WITHOUT<sp/>WARRANTIES<sp/>OR<sp/>CONDITIONS<sp/>OF<sp/>ANY</highlight></codeline> |
| <codeline lineno="15"><highlight class="comment"><sp/>*<sp/>KIND,<sp/>either<sp/>express<sp/>or<sp/>implied.<sp/><sp/>See<sp/>the<sp/>License<sp/>for<sp/>the</highlight></codeline> |
| <codeline lineno="16"><highlight class="comment"><sp/>*<sp/>specific<sp/>language<sp/>governing<sp/>permissions<sp/>and<sp/>limitations</highlight></codeline> |
| <codeline lineno="17"><highlight class="comment"><sp/>*<sp/>under<sp/>the<sp/>License.</highlight></codeline> |
| <codeline lineno="18"><highlight class="comment"><sp/>*/</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="19"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="20"><highlight class="normal"></highlight><highlight class="preprocessor">#include<sp/>"<ref refid="predicate_8h" kindref="compound">iceberg/expression/predicate.h</ref>"</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="21"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="22"><highlight class="normal"></highlight><highlight class="preprocessor">#include<sp/><algorithm></highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="23"><highlight class="normal"></highlight><highlight class="preprocessor">#include<sp/><format></highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="24"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="25"><highlight class="normal"></highlight><highlight class="preprocessor">#include<sp/>"<ref refid="expressions_8h" kindref="compound">iceberg/expression/expressions.h</ref>"</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="26"><highlight class="normal"></highlight><highlight class="preprocessor">#include<sp/>"iceberg/expression/literal.h"</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="27"><highlight class="normal"></highlight><highlight class="preprocessor">#include<sp/>"iceberg/result.h"</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="28"><highlight class="normal"></highlight><highlight class="preprocessor">#include<sp/>"<ref refid="type_8h" kindref="compound">iceberg/type.h</ref>"</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="29"><highlight class="normal"></highlight><highlight class="preprocessor">#include<sp/>"<ref refid="checked__cast_8h" kindref="compound">iceberg/util/checked_cast.h</ref>"</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="30"><highlight class="normal"></highlight><highlight class="preprocessor">#include<sp/>"iceberg/util/formatter_internal.h"</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="31"><highlight class="normal"></highlight><highlight class="preprocessor">#include<sp/>"iceberg/util/macros.h"</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="32"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="33"><highlight class="normal"></highlight><highlight class="keyword">namespace<sp/></highlight><highlight class="normal">iceberg<sp/>{</highlight></codeline> |
| <codeline lineno="34"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="35"><highlight class="normal"></highlight><highlight class="comment">//<sp/>Predicate<sp/>template<sp/>implementations</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="36"><highlight class="normal"></highlight><highlight class="keyword">template</highlight><highlight class="normal"><sp/><TermType<sp/>T></highlight></codeline> |
| <codeline lineno="37"><highlight class="normal"><ref refid="classiceberg_1_1Predicate_1ae1f081b37983ae239d609238ed382f73" kindref="member">Predicate<T>::Predicate</ref>(<ref refid="classiceberg_1_1Expression_1a433076bdc34ce0b6d359313c6c7b8a9c" kindref="member">Expression::Operation</ref><sp/>op,<sp/>std::shared_ptr<T><sp/>term)</highlight></codeline> |
| <codeline lineno="38"><highlight class="normal"><sp/><sp/><sp/><sp/>:<sp/>operation_(op),<sp/>term_(<ref refid="namespacestd" kindref="compound">std</ref>::move(term))<sp/>{</highlight></codeline> |
| <codeline lineno="39"><highlight class="normal"><sp/><sp/>ICEBERG_DCHECK(term_<sp/>!=<sp/></highlight><highlight class="keyword">nullptr</highlight><highlight class="normal">,<sp/></highlight><highlight class="stringliteral">"Predicate<sp/>cannot<sp/>have<sp/>null<sp/>term"</highlight><highlight class="normal">);</highlight></codeline> |
| <codeline lineno="40"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="41"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="42"><highlight class="normal"></highlight><highlight class="keyword">template</highlight><highlight class="normal"><sp/><TermType<sp/>T></highlight></codeline> |
| <codeline lineno="43"><highlight class="normal">Predicate<T>::~Predicate()<sp/>=<sp/></highlight><highlight class="keywordflow">default</highlight><highlight class="normal">;</highlight></codeline> |
| <codeline lineno="44"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="45"><highlight class="normal"></highlight><highlight class="comment">//<sp/>UnboundPredicate<sp/>template<sp/>implementations</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="46"><highlight class="normal"></highlight><highlight class="keyword">template</highlight><highlight class="normal"><sp/><</highlight><highlight class="keyword">typename</highlight><highlight class="normal"><sp/>B></highlight></codeline> |
| <codeline lineno="47"><highlight class="normal">Result<std::unique_ptr<UnboundPredicateImpl<B>>><sp/>UnboundPredicateImpl<B>::Make(</highlight></codeline> |
| <codeline lineno="48"><highlight class="normal"><sp/><sp/><sp/><sp/>Expression::Operation<sp/>op,<sp/>std::shared_ptr<UnboundTerm<B>><sp/>term)<sp/>{</highlight></codeline> |
| <codeline lineno="49"><highlight class="normal"><sp/><sp/></highlight><highlight class="keywordflow">if</highlight><highlight class="normal"><sp/>(!term)<sp/>[[unlikely]]<sp/>{</highlight></codeline> |
| <codeline lineno="50"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>InvalidExpression(</highlight><highlight class="stringliteral">"UnboundPredicate<sp/>cannot<sp/>have<sp/>null<sp/>term"</highlight><highlight class="normal">);</highlight></codeline> |
| <codeline lineno="51"><highlight class="normal"><sp/><sp/>}</highlight></codeline> |
| <codeline lineno="52"><highlight class="normal"><sp/><sp/></highlight><highlight class="keywordflow">if</highlight><highlight class="normal"><sp/>(op<sp/>!=<sp/>Expression::Operation::kIsNull<sp/>&&<sp/>op<sp/>!=<sp/>Expression::Operation::kNotNull<sp/>&&</highlight></codeline> |
| <codeline lineno="53"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/>op<sp/>!=<sp/>Expression::Operation::kIsNan<sp/>&&<sp/>op<sp/>!=<sp/>Expression::Operation::kNotNan)</highlight></codeline> |
| <codeline lineno="54"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/>[[unlikely]]<sp/>{</highlight></codeline> |
| <codeline lineno="55"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>InvalidExpression(</highlight><highlight class="stringliteral">"Cannot<sp/>create<sp/>{}<sp/>predicate<sp/>without<sp/>a<sp/>value"</highlight><highlight class="normal">,</highlight></codeline> |
| <codeline lineno="56"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>::iceberg::ToString(op));</highlight></codeline> |
| <codeline lineno="57"><highlight class="normal"><sp/><sp/>}</highlight></codeline> |
| <codeline lineno="58"><highlight class="normal"><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>std::unique_ptr<UnboundPredicateImpl<B>>(</highlight></codeline> |
| <codeline lineno="59"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">new</highlight><highlight class="normal"><sp/>UnboundPredicateImpl<B>(op,<sp/>std::move(term)));</highlight></codeline> |
| <codeline lineno="60"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="61"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="62"><highlight class="normal"></highlight><highlight class="keyword">template</highlight><highlight class="normal"><sp/><</highlight><highlight class="keyword">typename</highlight><highlight class="normal"><sp/>B></highlight></codeline> |
| <codeline lineno="63"><highlight class="normal">Result<std::unique_ptr<UnboundPredicateImpl<B>>><sp/>UnboundPredicateImpl<B>::Make(</highlight></codeline> |
| <codeline lineno="64"><highlight class="normal"><sp/><sp/><sp/><sp/>Expression::Operation<sp/>op,<sp/>std::shared_ptr<UnboundTerm<B>><sp/>term,<sp/>Literal<sp/>value)<sp/>{</highlight></codeline> |
| <codeline lineno="65"><highlight class="normal"><sp/><sp/></highlight><highlight class="keywordflow">if</highlight><highlight class="normal"><sp/>(!term)<sp/>[[unlikely]]<sp/>{</highlight></codeline> |
| <codeline lineno="66"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>InvalidExpression(</highlight><highlight class="stringliteral">"UnboundPredicate<sp/>cannot<sp/>have<sp/>null<sp/>term"</highlight><highlight class="normal">);</highlight></codeline> |
| <codeline lineno="67"><highlight class="normal"><sp/><sp/>}</highlight></codeline> |
| <codeline lineno="68"><highlight class="normal"><sp/><sp/></highlight><highlight class="keywordflow">if</highlight><highlight class="normal"><sp/>(op<sp/>==<sp/>Expression::Operation::kIsNull<sp/>||<sp/>op<sp/>==<sp/>Expression::Operation::kNotNull<sp/>||</highlight></codeline> |
| <codeline lineno="69"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/>op<sp/>==<sp/>Expression::Operation::kIsNan<sp/>||<sp/>op<sp/>==<sp/>Expression::Operation::kNotNan)</highlight></codeline> |
| <codeline lineno="70"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/>[[unlikely]]<sp/>{</highlight></codeline> |
| <codeline lineno="71"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>InvalidExpression(</highlight><highlight class="stringliteral">"Cannot<sp/>create<sp/>{}<sp/>predicate<sp/>inclusive<sp/>a<sp/>value"</highlight><highlight class="normal">,</highlight></codeline> |
| <codeline lineno="72"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>::iceberg::ToString(op));</highlight></codeline> |
| <codeline lineno="73"><highlight class="normal"><sp/><sp/>}</highlight></codeline> |
| <codeline lineno="74"><highlight class="normal"><sp/><sp/></highlight><highlight class="keywordflow">if</highlight><highlight class="normal"><sp/>(value.IsNaN())<sp/>[[unlikely]]<sp/>{</highlight></codeline> |
| <codeline lineno="75"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>InvalidExpression(</highlight></codeline> |
| <codeline lineno="76"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="stringliteral">"Invalid<sp/>expression<sp/>literal:<sp/>NaN,<sp/>use<sp/>isNaN<sp/>or<sp/>notNaN<sp/>instead"</highlight><highlight class="normal">);</highlight></codeline> |
| <codeline lineno="77"><highlight class="normal"><sp/><sp/>}</highlight></codeline> |
| <codeline lineno="78"><highlight class="normal"><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>std::unique_ptr<UnboundPredicateImpl<B>>(</highlight></codeline> |
| <codeline lineno="79"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">new</highlight><highlight class="normal"><sp/>UnboundPredicateImpl<B>(op,<sp/>std::move(term),<sp/>std::move(value)));</highlight></codeline> |
| <codeline lineno="80"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="81"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="82"><highlight class="normal"></highlight><highlight class="keyword">template</highlight><highlight class="normal"><sp/><</highlight><highlight class="keyword">typename</highlight><highlight class="normal"><sp/>B></highlight></codeline> |
| <codeline lineno="83"><highlight class="normal">Result<std::unique_ptr<UnboundPredicateImpl<B>>><sp/>UnboundPredicateImpl<B>::Make(</highlight></codeline> |
| <codeline lineno="84"><highlight class="normal"><sp/><sp/><sp/><sp/>Expression::Operation<sp/>op,<sp/>std::shared_ptr<UnboundTerm<B>><sp/>term,</highlight></codeline> |
| <codeline lineno="85"><highlight class="normal"><sp/><sp/><sp/><sp/>std::vector<Literal><sp/>values)<sp/>{</highlight></codeline> |
| <codeline lineno="86"><highlight class="normal"><sp/><sp/></highlight><highlight class="keywordflow">if</highlight><highlight class="normal"><sp/>(!term)<sp/>[[unlikely]]<sp/>{</highlight></codeline> |
| <codeline lineno="87"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>InvalidExpression(</highlight><highlight class="stringliteral">"UnboundPredicate<sp/>cannot<sp/>have<sp/>null<sp/>term"</highlight><highlight class="normal">);</highlight></codeline> |
| <codeline lineno="88"><highlight class="normal"><sp/><sp/>}</highlight></codeline> |
| <codeline lineno="89"><highlight class="normal"><sp/><sp/></highlight><highlight class="keywordflow">if</highlight><highlight class="normal"><sp/>(values.empty()<sp/>&&</highlight></codeline> |
| <codeline lineno="90"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/>(op<sp/>==<sp/>Expression::Operation::kIn<sp/>||<sp/>op<sp/>==<sp/>Expression::Operation::kNotIn))<sp/>{</highlight></codeline> |
| <codeline lineno="91"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>InvalidExpression(</highlight><highlight class="stringliteral">"Cannot<sp/>create<sp/>{}<sp/>predicate<sp/>without<sp/>a<sp/>value"</highlight><highlight class="normal">,</highlight></codeline> |
| <codeline lineno="92"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>::iceberg::ToString(op));</highlight></codeline> |
| <codeline lineno="93"><highlight class="normal"><sp/><sp/>}</highlight></codeline> |
| <codeline lineno="94"><highlight class="normal"><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>std::unique_ptr<UnboundPredicateImpl<B>>(</highlight></codeline> |
| <codeline lineno="95"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">new</highlight><highlight class="normal"><sp/>UnboundPredicateImpl<B>(op,<sp/>std::move(term),<sp/>std::move(values)));</highlight></codeline> |
| <codeline lineno="96"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="97"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="98"><highlight class="normal"></highlight><highlight class="keyword">template</highlight><highlight class="normal"><sp/><</highlight><highlight class="keyword">typename</highlight><highlight class="normal"><sp/>B></highlight></codeline> |
| <codeline lineno="99"><highlight class="normal">UnboundPredicateImpl<B>::UnboundPredicateImpl(Expression::Operation<sp/>op,</highlight></codeline> |
| <codeline lineno="100"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>std::shared_ptr<UnboundTerm<B>><sp/>term)</highlight></codeline> |
| <codeline lineno="101"><highlight class="normal"><sp/><sp/><sp/><sp/>:<sp/>BASE(op,<sp/><ref refid="namespacestd" kindref="compound">std</ref>::move(term))<sp/>{</highlight></codeline> |
| <codeline lineno="102"><highlight class="normal"><sp/><sp/>ICEBERG_DCHECK(BASE::term()<sp/>!=<sp/></highlight><highlight class="keyword">nullptr</highlight><highlight class="normal">,<sp/></highlight><highlight class="stringliteral">"UnboundPredicate<sp/>cannot<sp/>have<sp/>null<sp/>term"</highlight><highlight class="normal">);</highlight></codeline> |
| <codeline lineno="103"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="104"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="105"><highlight class="normal"></highlight><highlight class="keyword">template</highlight><highlight class="normal"><sp/><</highlight><highlight class="keyword">typename</highlight><highlight class="normal"><sp/>B></highlight></codeline> |
| <codeline lineno="106"><highlight class="normal">UnboundPredicateImpl<B>::UnboundPredicateImpl(Expression::Operation<sp/>op,</highlight></codeline> |
| <codeline lineno="107"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>std::shared_ptr<UnboundTerm<B>><sp/>term,</highlight></codeline> |
| <codeline lineno="108"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>Literal<sp/>value)</highlight></codeline> |
| <codeline lineno="109"><highlight class="normal"><sp/><sp/><sp/><sp/>:<sp/>BASE(op,<sp/><ref refid="namespacestd" kindref="compound">std</ref>::move(term)),<sp/>values_{<ref refid="namespacestd" kindref="compound">std</ref>::move(value)}<sp/>{</highlight></codeline> |
| <codeline lineno="110"><highlight class="normal"><sp/><sp/>ICEBERG_DCHECK(BASE::term()<sp/>!=<sp/></highlight><highlight class="keyword">nullptr</highlight><highlight class="normal">,<sp/></highlight><highlight class="stringliteral">"UnboundPredicate<sp/>cannot<sp/>have<sp/>null<sp/>term"</highlight><highlight class="normal">);</highlight></codeline> |
| <codeline lineno="111"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="112"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="113"><highlight class="normal"></highlight><highlight class="keyword">template</highlight><highlight class="normal"><sp/><</highlight><highlight class="keyword">typename</highlight><highlight class="normal"><sp/>B></highlight></codeline> |
| <codeline lineno="114"><highlight class="normal">UnboundPredicateImpl<B>::UnboundPredicateImpl(Expression::Operation<sp/>op,</highlight></codeline> |
| <codeline lineno="115"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>std::shared_ptr<UnboundTerm<B>><sp/>term,</highlight></codeline> |
| <codeline lineno="116"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>std::vector<Literal><sp/>values)</highlight></codeline> |
| <codeline lineno="117"><highlight class="normal"><sp/><sp/><sp/><sp/>:<sp/>BASE(op,<sp/><ref refid="namespacestd" kindref="compound">std</ref>::move(term)),<sp/>values_(<ref refid="namespacestd" kindref="compound">std</ref>::move(values))<sp/>{</highlight></codeline> |
| <codeline lineno="118"><highlight class="normal"><sp/><sp/>ICEBERG_DCHECK(BASE::term()<sp/>!=<sp/></highlight><highlight class="keyword">nullptr</highlight><highlight class="normal">,<sp/></highlight><highlight class="stringliteral">"UnboundPredicate<sp/>cannot<sp/>have<sp/>null<sp/>term"</highlight><highlight class="normal">);</highlight></codeline> |
| <codeline lineno="119"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="120"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="121"><highlight class="normal"></highlight><highlight class="keyword">template</highlight><highlight class="normal"><sp/><</highlight><highlight class="keyword">typename</highlight><highlight class="normal"><sp/>B></highlight></codeline> |
| <codeline lineno="122"><highlight class="normal">UnboundPredicateImpl<B>::~UnboundPredicateImpl()<sp/>=<sp/></highlight><highlight class="keywordflow">default</highlight><highlight class="normal">;</highlight></codeline> |
| <codeline lineno="123"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="124"><highlight class="normal"></highlight><highlight class="keyword">namespace<sp/></highlight><highlight class="normal">{}</highlight></codeline> |
| <codeline lineno="125"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="126"><highlight class="normal"></highlight><highlight class="keyword">template</highlight><highlight class="normal"><sp/><</highlight><highlight class="keyword">typename</highlight><highlight class="normal"><sp/>B></highlight></codeline> |
| <codeline lineno="127"><highlight class="normal">std::string<sp/>UnboundPredicateImpl<B>::ToString()</highlight><highlight class="keyword"><sp/>const<sp/></highlight><highlight class="normal">{</highlight></codeline> |
| <codeline lineno="128"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>invalid_predicate_string<sp/>=<sp/>[](Expression::Operation<sp/>op)<sp/>{</highlight></codeline> |
| <codeline lineno="129"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>std::format(</highlight><highlight class="stringliteral">"Invalid<sp/>predicate:<sp/>operation<sp/>=<sp/>{}"</highlight><highlight class="normal">,<sp/>::iceberg::ToString(op));</highlight></codeline> |
| <codeline lineno="130"><highlight class="normal"><sp/><sp/>};</highlight></codeline> |
| <codeline lineno="131"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="132"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal">&<sp/>term<sp/>=<sp/>*BASE::term();</highlight></codeline> |
| <codeline lineno="133"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>op<sp/>=<sp/>BASE::op();</highlight></codeline> |
| <codeline lineno="134"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="135"><highlight class="normal"><sp/><sp/></highlight><highlight class="keywordflow">switch</highlight><highlight class="normal"><sp/>(op)<sp/>{</highlight></codeline> |
| <codeline lineno="136"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kIsNull:</highlight></codeline> |
| <codeline lineno="137"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>std::format(</highlight><highlight class="stringliteral">"is_null({})"</highlight><highlight class="normal">,<sp/>term);</highlight></codeline> |
| <codeline lineno="138"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kNotNull:</highlight></codeline> |
| <codeline lineno="139"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>std::format(</highlight><highlight class="stringliteral">"not_null({})"</highlight><highlight class="normal">,<sp/>term);</highlight></codeline> |
| <codeline lineno="140"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kIsNan:</highlight></codeline> |
| <codeline lineno="141"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>std::format(</highlight><highlight class="stringliteral">"is_nan({})"</highlight><highlight class="normal">,<sp/>term);</highlight></codeline> |
| <codeline lineno="142"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kNotNan:</highlight></codeline> |
| <codeline lineno="143"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>std::format(</highlight><highlight class="stringliteral">"not_nan({})"</highlight><highlight class="normal">,<sp/>term);</highlight></codeline> |
| <codeline lineno="144"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kLt:</highlight></codeline> |
| <codeline lineno="145"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>values_.size()<sp/>==<sp/>1<sp/>?<sp/>std::format(</highlight><highlight class="stringliteral">"{}<sp/><<sp/>{}"</highlight><highlight class="normal">,<sp/>term,<sp/>values_[0])</highlight></codeline> |
| <codeline lineno="146"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>:<sp/>invalid_predicate_string(op);</highlight></codeline> |
| <codeline lineno="147"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kLtEq:</highlight></codeline> |
| <codeline lineno="148"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>values_.size()<sp/>==<sp/>1<sp/>?<sp/>std::format(</highlight><highlight class="stringliteral">"{}<sp/><=<sp/>{}"</highlight><highlight class="normal">,<sp/>term,<sp/>values_[0])</highlight></codeline> |
| <codeline lineno="149"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>:<sp/>invalid_predicate_string(op);</highlight></codeline> |
| <codeline lineno="150"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kGt:</highlight></codeline> |
| <codeline lineno="151"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>values_.size()<sp/>==<sp/>1<sp/>?<sp/>std::format(</highlight><highlight class="stringliteral">"{}<sp/>><sp/>{}"</highlight><highlight class="normal">,<sp/>term,<sp/>values_[0])</highlight></codeline> |
| <codeline lineno="152"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>:<sp/>invalid_predicate_string(op);</highlight></codeline> |
| <codeline lineno="153"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kGtEq:</highlight></codeline> |
| <codeline lineno="154"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>values_.size()<sp/>==<sp/>1<sp/>?<sp/>std::format(</highlight><highlight class="stringliteral">"{}<sp/>>=<sp/>{}"</highlight><highlight class="normal">,<sp/>term,<sp/>values_[0])</highlight></codeline> |
| <codeline lineno="155"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>:<sp/>invalid_predicate_string(op);</highlight></codeline> |
| <codeline lineno="156"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kEq:</highlight></codeline> |
| <codeline lineno="157"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>values_.size()<sp/>==<sp/>1<sp/>?<sp/>std::format(</highlight><highlight class="stringliteral">"{}<sp/>==<sp/>{}"</highlight><highlight class="normal">,<sp/>term,<sp/>values_[0])</highlight></codeline> |
| <codeline lineno="158"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>:<sp/>invalid_predicate_string(op);</highlight></codeline> |
| <codeline lineno="159"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kNotEq:</highlight></codeline> |
| <codeline lineno="160"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>values_.size()<sp/>==<sp/>1<sp/>?<sp/>std::format(</highlight><highlight class="stringliteral">"{}<sp/>!=<sp/>{}"</highlight><highlight class="normal">,<sp/>term,<sp/>values_[0])</highlight></codeline> |
| <codeline lineno="161"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>:<sp/>invalid_predicate_string(op);</highlight></codeline> |
| <codeline lineno="162"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kStartsWith:</highlight></codeline> |
| <codeline lineno="163"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>values_.size()<sp/>==<sp/>1<sp/>?<sp/>std::format(</highlight><highlight class="stringliteral">"{}<sp/>startsWith<sp/>{}"</highlight><highlight class="normal">,<sp/>term,<sp/>values_[0])</highlight></codeline> |
| <codeline lineno="164"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>:<sp/>invalid_predicate_string(op);</highlight></codeline> |
| <codeline lineno="165"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kNotStartsWith:</highlight></codeline> |
| <codeline lineno="166"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>values_.size()<sp/>==<sp/>1<sp/>?<sp/>std::format(</highlight><highlight class="stringliteral">"{}<sp/>notStartsWith<sp/>{}"</highlight><highlight class="normal">,<sp/>term,<sp/>values_[0])</highlight></codeline> |
| <codeline lineno="167"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>:<sp/>invalid_predicate_string(op);</highlight></codeline> |
| <codeline lineno="168"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kIn:</highlight></codeline> |
| <codeline lineno="169"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>std::format(</highlight><highlight class="stringliteral">"{}<sp/>in<sp/>{}"</highlight><highlight class="normal">,<sp/>term,<sp/>values_);</highlight></codeline> |
| <codeline lineno="170"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kNotIn:</highlight></codeline> |
| <codeline lineno="171"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>std::format(</highlight><highlight class="stringliteral">"{}<sp/>not<sp/>in<sp/>{}"</highlight><highlight class="normal">,<sp/>term,<sp/>values_);</highlight></codeline> |
| <codeline lineno="172"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">default</highlight><highlight class="normal">:</highlight></codeline> |
| <codeline lineno="173"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>invalid_predicate_string(op);</highlight></codeline> |
| <codeline lineno="174"><highlight class="normal"><sp/><sp/>}</highlight></codeline> |
| <codeline lineno="175"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="176"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="177"><highlight class="normal"></highlight><highlight class="keyword">template</highlight><highlight class="normal"><sp/><</highlight><highlight class="keyword">typename</highlight><highlight class="normal"><sp/>B></highlight></codeline> |
| <codeline lineno="178"><highlight class="normal">Result<std::shared_ptr<Expression>><sp/>UnboundPredicateImpl<B>::Negate()</highlight><highlight class="keyword"><sp/>const<sp/></highlight><highlight class="normal">{</highlight></codeline> |
| <codeline lineno="179"><highlight class="normal"><sp/><sp/>ICEBERG_ASSIGN_OR_RAISE(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>negated_op,<sp/>::iceberg::Negate(BASE::op()));</highlight></codeline> |
| <codeline lineno="180"><highlight class="normal"><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>UnboundPredicateImpl::Make(negated_op,<sp/>BASE::term(),<sp/>values_);</highlight></codeline> |
| <codeline lineno="181"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="182"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="183"><highlight class="normal"></highlight><highlight class="keyword">template</highlight><highlight class="normal"><sp/><</highlight><highlight class="keyword">typename</highlight><highlight class="normal"><sp/>B></highlight></codeline> |
| <codeline lineno="184"><highlight class="normal">Result<std::shared_ptr<Expression>><sp/>UnboundPredicateImpl<B>::Bind(</highlight></codeline> |
| <codeline lineno="185"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/>Schema&<sp/>schema,<sp/></highlight><highlight class="keywordtype">bool</highlight><highlight class="normal"><sp/>case_sensitive)</highlight><highlight class="keyword"><sp/>const<sp/></highlight><highlight class="normal">{</highlight></codeline> |
| <codeline lineno="186"><highlight class="normal"><sp/><sp/>ICEBERG_ASSIGN_OR_RAISE(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>bound_term,<sp/>BASE::term()->Bind(schema,<sp/>case_sensitive));</highlight></codeline> |
| <codeline lineno="187"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="188"><highlight class="normal"><sp/><sp/></highlight><highlight class="keywordflow">if</highlight><highlight class="normal"><sp/>(values_.empty())<sp/>{</highlight></codeline> |
| <codeline lineno="189"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>BindUnaryOperation(std::move(bound_term));</highlight></codeline> |
| <codeline lineno="190"><highlight class="normal"><sp/><sp/>}</highlight></codeline> |
| <codeline lineno="191"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="192"><highlight class="normal"><sp/><sp/></highlight><highlight class="keywordflow">if</highlight><highlight class="normal"><sp/>(BASE::op()<sp/>==<sp/>Expression::Operation::kIn<sp/>||</highlight></codeline> |
| <codeline lineno="193"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/>BASE::op()<sp/>==<sp/>Expression::Operation::kNotIn)<sp/>{</highlight></codeline> |
| <codeline lineno="194"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>BindInOperation(std::move(bound_term));</highlight></codeline> |
| <codeline lineno="195"><highlight class="normal"><sp/><sp/>}</highlight></codeline> |
| <codeline lineno="196"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="197"><highlight class="normal"><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>BindLiteralOperation(std::move(bound_term));</highlight></codeline> |
| <codeline lineno="198"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="199"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="200"><highlight class="normal"></highlight><highlight class="keyword">namespace<sp/></highlight><highlight class="normal">{</highlight></codeline> |
| <codeline lineno="201"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="202"><highlight class="normal"></highlight><highlight class="keywordtype">bool</highlight><highlight class="normal"><sp/>IsFloatingType(TypeId<sp/>type)<sp/>{</highlight></codeline> |
| <codeline lineno="203"><highlight class="normal"><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>type<sp/>==<sp/>TypeId::kFloat<sp/>||<sp/>type<sp/>==<sp/>TypeId::kDouble;</highlight></codeline> |
| <codeline lineno="204"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="205"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="206"><highlight class="normal"></highlight><highlight class="keywordtype">bool</highlight><highlight class="normal"><sp/>StartsWith(</highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/>Literal&<sp/>lhs,<sp/></highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/>Literal&<sp/>rhs)<sp/>{</highlight></codeline> |
| <codeline lineno="207"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal">&<sp/>lhs_value<sp/>=<sp/>lhs.value();</highlight></codeline> |
| <codeline lineno="208"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal">&<sp/>rhs_value<sp/>=<sp/>rhs.value();</highlight></codeline> |
| <codeline lineno="209"><highlight class="normal"><sp/><sp/></highlight><highlight class="keywordflow">if</highlight><highlight class="normal"><sp/>(std::holds_alternative<std::string>(lhs_value)<sp/>&&</highlight></codeline> |
| <codeline lineno="210"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/>std::holds_alternative<std::string>(rhs_value))<sp/>{</highlight></codeline> |
| <codeline lineno="211"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>std::get<std::string>(lhs_value).starts_with(std::get<std::string>(rhs_value));</highlight></codeline> |
| <codeline lineno="212"><highlight class="normal"><sp/><sp/>}</highlight></codeline> |
| <codeline lineno="213"><highlight class="normal"><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/></highlight><highlight class="keyword">false</highlight><highlight class="normal">;</highlight></codeline> |
| <codeline lineno="214"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="215"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="216"><highlight class="normal">}<sp/><sp/></highlight><highlight class="comment">//<sp/>namespace</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="217"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="218"><highlight class="normal"></highlight><highlight class="keyword">template</highlight><highlight class="normal"><sp/><</highlight><highlight class="keyword">typename</highlight><highlight class="normal"><sp/>B></highlight></codeline> |
| <codeline lineno="219"><highlight class="normal">Result<std::shared_ptr<Expression>><sp/>UnboundPredicateImpl<B>::BindUnaryOperation(</highlight></codeline> |
| <codeline lineno="220"><highlight class="normal"><sp/><sp/><sp/><sp/>std::shared_ptr<B><sp/>bound_term)</highlight><highlight class="keyword"><sp/>const<sp/></highlight><highlight class="normal">{</highlight></codeline> |
| <codeline lineno="221"><highlight class="normal"><sp/><sp/></highlight><highlight class="keywordflow">switch</highlight><highlight class="normal"><sp/>(BASE::op())<sp/>{</highlight></codeline> |
| <codeline lineno="222"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kIsNull:</highlight></codeline> |
| <codeline lineno="223"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">if</highlight><highlight class="normal"><sp/>(!bound_term->MayProduceNull())<sp/>{</highlight></codeline> |
| <codeline lineno="224"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>Expressions::AlwaysFalse();</highlight></codeline> |
| <codeline lineno="225"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/>}</highlight></codeline> |
| <codeline lineno="226"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="comment">//<sp/>TODO(gangwu):<sp/>deal<sp/>with<sp/>UnknownType</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="227"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>BoundUnaryPredicate::Make(Expression::Operation::kIsNull,</highlight></codeline> |
| <codeline lineno="228"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>std::move(bound_term));</highlight></codeline> |
| <codeline lineno="229"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kNotNull:</highlight></codeline> |
| <codeline lineno="230"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">if</highlight><highlight class="normal"><sp/>(!bound_term->MayProduceNull())<sp/>{</highlight></codeline> |
| <codeline lineno="231"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>Expressions::AlwaysTrue();</highlight></codeline> |
| <codeline lineno="232"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/>}</highlight></codeline> |
| <codeline lineno="233"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>BoundUnaryPredicate::Make(Expression::Operation::kNotNull,</highlight></codeline> |
| <codeline lineno="234"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>std::move(bound_term));</highlight></codeline> |
| <codeline lineno="235"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kIsNan:</highlight></codeline> |
| <codeline lineno="236"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kNotNan:</highlight></codeline> |
| <codeline lineno="237"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">if</highlight><highlight class="normal"><sp/>(!IsFloatingType(bound_term->type()->type_id()))<sp/>{</highlight></codeline> |
| <codeline lineno="238"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>InvalidExpression(</highlight><highlight class="stringliteral">"{}<sp/>cannot<sp/>be<sp/>used<sp/>with<sp/>a<sp/>non-floating-point<sp/>column"</highlight><highlight class="normal">,</highlight></codeline> |
| <codeline lineno="239"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>BASE::op());</highlight></codeline> |
| <codeline lineno="240"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/>}</highlight></codeline> |
| <codeline lineno="241"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>BoundUnaryPredicate::Make(BASE::op(),<sp/>std::move(bound_term));</highlight></codeline> |
| <codeline lineno="242"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="243"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">default</highlight><highlight class="normal">:</highlight></codeline> |
| <codeline lineno="244"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>InvalidExpression(</highlight><highlight class="stringliteral">"Operation<sp/>must<sp/>be<sp/>IS_NULL,<sp/>NOT_NULL,<sp/>IS_NAN,<sp/>or<sp/>NOT_NAN"</highlight><highlight class="normal">);</highlight></codeline> |
| <codeline lineno="245"><highlight class="normal"><sp/><sp/>}</highlight></codeline> |
| <codeline lineno="246"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="247"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="248"><highlight class="normal"></highlight><highlight class="keyword">template</highlight><highlight class="normal"><sp/><</highlight><highlight class="keyword">typename</highlight><highlight class="normal"><sp/>B></highlight></codeline> |
| <codeline lineno="249"><highlight class="normal">Result<std::shared_ptr<Expression>><sp/>UnboundPredicateImpl<B>::BindLiteralOperation(</highlight></codeline> |
| <codeline lineno="250"><highlight class="normal"><sp/><sp/><sp/><sp/>std::shared_ptr<B><sp/>bound_term)</highlight><highlight class="keyword"><sp/>const<sp/></highlight><highlight class="normal">{</highlight></codeline> |
| <codeline lineno="251"><highlight class="normal"><sp/><sp/></highlight><highlight class="keywordflow">if</highlight><highlight class="normal"><sp/>(BASE::op()<sp/>==<sp/>Expression::Operation::kStartsWith<sp/>||</highlight></codeline> |
| <codeline lineno="252"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/>BASE::op()<sp/>==<sp/>Expression::Operation::kNotStartsWith)<sp/>{</highlight></codeline> |
| <codeline lineno="253"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">if</highlight><highlight class="normal"><sp/>(bound_term->type()->type_id()<sp/>!=<sp/>TypeId::kString)<sp/>{</highlight></codeline> |
| <codeline lineno="254"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>InvalidExpression(</highlight></codeline> |
| <codeline lineno="255"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="stringliteral">"Term<sp/>for<sp/>STARTS_WITH<sp/>or<sp/>NOT_STARTS_WITH<sp/>must<sp/>produce<sp/>a<sp/>string:<sp/>{}:<sp/>{}"</highlight><highlight class="normal">,</highlight></codeline> |
| <codeline lineno="256"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>*bound_term,<sp/>*bound_term->type());</highlight></codeline> |
| <codeline lineno="257"><highlight class="normal"><sp/><sp/><sp/><sp/>}</highlight></codeline> |
| <codeline lineno="258"><highlight class="normal"><sp/><sp/>}</highlight></codeline> |
| <codeline lineno="259"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="260"><highlight class="normal"><sp/><sp/></highlight><highlight class="keywordflow">if</highlight><highlight class="normal"><sp/>(values_.size()<sp/>!=<sp/>1)<sp/>{</highlight></codeline> |
| <codeline lineno="261"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>InvalidExpression(</highlight><highlight class="stringliteral">"Literal<sp/>operation<sp/>requires<sp/>a<sp/>single<sp/>value<sp/>but<sp/>got<sp/>{}"</highlight><highlight class="normal">,</highlight></codeline> |
| <codeline lineno="262"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>values_.size());</highlight></codeline> |
| <codeline lineno="263"><highlight class="normal"><sp/><sp/>}</highlight></codeline> |
| <codeline lineno="264"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="265"><highlight class="normal"><sp/><sp/>ICEBERG_ASSIGN_OR_RAISE(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>literal,</highlight></codeline> |
| <codeline lineno="266"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>values_[0].CastTo(internal::checked_pointer_cast<PrimitiveType>(</highlight></codeline> |
| <codeline lineno="267"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>bound_term->type())));</highlight></codeline> |
| <codeline lineno="268"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="269"><highlight class="normal"><sp/><sp/></highlight><highlight class="keywordflow">if</highlight><highlight class="normal"><sp/>(literal.IsNull())<sp/>{</highlight></codeline> |
| <codeline lineno="270"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>InvalidExpression(</highlight><highlight class="stringliteral">"Invalid<sp/>value<sp/>for<sp/>conversion<sp/>to<sp/>type<sp/>{}:<sp/>{}<sp/>({})"</highlight><highlight class="normal">,</highlight></codeline> |
| <codeline lineno="271"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>*bound_term->type(),<sp/>literal.ToString(),<sp/>*literal.type());</highlight></codeline> |
| <codeline lineno="272"><highlight class="normal"><sp/><sp/>}<sp/></highlight><highlight class="keywordflow">else</highlight><highlight class="normal"><sp/></highlight><highlight class="keywordflow">if</highlight><highlight class="normal"><sp/>(literal.IsAboveMax())<sp/>{</highlight></codeline> |
| <codeline lineno="273"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">switch</highlight><highlight class="normal"><sp/>(BASE::op())<sp/>{</highlight></codeline> |
| <codeline lineno="274"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kLt:</highlight></codeline> |
| <codeline lineno="275"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kLtEq:</highlight></codeline> |
| <codeline lineno="276"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kNotEq:</highlight></codeline> |
| <codeline lineno="277"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>Expressions::AlwaysTrue();</highlight></codeline> |
| <codeline lineno="278"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kGt:</highlight></codeline> |
| <codeline lineno="279"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kGtEq:</highlight></codeline> |
| <codeline lineno="280"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kEq:</highlight></codeline> |
| <codeline lineno="281"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>Expressions::AlwaysFalse();</highlight></codeline> |
| <codeline lineno="282"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">default</highlight><highlight class="normal">:</highlight></codeline> |
| <codeline lineno="283"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">break</highlight><highlight class="normal">;</highlight></codeline> |
| <codeline lineno="284"><highlight class="normal"><sp/><sp/><sp/><sp/>}</highlight></codeline> |
| <codeline lineno="285"><highlight class="normal"><sp/><sp/>}<sp/></highlight><highlight class="keywordflow">else</highlight><highlight class="normal"><sp/></highlight><highlight class="keywordflow">if</highlight><highlight class="normal"><sp/>(literal.IsBelowMin())<sp/>{</highlight></codeline> |
| <codeline lineno="286"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">switch</highlight><highlight class="normal"><sp/>(BASE::op())<sp/>{</highlight></codeline> |
| <codeline lineno="287"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kGt:</highlight></codeline> |
| <codeline lineno="288"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kGtEq:</highlight></codeline> |
| <codeline lineno="289"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kNotEq:</highlight></codeline> |
| <codeline lineno="290"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>Expressions::AlwaysTrue();</highlight></codeline> |
| <codeline lineno="291"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kLt:</highlight></codeline> |
| <codeline lineno="292"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kLtEq:</highlight></codeline> |
| <codeline lineno="293"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kEq:</highlight></codeline> |
| <codeline lineno="294"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>Expressions::AlwaysFalse();</highlight></codeline> |
| <codeline lineno="295"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">default</highlight><highlight class="normal">:</highlight></codeline> |
| <codeline lineno="296"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">break</highlight><highlight class="normal">;</highlight></codeline> |
| <codeline lineno="297"><highlight class="normal"><sp/><sp/><sp/><sp/>}</highlight></codeline> |
| <codeline lineno="298"><highlight class="normal"><sp/><sp/>}</highlight></codeline> |
| <codeline lineno="299"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="300"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>TODO(gangwu):<sp/>translate<sp/>truncate(col)<sp/>==<sp/>value<sp/>to<sp/>startsWith(value)</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="301"><highlight class="normal"><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>BoundLiteralPredicate::Make(BASE::op(),<sp/>std::move(bound_term),</highlight></codeline> |
| <codeline lineno="302"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>std::move(literal));</highlight></codeline> |
| <codeline lineno="303"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="304"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="305"><highlight class="normal"></highlight><highlight class="keyword">template</highlight><highlight class="normal"><sp/><</highlight><highlight class="keyword">typename</highlight><highlight class="normal"><sp/>B></highlight></codeline> |
| <codeline lineno="306"><highlight class="normal">Result<std::shared_ptr<Expression>><sp/>UnboundPredicateImpl<B>::BindInOperation(</highlight></codeline> |
| <codeline lineno="307"><highlight class="normal"><sp/><sp/><sp/><sp/>std::shared_ptr<B><sp/>bound_term)</highlight><highlight class="keyword"><sp/>const<sp/></highlight><highlight class="normal">{</highlight></codeline> |
| <codeline lineno="308"><highlight class="normal"><sp/><sp/>std::vector<Literal><sp/>converted_literals;</highlight></codeline> |
| <codeline lineno="309"><highlight class="normal"><sp/><sp/></highlight><highlight class="keywordflow">for</highlight><highlight class="normal"><sp/>(</highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal">&<sp/>literal<sp/>:<sp/>values_)<sp/>{</highlight></codeline> |
| <codeline lineno="310"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>primitive_type<sp/>=</highlight></codeline> |
| <codeline lineno="311"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>internal::checked_pointer_cast<PrimitiveType>(bound_term->type());</highlight></codeline> |
| <codeline lineno="312"><highlight class="normal"><sp/><sp/><sp/><sp/>ICEBERG_ASSIGN_OR_RAISE(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>converted,<sp/>literal.CastTo(primitive_type));</highlight></codeline> |
| <codeline lineno="313"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">if</highlight><highlight class="normal"><sp/>(converted.IsNull())<sp/>{</highlight></codeline> |
| <codeline lineno="314"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>InvalidExpression(</highlight><highlight class="stringliteral">"Invalid<sp/>value<sp/>for<sp/>conversion<sp/>to<sp/>type<sp/>{}:<sp/>{}<sp/>({})"</highlight><highlight class="normal">,</highlight></codeline> |
| <codeline lineno="315"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>*bound_term->type(),<sp/>literal.ToString(),<sp/>*literal.type());</highlight></codeline> |
| <codeline lineno="316"><highlight class="normal"><sp/><sp/><sp/><sp/>}</highlight></codeline> |
| <codeline lineno="317"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="comment">//<sp/>Filter<sp/>out<sp/>literals<sp/>that<sp/>are<sp/>out<sp/>of<sp/>range<sp/>after<sp/>conversion.</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="318"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">if</highlight><highlight class="normal"><sp/>(!converted.IsBelowMin()<sp/>&&<sp/>!converted.IsAboveMax())<sp/>{</highlight></codeline> |
| <codeline lineno="319"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/>converted_literals.push_back(std::move(converted));</highlight></codeline> |
| <codeline lineno="320"><highlight class="normal"><sp/><sp/><sp/><sp/>}</highlight></codeline> |
| <codeline lineno="321"><highlight class="normal"><sp/><sp/>}</highlight></codeline> |
| <codeline lineno="322"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="323"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>If<sp/>no<sp/>valid<sp/>literals<sp/>remain<sp/>after<sp/>conversion<sp/>and<sp/>filtering</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="324"><highlight class="normal"><sp/><sp/></highlight><highlight class="keywordflow">if</highlight><highlight class="normal"><sp/>(converted_literals.empty())<sp/>{</highlight></codeline> |
| <codeline lineno="325"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">switch</highlight><highlight class="normal"><sp/>(BASE::op())<sp/>{</highlight></codeline> |
| <codeline lineno="326"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kIn:</highlight></codeline> |
| <codeline lineno="327"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>Expressions::AlwaysFalse();</highlight></codeline> |
| <codeline lineno="328"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kNotIn:</highlight></codeline> |
| <codeline lineno="329"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>Expressions::AlwaysTrue();</highlight></codeline> |
| <codeline lineno="330"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">default</highlight><highlight class="normal">:</highlight></codeline> |
| <codeline lineno="331"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>InvalidExpression(</highlight><highlight class="stringliteral">"Operation<sp/>must<sp/>be<sp/>IN<sp/>or<sp/>NOT_IN"</highlight><highlight class="normal">);</highlight></codeline> |
| <codeline lineno="332"><highlight class="normal"><sp/><sp/><sp/><sp/>}</highlight></codeline> |
| <codeline lineno="333"><highlight class="normal"><sp/><sp/>}</highlight></codeline> |
| <codeline lineno="334"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="335"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>If<sp/>only<sp/>one<sp/>unique<sp/>literal<sp/>remains,<sp/>convert<sp/>to<sp/>equality/inequality</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="336"><highlight class="normal"><sp/><sp/></highlight><highlight class="keywordflow">if</highlight><highlight class="normal"><sp/>(converted_literals.size()<sp/>==<sp/>1)<sp/>{</highlight></codeline> |
| <codeline lineno="337"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal">&<sp/>single_literal<sp/>=<sp/>converted_literals[0];</highlight></codeline> |
| <codeline lineno="338"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">switch</highlight><highlight class="normal"><sp/>(BASE::op())<sp/>{</highlight></codeline> |
| <codeline lineno="339"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kIn:</highlight></codeline> |
| <codeline lineno="340"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>BoundLiteralPredicate::Make(Expression::Operation::kEq,</highlight></codeline> |
| <codeline lineno="341"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>std::move(bound_term),<sp/>single_literal);</highlight></codeline> |
| <codeline lineno="342"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="343"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kNotIn:</highlight></codeline> |
| <codeline lineno="344"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>BoundLiteralPredicate::Make(Expression::Operation::kNotEq,</highlight></codeline> |
| <codeline lineno="345"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>std::move(bound_term),<sp/>single_literal);</highlight></codeline> |
| <codeline lineno="346"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="347"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">default</highlight><highlight class="normal">:</highlight></codeline> |
| <codeline lineno="348"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>InvalidExpression(</highlight><highlight class="stringliteral">"Operation<sp/>must<sp/>be<sp/>IN<sp/>or<sp/>NOT_IN"</highlight><highlight class="normal">);</highlight></codeline> |
| <codeline lineno="349"><highlight class="normal"><sp/><sp/><sp/><sp/>}</highlight></codeline> |
| <codeline lineno="350"><highlight class="normal"><sp/><sp/>}</highlight></codeline> |
| <codeline lineno="351"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="352"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>Multiple<sp/>literals<sp/>-<sp/>create<sp/>a<sp/>set<sp/>predicate</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="353"><highlight class="normal"><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>BoundSetPredicate::Make(BASE::op(),<sp/>std::move(bound_term),</highlight></codeline> |
| <codeline lineno="354"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>std::span<const<sp/>Literal>(converted_literals));</highlight></codeline> |
| <codeline lineno="355"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="356"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="357"><highlight class="normal"></highlight><highlight class="comment">//<sp/>BoundPredicate<sp/>implementation</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="358"><highlight class="normal">BoundPredicate::BoundPredicate(Expression::Operation<sp/>op,<sp/>std::shared_ptr<BoundTerm><sp/>term)</highlight></codeline> |
| <codeline lineno="359"><highlight class="normal"><sp/><sp/><sp/><sp/>:<sp/>Predicate<BoundTerm>(op,<sp/><ref refid="namespacestd" kindref="compound">std</ref>::move(term))<sp/>{</highlight></codeline> |
| <codeline lineno="360"><highlight class="normal"><sp/><sp/>ICEBERG_DCHECK(term_<sp/>!=<sp/></highlight><highlight class="keyword">nullptr</highlight><highlight class="normal">,<sp/></highlight><highlight class="stringliteral">"BoundPredicate<sp/>cannot<sp/>have<sp/>null<sp/>term"</highlight><highlight class="normal">);</highlight></codeline> |
| <codeline lineno="361"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="362"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="363"><highlight class="normal">BoundPredicate::~BoundPredicate()<sp/>=<sp/></highlight><highlight class="keywordflow">default</highlight><highlight class="normal">;</highlight></codeline> |
| <codeline lineno="364"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="365"><highlight class="normal">Result<Literal><sp/>BoundPredicate::Evaluate(</highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/>StructLike&<sp/>data)</highlight><highlight class="keyword"><sp/>const<sp/></highlight><highlight class="normal">{</highlight></codeline> |
| <codeline lineno="366"><highlight class="normal"><sp/><sp/>ICEBERG_ASSIGN_OR_RAISE(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>eval_result,<sp/>term_->Evaluate(data));</highlight></codeline> |
| <codeline lineno="367"><highlight class="normal"><sp/><sp/>ICEBERG_ASSIGN_OR_RAISE(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>test_result,<sp/>Test(eval_result));</highlight></codeline> |
| <codeline lineno="368"><highlight class="normal"><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>Literal::Boolean(test_result);</highlight></codeline> |
| <codeline lineno="369"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="370"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="371"><highlight class="normal"></highlight><highlight class="comment">//<sp/>BoundUnaryPredicate<sp/>implementation</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="372"><highlight class="normal">Result<std::unique_ptr<BoundUnaryPredicate>><sp/>BoundUnaryPredicate::Make(</highlight></codeline> |
| <codeline lineno="373"><highlight class="normal"><sp/><sp/><sp/><sp/>Expression::Operation<sp/>op,<sp/>std::shared_ptr<BoundTerm><sp/>term)<sp/>{</highlight></codeline> |
| <codeline lineno="374"><highlight class="normal"><sp/><sp/></highlight><highlight class="keywordflow">if</highlight><highlight class="normal"><sp/>(!term)<sp/>[[unlikely]]<sp/>{</highlight></codeline> |
| <codeline lineno="375"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>InvalidExpression(</highlight><highlight class="stringliteral">"BoundUnaryPredicate<sp/>cannot<sp/>have<sp/>null<sp/>term"</highlight><highlight class="normal">);</highlight></codeline> |
| <codeline lineno="376"><highlight class="normal"><sp/><sp/>}</highlight></codeline> |
| <codeline lineno="377"><highlight class="normal"><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>std::unique_ptr<BoundUnaryPredicate>(</highlight></codeline> |
| <codeline lineno="378"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">new</highlight><highlight class="normal"><sp/>BoundUnaryPredicate(op,<sp/>std::move(term)));</highlight></codeline> |
| <codeline lineno="379"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="380"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="381"><highlight class="normal">BoundUnaryPredicate::BoundUnaryPredicate(Expression::Operation<sp/>op,</highlight></codeline> |
| <codeline lineno="382"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>std::shared_ptr<BoundTerm><sp/>term)</highlight></codeline> |
| <codeline lineno="383"><highlight class="normal"><sp/><sp/><sp/><sp/>:<sp/>BoundPredicate(op,<sp/><ref refid="namespacestd" kindref="compound">std</ref>::move(term))<sp/>{</highlight></codeline> |
| <codeline lineno="384"><highlight class="normal"><sp/><sp/>ICEBERG_DCHECK(term_<sp/>!=<sp/></highlight><highlight class="keyword">nullptr</highlight><highlight class="normal">,<sp/></highlight><highlight class="stringliteral">"BoundUnaryPredicate<sp/>cannot<sp/>have<sp/>null<sp/>term"</highlight><highlight class="normal">);</highlight></codeline> |
| <codeline lineno="385"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="386"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="387"><highlight class="normal">BoundUnaryPredicate::~BoundUnaryPredicate()<sp/>=<sp/></highlight><highlight class="keywordflow">default</highlight><highlight class="normal">;</highlight></codeline> |
| <codeline lineno="388"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="389"><highlight class="normal">Result<bool><sp/>BoundUnaryPredicate::Test(</highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/>Literal&<sp/>literal)</highlight><highlight class="keyword"><sp/>const<sp/></highlight><highlight class="normal">{</highlight></codeline> |
| <codeline lineno="390"><highlight class="normal"><sp/><sp/></highlight><highlight class="keywordflow">switch</highlight><highlight class="normal"><sp/>(op())<sp/>{</highlight></codeline> |
| <codeline lineno="391"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kIsNull:</highlight></codeline> |
| <codeline lineno="392"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>literal.IsNull();</highlight></codeline> |
| <codeline lineno="393"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kNotNull:</highlight></codeline> |
| <codeline lineno="394"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>!literal.IsNull();</highlight></codeline> |
| <codeline lineno="395"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kIsNan:</highlight></codeline> |
| <codeline lineno="396"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>literal.IsNaN();</highlight></codeline> |
| <codeline lineno="397"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kNotNan:</highlight></codeline> |
| <codeline lineno="398"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>!literal.IsNaN();</highlight></codeline> |
| <codeline lineno="399"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">default</highlight><highlight class="normal">:</highlight></codeline> |
| <codeline lineno="400"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>InvalidExpression(</highlight><highlight class="stringliteral">"Invalid<sp/>operation<sp/>for<sp/>BoundUnaryPredicate:<sp/>{}"</highlight><highlight class="normal">,<sp/>op());</highlight></codeline> |
| <codeline lineno="401"><highlight class="normal"><sp/><sp/>}</highlight></codeline> |
| <codeline lineno="402"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="403"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="404"><highlight class="normal">Result<std::shared_ptr<Expression>><sp/>BoundUnaryPredicate::Negate()</highlight><highlight class="keyword"><sp/>const<sp/></highlight><highlight class="normal">{</highlight></codeline> |
| <codeline lineno="405"><highlight class="normal"><sp/><sp/>ICEBERG_ASSIGN_OR_RAISE(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>negated_op,<sp/>::iceberg::Negate(op()));</highlight></codeline> |
| <codeline lineno="406"><highlight class="normal"><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>BoundUnaryPredicate::Make(negated_op,<sp/>term_);</highlight></codeline> |
| <codeline lineno="407"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="408"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="409"><highlight class="normal"></highlight><highlight class="keywordtype">bool</highlight><highlight class="normal"><sp/>BoundUnaryPredicate::Equals(</highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/>Expression&<sp/>other)</highlight><highlight class="keyword"><sp/>const<sp/></highlight><highlight class="normal">{</highlight></codeline> |
| <codeline lineno="410"><highlight class="normal"><sp/><sp/></highlight><highlight class="keywordflow">if</highlight><highlight class="normal"><sp/>(op()<sp/>!=<sp/>other.op())<sp/>{</highlight></codeline> |
| <codeline lineno="411"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/></highlight><highlight class="keyword">false</highlight><highlight class="normal">;</highlight></codeline> |
| <codeline lineno="412"><highlight class="normal"><sp/><sp/>}</highlight></codeline> |
| <codeline lineno="413"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="414"><highlight class="normal"><sp/><sp/></highlight><highlight class="keywordflow">if</highlight><highlight class="normal"><sp/>(</highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal">*<sp/>other_pred<sp/>=<sp/></highlight><highlight class="keyword">dynamic_cast<</highlight><highlight class="keyword">const<sp/></highlight><highlight class="normal">BoundUnaryPredicate*</highlight><highlight class="keyword">></highlight><highlight class="normal">(&other);</highlight></codeline> |
| <codeline lineno="415"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/>other_pred)<sp/>{</highlight></codeline> |
| <codeline lineno="416"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>term_->Equals(*other_pred->term());</highlight></codeline> |
| <codeline lineno="417"><highlight class="normal"><sp/><sp/>}</highlight></codeline> |
| <codeline lineno="418"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="419"><highlight class="normal"><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/></highlight><highlight class="keyword">false</highlight><highlight class="normal">;</highlight></codeline> |
| <codeline lineno="420"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="421"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="422"><highlight class="normal">std::string<sp/>BoundUnaryPredicate::ToString()</highlight><highlight class="keyword"><sp/>const<sp/></highlight><highlight class="normal">{</highlight></codeline> |
| <codeline lineno="423"><highlight class="normal"><sp/><sp/></highlight><highlight class="keywordflow">switch</highlight><highlight class="normal"><sp/>(op())<sp/>{</highlight></codeline> |
| <codeline lineno="424"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kIsNull:</highlight></codeline> |
| <codeline lineno="425"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>std::format(</highlight><highlight class="stringliteral">"is_null({})"</highlight><highlight class="normal">,<sp/>*term());</highlight></codeline> |
| <codeline lineno="426"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kNotNull:</highlight></codeline> |
| <codeline lineno="427"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>std::format(</highlight><highlight class="stringliteral">"not_null({})"</highlight><highlight class="normal">,<sp/>*term());</highlight></codeline> |
| <codeline lineno="428"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kIsNan:</highlight></codeline> |
| <codeline lineno="429"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>std::format(</highlight><highlight class="stringliteral">"is_nan({})"</highlight><highlight class="normal">,<sp/>*term());</highlight></codeline> |
| <codeline lineno="430"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kNotNan:</highlight></codeline> |
| <codeline lineno="431"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>std::format(</highlight><highlight class="stringliteral">"not_nan({})"</highlight><highlight class="normal">,<sp/>*term());</highlight></codeline> |
| <codeline lineno="432"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">default</highlight><highlight class="normal">:</highlight></codeline> |
| <codeline lineno="433"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>std::format(</highlight><highlight class="stringliteral">"Invalid<sp/>unary<sp/>predicate:<sp/>operation<sp/>=<sp/>{}"</highlight><highlight class="normal">,<sp/>op());</highlight></codeline> |
| <codeline lineno="434"><highlight class="normal"><sp/><sp/>}</highlight></codeline> |
| <codeline lineno="435"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="436"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="437"><highlight class="normal"></highlight><highlight class="comment">//<sp/>BoundLiteralPredicate<sp/>implementation</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="438"><highlight class="normal">Result<std::unique_ptr<BoundLiteralPredicate>><sp/>BoundLiteralPredicate::Make(</highlight></codeline> |
| <codeline lineno="439"><highlight class="normal"><sp/><sp/><sp/><sp/>Expression::Operation<sp/>op,<sp/>std::shared_ptr<BoundTerm><sp/>term,<sp/>Literal<sp/>literal)<sp/>{</highlight></codeline> |
| <codeline lineno="440"><highlight class="normal"><sp/><sp/></highlight><highlight class="keywordflow">if</highlight><highlight class="normal"><sp/>(!term)<sp/>[[unlikely]]<sp/>{</highlight></codeline> |
| <codeline lineno="441"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>InvalidExpression(</highlight><highlight class="stringliteral">"BoundLiteralPredicate<sp/>cannot<sp/>have<sp/>null<sp/>term"</highlight><highlight class="normal">);</highlight></codeline> |
| <codeline lineno="442"><highlight class="normal"><sp/><sp/>}</highlight></codeline> |
| <codeline lineno="443"><highlight class="normal"><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>std::unique_ptr<BoundLiteralPredicate>(</highlight></codeline> |
| <codeline lineno="444"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">new</highlight><highlight class="normal"><sp/>BoundLiteralPredicate(op,<sp/>std::move(term),<sp/>std::move(literal)));</highlight></codeline> |
| <codeline lineno="445"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="446"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="447"><highlight class="normal">BoundLiteralPredicate::BoundLiteralPredicate(Expression::Operation<sp/>op,</highlight></codeline> |
| <codeline lineno="448"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>std::shared_ptr<BoundTerm><sp/>term,</highlight></codeline> |
| <codeline lineno="449"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>Literal<sp/>literal)</highlight></codeline> |
| <codeline lineno="450"><highlight class="normal"><sp/><sp/><sp/><sp/>:<sp/>BoundPredicate(op,<sp/><ref refid="namespacestd" kindref="compound">std</ref>::move(term)),<sp/>literal_(<ref refid="namespacestd" kindref="compound">std</ref>::move(literal))<sp/>{</highlight></codeline> |
| <codeline lineno="451"><highlight class="normal"><sp/><sp/>ICEBERG_DCHECK(term_<sp/>!=<sp/></highlight><highlight class="keyword">nullptr</highlight><highlight class="normal">,<sp/></highlight><highlight class="stringliteral">"BoundLiteralPredicate<sp/>cannot<sp/>have<sp/>null<sp/>term"</highlight><highlight class="normal">);</highlight></codeline> |
| <codeline lineno="452"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="453"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="454"><highlight class="normal">BoundLiteralPredicate::~BoundLiteralPredicate()<sp/>=<sp/></highlight><highlight class="keywordflow">default</highlight><highlight class="normal">;</highlight></codeline> |
| <codeline lineno="455"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="456"><highlight class="normal">Result<bool><sp/>BoundLiteralPredicate::Test(</highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/>Literal&<sp/>value)</highlight><highlight class="keyword"><sp/>const<sp/></highlight><highlight class="normal">{</highlight></codeline> |
| <codeline lineno="457"><highlight class="normal"><sp/><sp/></highlight><highlight class="keywordflow">switch</highlight><highlight class="normal"><sp/>(op())<sp/>{</highlight></codeline> |
| <codeline lineno="458"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kLt:</highlight></codeline> |
| <codeline lineno="459"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>value<sp/><<sp/>literal_;</highlight></codeline> |
| <codeline lineno="460"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kLtEq:</highlight></codeline> |
| <codeline lineno="461"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>value<sp/><=<sp/>literal_;</highlight></codeline> |
| <codeline lineno="462"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kGt:</highlight></codeline> |
| <codeline lineno="463"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>value<sp/>><sp/>literal_;</highlight></codeline> |
| <codeline lineno="464"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kGtEq:</highlight></codeline> |
| <codeline lineno="465"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>value<sp/>>=<sp/>literal_;</highlight></codeline> |
| <codeline lineno="466"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kEq:</highlight></codeline> |
| <codeline lineno="467"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>value<sp/>==<sp/>literal_;</highlight></codeline> |
| <codeline lineno="468"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kNotEq:</highlight></codeline> |
| <codeline lineno="469"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>value<sp/>!=<sp/>literal_;</highlight></codeline> |
| <codeline lineno="470"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kStartsWith:</highlight></codeline> |
| <codeline lineno="471"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>StartsWith(value,<sp/>literal_);</highlight></codeline> |
| <codeline lineno="472"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kNotStartsWith:</highlight></codeline> |
| <codeline lineno="473"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>!StartsWith(value,<sp/>literal_);</highlight></codeline> |
| <codeline lineno="474"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">default</highlight><highlight class="normal">:</highlight></codeline> |
| <codeline lineno="475"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>InvalidExpression(</highlight><highlight class="stringliteral">"Invalid<sp/>operation<sp/>for<sp/>BoundLiteralPredicate:<sp/>{}"</highlight><highlight class="normal">,<sp/>op());</highlight></codeline> |
| <codeline lineno="476"><highlight class="normal"><sp/><sp/>}</highlight></codeline> |
| <codeline lineno="477"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="478"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="479"><highlight class="normal">Result<std::shared_ptr<Expression>><sp/>BoundLiteralPredicate::Negate()</highlight><highlight class="keyword"><sp/>const<sp/></highlight><highlight class="normal">{</highlight></codeline> |
| <codeline lineno="480"><highlight class="normal"><sp/><sp/>ICEBERG_ASSIGN_OR_RAISE(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>negated_op,<sp/>::iceberg::Negate(op()));</highlight></codeline> |
| <codeline lineno="481"><highlight class="normal"><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>BoundLiteralPredicate::Make(negated_op,<sp/>term_,<sp/>literal_);</highlight></codeline> |
| <codeline lineno="482"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="483"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="484"><highlight class="normal"></highlight><highlight class="keywordtype">bool</highlight><highlight class="normal"><sp/>BoundLiteralPredicate::Equals(</highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/>Expression&<sp/>other)</highlight><highlight class="keyword"><sp/>const<sp/></highlight><highlight class="normal">{</highlight></codeline> |
| <codeline lineno="485"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal">*<sp/>other_pred<sp/>=<sp/></highlight><highlight class="keyword">dynamic_cast<</highlight><highlight class="keyword">const<sp/></highlight><highlight class="normal">BoundLiteralPredicate*</highlight><highlight class="keyword">></highlight><highlight class="normal">(&other);</highlight></codeline> |
| <codeline lineno="486"><highlight class="normal"><sp/><sp/></highlight><highlight class="keywordflow">if</highlight><highlight class="normal"><sp/>(!other_pred)<sp/>{</highlight></codeline> |
| <codeline lineno="487"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/></highlight><highlight class="keyword">false</highlight><highlight class="normal">;</highlight></codeline> |
| <codeline lineno="488"><highlight class="normal"><sp/><sp/>}</highlight></codeline> |
| <codeline lineno="489"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="490"><highlight class="normal"><sp/><sp/></highlight><highlight class="keywordflow">if</highlight><highlight class="normal"><sp/>(op()<sp/>==<sp/>other.op())<sp/>{</highlight></codeline> |
| <codeline lineno="491"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">if</highlight><highlight class="normal"><sp/>(term_->Equals(*other_pred->term()))<sp/>{</highlight></codeline> |
| <codeline lineno="492"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="comment">//<sp/>because<sp/>the<sp/>term<sp/>is<sp/>equivalent,<sp/>the<sp/>literal<sp/>must<sp/>have<sp/>the<sp/>same<sp/>type</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="493"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>literal_<sp/>==<sp/>other_pred->literal();</highlight></codeline> |
| <codeline lineno="494"><highlight class="normal"><sp/><sp/><sp/><sp/>}</highlight></codeline> |
| <codeline lineno="495"><highlight class="normal"><sp/><sp/>}</highlight></codeline> |
| <codeline lineno="496"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="497"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>TODO(gangwu):<sp/>add<sp/>TypeId::kTimestampNano</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="498"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">static</highlight><highlight class="normal"><sp/></highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/>std::unordered_set<TypeId><sp/>kIntegralTypes<sp/>=<sp/>{</highlight></codeline> |
| <codeline lineno="499"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/>TypeId::kInt,<sp/><sp/>TypeId::kLong,<sp/><sp/><sp/><sp/><sp/><sp/>TypeId::kDate,</highlight></codeline> |
| <codeline lineno="500"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/>TypeId::kTime,<sp/>TypeId::kTimestamp,<sp/>TypeId::kTimestampTz};</highlight></codeline> |
| <codeline lineno="501"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="502"><highlight class="normal"><sp/><sp/></highlight><highlight class="keywordflow">if</highlight><highlight class="normal"><sp/>(kIntegralTypes.contains(term_->type()->type_id())<sp/>&&</highlight></codeline> |
| <codeline lineno="503"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/>term_->Equals(*other_pred->term()))<sp/>{</highlight></codeline> |
| <codeline lineno="504"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>get_long<sp/>=<sp/>[](</highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/>Literal&<sp/>lit)<sp/>-><sp/>std::optional<int64_t><sp/>{</highlight></codeline> |
| <codeline lineno="505"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal">&<sp/>val<sp/>=<sp/>lit.value();</highlight></codeline> |
| <codeline lineno="506"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">if</highlight><highlight class="normal"><sp/>(std::holds_alternative<int32_t>(val))<sp/>{</highlight></codeline> |
| <codeline lineno="507"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>std::get<int32_t>(val);</highlight></codeline> |
| <codeline lineno="508"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/>}<sp/></highlight><highlight class="keywordflow">else</highlight><highlight class="normal"><sp/></highlight><highlight class="keywordflow">if</highlight><highlight class="normal"><sp/>(std::holds_alternative<int64_t>(val))<sp/>{</highlight></codeline> |
| <codeline lineno="509"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>std::get<int64_t>(val);</highlight></codeline> |
| <codeline lineno="510"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/>}</highlight></codeline> |
| <codeline lineno="511"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>std::nullopt;</highlight></codeline> |
| <codeline lineno="512"><highlight class="normal"><sp/><sp/><sp/><sp/>};</highlight></codeline> |
| <codeline lineno="513"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="514"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>this_val<sp/>=<sp/>get_long(literal_);</highlight></codeline> |
| <codeline lineno="515"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>other_val<sp/>=<sp/>get_long(other_pred->literal());</highlight></codeline> |
| <codeline lineno="516"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">if</highlight><highlight class="normal"><sp/>(this_val<sp/>&&<sp/>other_val)<sp/>{</highlight></codeline> |
| <codeline lineno="517"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">switch</highlight><highlight class="normal"><sp/>(op())<sp/>{</highlight></codeline> |
| <codeline lineno="518"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kLt:</highlight></codeline> |
| <codeline lineno="519"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="comment">//<sp/><<sp/>6<sp/>is<sp/>equivalent<sp/>to<sp/><=<sp/>5</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="520"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>other_pred->op()<sp/>==<sp/>Expression::Operation::kLtEq<sp/>&&</highlight></codeline> |
| <codeline lineno="521"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>*this_val<sp/>==<sp/>*other_val<sp/>+<sp/>1;</highlight></codeline> |
| <codeline lineno="522"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kLtEq:</highlight></codeline> |
| <codeline lineno="523"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="comment">//<sp/><=<sp/>5<sp/>is<sp/>equivalent<sp/>to<sp/><<sp/>6</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="524"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>other_pred->op()<sp/>==<sp/>Expression::Operation::kLt<sp/>&&</highlight></codeline> |
| <codeline lineno="525"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>*this_val<sp/>==<sp/>*other_val<sp/>-<sp/>1;</highlight></codeline> |
| <codeline lineno="526"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kGt:</highlight></codeline> |
| <codeline lineno="527"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="comment">//<sp/>><sp/>5<sp/>is<sp/>equivalent<sp/>to<sp/>>=<sp/>6</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="528"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>other_pred->op()<sp/>==<sp/>Expression::Operation::kGtEq<sp/>&&</highlight></codeline> |
| <codeline lineno="529"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>*this_val<sp/>==<sp/>*other_val<sp/>-<sp/>1;</highlight></codeline> |
| <codeline lineno="530"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kGtEq:</highlight></codeline> |
| <codeline lineno="531"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="comment">//<sp/>>=<sp/>6<sp/>is<sp/>equivalent<sp/>to<sp/>><sp/>5</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="532"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>other_pred->op()<sp/>==<sp/>Expression::Operation::kGt<sp/>&&</highlight></codeline> |
| <codeline lineno="533"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>*this_val<sp/>==<sp/>*other_val<sp/>+<sp/>1;</highlight></codeline> |
| <codeline lineno="534"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">default</highlight><highlight class="normal">:</highlight></codeline> |
| <codeline lineno="535"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/></highlight><highlight class="keyword">false</highlight><highlight class="normal">;</highlight></codeline> |
| <codeline lineno="536"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/>}</highlight></codeline> |
| <codeline lineno="537"><highlight class="normal"><sp/><sp/><sp/><sp/>}</highlight></codeline> |
| <codeline lineno="538"><highlight class="normal"><sp/><sp/>}</highlight></codeline> |
| <codeline lineno="539"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="540"><highlight class="normal"><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/></highlight><highlight class="keyword">false</highlight><highlight class="normal">;</highlight></codeline> |
| <codeline lineno="541"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="542"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="543"><highlight class="normal">std::string<sp/>BoundLiteralPredicate::ToString()</highlight><highlight class="keyword"><sp/>const<sp/></highlight><highlight class="normal">{</highlight></codeline> |
| <codeline lineno="544"><highlight class="normal"><sp/><sp/></highlight><highlight class="keywordflow">switch</highlight><highlight class="normal"><sp/>(op())<sp/>{</highlight></codeline> |
| <codeline lineno="545"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kLt:</highlight></codeline> |
| <codeline lineno="546"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>std::format(</highlight><highlight class="stringliteral">"{}<sp/><<sp/>{}"</highlight><highlight class="normal">,<sp/>*term(),<sp/>literal());</highlight></codeline> |
| <codeline lineno="547"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kLtEq:</highlight></codeline> |
| <codeline lineno="548"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>std::format(</highlight><highlight class="stringliteral">"{}<sp/><=<sp/>{}"</highlight><highlight class="normal">,<sp/>*term(),<sp/>literal());</highlight></codeline> |
| <codeline lineno="549"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kGt:</highlight></codeline> |
| <codeline lineno="550"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>std::format(</highlight><highlight class="stringliteral">"{}<sp/>><sp/>{}"</highlight><highlight class="normal">,<sp/>*term(),<sp/>literal());</highlight></codeline> |
| <codeline lineno="551"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kGtEq:</highlight></codeline> |
| <codeline lineno="552"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>std::format(</highlight><highlight class="stringliteral">"{}<sp/>>=<sp/>{}"</highlight><highlight class="normal">,<sp/>*term(),<sp/>literal());</highlight></codeline> |
| <codeline lineno="553"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kEq:</highlight></codeline> |
| <codeline lineno="554"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>std::format(</highlight><highlight class="stringliteral">"{}<sp/>==<sp/>{}"</highlight><highlight class="normal">,<sp/>*term(),<sp/>literal());</highlight></codeline> |
| <codeline lineno="555"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kNotEq:</highlight></codeline> |
| <codeline lineno="556"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>std::format(</highlight><highlight class="stringliteral">"{}<sp/>!=<sp/>{}"</highlight><highlight class="normal">,<sp/>*term(),<sp/>literal());</highlight></codeline> |
| <codeline lineno="557"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kStartsWith:</highlight></codeline> |
| <codeline lineno="558"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>std::format(</highlight><highlight class="stringliteral">"{}<sp/>startsWith<sp/>\"{}\""</highlight><highlight class="normal">,<sp/>*term(),<sp/>literal());</highlight></codeline> |
| <codeline lineno="559"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kNotStartsWith:</highlight></codeline> |
| <codeline lineno="560"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>std::format(</highlight><highlight class="stringliteral">"{}<sp/>notStartsWith<sp/>\"{}\""</highlight><highlight class="normal">,<sp/>*term(),<sp/>literal());</highlight></codeline> |
| <codeline lineno="561"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kIn:</highlight></codeline> |
| <codeline lineno="562"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>std::format(</highlight><highlight class="stringliteral">"{}<sp/>in<sp/>({})"</highlight><highlight class="normal">,<sp/>*term(),<sp/>literal());</highlight></codeline> |
| <codeline lineno="563"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kNotIn:</highlight></codeline> |
| <codeline lineno="564"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>std::format(</highlight><highlight class="stringliteral">"{}<sp/>not<sp/>in<sp/>({})"</highlight><highlight class="normal">,<sp/>*term(),<sp/>literal());</highlight></codeline> |
| <codeline lineno="565"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">default</highlight><highlight class="normal">:</highlight></codeline> |
| <codeline lineno="566"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>std::format(</highlight><highlight class="stringliteral">"Invalid<sp/>literal<sp/>predicate:<sp/>operation<sp/>=<sp/>{}"</highlight><highlight class="normal">,<sp/>op());</highlight></codeline> |
| <codeline lineno="567"><highlight class="normal"><sp/><sp/>}</highlight></codeline> |
| <codeline lineno="568"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="569"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="570"><highlight class="normal"></highlight><highlight class="comment">//<sp/>BoundSetPredicate<sp/>implementation</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="571"><highlight class="normal">Result<std::unique_ptr<BoundSetPredicate>><sp/>BoundSetPredicate::Make(</highlight></codeline> |
| <codeline lineno="572"><highlight class="normal"><sp/><sp/><sp/><sp/>Expression::Operation<sp/>op,<sp/>std::shared_ptr<BoundTerm><sp/>term,</highlight></codeline> |
| <codeline lineno="573"><highlight class="normal"><sp/><sp/><sp/><sp/>std::span<const<sp/>Literal><sp/>literals)<sp/>{</highlight></codeline> |
| <codeline lineno="574"><highlight class="normal"><sp/><sp/></highlight><highlight class="keywordflow">if</highlight><highlight class="normal"><sp/>(!term)<sp/>[[unlikely]]<sp/>{</highlight></codeline> |
| <codeline lineno="575"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>InvalidExpression(</highlight><highlight class="stringliteral">"BoundSetPredicate<sp/>cannot<sp/>have<sp/>null<sp/>term"</highlight><highlight class="normal">);</highlight></codeline> |
| <codeline lineno="576"><highlight class="normal"><sp/><sp/>}</highlight></codeline> |
| <codeline lineno="577"><highlight class="normal"><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>std::unique_ptr<BoundSetPredicate>(</highlight></codeline> |
| <codeline lineno="578"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">new</highlight><highlight class="normal"><sp/>BoundSetPredicate(op,<sp/>std::move(term),<sp/>literals));</highlight></codeline> |
| <codeline lineno="579"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="580"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="581"><highlight class="normal">Result<std::unique_ptr<BoundSetPredicate>><sp/>BoundSetPredicate::Make(</highlight></codeline> |
| <codeline lineno="582"><highlight class="normal"><sp/><sp/><sp/><sp/>Expression::Operation<sp/>op,<sp/>std::shared_ptr<BoundTerm><sp/>term,<sp/>LiteralSet<sp/>value_set)<sp/>{</highlight></codeline> |
| <codeline lineno="583"><highlight class="normal"><sp/><sp/></highlight><highlight class="keywordflow">if</highlight><highlight class="normal"><sp/>(!term)<sp/>[[unlikely]]<sp/>{</highlight></codeline> |
| <codeline lineno="584"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>InvalidExpression(</highlight><highlight class="stringliteral">"BoundSetPredicate<sp/>cannot<sp/>have<sp/>null<sp/>term"</highlight><highlight class="normal">);</highlight></codeline> |
| <codeline lineno="585"><highlight class="normal"><sp/><sp/>}</highlight></codeline> |
| <codeline lineno="586"><highlight class="normal"><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>std::unique_ptr<BoundSetPredicate>(</highlight></codeline> |
| <codeline lineno="587"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">new</highlight><highlight class="normal"><sp/>BoundSetPredicate(op,<sp/>std::move(term),<sp/>std::move(value_set)));</highlight></codeline> |
| <codeline lineno="588"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="589"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="590"><highlight class="normal">BoundSetPredicate::BoundSetPredicate(Expression::Operation<sp/>op,</highlight></codeline> |
| <codeline lineno="591"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>std::shared_ptr<BoundTerm><sp/>term,</highlight></codeline> |
| <codeline lineno="592"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>std::span<const<sp/>Literal><sp/>literals)</highlight></codeline> |
| <codeline lineno="593"><highlight class="normal"><sp/><sp/><sp/><sp/>:<sp/>BoundPredicate(op,<sp/><ref refid="namespacestd" kindref="compound">std</ref>::move(term)),<sp/>value_set_(literals.begin(),<sp/>literals.end())<sp/>{</highlight></codeline> |
| <codeline lineno="594"><highlight class="normal"><sp/><sp/>ICEBERG_DCHECK(term_<sp/>!=<sp/></highlight><highlight class="keyword">nullptr</highlight><highlight class="normal">,<sp/></highlight><highlight class="stringliteral">"BoundSetPredicate<sp/>cannot<sp/>have<sp/>null<sp/>term"</highlight><highlight class="normal">);</highlight></codeline> |
| <codeline lineno="595"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="596"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="597"><highlight class="normal">BoundSetPredicate::BoundSetPredicate(Expression::Operation<sp/>op,</highlight></codeline> |
| <codeline lineno="598"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>std::shared_ptr<BoundTerm><sp/>term,</highlight></codeline> |
| <codeline lineno="599"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>LiteralSet<sp/>value_set)</highlight></codeline> |
| <codeline lineno="600"><highlight class="normal"><sp/><sp/><sp/><sp/>:<sp/>BoundPredicate(op,<sp/><ref refid="namespacestd" kindref="compound">std</ref>::move(term)),<sp/>value_set_(<ref refid="namespacestd" kindref="compound">std</ref>::move(value_set))<sp/>{</highlight></codeline> |
| <codeline lineno="601"><highlight class="normal"><sp/><sp/>ICEBERG_DCHECK(term_<sp/>!=<sp/></highlight><highlight class="keyword">nullptr</highlight><highlight class="normal">,<sp/></highlight><highlight class="stringliteral">"BoundSetPredicate<sp/>cannot<sp/>have<sp/>null<sp/>term"</highlight><highlight class="normal">);</highlight></codeline> |
| <codeline lineno="602"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="603"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="604"><highlight class="normal">BoundSetPredicate::~BoundSetPredicate()<sp/>=<sp/></highlight><highlight class="keywordflow">default</highlight><highlight class="normal">;</highlight></codeline> |
| <codeline lineno="605"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="606"><highlight class="normal">Result<bool><sp/>BoundSetPredicate::Test(</highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/>Literal&<sp/>value)</highlight><highlight class="keyword"><sp/>const<sp/></highlight><highlight class="normal">{</highlight></codeline> |
| <codeline lineno="607"><highlight class="normal"><sp/><sp/></highlight><highlight class="keywordflow">switch</highlight><highlight class="normal"><sp/>(op())<sp/>{</highlight></codeline> |
| <codeline lineno="608"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kIn:</highlight></codeline> |
| <codeline lineno="609"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>value_set_.contains(value);</highlight></codeline> |
| <codeline lineno="610"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kNotIn:</highlight></codeline> |
| <codeline lineno="611"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>!value_set_.contains(value);</highlight></codeline> |
| <codeline lineno="612"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">default</highlight><highlight class="normal">:</highlight></codeline> |
| <codeline lineno="613"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>InvalidExpression(</highlight><highlight class="stringliteral">"Invalid<sp/>operation<sp/>for<sp/>BoundSetPredicate:<sp/>{}"</highlight><highlight class="normal">,<sp/>op());</highlight></codeline> |
| <codeline lineno="614"><highlight class="normal"><sp/><sp/>}</highlight></codeline> |
| <codeline lineno="615"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="616"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="617"><highlight class="normal">Result<std::shared_ptr<Expression>><sp/>BoundSetPredicate::Negate()</highlight><highlight class="keyword"><sp/>const<sp/></highlight><highlight class="normal">{</highlight></codeline> |
| <codeline lineno="618"><highlight class="normal"><sp/><sp/>ICEBERG_ASSIGN_OR_RAISE(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>negated_op,<sp/>::iceberg::Negate(op()));</highlight></codeline> |
| <codeline lineno="619"><highlight class="normal"><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>BoundSetPredicate::Make(negated_op,<sp/>term_,<sp/>value_set_);</highlight></codeline> |
| <codeline lineno="620"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="621"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="622"><highlight class="normal"></highlight><highlight class="keywordtype">bool</highlight><highlight class="normal"><sp/>BoundSetPredicate::Equals(</highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/>Expression&<sp/>other)</highlight><highlight class="keyword"><sp/>const<sp/></highlight><highlight class="normal">{</highlight></codeline> |
| <codeline lineno="623"><highlight class="normal"><sp/><sp/></highlight><highlight class="keywordflow">if</highlight><highlight class="normal"><sp/>(op()<sp/>!=<sp/>other.op())<sp/>{</highlight></codeline> |
| <codeline lineno="624"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/></highlight><highlight class="keyword">false</highlight><highlight class="normal">;</highlight></codeline> |
| <codeline lineno="625"><highlight class="normal"><sp/><sp/>}</highlight></codeline> |
| <codeline lineno="626"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="627"><highlight class="normal"><sp/><sp/></highlight><highlight class="keywordflow">if</highlight><highlight class="normal"><sp/>(</highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal">*<sp/>other_pred<sp/>=<sp/></highlight><highlight class="keyword">dynamic_cast<</highlight><highlight class="keyword">const<sp/></highlight><highlight class="normal">BoundSetPredicate*</highlight><highlight class="keyword">></highlight><highlight class="normal">(&other);</highlight></codeline> |
| <codeline lineno="628"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/>other_pred)<sp/>{</highlight></codeline> |
| <codeline lineno="629"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>value_set_<sp/>==<sp/>other_pred->value_set_;</highlight></codeline> |
| <codeline lineno="630"><highlight class="normal"><sp/><sp/>}</highlight></codeline> |
| <codeline lineno="631"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="632"><highlight class="normal"><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/></highlight><highlight class="keyword">false</highlight><highlight class="normal">;</highlight></codeline> |
| <codeline lineno="633"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="634"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="635"><highlight class="normal">std::string<sp/>BoundSetPredicate::ToString()</highlight><highlight class="keyword"><sp/>const<sp/></highlight><highlight class="normal">{</highlight></codeline> |
| <codeline lineno="636"><highlight class="normal"><sp/><sp/></highlight><highlight class="keywordflow">switch</highlight><highlight class="normal"><sp/>(op())<sp/>{</highlight></codeline> |
| <codeline lineno="637"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kIn:</highlight></codeline> |
| <codeline lineno="638"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>std::format(</highlight><highlight class="stringliteral">"{}<sp/>in<sp/>{}"</highlight><highlight class="normal">,<sp/>*term(),<sp/>FormatRange(value_set_,<sp/></highlight><highlight class="stringliteral">",<sp/>"</highlight><highlight class="normal">,<sp/></highlight><highlight class="stringliteral">"("</highlight><highlight class="normal">,<sp/></highlight><highlight class="stringliteral">")"</highlight><highlight class="normal">));</highlight></codeline> |
| <codeline lineno="639"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">case</highlight><highlight class="normal"><sp/>Expression::Operation::kNotIn:</highlight></codeline> |
| <codeline lineno="640"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>std::format(</highlight><highlight class="stringliteral">"{}<sp/>not<sp/>in<sp/>{}"</highlight><highlight class="normal">,<sp/>*term(),</highlight></codeline> |
| <codeline lineno="641"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>FormatRange(value_set_,<sp/></highlight><highlight class="stringliteral">",<sp/>"</highlight><highlight class="normal">,<sp/></highlight><highlight class="stringliteral">"("</highlight><highlight class="normal">,<sp/></highlight><highlight class="stringliteral">")"</highlight><highlight class="normal">));</highlight></codeline> |
| <codeline lineno="642"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">default</highlight><highlight class="normal">:</highlight></codeline> |
| <codeline lineno="643"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>std::format(</highlight><highlight class="stringliteral">"Invalid<sp/>set<sp/>predicate:<sp/>operation<sp/>=<sp/>{}"</highlight><highlight class="normal">,<sp/>op());</highlight></codeline> |
| <codeline lineno="644"><highlight class="normal"><sp/><sp/>}</highlight></codeline> |
| <codeline lineno="645"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="646"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="647"><highlight class="normal"></highlight><highlight class="comment">//<sp/>Explicit<sp/>template<sp/>instantiations</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="648"><highlight class="normal"></highlight><highlight class="keyword">template</highlight><highlight class="normal"><sp/></highlight><highlight class="keyword">class<sp/></highlight><highlight class="normal">Predicate<UnboundTerm<BoundReference>>;</highlight></codeline> |
| <codeline lineno="649"><highlight class="normal"></highlight><highlight class="keyword">template</highlight><highlight class="normal"><sp/></highlight><highlight class="keyword">class<sp/></highlight><highlight class="normal">Predicate<UnboundTerm<BoundTransform>>;</highlight></codeline> |
| <codeline lineno="650"><highlight class="normal"></highlight><highlight class="keyword">template</highlight><highlight class="normal"><sp/></highlight><highlight class="keyword">class<sp/></highlight><highlight class="normal">Predicate<BoundTerm>;</highlight></codeline> |
| <codeline lineno="651"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="652"><highlight class="normal"></highlight><highlight class="keyword">template</highlight><highlight class="normal"><sp/></highlight><highlight class="keyword">class<sp/></highlight><highlight class="normal">UnboundPredicateImpl<BoundReference>;</highlight></codeline> |
| <codeline lineno="653"><highlight class="normal"></highlight><highlight class="keyword">template</highlight><highlight class="normal"><sp/></highlight><highlight class="keyword">class<sp/></highlight><highlight class="normal">UnboundPredicateImpl<BoundTransform>;</highlight></codeline> |
| <codeline lineno="654"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="655"><highlight class="normal">}<sp/><sp/></highlight><highlight class="comment">//<sp/>namespace<sp/>iceberg</highlight><highlight class="normal"></highlight></codeline> |
| </programlisting> |
| <location file="iceberg/expression/predicate.cc"/> |
| </compounddef> |
| </doxygen> |
