| <?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="expression__visitor__test_8cc" kind="file" language="C++"> |
| <compoundname>expression_visitor_test.cc</compoundname> |
| <includes local="no">gtest/gtest.h</includes> |
| <includes refid="binder_8h" local="yes">iceberg/expression/binder.h</includes> |
| <includes refid="expressions_8h" local="yes">iceberg/expression/expressions.h</includes> |
| <includes refid="rewrite__not_8h" local="yes">iceberg/expression/rewrite_not.h</includes> |
| <includes refid="result_8h" local="yes">iceberg/result.h</includes> |
| <includes refid="schema_8h" local="yes">iceberg/schema.h</includes> |
| <includes refid="matchers_8h" local="yes">iceberg/test/matchers.h</includes> |
| <includes refid="type_8h" local="yes">iceberg/type.h</includes> |
| <incdepgraph> |
| <node id="23"> |
| <label>iceberg/exception.h</label> |
| <link refid="exception_8h"/> |
| <childnode refid="24" relation="include"> |
| </childnode> |
| <childnode refid="15" relation="include"> |
| </childnode> |
| </node> |
| <node id="10"> |
| <label>iceberg/expression/aggregate.h</label> |
| <link refid="aggregate_8h"/> |
| <childnode refid="8" relation="include"> |
| </childnode> |
| <childnode refid="11" relation="include"> |
| </childnode> |
| <childnode refid="12" relation="include"> |
| </childnode> |
| <childnode refid="13" relation="include"> |
| </childnode> |
| <childnode refid="14" relation="include"> |
| </childnode> |
| <childnode refid="25" relation="include"> |
| </childnode> |
| <childnode refid="16" relation="include"> |
| </childnode> |
| <childnode refid="19" relation="include"> |
| </childnode> |
| </node> |
| <node id="3"> |
| <label>iceberg/expression/binder.h</label> |
| <link refid="binder_8h"/> |
| <childnode refid="4" relation="include"> |
| </childnode> |
| <childnode refid="5" relation="include"> |
| </childnode> |
| <childnode refid="6" relation="include"> |
| </childnode> |
| </node> |
| <node id="14"> |
| <label>iceberg/expression/expression.h</label> |
| <link refid="expression_8h"/> |
| <childnode refid="8" relation="include"> |
| </childnode> |
| <childnode refid="12" relation="include"> |
| </childnode> |
| <childnode refid="15" relation="include"> |
| </childnode> |
| <childnode refid="16" relation="include"> |
| </childnode> |
| <childnode refid="19" relation="include"> |
| </childnode> |
| <childnode refid="20" relation="include"> |
| </childnode> |
| <childnode refid="21" relation="include"> |
| </childnode> |
| </node> |
| <node id="6"> |
| <label>iceberg/expression/expression_visitor.h</label> |
| <link refid="expression__visitor_8h"/> |
| <childnode refid="7" relation="include"> |
| </childnode> |
| <childnode refid="8" relation="include"> |
| </childnode> |
| <childnode refid="9" relation="include"> |
| </childnode> |
| <childnode refid="10" relation="include"> |
| </childnode> |
| <childnode refid="14" relation="include"> |
| </childnode> |
| <childnode refid="27" relation="include"> |
| </childnode> |
| <childnode refid="43" relation="include"> |
| </childnode> |
| <childnode refid="25" relation="include"> |
| </childnode> |
| <childnode refid="15" relation="include"> |
| </childnode> |
| <childnode refid="16" relation="include"> |
| </childnode> |
| <childnode refid="44" relation="include"> |
| </childnode> |
| <childnode refid="21" relation="include"> |
| </childnode> |
| </node> |
| <node id="46"> |
| <label>iceberg/expression/expressions.h</label> |
| <link refid="expressions_8h"/> |
| <childnode refid="47" relation="include"> |
| </childnode> |
| <childnode refid="8" relation="include"> |
| </childnode> |
| <childnode refid="12" relation="include"> |
| </childnode> |
| <childnode refid="13" relation="include"> |
| </childnode> |
| <childnode refid="10" relation="include"> |
| </childnode> |
| <childnode refid="27" relation="include"> |
| </childnode> |
| <childnode refid="43" relation="include"> |
| </childnode> |
| <childnode refid="25" relation="include"> |
| </childnode> |
| <childnode refid="15" relation="include"> |
| </childnode> |
| <childnode refid="21" relation="include"> |
| </childnode> |
| </node> |
| <node id="27"> |
| <label>iceberg/expression/literal.h</label> |
| <link refid="literal_8h_source"/> |
| <childnode refid="28" relation="include"> |
| </childnode> |
| <childnode refid="8" relation="include"> |
| </childnode> |
| <childnode refid="12" relation="include"> |
| </childnode> |
| <childnode refid="29" relation="include"> |
| </childnode> |
| <childnode refid="13" relation="include"> |
| </childnode> |
| <childnode refid="15" relation="include"> |
| </childnode> |
| <childnode refid="16" relation="include"> |
| </childnode> |
| <childnode refid="30" relation="include"> |
| </childnode> |
| <childnode refid="38" relation="include"> |
| </childnode> |
| <childnode refid="20" relation="include"> |
| </childnode> |
| <childnode refid="41" relation="include"> |
| </childnode> |
| <childnode refid="42" relation="include"> |
| </childnode> |
| </node> |
| <node id="43"> |
| <label>iceberg/expression/predicate.h</label> |
| <link refid="predicate_8h"/> |
| <childnode refid="5" relation="include"> |
| </childnode> |
| <childnode refid="14" relation="include"> |
| </childnode> |
| <childnode refid="27" relation="include"> |
| </childnode> |
| <childnode refid="25" relation="include"> |
| </childnode> |
| <childnode refid="15" relation="include"> |
| </childnode> |
| </node> |
| <node id="48"> |
| <label>iceberg/expression/rewrite_not.h</label> |
| <link refid="rewrite__not_8h"/> |
| <childnode refid="8" relation="include"> |
| </childnode> |
| <childnode refid="6" relation="include"> |
| </childnode> |
| </node> |
| <node id="25"> |
| <label>iceberg/expression/term.h</label> |
| <link refid="term_8h"/> |
| <childnode refid="7" relation="include"> |
| </childnode> |
| <childnode refid="8" relation="include"> |
| </childnode> |
| <childnode refid="12" relation="include"> |
| </childnode> |
| <childnode refid="26" relation="include"> |
| </childnode> |
| <childnode refid="14" relation="include"> |
| </childnode> |
| <childnode refid="27" relation="include"> |
| </childnode> |
| <childnode refid="19" relation="include"> |
| </childnode> |
| <childnode refid="20" relation="include"> |
| </childnode> |
| </node> |
| <node id="15"> |
| <label>iceberg/iceberg_export.h</label> |
| <link refid="iceberg__export_8h_source"/> |
| </node> |
| <node id="16"> |
| <label>iceberg/result.h</label> |
| <link refid="result_8h_source"/> |
| <childnode refid="17" relation="include"> |
| </childnode> |
| <childnode refid="18" relation="include"> |
| </childnode> |
| <childnode refid="12" relation="include"> |
| </childnode> |
| <childnode refid="15" relation="include"> |
| </childnode> |
| </node> |
| <node id="49"> |
| <label>iceberg/schema.h</label> |
| <link refid="schema_8h"/> |
| <childnode refid="32" relation="include"> |
| </childnode> |
| <childnode refid="33" relation="include"> |
| </childnode> |
| <childnode refid="12" relation="include"> |
| </childnode> |
| <childnode refid="34" relation="include"> |
| </childnode> |
| <childnode refid="5" relation="include"> |
| </childnode> |
| <childnode refid="13" relation="include"> |
| </childnode> |
| <childnode refid="15" relation="include"> |
| </childnode> |
| <childnode refid="16" relation="include"> |
| </childnode> |
| <childnode refid="35" relation="include"> |
| </childnode> |
| <childnode refid="30" relation="include"> |
| </childnode> |
| <childnode refid="36" relation="include"> |
| </childnode> |
| <childnode refid="50" relation="include"> |
| </childnode> |
| </node> |
| <node id="35"> |
| <label>iceberg/schema_field.h</label> |
| <link refid="schema__field_8h"/> |
| <childnode refid="32" relation="include"> |
| </childnode> |
| <childnode refid="8" relation="include"> |
| </childnode> |
| <childnode refid="12" relation="include"> |
| </childnode> |
| <childnode refid="26" relation="include"> |
| </childnode> |
| <childnode refid="15" relation="include"> |
| </childnode> |
| <childnode refid="16" relation="include"> |
| </childnode> |
| <childnode refid="19" relation="include"> |
| </childnode> |
| <childnode refid="20" relation="include"> |
| </childnode> |
| </node> |
| <node id="1"> |
| <label>iceberg/test/expression_visitor_test.cc</label> |
| <link refid="expression__visitor__test_8cc"/> |
| <childnode refid="2" relation="include"> |
| </childnode> |
| <childnode refid="3" relation="include"> |
| </childnode> |
| <childnode refid="46" relation="include"> |
| </childnode> |
| <childnode refid="48" relation="include"> |
| </childnode> |
| <childnode refid="16" relation="include"> |
| </childnode> |
| <childnode refid="49" relation="include"> |
| </childnode> |
| <childnode refid="55" relation="include"> |
| </childnode> |
| <childnode refid="30" relation="include"> |
| </childnode> |
| </node> |
| <node id="55"> |
| <label>iceberg/test/matchers.h</label> |
| <link refid="matchers_8h_source"/> |
| <childnode refid="56" relation="include"> |
| </childnode> |
| <childnode refid="2" relation="include"> |
| </childnode> |
| <childnode refid="16" relation="include"> |
| </childnode> |
| <childnode refid="21" relation="include"> |
| </childnode> |
| </node> |
| <node id="30"> |
| <label>iceberg/type.h</label> |
| <link refid="type_8h"/> |
| <childnode refid="31" relation="include"> |
| </childnode> |
| <childnode refid="32" relation="include"> |
| </childnode> |
| <childnode refid="8" relation="include"> |
| </childnode> |
| <childnode refid="33" relation="include"> |
| </childnode> |
| <childnode refid="11" relation="include"> |
| </childnode> |
| <childnode refid="12" relation="include"> |
| </childnode> |
| <childnode refid="34" relation="include"> |
| </childnode> |
| <childnode refid="13" relation="include"> |
| </childnode> |
| <childnode refid="15" relation="include"> |
| </childnode> |
| <childnode refid="16" relation="include"> |
| </childnode> |
| <childnode refid="35" relation="include"> |
| </childnode> |
| <childnode refid="20" relation="include"> |
| </childnode> |
| <childnode refid="36" relation="include"> |
| </childnode> |
| </node> |
| <node id="19"> |
| <label>iceberg/type_fwd.h</label> |
| <link refid="type__fwd_8h"/> |
| </node> |
| <node id="44"> |
| <label>iceberg/util/checked_cast.h</label> |
| <link refid="checked__cast_8h"/> |
| <childnode refid="8" relation="include"> |
| </childnode> |
| <childnode refid="40" relation="include"> |
| </childnode> |
| <childnode refid="45" relation="include"> |
| </childnode> |
| </node> |
| <node id="38"> |
| <label>iceberg/util/decimal.h</label> |
| <link refid="decimal_8h"/> |
| <childnode refid="31" relation="include"> |
| </childnode> |
| <childnode refid="28" relation="include"> |
| </childnode> |
| <childnode refid="32" relation="include"> |
| </childnode> |
| <childnode refid="39" relation="include"> |
| </childnode> |
| <childnode refid="12" relation="include"> |
| </childnode> |
| <childnode refid="26" relation="include"> |
| </childnode> |
| <childnode refid="40" relation="include"> |
| </childnode> |
| <childnode refid="13" relation="include"> |
| </childnode> |
| <childnode refid="15" relation="include"> |
| </childnode> |
| <childnode refid="16" relation="include"> |
| </childnode> |
| <childnode refid="20" relation="include"> |
| </childnode> |
| <childnode refid="41" relation="include"> |
| </childnode> |
| </node> |
| <node id="20"> |
| <label>iceberg/util/formattable.h</label> |
| <link refid="formattable_8h"/> |
| <childnode refid="12" relation="include"> |
| </childnode> |
| <childnode refid="15" relation="include"> |
| </childnode> |
| </node> |
| <node id="41"> |
| <label>iceberg/util/int128.h</label> |
| <link refid="int128_8h"/> |
| </node> |
| <node id="36"> |
| <label>iceberg/util/lazy.h</label> |
| <link refid="lazy_8h"/> |
| <childnode refid="7" relation="include"> |
| </childnode> |
| <childnode refid="4" relation="include"> |
| </childnode> |
| <childnode refid="37" relation="include"> |
| </childnode> |
| <childnode refid="16" relation="include"> |
| </childnode> |
| <childnode refid="21" relation="include"> |
| </childnode> |
| </node> |
| <node id="21"> |
| <label>iceberg/util/macros.h</label> |
| <link refid="macros_8h_source"/> |
| <childnode refid="22" relation="include"> |
| </childnode> |
| <childnode refid="23" relation="include"> |
| </childnode> |
| <childnode refid="16" relation="include"> |
| </childnode> |
| </node> |
| <node id="50"> |
| <label>iceberg/util/string_util.h</label> |
| <link refid="string__util_8h_source"/> |
| <childnode refid="51" relation="include"> |
| </childnode> |
| <childnode refid="52" relation="include"> |
| </childnode> |
| <childnode refid="53" relation="include"> |
| </childnode> |
| <childnode refid="54" relation="include"> |
| </childnode> |
| <childnode refid="12" relation="include"> |
| </childnode> |
| <childnode refid="26" relation="include"> |
| </childnode> |
| <childnode refid="40" relation="include"> |
| </childnode> |
| <childnode refid="9" relation="include"> |
| </childnode> |
| <childnode refid="45" relation="include"> |
| </childnode> |
| <childnode refid="15" relation="include"> |
| </childnode> |
| <childnode refid="16" relation="include"> |
| </childnode> |
| </node> |
| <node id="42"> |
| <label>iceberg/util/uuid.h</label> |
| <link refid="uuid_8h"/> |
| <childnode refid="31" relation="include"> |
| </childnode> |
| <childnode refid="32" relation="include"> |
| </childnode> |
| <childnode refid="11" relation="include"> |
| </childnode> |
| <childnode refid="26" relation="include"> |
| </childnode> |
| <childnode refid="15" relation="include"> |
| </childnode> |
| <childnode refid="16" relation="include"> |
| </childnode> |
| <childnode refid="20" relation="include"> |
| </childnode> |
| </node> |
| <node id="51"> |
| <label>algorithm</label> |
| </node> |
| <node id="31"> |
| <label>array</label> |
| </node> |
| <node id="22"> |
| <label>cassert</label> |
| </node> |
| <node id="52"> |
| <label>cerrno</label> |
| </node> |
| <node id="53"> |
| <label>charconv</label> |
| </node> |
| <node id="28"> |
| <label>compare</label> |
| </node> |
| <node id="7"> |
| <label>concepts</label> |
| </node> |
| <node id="32"> |
| <label>cstdint</label> |
| </node> |
| <node id="17"> |
| <label>expected</label> |
| </node> |
| <node id="18"> |
| <label>format</label> |
| </node> |
| <node id="4"> |
| <label>functional</label> |
| </node> |
| <node id="56"> |
| <label>gmock/gmock.h</label> |
| </node> |
| <node id="2"> |
| <label>gtest/gtest.h</label> |
| </node> |
| <node id="47"> |
| <label>initializer_list</label> |
| </node> |
| <node id="39"> |
| <label>iosfwd</label> |
| </node> |
| <node id="8"> |
| <label>memory</label> |
| </node> |
| <node id="37"> |
| <label>mutex</label> |
| </node> |
| <node id="33"> |
| <label>optional</label> |
| </node> |
| <node id="54"> |
| <label>ranges</label> |
| </node> |
| <node id="11"> |
| <label>span</label> |
| </node> |
| <node id="24"> |
| <label>stdexcept</label> |
| </node> |
| <node id="12"> |
| <label>string</label> |
| </node> |
| <node id="26"> |
| <label>string_view</label> |
| </node> |
| <node id="40"> |
| <label>type_traits</label> |
| </node> |
| <node id="9"> |
| <label>typeinfo</label> |
| </node> |
| <node id="34"> |
| <label>unordered_map</label> |
| </node> |
| <node id="5"> |
| <label>unordered_set</label> |
| </node> |
| <node id="45"> |
| <label>utility</label> |
| </node> |
| <node id="29"> |
| <label>variant</label> |
| </node> |
| <node id="13"> |
| <label>vector</label> |
| </node> |
| </incdepgraph> |
| <innerclass refid="classiceberg_1_1ExpressionVisitorTest" prot="public">iceberg::ExpressionVisitorTest</innerclass> |
| <innerclass refid="classiceberg_1_1BinderTest" prot="public">iceberg::BinderTest</innerclass> |
| <innerclass refid="classiceberg_1_1IsBoundVisitorTest" prot="public">iceberg::IsBoundVisitorTest</innerclass> |
| <innerclass refid="classiceberg_1_1RewriteNotTest" prot="public">iceberg::RewriteNotTest</innerclass> |
| <innerclass refid="classiceberg_1_1ReferenceVisitorTest" prot="public">iceberg::ReferenceVisitorTest</innerclass> |
| <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/><gtest/gtest.h></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/>"<ref refid="binder_8h" kindref="compound">iceberg/expression/binder.h</ref>"</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="23"><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="24"><highlight class="normal"></highlight><highlight class="preprocessor">#include<sp/>"<ref refid="rewrite__not_8h" kindref="compound">iceberg/expression/rewrite_not.h</ref>"</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="25"><highlight class="normal"></highlight><highlight class="preprocessor">#include<sp/>"iceberg/result.h"</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="26"><highlight class="normal"></highlight><highlight class="preprocessor">#include<sp/>"<ref refid="schema_8h" kindref="compound">iceberg/schema.h</ref>"</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="27"><highlight class="normal"></highlight><highlight class="preprocessor">#include<sp/>"iceberg/test/matchers.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></codeline> |
| <codeline lineno="30"><highlight class="normal"></highlight><highlight class="keyword">namespace<sp/></highlight><highlight class="normal">iceberg<sp/>{</highlight></codeline> |
| <codeline lineno="31"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="32" refid="classiceberg_1_1ExpressionVisitorTest" refkind="compound"><highlight class="normal"></highlight><highlight class="keyword">class<sp/></highlight><highlight class="normal"><ref refid="classiceberg_1_1ExpressionVisitorTest" kindref="compound">ExpressionVisitorTest</ref><sp/>:<sp/></highlight><highlight class="keyword">public</highlight><highlight class="normal"><sp/>::testing::Test<sp/>{</highlight></codeline> |
| <codeline lineno="33"><highlight class="normal"><sp/></highlight><highlight class="keyword">protected</highlight><highlight class="normal">:</highlight></codeline> |
| <codeline lineno="34"><highlight class="normal"><sp/><sp/></highlight><highlight class="keywordtype">void</highlight><highlight class="normal"><sp/>SetUp()</highlight><highlight class="keyword"><sp/>override<sp/></highlight><highlight class="normal">{</highlight></codeline> |
| <codeline lineno="35"><highlight class="normal"><sp/><sp/><sp/><sp/>schema_<sp/>=<sp/>std::make_shared<Schema>(</highlight></codeline> |
| <codeline lineno="36"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>std::vector<SchemaField>{<ref refid="classiceberg_1_1SchemaField_1a4ad7baa4dedd37e2f699a2f32deef942" kindref="member">SchemaField::MakeRequired</ref>(1,<sp/></highlight><highlight class="stringliteral">"id"</highlight><highlight class="normal">,<sp/><ref refid="group__type-factories_1gafca6afb41a025fd4a7eed7809d4b653f" kindref="member">int64</ref>()),</highlight></codeline> |
| <codeline lineno="37"><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/><ref refid="classiceberg_1_1SchemaField_1a0c8382f6e164b76f45e4b4c26028a872" kindref="member">SchemaField::MakeOptional</ref>(2,<sp/></highlight><highlight class="stringliteral">"name"</highlight><highlight class="normal">,<sp/></highlight><highlight class="keywordtype">string</highlight><highlight class="normal">()),</highlight></codeline> |
| <codeline lineno="38"><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/><ref refid="classiceberg_1_1SchemaField_1a4ad7baa4dedd37e2f699a2f32deef942" kindref="member">SchemaField::MakeRequired</ref>(3,<sp/></highlight><highlight class="stringliteral">"age"</highlight><highlight class="normal">,<sp/><ref refid="group__type-factories_1ga91f0688c58d168d755610a2b5a1a222e" kindref="member">int32</ref>()),</highlight></codeline> |
| <codeline lineno="39"><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/><ref refid="classiceberg_1_1SchemaField_1a0c8382f6e164b76f45e4b4c26028a872" kindref="member">SchemaField::MakeOptional</ref>(4,<sp/></highlight><highlight class="stringliteral">"salary"</highlight><highlight class="normal">,<sp/><ref refid="group__type-factories_1ga8457285a5fea3eda5b3f4289bce62ecb" kindref="member">float64</ref>()),</highlight></codeline> |
| <codeline lineno="40"><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/><ref refid="classiceberg_1_1SchemaField_1a4ad7baa4dedd37e2f699a2f32deef942" kindref="member">SchemaField::MakeRequired</ref>(5,<sp/></highlight><highlight class="stringliteral">"active"</highlight><highlight class="normal">,<sp/></highlight><highlight class="keywordtype">boolean</highlight><highlight class="normal">())},</highlight></codeline> |
| <codeline lineno="41"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="comment">/*schema_id=*/</highlight><highlight class="normal">0);</highlight></codeline> |
| <codeline lineno="42"><highlight class="normal"><sp/><sp/>}</highlight></codeline> |
| <codeline lineno="43"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="44"><highlight class="normal"><sp/><sp/>Result<std::shared_ptr<Expression>><sp/>Bind(</highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/>std::shared_ptr<Expression>&<sp/>expr,</highlight></codeline> |
| <codeline lineno="45"><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/></highlight><highlight class="keywordtype">bool</highlight><highlight class="normal"><sp/>case_sensitive<sp/>=<sp/></highlight><highlight class="keyword">true</highlight><highlight class="normal">)<sp/>{</highlight></codeline> |
| <codeline lineno="46"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>Binder::Bind(*schema_,<sp/>expr,<sp/>case_sensitive);</highlight></codeline> |
| <codeline lineno="47"><highlight class="normal"><sp/><sp/>}</highlight></codeline> |
| <codeline lineno="48"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="49"><highlight class="normal"><sp/><sp/>std::shared_ptr<Schema><sp/>schema_;</highlight></codeline> |
| <codeline lineno="50"><highlight class="normal">};</highlight></codeline> |
| <codeline lineno="51"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="52" refid="classiceberg_1_1BinderTest" refkind="compound"><highlight class="normal"></highlight><highlight class="keyword">class<sp/></highlight><highlight class="normal"><ref refid="classiceberg_1_1BinderTest" kindref="compound">BinderTest</ref><sp/>:<sp/></highlight><highlight class="keyword">public</highlight><highlight class="normal"><sp/><ref refid="classiceberg_1_1ExpressionVisitorTest" kindref="compound">ExpressionVisitorTest</ref><sp/>{};</highlight></codeline> |
| <codeline lineno="53"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="54"><highlight class="normal">TEST_F(<ref refid="classiceberg_1_1BinderTest" kindref="compound">BinderTest</ref>,<sp/>UnaryPredicates)<sp/>{</highlight></codeline> |
| <codeline lineno="55"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>Test<sp/>IsNull</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="56"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>unbound_is_null<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1ac60a4b5dba2748af3fcb53d4434e290d" kindref="member">Expressions::IsNull</ref>(</highlight><highlight class="stringliteral">"name"</highlight><highlight class="normal">);</highlight></codeline> |
| <codeline lineno="57"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>bound_is_null,<sp/>Bind(unbound_is_null));</highlight></codeline> |
| <codeline lineno="58"><highlight class="normal"><sp/><sp/>EXPECT_EQ(bound_is_null->op(),<sp/>Expression::Operation::kIsNull);</highlight></codeline> |
| <codeline lineno="59"><highlight class="normal"><sp/><sp/>EXPECT_TRUE(bound_is_null->is_bound_predicate());</highlight></codeline> |
| <codeline lineno="60"><highlight class="normal"><sp/><sp/>EXPECT_EQ(bound_is_null->ToString(),<sp/></highlight><highlight class="stringliteral">"is_null(ref(id=2,<sp/>type=string))"</highlight><highlight class="normal">);</highlight></codeline> |
| <codeline lineno="61"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="62"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>Test<sp/>NotNull</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="63"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>unbound_not_null<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a495669f931ea0ba80d4ed0581c53598d" kindref="member">Expressions::NotNull</ref>(</highlight><highlight class="stringliteral">"name"</highlight><highlight class="normal">);</highlight></codeline> |
| <codeline lineno="64"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>bound_not_null,<sp/>Bind(unbound_not_null));</highlight></codeline> |
| <codeline lineno="65"><highlight class="normal"><sp/><sp/>EXPECT_EQ(bound_not_null->op(),<sp/>Expression::Operation::kNotNull);</highlight></codeline> |
| <codeline lineno="66"><highlight class="normal"><sp/><sp/>EXPECT_TRUE(bound_not_null->is_bound_predicate());</highlight></codeline> |
| <codeline lineno="67"><highlight class="normal"><sp/><sp/>EXPECT_EQ(bound_not_null->ToString(),<sp/></highlight><highlight class="stringliteral">"not_null(ref(id=2,<sp/>type=string))"</highlight><highlight class="normal">);</highlight></codeline> |
| <codeline lineno="68"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="69"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>Test<sp/>IsNaN</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="70"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>unbound_is_nan<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1aed115b3c4c0546727ee63a4d925cbda0" kindref="member">Expressions::IsNaN</ref>(</highlight><highlight class="stringliteral">"salary"</highlight><highlight class="normal">);</highlight></codeline> |
| <codeline lineno="71"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>bound_is_nan,<sp/>Bind(unbound_is_nan));</highlight></codeline> |
| <codeline lineno="72"><highlight class="normal"><sp/><sp/>EXPECT_EQ(bound_is_nan->op(),<sp/>Expression::Operation::kIsNan);</highlight></codeline> |
| <codeline lineno="73"><highlight class="normal"><sp/><sp/>EXPECT_TRUE(bound_is_nan->is_bound_predicate());</highlight></codeline> |
| <codeline lineno="74"><highlight class="normal"><sp/><sp/>EXPECT_EQ(bound_is_nan->ToString(),<sp/></highlight><highlight class="stringliteral">"is_nan(ref(id=4,<sp/>type=double))"</highlight><highlight class="normal">);</highlight></codeline> |
| <codeline lineno="75"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="76"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>Test<sp/>NotNaN</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="77"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>unbound_not_nan<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a323f4e5e0808914a3e2a7bf387109ca1" kindref="member">Expressions::NotNaN</ref>(</highlight><highlight class="stringliteral">"salary"</highlight><highlight class="normal">);</highlight></codeline> |
| <codeline lineno="78"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>bound_not_nan,<sp/>Bind(unbound_not_nan));</highlight></codeline> |
| <codeline lineno="79"><highlight class="normal"><sp/><sp/>EXPECT_EQ(bound_not_nan->op(),<sp/>Expression::Operation::kNotNan);</highlight></codeline> |
| <codeline lineno="80"><highlight class="normal"><sp/><sp/>EXPECT_TRUE(bound_not_nan->is_bound_predicate());</highlight></codeline> |
| <codeline lineno="81"><highlight class="normal"><sp/><sp/>EXPECT_EQ(bound_not_nan->ToString(),<sp/></highlight><highlight class="stringliteral">"not_nan(ref(id=4,<sp/>type=double))"</highlight><highlight class="normal">);</highlight></codeline> |
| <codeline lineno="82"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="83"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="84"><highlight class="normal">TEST_F(BinderTest,<sp/>ComparisonPredicates)<sp/>{</highlight></codeline> |
| <codeline lineno="85"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>Test<sp/>LessThan</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="86"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>unbound_lt<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a83afed36da05da0cb524800844b0974f" kindref="member">Expressions::LessThan</ref>(</highlight><highlight class="stringliteral">"age"</highlight><highlight class="normal">,<sp/>Literal::Int(30));</highlight></codeline> |
| <codeline lineno="87"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>bound_lt,<sp/>Bind(unbound_lt));</highlight></codeline> |
| <codeline lineno="88"><highlight class="normal"><sp/><sp/>EXPECT_EQ(bound_lt->op(),<sp/>Expression::Operation::kLt);</highlight></codeline> |
| <codeline lineno="89"><highlight class="normal"><sp/><sp/>EXPECT_TRUE(bound_lt->is_bound_predicate());</highlight></codeline> |
| <codeline lineno="90"><highlight class="normal"><sp/><sp/>EXPECT_EQ(bound_lt->ToString(),<sp/></highlight><highlight class="stringliteral">"ref(id=3,<sp/>type=int)<sp/><<sp/>30"</highlight><highlight class="normal">);</highlight></codeline> |
| <codeline lineno="91"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="92"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>Test<sp/>LessThanOrEqual</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="93"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>unbound_lte<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a18cb4a5f3aff3811cd5a2ed9916a5686" kindref="member">Expressions::LessThanOrEqual</ref>(</highlight><highlight class="stringliteral">"age"</highlight><highlight class="normal">,<sp/>Literal::Int(30));</highlight></codeline> |
| <codeline lineno="94"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>bound_lte,<sp/>Bind(unbound_lte));</highlight></codeline> |
| <codeline lineno="95"><highlight class="normal"><sp/><sp/>EXPECT_EQ(bound_lte->op(),<sp/>Expression::Operation::kLtEq);</highlight></codeline> |
| <codeline lineno="96"><highlight class="normal"><sp/><sp/>EXPECT_TRUE(bound_lte->is_bound_predicate());</highlight></codeline> |
| <codeline lineno="97"><highlight class="normal"><sp/><sp/>EXPECT_EQ(bound_lte->ToString(),<sp/></highlight><highlight class="stringliteral">"ref(id=3,<sp/>type=int)<sp/><=<sp/>30"</highlight><highlight class="normal">);</highlight></codeline> |
| <codeline lineno="98"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="99"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>Test<sp/>GreaterThan</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="100"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>unbound_gt<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a0bef3bed364ed74910943f653899a39d" kindref="member">Expressions::GreaterThan</ref>(</highlight><highlight class="stringliteral">"salary"</highlight><highlight class="normal">,<sp/>Literal::Double(50000.0));</highlight></codeline> |
| <codeline lineno="101"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>bound_gt,<sp/>Bind(unbound_gt));</highlight></codeline> |
| <codeline lineno="102"><highlight class="normal"><sp/><sp/>EXPECT_EQ(bound_gt->op(),<sp/>Expression::Operation::kGt);</highlight></codeline> |
| <codeline lineno="103"><highlight class="normal"><sp/><sp/>EXPECT_TRUE(bound_gt->is_bound_predicate());</highlight></codeline> |
| <codeline lineno="104"><highlight class="normal"><sp/><sp/>EXPECT_EQ(bound_gt->ToString(),<sp/></highlight><highlight class="stringliteral">"ref(id=4,<sp/>type=double)<sp/>><sp/>50000.000000"</highlight><highlight class="normal">);</highlight></codeline> |
| <codeline lineno="105"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="106"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>Test<sp/>GreaterThanOrEqual</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="107"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>unbound_gte<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a5e018963e69bcfc3503242d4c2a380ae" kindref="member">Expressions::GreaterThanOrEqual</ref>(</highlight><highlight class="stringliteral">"salary"</highlight><highlight class="normal">,<sp/>Literal::Double(50000.0));</highlight></codeline> |
| <codeline lineno="108"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>bound_gte,<sp/>Bind(unbound_gte));</highlight></codeline> |
| <codeline lineno="109"><highlight class="normal"><sp/><sp/>EXPECT_EQ(bound_gte->op(),<sp/>Expression::Operation::kGtEq);</highlight></codeline> |
| <codeline lineno="110"><highlight class="normal"><sp/><sp/>EXPECT_TRUE(bound_gte->is_bound_predicate());</highlight></codeline> |
| <codeline lineno="111"><highlight class="normal"><sp/><sp/>EXPECT_EQ(bound_gte->ToString(),<sp/></highlight><highlight class="stringliteral">"ref(id=4,<sp/>type=double)<sp/>>=<sp/>50000.000000"</highlight><highlight class="normal">);</highlight></codeline> |
| <codeline lineno="112"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="113"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>Test<sp/>Equal</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="114"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>unbound_eq<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a099da8de1b919fdc4574458b308d9ea7" kindref="member">Expressions::Equal</ref>(</highlight><highlight class="stringliteral">"name"</highlight><highlight class="normal">,<sp/>Literal::String(</highlight><highlight class="stringliteral">"Alice"</highlight><highlight class="normal">));</highlight></codeline> |
| <codeline lineno="115"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>bound_eq,<sp/>Bind(unbound_eq));</highlight></codeline> |
| <codeline lineno="116"><highlight class="normal"><sp/><sp/>EXPECT_EQ(bound_eq->op(),<sp/>Expression::Operation::kEq);</highlight></codeline> |
| <codeline lineno="117"><highlight class="normal"><sp/><sp/>EXPECT_TRUE(bound_eq->is_bound_predicate());</highlight></codeline> |
| <codeline lineno="118"><highlight class="normal"><sp/><sp/>EXPECT_EQ(bound_eq->ToString(),<sp/></highlight><highlight class="stringliteral">"ref(id=2,<sp/>type=string)<sp/>==<sp/>\"Alice\""</highlight><highlight class="normal">);</highlight></codeline> |
| <codeline lineno="119"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="120"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>Test<sp/>NotEqual</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="121"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>unbound_neq<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a61c61c39ad47c427848c7ab2f0d2224f" kindref="member">Expressions::NotEqual</ref>(</highlight><highlight class="stringliteral">"name"</highlight><highlight class="normal">,<sp/>Literal::String(</highlight><highlight class="stringliteral">"Bob"</highlight><highlight class="normal">));</highlight></codeline> |
| <codeline lineno="122"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>bound_neq,<sp/>Bind(unbound_neq));</highlight></codeline> |
| <codeline lineno="123"><highlight class="normal"><sp/><sp/>EXPECT_EQ(bound_neq->op(),<sp/>Expression::Operation::kNotEq);</highlight></codeline> |
| <codeline lineno="124"><highlight class="normal"><sp/><sp/>EXPECT_TRUE(bound_neq->is_bound_predicate());</highlight></codeline> |
| <codeline lineno="125"><highlight class="normal"><sp/><sp/>EXPECT_EQ(bound_neq->ToString(),<sp/></highlight><highlight class="stringliteral">"ref(id=2,<sp/>type=string)<sp/>!=<sp/>\"Bob\""</highlight><highlight class="normal">);</highlight></codeline> |
| <codeline lineno="126"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="127"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="128"><highlight class="normal">TEST_F(BinderTest,<sp/>StringPredicates)<sp/>{</highlight></codeline> |
| <codeline lineno="129"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>Test<sp/>StartsWith</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="130"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>unbound_starts<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1af8d953550427e80e5ec04179d194d141" kindref="member">Expressions::StartsWith</ref>(</highlight><highlight class="stringliteral">"name"</highlight><highlight class="normal">,<sp/></highlight><highlight class="stringliteral">"Al"</highlight><highlight class="normal">);</highlight></codeline> |
| <codeline lineno="131"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>bound_starts,<sp/>Bind(unbound_starts));</highlight></codeline> |
| <codeline lineno="132"><highlight class="normal"><sp/><sp/>EXPECT_EQ(bound_starts->op(),<sp/>Expression::Operation::kStartsWith);</highlight></codeline> |
| <codeline lineno="133"><highlight class="normal"><sp/><sp/>EXPECT_TRUE(bound_starts->is_bound_predicate());</highlight></codeline> |
| <codeline lineno="134"><highlight class="normal"><sp/><sp/>EXPECT_EQ(bound_starts->ToString(),<sp/></highlight><highlight class="stringliteral">"ref(id=2,<sp/>type=string)<sp/>startsWith<sp/>\"\"Al\"\""</highlight><highlight class="normal">);</highlight></codeline> |
| <codeline lineno="135"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="136"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>Test<sp/>NotStartsWith</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="137"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>unbound_not_starts<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1acaed82242ca2977f607265a96fb3cf71" kindref="member">Expressions::NotStartsWith</ref>(</highlight><highlight class="stringliteral">"name"</highlight><highlight class="normal">,<sp/></highlight><highlight class="stringliteral">"Bo"</highlight><highlight class="normal">);</highlight></codeline> |
| <codeline lineno="138"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>bound_not_starts,<sp/>Bind(unbound_not_starts));</highlight></codeline> |
| <codeline lineno="139"><highlight class="normal"><sp/><sp/>EXPECT_EQ(bound_not_starts->op(),<sp/>Expression::Operation::kNotStartsWith);</highlight></codeline> |
| <codeline lineno="140"><highlight class="normal"><sp/><sp/>EXPECT_TRUE(bound_not_starts->is_bound_predicate());</highlight></codeline> |
| <codeline lineno="141"><highlight class="normal"><sp/><sp/>EXPECT_EQ(bound_not_starts->ToString(),</highlight></codeline> |
| <codeline lineno="142"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="stringliteral">"ref(id=2,<sp/>type=string)<sp/>notStartsWith<sp/>\"\"Bo\"\""</highlight><highlight class="normal">);</highlight></codeline> |
| <codeline lineno="143"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="144"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="145"><highlight class="normal">TEST_F(BinderTest,<sp/>SetPredicates)<sp/>{</highlight></codeline> |
| <codeline lineno="146"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>Test<sp/>In</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="147"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>unbound_in<sp/>=</highlight></codeline> |
| <codeline lineno="148"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><ref refid="classiceberg_1_1Expressions_1aa53e1579311db56887c64dc01b483ee4" kindref="member">Expressions::In</ref>(</highlight><highlight class="stringliteral">"age"</highlight><highlight class="normal">,<sp/>{Literal::Int(25),<sp/>Literal::Int(30),<sp/>Literal::Int(35)});</highlight></codeline> |
| <codeline lineno="149"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>bound_in,<sp/>Bind(unbound_in));</highlight></codeline> |
| <codeline lineno="150"><highlight class="normal"><sp/><sp/>EXPECT_EQ(bound_in->op(),<sp/>Expression::Operation::kIn);</highlight></codeline> |
| <codeline lineno="151"><highlight class="normal"><sp/><sp/>EXPECT_TRUE(bound_in->is_bound_predicate());</highlight></codeline> |
| <codeline lineno="152"><highlight class="normal"><sp/><sp/>EXPECT_THAT(bound_in->ToString(),<sp/>testing::HasSubstr(</highlight><highlight class="stringliteral">"ref(id=3,<sp/>type=int)<sp/>in<sp/>("</highlight><highlight class="normal">));</highlight></codeline> |
| <codeline lineno="153"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="154"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>Test<sp/>NotIn</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="155"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>unbound_not_in<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1ab54116334db7f9fd8cad08e06d0dcff3" kindref="member">Expressions::NotIn</ref>(</highlight><highlight class="stringliteral">"age"</highlight><highlight class="normal">,<sp/>{Literal::Int(40),<sp/>Literal::Int(45)});</highlight></codeline> |
| <codeline lineno="156"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>bound_not_in,<sp/>Bind(unbound_not_in));</highlight></codeline> |
| <codeline lineno="157"><highlight class="normal"><sp/><sp/>EXPECT_EQ(bound_not_in->op(),<sp/>Expression::Operation::kNotIn);</highlight></codeline> |
| <codeline lineno="158"><highlight class="normal"><sp/><sp/>EXPECT_TRUE(bound_not_in->is_bound_predicate());</highlight></codeline> |
| <codeline lineno="159"><highlight class="normal"><sp/><sp/>EXPECT_THAT(bound_not_in->ToString(),</highlight></codeline> |
| <codeline lineno="160"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>testing::HasSubstr(</highlight><highlight class="stringliteral">"ref(id=3,<sp/>type=int)<sp/>not<sp/>in<sp/>("</highlight><highlight class="normal">));</highlight></codeline> |
| <codeline lineno="161"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="162"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="163"><highlight class="normal">TEST_F(BinderTest,<sp/>Constants)<sp/>{</highlight></codeline> |
| <codeline lineno="164"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>Test<sp/>AlwaysTrue</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="165"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>true_expr<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a9843c9fc8be17d06e7ee48fc56b92acc" kindref="member">Expressions::AlwaysTrue</ref>();</highlight></codeline> |
| <codeline lineno="166"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>bound_true,<sp/>Bind(true_expr));</highlight></codeline> |
| <codeline lineno="167"><highlight class="normal"><sp/><sp/>EXPECT_EQ(bound_true->op(),<sp/>Expression::Operation::kTrue);</highlight></codeline> |
| <codeline lineno="168"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="169"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>Test<sp/>AlwaysFalse</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="170"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>false_expr<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a4f7ec85c686c0a38ac13964d8528a097" kindref="member">Expressions::AlwaysFalse</ref>();</highlight></codeline> |
| <codeline lineno="171"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>bound_false,<sp/>Bind(false_expr));</highlight></codeline> |
| <codeline lineno="172"><highlight class="normal"><sp/><sp/>EXPECT_EQ(bound_false->op(),<sp/>Expression::Operation::kFalse);</highlight></codeline> |
| <codeline lineno="173"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="174"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="175"><highlight class="normal">TEST_F(BinderTest,<sp/>AndExpression)<sp/>{</highlight></codeline> |
| <codeline lineno="176"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>pred1<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a099da8de1b919fdc4574458b308d9ea7" kindref="member">Expressions::Equal</ref>(</highlight><highlight class="stringliteral">"name"</highlight><highlight class="normal">,<sp/>Literal::String(</highlight><highlight class="stringliteral">"Alice"</highlight><highlight class="normal">));</highlight></codeline> |
| <codeline lineno="177"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>pred2<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a0bef3bed364ed74910943f653899a39d" kindref="member">Expressions::GreaterThan</ref>(</highlight><highlight class="stringliteral">"age"</highlight><highlight class="normal">,<sp/>Literal::Int(25));</highlight></codeline> |
| <codeline lineno="178"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>unbound_and<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1ad5129434b9a0e45e3fd3ffd53f5a3a40" kindref="member">Expressions::And</ref>(pred1,<sp/>pred2);</highlight></codeline> |
| <codeline lineno="179"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="180"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>bound_and,<sp/>Bind(unbound_and));</highlight></codeline> |
| <codeline lineno="181"><highlight class="normal"><sp/><sp/>EXPECT_EQ(bound_and->op(),<sp/>Expression::Operation::kAnd);</highlight></codeline> |
| <codeline lineno="182"><highlight class="normal"><sp/><sp/>EXPECT_EQ(bound_and->ToString(),</highlight></codeline> |
| <codeline lineno="183"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="stringliteral">"(ref(id=2,<sp/>type=string)<sp/>==<sp/>\"Alice\"<sp/>and<sp/>ref(id=3,<sp/>type=int)<sp/>><sp/>25)"</highlight><highlight class="normal">);</highlight></codeline> |
| <codeline lineno="184"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="185"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>Verify<sp/>both<sp/>children<sp/>are<sp/>bound</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="186"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>result<sp/>=<sp/>IsBoundVisitor::IsBound(bound_and);</highlight></codeline> |
| <codeline lineno="187"><highlight class="normal"><sp/><sp/>ASSERT_THAT(result,<sp/>IsOk());</highlight></codeline> |
| <codeline lineno="188"><highlight class="normal"><sp/><sp/>EXPECT_TRUE(result.value());</highlight></codeline> |
| <codeline lineno="189"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="190"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="191"><highlight class="normal">TEST_F(BinderTest,<sp/>OrExpression)<sp/>{</highlight></codeline> |
| <codeline lineno="192"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>pred1<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1ac60a4b5dba2748af3fcb53d4434e290d" kindref="member">Expressions::IsNull</ref>(</highlight><highlight class="stringliteral">"name"</highlight><highlight class="normal">);</highlight></codeline> |
| <codeline lineno="193"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>pred2<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a83afed36da05da0cb524800844b0974f" kindref="member">Expressions::LessThan</ref>(</highlight><highlight class="stringliteral">"salary"</highlight><highlight class="normal">,<sp/>Literal::Double(30000.0));</highlight></codeline> |
| <codeline lineno="194"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>unbound_or<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1ab6f02015ae774f2ee14bcb7dfba2c287" kindref="member">Expressions::Or</ref>(pred1,<sp/>pred2);</highlight></codeline> |
| <codeline lineno="195"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="196"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>bound_or,<sp/>Bind(unbound_or));</highlight></codeline> |
| <codeline lineno="197"><highlight class="normal"><sp/><sp/>EXPECT_EQ(bound_or->op(),<sp/>Expression::Operation::kOr);</highlight></codeline> |
| <codeline lineno="198"><highlight class="normal"><sp/><sp/>EXPECT_EQ(bound_or->ToString(),</highlight></codeline> |
| <codeline lineno="199"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="stringliteral">"(is_null(ref(id=2,<sp/>type=string))<sp/>or<sp/>ref(id=4,<sp/>type=double)<sp/><<sp/>30000.000000)"</highlight><highlight class="normal">);</highlight></codeline> |
| <codeline lineno="200"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="201"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>Verify<sp/>both<sp/>children<sp/>are<sp/>bound</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="202"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>result<sp/>=<sp/>IsBoundVisitor::IsBound(bound_or);</highlight></codeline> |
| <codeline lineno="203"><highlight class="normal"><sp/><sp/>ASSERT_THAT(result,<sp/>IsOk());</highlight></codeline> |
| <codeline lineno="204"><highlight class="normal"><sp/><sp/>EXPECT_TRUE(result.value());</highlight></codeline> |
| <codeline lineno="205"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="206"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="207"><highlight class="normal">TEST_F(BinderTest,<sp/>NotExpression)<sp/>{</highlight></codeline> |
| <codeline lineno="208"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>pred<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a099da8de1b919fdc4574458b308d9ea7" kindref="member">Expressions::Equal</ref>(</highlight><highlight class="stringliteral">"active"</highlight><highlight class="normal">,<sp/><ref refid="classiceberg_1_1Literal_1ada29f73dbb21bde3e3da88e70ec56be3" kindref="member">Literal::Boolean</ref>(</highlight><highlight class="keyword">true</highlight><highlight class="normal">));</highlight></codeline> |
| <codeline lineno="209"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>unbound_not<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a19757ac2b0dcf6e0b3acbb861b934e5e" kindref="member">Expressions::Not</ref>(pred);</highlight></codeline> |
| <codeline lineno="210"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="211"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>bound_not,<sp/>Bind(unbound_not));</highlight></codeline> |
| <codeline lineno="212"><highlight class="normal"><sp/><sp/>EXPECT_EQ(bound_not->op(),<sp/>Expression::Operation::kNot);</highlight></codeline> |
| <codeline lineno="213"><highlight class="normal"><sp/><sp/>EXPECT_EQ(bound_not->ToString(),<sp/></highlight><highlight class="stringliteral">"not(ref(id=5,<sp/>type=boolean)<sp/>==<sp/>true)"</highlight><highlight class="normal">);</highlight></codeline> |
| <codeline lineno="214"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="215"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>Verify<sp/>child<sp/>is<sp/>bound</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="216"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>result<sp/>=<sp/>IsBoundVisitor::IsBound(bound_not);</highlight></codeline> |
| <codeline lineno="217"><highlight class="normal"><sp/><sp/>ASSERT_THAT(result,<sp/>IsOk());</highlight></codeline> |
| <codeline lineno="218"><highlight class="normal"><sp/><sp/>EXPECT_TRUE(result.value());</highlight></codeline> |
| <codeline lineno="219"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="220"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="221"><highlight class="normal">TEST_F(BinderTest,<sp/>ComplexNestedExpression)<sp/>{</highlight></codeline> |
| <codeline lineno="222"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>(name<sp/>=<sp/>'Alice'<sp/>AND<sp/>age<sp/>><sp/>25)<sp/>OR<sp/>(salary<sp/><<sp/>30000<sp/>AND<sp/>active<sp/>=<sp/>true)</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="223"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>pred1<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a099da8de1b919fdc4574458b308d9ea7" kindref="member">Expressions::Equal</ref>(</highlight><highlight class="stringliteral">"name"</highlight><highlight class="normal">,<sp/>Literal::String(</highlight><highlight class="stringliteral">"Alice"</highlight><highlight class="normal">));</highlight></codeline> |
| <codeline lineno="224"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>pred2<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a0bef3bed364ed74910943f653899a39d" kindref="member">Expressions::GreaterThan</ref>(</highlight><highlight class="stringliteral">"age"</highlight><highlight class="normal">,<sp/>Literal::Int(25));</highlight></codeline> |
| <codeline lineno="225"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>pred3<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a83afed36da05da0cb524800844b0974f" kindref="member">Expressions::LessThan</ref>(</highlight><highlight class="stringliteral">"salary"</highlight><highlight class="normal">,<sp/>Literal::Double(30000.0));</highlight></codeline> |
| <codeline lineno="226"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>pred4<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a099da8de1b919fdc4574458b308d9ea7" kindref="member">Expressions::Equal</ref>(</highlight><highlight class="stringliteral">"active"</highlight><highlight class="normal">,<sp/><ref refid="classiceberg_1_1Literal_1ada29f73dbb21bde3e3da88e70ec56be3" kindref="member">Literal::Boolean</ref>(</highlight><highlight class="keyword">true</highlight><highlight class="normal">));</highlight></codeline> |
| <codeline lineno="227"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="228"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>and1<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1ad5129434b9a0e45e3fd3ffd53f5a3a40" kindref="member">Expressions::And</ref>(pred1,<sp/>pred2);</highlight></codeline> |
| <codeline lineno="229"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>and2<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1ad5129434b9a0e45e3fd3ffd53f5a3a40" kindref="member">Expressions::And</ref>(pred3,<sp/>pred4);</highlight></codeline> |
| <codeline lineno="230"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>complex_or<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1ab6f02015ae774f2ee14bcb7dfba2c287" kindref="member">Expressions::Or</ref>(and1,<sp/>and2);</highlight></codeline> |
| <codeline lineno="231"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="232"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>bound_complex,<sp/>Bind(complex_or));</highlight></codeline> |
| <codeline lineno="233"><highlight class="normal"><sp/><sp/>EXPECT_EQ(bound_complex->op(),<sp/>Expression::Operation::kOr);</highlight></codeline> |
| <codeline lineno="234"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="235"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>Verify<sp/>entire<sp/>tree<sp/>is<sp/>bound</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="236"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>result<sp/>=<sp/>IsBoundVisitor::IsBound(bound_complex);</highlight></codeline> |
| <codeline lineno="237"><highlight class="normal"><sp/><sp/>ASSERT_THAT(result,<sp/>IsOk());</highlight></codeline> |
| <codeline lineno="238"><highlight class="normal"><sp/><sp/>EXPECT_TRUE(result.value());</highlight></codeline> |
| <codeline lineno="239"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="240"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="241"><highlight class="normal">TEST_F(BinderTest,<sp/>CaseSensitive)<sp/>{</highlight></codeline> |
| <codeline lineno="242"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>Create<sp/>predicate<sp/>with<sp/>exact<sp/>field<sp/>name</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="243"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>pred_exact<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a099da8de1b919fdc4574458b308d9ea7" kindref="member">Expressions::Equal</ref>(</highlight><highlight class="stringliteral">"name"</highlight><highlight class="normal">,<sp/>Literal::String(</highlight><highlight class="stringliteral">"Alice"</highlight><highlight class="normal">));</highlight></codeline> |
| <codeline lineno="244"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>bound_exact,<sp/>Bind(pred_exact,<sp/></highlight><highlight class="keyword">true</highlight><highlight class="normal">));</highlight></codeline> |
| <codeline lineno="245"><highlight class="normal"><sp/><sp/>EXPECT_EQ(bound_exact->op(),<sp/>Expression::Operation::kEq);</highlight></codeline> |
| <codeline lineno="246"><highlight class="normal"><sp/><sp/>EXPECT_TRUE(bound_exact->is_bound_predicate());</highlight></codeline> |
| <codeline lineno="247"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="248"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>Create<sp/>predicate<sp/>with<sp/>different<sp/>case<sp/>-<sp/>should<sp/>fail<sp/>with<sp/>case-sensitive<sp/>binding</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="249"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>pred_wrong_case<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a099da8de1b919fdc4574458b308d9ea7" kindref="member">Expressions::Equal</ref>(</highlight><highlight class="stringliteral">"NAME"</highlight><highlight class="normal">,<sp/>Literal::String(</highlight><highlight class="stringliteral">"Alice"</highlight><highlight class="normal">));</highlight></codeline> |
| <codeline lineno="250"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>result_case_sensitive<sp/>=<sp/>Bind(pred_wrong_case,<sp/></highlight><highlight class="keyword">true</highlight><highlight class="normal">);</highlight></codeline> |
| <codeline lineno="251"><highlight class="normal"><sp/><sp/>EXPECT_THAT(result_case_sensitive,<sp/>HasErrorMessage(</highlight><highlight class="stringliteral">"NAME"</highlight><highlight class="normal">));</highlight></codeline> |
| <codeline lineno="252"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="253"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="254"><highlight class="normal">TEST_F(BinderTest,<sp/>CaseInsensitive)<sp/>{</highlight></codeline> |
| <codeline lineno="255"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>Create<sp/>predicate<sp/>with<sp/>different<sp/>case</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="256"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>pred_upper<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a099da8de1b919fdc4574458b308d9ea7" kindref="member">Expressions::Equal</ref>(</highlight><highlight class="stringliteral">"NAME"</highlight><highlight class="normal">,<sp/>Literal::String(</highlight><highlight class="stringliteral">"Alice"</highlight><highlight class="normal">));</highlight></codeline> |
| <codeline lineno="257"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>bound_upper,<sp/>Bind(pred_upper,<sp/></highlight><highlight class="keyword">false</highlight><highlight class="normal">));</highlight></codeline> |
| <codeline lineno="258"><highlight class="normal"><sp/><sp/>EXPECT_EQ(bound_upper->op(),<sp/>Expression::Operation::kEq);</highlight></codeline> |
| <codeline lineno="259"><highlight class="normal"><sp/><sp/>EXPECT_TRUE(bound_upper->is_bound_predicate());</highlight></codeline> |
| <codeline lineno="260"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="261"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>Create<sp/>predicate<sp/>with<sp/>mixed<sp/>case</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="262"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>pred_mixed<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a099da8de1b919fdc4574458b308d9ea7" kindref="member">Expressions::Equal</ref>(</highlight><highlight class="stringliteral">"NaMe"</highlight><highlight class="normal">,<sp/>Literal::String(</highlight><highlight class="stringliteral">"Bob"</highlight><highlight class="normal">));</highlight></codeline> |
| <codeline lineno="263"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>bound_mixed,<sp/>Bind(pred_mixed,<sp/></highlight><highlight class="keyword">false</highlight><highlight class="normal">));</highlight></codeline> |
| <codeline lineno="264"><highlight class="normal"><sp/><sp/>EXPECT_EQ(bound_mixed->op(),<sp/>Expression::Operation::kEq);</highlight></codeline> |
| <codeline lineno="265"><highlight class="normal"><sp/><sp/>EXPECT_TRUE(bound_mixed->is_bound_predicate());</highlight></codeline> |
| <codeline lineno="266"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="267"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="268"><highlight class="normal">TEST_F(BinderTest,<sp/>ErrorFieldNotFound)<sp/>{</highlight></codeline> |
| <codeline lineno="269"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>Try<sp/>to<sp/>bind<sp/>with<sp/>non-existent<sp/>field</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="270"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>pred_nonexistent<sp/>=</highlight></codeline> |
| <codeline lineno="271"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><ref refid="classiceberg_1_1Expressions_1a099da8de1b919fdc4574458b308d9ea7" kindref="member">Expressions::Equal</ref>(</highlight><highlight class="stringliteral">"nonexistent_field"</highlight><highlight class="normal">,<sp/>Literal::String(</highlight><highlight class="stringliteral">"value"</highlight><highlight class="normal">));</highlight></codeline> |
| <codeline lineno="272"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>result<sp/>=<sp/>Bind(pred_nonexistent);</highlight></codeline> |
| <codeline lineno="273"><highlight class="normal"><sp/><sp/>EXPECT_THAT(result,<sp/>HasErrorMessage(</highlight><highlight class="stringliteral">"Cannot<sp/>find<sp/>field<sp/>'nonexistent_field'"</highlight><highlight class="normal">));</highlight></codeline> |
| <codeline lineno="274"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="275"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="276"><highlight class="normal">TEST_F(BinderTest,<sp/>ErrorAlreadyBound)<sp/>{</highlight></codeline> |
| <codeline lineno="277"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>First<sp/>bind<sp/>the<sp/>predicate</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="278"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>unbound_pred<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a099da8de1b919fdc4574458b308d9ea7" kindref="member">Expressions::Equal</ref>(</highlight><highlight class="stringliteral">"name"</highlight><highlight class="normal">,<sp/>Literal::String(</highlight><highlight class="stringliteral">"Alice"</highlight><highlight class="normal">));</highlight></codeline> |
| <codeline lineno="279"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>bound_pred,<sp/>Bind(unbound_pred));</highlight></codeline> |
| <codeline lineno="280"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="281"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>Try<sp/>to<sp/>bind<sp/>it<sp/>again<sp/>-<sp/>should<sp/>fail</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="282"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>result<sp/>=<sp/>Bind(bound_pred);</highlight></codeline> |
| <codeline lineno="283"><highlight class="normal"><sp/><sp/>EXPECT_THAT(result,<sp/>HasErrorMessage(</highlight><highlight class="stringliteral">"already<sp/>bound"</highlight><highlight class="normal">));</highlight></codeline> |
| <codeline lineno="284"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="285"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="286"><highlight class="normal">TEST_F(BinderTest,<sp/>ErrorNestedUnboundField)<sp/>{</highlight></codeline> |
| <codeline lineno="287"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>Create<sp/>complex<sp/>expression<sp/>with<sp/>one<sp/>invalid<sp/>field</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="288"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>pred1<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a099da8de1b919fdc4574458b308d9ea7" kindref="member">Expressions::Equal</ref>(</highlight><highlight class="stringliteral">"name"</highlight><highlight class="normal">,<sp/>Literal::String(</highlight><highlight class="stringliteral">"Alice"</highlight><highlight class="normal">));</highlight></codeline> |
| <codeline lineno="289"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>pred2<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a099da8de1b919fdc4574458b308d9ea7" kindref="member">Expressions::Equal</ref>(</highlight><highlight class="stringliteral">"invalid_field"</highlight><highlight class="normal">,<sp/>Literal::String(</highlight><highlight class="stringliteral">"value"</highlight><highlight class="normal">));</highlight></codeline> |
| <codeline lineno="290"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>complex_and<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1ad5129434b9a0e45e3fd3ffd53f5a3a40" kindref="member">Expressions::And</ref>(pred1,<sp/>pred2);</highlight></codeline> |
| <codeline lineno="291"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="292"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>result<sp/>=<sp/>Bind(complex_and);</highlight></codeline> |
| <codeline lineno="293"><highlight class="normal"><sp/><sp/>EXPECT_THAT(result,<sp/>HasErrorMessage(</highlight><highlight class="stringliteral">"invalid_field"</highlight><highlight class="normal">));</highlight></codeline> |
| <codeline lineno="294"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="295"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="296" refid="classiceberg_1_1IsBoundVisitorTest" refkind="compound"><highlight class="normal"></highlight><highlight class="keyword">class<sp/></highlight><highlight class="normal"><ref refid="classiceberg_1_1IsBoundVisitorTest" kindref="compound">IsBoundVisitorTest</ref><sp/>:<sp/></highlight><highlight class="keyword">public</highlight><highlight class="normal"><sp/><ref refid="classiceberg_1_1ExpressionVisitorTest" kindref="compound">ExpressionVisitorTest</ref><sp/>{};</highlight></codeline> |
| <codeline lineno="297"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="298"><highlight class="normal">TEST_F(<ref refid="classiceberg_1_1IsBoundVisitorTest" kindref="compound">IsBoundVisitorTest</ref>,<sp/>Constants)<sp/>{</highlight></codeline> |
| <codeline lineno="299"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>True<sp/>and<sp/>False<sp/>should<sp/>error<sp/>out</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="300"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>true_expr<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a9843c9fc8be17d06e7ee48fc56b92acc" kindref="member">Expressions::AlwaysTrue</ref>();</highlight></codeline> |
| <codeline lineno="301"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>result_true<sp/>=<sp/>IsBoundVisitor::IsBound(true_expr);</highlight></codeline> |
| <codeline lineno="302"><highlight class="normal"><sp/><sp/>EXPECT_THAT(result_true,<sp/>IsError(ErrorKind::kInvalidExpression));</highlight></codeline> |
| <codeline lineno="303"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="304"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>false_expr<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a4f7ec85c686c0a38ac13964d8528a097" kindref="member">Expressions::AlwaysFalse</ref>();</highlight></codeline> |
| <codeline lineno="305"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>result_false<sp/>=<sp/>IsBoundVisitor::IsBound(false_expr);</highlight></codeline> |
| <codeline lineno="306"><highlight class="normal"><sp/><sp/>EXPECT_THAT(result_false,<sp/>IsError(ErrorKind::kInvalidExpression));</highlight></codeline> |
| <codeline lineno="307"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="308"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="309"><highlight class="normal">TEST_F(IsBoundVisitorTest,<sp/>UnboundPredicate)<sp/>{</highlight></codeline> |
| <codeline lineno="310"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>Unbound<sp/>predicates<sp/>should<sp/>return<sp/>false</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="311"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>unbound_pred<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a099da8de1b919fdc4574458b308d9ea7" kindref="member">Expressions::Equal</ref>(</highlight><highlight class="stringliteral">"name"</highlight><highlight class="normal">,<sp/>Literal::String(</highlight><highlight class="stringliteral">"Alice"</highlight><highlight class="normal">));</highlight></codeline> |
| <codeline lineno="312"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>is_bound,<sp/>IsBoundVisitor::IsBound(unbound_pred));</highlight></codeline> |
| <codeline lineno="313"><highlight class="normal"><sp/><sp/>EXPECT_FALSE(is_bound);</highlight></codeline> |
| <codeline lineno="314"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="315"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="316"><highlight class="normal">TEST_F(IsBoundVisitorTest,<sp/>BoundPredicate)<sp/>{</highlight></codeline> |
| <codeline lineno="317"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>Bound<sp/>predicates<sp/>should<sp/>return<sp/>true</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="318"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>unbound_pred<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a099da8de1b919fdc4574458b308d9ea7" kindref="member">Expressions::Equal</ref>(</highlight><highlight class="stringliteral">"name"</highlight><highlight class="normal">,<sp/>Literal::String(</highlight><highlight class="stringliteral">"Alice"</highlight><highlight class="normal">));</highlight></codeline> |
| <codeline lineno="319"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>bound_pred,<sp/>Bind(unbound_pred));</highlight></codeline> |
| <codeline lineno="320"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>is_bound,<sp/>IsBoundVisitor::IsBound(bound_pred));</highlight></codeline> |
| <codeline lineno="321"><highlight class="normal"><sp/><sp/>EXPECT_TRUE(is_bound);</highlight></codeline> |
| <codeline lineno="322"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="323"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="324"><highlight class="normal">TEST_F(IsBoundVisitorTest,<sp/>AndWithBoundChildren)<sp/>{</highlight></codeline> |
| <codeline lineno="325"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>AND<sp/>with<sp/>all<sp/>bound<sp/>children<sp/>should<sp/>return<sp/>true</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="326"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>pred1<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a099da8de1b919fdc4574458b308d9ea7" kindref="member">Expressions::Equal</ref>(</highlight><highlight class="stringliteral">"name"</highlight><highlight class="normal">,<sp/>Literal::String(</highlight><highlight class="stringliteral">"Alice"</highlight><highlight class="normal">));</highlight></codeline> |
| <codeline lineno="327"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>pred2<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a0bef3bed364ed74910943f653899a39d" kindref="member">Expressions::GreaterThan</ref>(</highlight><highlight class="stringliteral">"age"</highlight><highlight class="normal">,<sp/>Literal::Int(25));</highlight></codeline> |
| <codeline lineno="328"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>unbound_and<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1ad5129434b9a0e45e3fd3ffd53f5a3a40" kindref="member">Expressions::And</ref>(pred1,<sp/>pred2);</highlight></codeline> |
| <codeline lineno="329"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>bound_and,<sp/>Bind(unbound_and));</highlight></codeline> |
| <codeline lineno="330"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="331"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>is_bound,<sp/>IsBoundVisitor::IsBound(bound_and));</highlight></codeline> |
| <codeline lineno="332"><highlight class="normal"><sp/><sp/>EXPECT_TRUE(is_bound);</highlight></codeline> |
| <codeline lineno="333"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="334"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="335"><highlight class="normal">TEST_F(IsBoundVisitorTest,<sp/>AndWithUnboundChild)<sp/>{</highlight></codeline> |
| <codeline lineno="336"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>AND<sp/>with<sp/>any<sp/>unbound<sp/>child<sp/>should<sp/>return<sp/>false</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="337"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>bound_pred<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a099da8de1b919fdc4574458b308d9ea7" kindref="member">Expressions::Equal</ref>(</highlight><highlight class="stringliteral">"name"</highlight><highlight class="normal">,<sp/>Literal::String(</highlight><highlight class="stringliteral">"Alice"</highlight><highlight class="normal">));</highlight></codeline> |
| <codeline lineno="338"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>pred1,<sp/>Bind(bound_pred));</highlight></codeline> |
| <codeline lineno="339"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>pred2<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a099da8de1b919fdc4574458b308d9ea7" kindref="member">Expressions::Equal</ref>(</highlight><highlight class="stringliteral">"age"</highlight><highlight class="normal">,<sp/>Literal::Int(25));<sp/><sp/></highlight><highlight class="comment">//<sp/>unbound</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="340"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>mixed_and<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1ad5129434b9a0e45e3fd3ffd53f5a3a40" kindref="member">Expressions::And</ref>(pred1,<sp/>pred2);</highlight></codeline> |
| <codeline lineno="341"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="342"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>is_bound,<sp/>IsBoundVisitor::IsBound(mixed_and));</highlight></codeline> |
| <codeline lineno="343"><highlight class="normal"><sp/><sp/>EXPECT_FALSE(is_bound);</highlight></codeline> |
| <codeline lineno="344"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="345"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="346"><highlight class="normal">TEST_F(IsBoundVisitorTest,<sp/>OrWithBoundChildren)<sp/>{</highlight></codeline> |
| <codeline lineno="347"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>OR<sp/>with<sp/>all<sp/>bound<sp/>children<sp/>should<sp/>return<sp/>true</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="348"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>pred1<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1ac60a4b5dba2748af3fcb53d4434e290d" kindref="member">Expressions::IsNull</ref>(</highlight><highlight class="stringliteral">"name"</highlight><highlight class="normal">);</highlight></codeline> |
| <codeline lineno="349"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>pred2<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a83afed36da05da0cb524800844b0974f" kindref="member">Expressions::LessThan</ref>(</highlight><highlight class="stringliteral">"salary"</highlight><highlight class="normal">,<sp/>Literal::Double(30000.0));</highlight></codeline> |
| <codeline lineno="350"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>unbound_or<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1ab6f02015ae774f2ee14bcb7dfba2c287" kindref="member">Expressions::Or</ref>(pred1,<sp/>pred2);</highlight></codeline> |
| <codeline lineno="351"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>bound_or,<sp/>Bind(unbound_or));</highlight></codeline> |
| <codeline lineno="352"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="353"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>is_bound,<sp/>IsBoundVisitor::IsBound(bound_or));</highlight></codeline> |
| <codeline lineno="354"><highlight class="normal"><sp/><sp/>EXPECT_TRUE(is_bound);</highlight></codeline> |
| <codeline lineno="355"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="356"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="357"><highlight class="normal">TEST_F(IsBoundVisitorTest,<sp/>OrWithUnboundChild)<sp/>{</highlight></codeline> |
| <codeline lineno="358"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>OR<sp/>with<sp/>any<sp/>unbound<sp/>child<sp/>should<sp/>return<sp/>false</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="359"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>pred1<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1ac60a4b5dba2748af3fcb53d4434e290d" kindref="member">Expressions::IsNull</ref>(</highlight><highlight class="stringliteral">"name"</highlight><highlight class="normal">);<sp/><sp/></highlight><highlight class="comment">//<sp/>unbound</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="360"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>bound_pred2<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a099da8de1b919fdc4574458b308d9ea7" kindref="member">Expressions::Equal</ref>(</highlight><highlight class="stringliteral">"age"</highlight><highlight class="normal">,<sp/>Literal::Int(25));</highlight></codeline> |
| <codeline lineno="361"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>pred2,<sp/>Bind(bound_pred2));</highlight></codeline> |
| <codeline lineno="362"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>mixed_or<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1ab6f02015ae774f2ee14bcb7dfba2c287" kindref="member">Expressions::Or</ref>(pred1,<sp/>pred2);</highlight></codeline> |
| <codeline lineno="363"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="364"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>is_bound,<sp/>IsBoundVisitor::IsBound(mixed_or));</highlight></codeline> |
| <codeline lineno="365"><highlight class="normal"><sp/><sp/>EXPECT_FALSE(is_bound);</highlight></codeline> |
| <codeline lineno="366"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="367"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="368"><highlight class="normal">TEST_F(IsBoundVisitorTest,<sp/>NotWithBoundChild)<sp/>{</highlight></codeline> |
| <codeline lineno="369"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>NOT<sp/>with<sp/>bound<sp/>child<sp/>should<sp/>return<sp/>true</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="370"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>unbound_pred<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a099da8de1b919fdc4574458b308d9ea7" kindref="member">Expressions::Equal</ref>(</highlight><highlight class="stringliteral">"active"</highlight><highlight class="normal">,<sp/><ref refid="classiceberg_1_1Literal_1ada29f73dbb21bde3e3da88e70ec56be3" kindref="member">Literal::Boolean</ref>(</highlight><highlight class="keyword">true</highlight><highlight class="normal">));</highlight></codeline> |
| <codeline lineno="371"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>bound_pred,<sp/>Bind(unbound_pred));</highlight></codeline> |
| <codeline lineno="372"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>not_expr<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a19757ac2b0dcf6e0b3acbb861b934e5e" kindref="member">Expressions::Not</ref>(bound_pred);</highlight></codeline> |
| <codeline lineno="373"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="374"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>is_bound,<sp/>IsBoundVisitor::IsBound(not_expr));</highlight></codeline> |
| <codeline lineno="375"><highlight class="normal"><sp/><sp/>EXPECT_TRUE(is_bound);</highlight></codeline> |
| <codeline lineno="376"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="377"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="378"><highlight class="normal">TEST_F(IsBoundVisitorTest,<sp/>NotWithUnboundChild)<sp/>{</highlight></codeline> |
| <codeline lineno="379"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>NOT<sp/>with<sp/>unbound<sp/>child<sp/>should<sp/>return<sp/>false</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="380"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>unbound_pred<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a099da8de1b919fdc4574458b308d9ea7" kindref="member">Expressions::Equal</ref>(</highlight><highlight class="stringliteral">"active"</highlight><highlight class="normal">,<sp/><ref refid="classiceberg_1_1Literal_1ada29f73dbb21bde3e3da88e70ec56be3" kindref="member">Literal::Boolean</ref>(</highlight><highlight class="keyword">true</highlight><highlight class="normal">));</highlight></codeline> |
| <codeline lineno="381"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>not_expr<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a19757ac2b0dcf6e0b3acbb861b934e5e" kindref="member">Expressions::Not</ref>(unbound_pred);</highlight></codeline> |
| <codeline lineno="382"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="383"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>is_bound,<sp/>IsBoundVisitor::IsBound(not_expr));</highlight></codeline> |
| <codeline lineno="384"><highlight class="normal"><sp/><sp/>EXPECT_FALSE(is_bound);</highlight></codeline> |
| <codeline lineno="385"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="386"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="387"><highlight class="normal">TEST_F(IsBoundVisitorTest,<sp/>ComplexExpression)<sp/>{</highlight></codeline> |
| <codeline lineno="388"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>Complex<sp/>expression:<sp/>all<sp/>bound<sp/>should<sp/>return<sp/>true</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="389"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>pred1<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a099da8de1b919fdc4574458b308d9ea7" kindref="member">Expressions::Equal</ref>(</highlight><highlight class="stringliteral">"name"</highlight><highlight class="normal">,<sp/>Literal::String(</highlight><highlight class="stringliteral">"Alice"</highlight><highlight class="normal">));</highlight></codeline> |
| <codeline lineno="390"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>pred2<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a0bef3bed364ed74910943f653899a39d" kindref="member">Expressions::GreaterThan</ref>(</highlight><highlight class="stringliteral">"age"</highlight><highlight class="normal">,<sp/>Literal::Int(25));</highlight></codeline> |
| <codeline lineno="391"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>pred3<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a83afed36da05da0cb524800844b0974f" kindref="member">Expressions::LessThan</ref>(</highlight><highlight class="stringliteral">"salary"</highlight><highlight class="normal">,<sp/>Literal::Double(30000.0));</highlight></codeline> |
| <codeline lineno="392"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>and_expr<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1ad5129434b9a0e45e3fd3ffd53f5a3a40" kindref="member">Expressions::And</ref>(pred1,<sp/>pred2);</highlight></codeline> |
| <codeline lineno="393"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>complex_or<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1ab6f02015ae774f2ee14bcb7dfba2c287" kindref="member">Expressions::Or</ref>(and_expr,<sp/>pred3);</highlight></codeline> |
| <codeline lineno="394"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>bound_complex,<sp/>Bind(complex_or));</highlight></codeline> |
| <codeline lineno="395"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="396"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>is_bound,<sp/>IsBoundVisitor::IsBound(bound_complex));</highlight></codeline> |
| <codeline lineno="397"><highlight class="normal"><sp/><sp/>EXPECT_TRUE(is_bound);</highlight></codeline> |
| <codeline lineno="398"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="399"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>Complex<sp/>expression:<sp/>one<sp/>unbound<sp/>should<sp/>return<sp/>false</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="400"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>unbound_pred<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a099da8de1b919fdc4574458b308d9ea7" kindref="member">Expressions::Equal</ref>(</highlight><highlight class="stringliteral">"name"</highlight><highlight class="normal">,<sp/>Literal::String(</highlight><highlight class="stringliteral">"Alice"</highlight><highlight class="normal">));</highlight></codeline> |
| <codeline lineno="401"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>bound_pred2,<sp/>Bind(pred2));</highlight></codeline> |
| <codeline lineno="402"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>bound_pred3,<sp/>Bind(pred3));</highlight></codeline> |
| <codeline lineno="403"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>mixed_and<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1ad5129434b9a0e45e3fd3ffd53f5a3a40" kindref="member">Expressions::And</ref>(unbound_pred,<sp/>bound_pred2);</highlight></codeline> |
| <codeline lineno="404"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>mixed_complex<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1ab6f02015ae774f2ee14bcb7dfba2c287" kindref="member">Expressions::Or</ref>(mixed_and,<sp/>bound_pred3);</highlight></codeline> |
| <codeline lineno="405"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="406"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>is_bound_mixed,<sp/>IsBoundVisitor::IsBound(mixed_complex));</highlight></codeline> |
| <codeline lineno="407"><highlight class="normal"><sp/><sp/>EXPECT_FALSE(is_bound_mixed);</highlight></codeline> |
| <codeline lineno="408"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="409"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="410" refid="classiceberg_1_1RewriteNotTest" refkind="compound"><highlight class="normal"></highlight><highlight class="keyword">class<sp/></highlight><highlight class="normal"><ref refid="classiceberg_1_1RewriteNotTest" kindref="compound">RewriteNotTest</ref><sp/>:<sp/></highlight><highlight class="keyword">public</highlight><highlight class="normal"><sp/><ref refid="classiceberg_1_1ExpressionVisitorTest" kindref="compound">ExpressionVisitorTest</ref><sp/>{};</highlight></codeline> |
| <codeline lineno="411"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="412"><highlight class="normal">TEST_F(<ref refid="classiceberg_1_1RewriteNotTest" kindref="compound">RewriteNotTest</ref>,<sp/>Constants)<sp/>{</highlight></codeline> |
| <codeline lineno="413"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>True<sp/>remains<sp/>True</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="414"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>true_expr<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a9843c9fc8be17d06e7ee48fc56b92acc" kindref="member">Expressions::AlwaysTrue</ref>();</highlight></codeline> |
| <codeline lineno="415"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>rewritten_true,<sp/>RewriteNot::Visit(true_expr));</highlight></codeline> |
| <codeline lineno="416"><highlight class="normal"><sp/><sp/>EXPECT_EQ(rewritten_true->op(),<sp/>Expression::Operation::kTrue);</highlight></codeline> |
| <codeline lineno="417"><highlight class="normal"><sp/><sp/>EXPECT_TRUE(rewritten_true->Equals(*<ref refid="classiceberg_1_1True_1a613f11f21789dbb5bccfa79d7e55abea" kindref="member">True::Instance</ref>()));</highlight></codeline> |
| <codeline lineno="418"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="419"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>False<sp/>remains<sp/>False</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="420"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>false_expr<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a4f7ec85c686c0a38ac13964d8528a097" kindref="member">Expressions::AlwaysFalse</ref>();</highlight></codeline> |
| <codeline lineno="421"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>rewritten_false,<sp/>RewriteNot::Visit(false_expr));</highlight></codeline> |
| <codeline lineno="422"><highlight class="normal"><sp/><sp/>EXPECT_EQ(rewritten_false->op(),<sp/>Expression::Operation::kFalse);</highlight></codeline> |
| <codeline lineno="423"><highlight class="normal"><sp/><sp/>EXPECT_TRUE(rewritten_false->Equals(*<ref refid="classiceberg_1_1False_1a2e7ef9efa2bfb8a83a66a06cafd54880" kindref="member">False::Instance</ref>()));</highlight></codeline> |
| <codeline lineno="424"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="425"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="426"><highlight class="normal">TEST_F(RewriteNotTest,<sp/>Predicates)<sp/>{</highlight></codeline> |
| <codeline lineno="427"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>Bound<sp/>predicates<sp/>pass<sp/>through<sp/>unchanged</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="428"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>unbound_pred<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a099da8de1b919fdc4574458b308d9ea7" kindref="member">Expressions::Equal</ref>(</highlight><highlight class="stringliteral">"name"</highlight><highlight class="normal">,<sp/>Literal::String(</highlight><highlight class="stringliteral">"Alice"</highlight><highlight class="normal">));</highlight></codeline> |
| <codeline lineno="429"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>bound_pred,<sp/>Bind(unbound_pred));</highlight></codeline> |
| <codeline lineno="430"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>rewritten,<sp/>RewriteNot::Visit(bound_pred));</highlight></codeline> |
| <codeline lineno="431"><highlight class="normal"><sp/><sp/>EXPECT_EQ(rewritten->op(),<sp/>Expression::Operation::kEq);</highlight></codeline> |
| <codeline lineno="432"><highlight class="normal"><sp/><sp/>EXPECT_TRUE(rewritten->is_bound_predicate());</highlight></codeline> |
| <codeline lineno="433"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="434"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>Unbound<sp/>predicates<sp/>pass<sp/>through<sp/>unchanged</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="435"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>unbound_pred2<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1ac60a4b5dba2748af3fcb53d4434e290d" kindref="member">Expressions::IsNull</ref>(</highlight><highlight class="stringliteral">"salary"</highlight><highlight class="normal">);</highlight></codeline> |
| <codeline lineno="436"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>rewritten_unbound,<sp/>RewriteNot::Visit(unbound_pred2));</highlight></codeline> |
| <codeline lineno="437"><highlight class="normal"><sp/><sp/>EXPECT_EQ(rewritten_unbound->op(),<sp/>Expression::Operation::kIsNull);</highlight></codeline> |
| <codeline lineno="438"><highlight class="normal"><sp/><sp/>EXPECT_TRUE(rewritten_unbound->is_unbound_predicate());</highlight></codeline> |
| <codeline lineno="439"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="440"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="441"><highlight class="normal">TEST_F(RewriteNotTest,<sp/>NotExpression)<sp/>{</highlight></codeline> |
| <codeline lineno="442"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>NOT(predicate)<sp/>should<sp/>be<sp/>rewritten<sp/>to<sp/>negated<sp/>predicate</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="443"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>unbound_pred<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a099da8de1b919fdc4574458b308d9ea7" kindref="member">Expressions::Equal</ref>(</highlight><highlight class="stringliteral">"name"</highlight><highlight class="normal">,<sp/>Literal::String(</highlight><highlight class="stringliteral">"Alice"</highlight><highlight class="normal">));</highlight></codeline> |
| <codeline lineno="444"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>bound_pred,<sp/>Bind(unbound_pred));</highlight></codeline> |
| <codeline lineno="445"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>not_expr<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a19757ac2b0dcf6e0b3acbb861b934e5e" kindref="member">Expressions::Not</ref>(bound_pred);</highlight></codeline> |
| <codeline lineno="446"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="447"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>rewritten,<sp/>RewriteNot::Visit(not_expr));</highlight></codeline> |
| <codeline lineno="448"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>Equal<sp/>should<sp/>be<sp/>negated<sp/>to<sp/>NotEqual</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="449"><highlight class="normal"><sp/><sp/>EXPECT_EQ(rewritten->op(),<sp/>Expression::Operation::kNotEq);</highlight></codeline> |
| <codeline lineno="450"><highlight class="normal"><sp/><sp/>EXPECT_TRUE(rewritten->is_bound_predicate());</highlight></codeline> |
| <codeline lineno="451"><highlight class="normal"><sp/><sp/>EXPECT_EQ(rewritten->ToString(),<sp/></highlight><highlight class="stringliteral">"ref(id=2,<sp/>type=string)<sp/>!=<sp/>\"Alice\""</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">TEST_F(RewriteNotTest,<sp/>DoubleNegation)<sp/>{</highlight></codeline> |
| <codeline lineno="455"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>NOT(NOT(predicate))<sp/>should<sp/>be<sp/>rewritten<sp/>back<sp/>to<sp/>predicate</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="456"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>unbound_pred<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a099da8de1b919fdc4574458b308d9ea7" kindref="member">Expressions::Equal</ref>(</highlight><highlight class="stringliteral">"age"</highlight><highlight class="normal">,<sp/>Literal::Int(25));</highlight></codeline> |
| <codeline lineno="457"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>bound_pred,<sp/>Bind(unbound_pred));</highlight></codeline> |
| <codeline lineno="458"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>not_expr<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a19757ac2b0dcf6e0b3acbb861b934e5e" kindref="member">Expressions::Not</ref>(bound_pred);</highlight></codeline> |
| <codeline lineno="459"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>double_not<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a19757ac2b0dcf6e0b3acbb861b934e5e" kindref="member">Expressions::Not</ref>(not_expr);</highlight></codeline> |
| <codeline lineno="460"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="461"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>rewritten,<sp/>RewriteNot::Visit(double_not));</highlight></codeline> |
| <codeline lineno="462"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>Should<sp/>be<sp/>back<sp/>to<sp/>Equal</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="463"><highlight class="normal"><sp/><sp/>EXPECT_EQ(rewritten->op(),<sp/>Expression::Operation::kEq);</highlight></codeline> |
| <codeline lineno="464"><highlight class="normal"><sp/><sp/>EXPECT_TRUE(rewritten->is_bound_predicate());</highlight></codeline> |
| <codeline lineno="465"><highlight class="normal"><sp/><sp/>EXPECT_EQ(rewritten->ToString(),<sp/></highlight><highlight class="stringliteral">"ref(id=3,<sp/>type=int)<sp/>==<sp/>25"</highlight><highlight class="normal">);</highlight></codeline> |
| <codeline lineno="466"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="467"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="468"><highlight class="normal">TEST_F(RewriteNotTest,<sp/>AndExpression)<sp/>{</highlight></codeline> |
| <codeline lineno="469"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>AND<sp/>expressions<sp/>pass<sp/>through<sp/>(children<sp/>are<sp/>processed)</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="470"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>pred1<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a099da8de1b919fdc4574458b308d9ea7" kindref="member">Expressions::Equal</ref>(</highlight><highlight class="stringliteral">"name"</highlight><highlight class="normal">,<sp/>Literal::String(</highlight><highlight class="stringliteral">"Alice"</highlight><highlight class="normal">));</highlight></codeline> |
| <codeline lineno="471"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>pred2<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a0bef3bed364ed74910943f653899a39d" kindref="member">Expressions::GreaterThan</ref>(</highlight><highlight class="stringliteral">"age"</highlight><highlight class="normal">,<sp/>Literal::Int(25));</highlight></codeline> |
| <codeline lineno="472"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>bound_pred1,<sp/>Bind(pred1));</highlight></codeline> |
| <codeline lineno="473"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>bound_pred2,<sp/>Bind(pred2));</highlight></codeline> |
| <codeline lineno="474"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>and_expr<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1ad5129434b9a0e45e3fd3ffd53f5a3a40" kindref="member">Expressions::And</ref>(bound_pred1,<sp/>bound_pred2);</highlight></codeline> |
| <codeline lineno="475"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="476"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>rewritten,<sp/>RewriteNot::Visit(and_expr));</highlight></codeline> |
| <codeline lineno="477"><highlight class="normal"><sp/><sp/>EXPECT_EQ(rewritten->op(),<sp/>Expression::Operation::kAnd);</highlight></codeline> |
| <codeline lineno="478"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="479"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="480"><highlight class="normal">TEST_F(RewriteNotTest,<sp/>OrExpression)<sp/>{</highlight></codeline> |
| <codeline lineno="481"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>OR<sp/>expressions<sp/>pass<sp/>through<sp/>(children<sp/>are<sp/>processed)</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="482"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>pred1<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1ac60a4b5dba2748af3fcb53d4434e290d" kindref="member">Expressions::IsNull</ref>(</highlight><highlight class="stringliteral">"name"</highlight><highlight class="normal">);</highlight></codeline> |
| <codeline lineno="483"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>pred2<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a83afed36da05da0cb524800844b0974f" kindref="member">Expressions::LessThan</ref>(</highlight><highlight class="stringliteral">"salary"</highlight><highlight class="normal">,<sp/>Literal::Double(30000.0));</highlight></codeline> |
| <codeline lineno="484"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>bound_pred1,<sp/>Bind(pred1));</highlight></codeline> |
| <codeline lineno="485"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>bound_pred2,<sp/>Bind(pred2));</highlight></codeline> |
| <codeline lineno="486"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>or_expr<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1ab6f02015ae774f2ee14bcb7dfba2c287" kindref="member">Expressions::Or</ref>(bound_pred1,<sp/>bound_pred2);</highlight></codeline> |
| <codeline lineno="487"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="488"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>rewritten,<sp/>RewriteNot::Visit(or_expr));</highlight></codeline> |
| <codeline lineno="489"><highlight class="normal"><sp/><sp/>EXPECT_EQ(rewritten->op(),<sp/>Expression::Operation::kOr);</highlight></codeline> |
| <codeline lineno="490"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="491"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="492"><highlight class="normal">TEST_F(RewriteNotTest,<sp/>ComplexExpression)<sp/>{</highlight></codeline> |
| <codeline lineno="493"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>Complex:<sp/>NOT(pred1<sp/>AND<sp/>NOT(pred2))</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="494"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>pred1<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a099da8de1b919fdc4574458b308d9ea7" kindref="member">Expressions::Equal</ref>(</highlight><highlight class="stringliteral">"name"</highlight><highlight class="normal">,<sp/>Literal::String(</highlight><highlight class="stringliteral">"Alice"</highlight><highlight class="normal">));</highlight></codeline> |
| <codeline lineno="495"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>pred2<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a0bef3bed364ed74910943f653899a39d" kindref="member">Expressions::GreaterThan</ref>(</highlight><highlight class="stringliteral">"age"</highlight><highlight class="normal">,<sp/>Literal::Int(25));</highlight></codeline> |
| <codeline lineno="496"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>bound_pred1,<sp/>Bind(pred1));</highlight></codeline> |
| <codeline lineno="497"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>bound_pred2,<sp/>Bind(pred2));</highlight></codeline> |
| <codeline lineno="498"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="499"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>not_pred2<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a19757ac2b0dcf6e0b3acbb861b934e5e" kindref="member">Expressions::Not</ref>(bound_pred2);</highlight></codeline> |
| <codeline lineno="500"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>and_expr<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1ad5129434b9a0e45e3fd3ffd53f5a3a40" kindref="member">Expressions::And</ref>(bound_pred1,<sp/>not_pred2);</highlight></codeline> |
| <codeline lineno="501"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>not_and<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a19757ac2b0dcf6e0b3acbb861b934e5e" kindref="member">Expressions::Not</ref>(and_expr);</highlight></codeline> |
| <codeline lineno="502"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="503"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>rewritten,<sp/>RewriteNot::Visit(not_and));</highlight></codeline> |
| <codeline lineno="504"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>The<sp/>outer<sp/>NOT<sp/>should<sp/>push<sp/>down<sp/>via<sp/>negation</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="505"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>NOT(pred1<sp/>AND<sp/>NOT(pred2))<sp/>becomes<sp/>NOT(pred1)<sp/>OR<sp/>pred2</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="506"><highlight class="normal"><sp/><sp/>EXPECT_EQ(rewritten->op(),<sp/>Expression::Operation::kOr);</highlight></codeline> |
| <codeline lineno="507"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="508"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="509" refid="classiceberg_1_1ReferenceVisitorTest" refkind="compound"><highlight class="normal"></highlight><highlight class="keyword">class<sp/></highlight><highlight class="normal"><ref refid="classiceberg_1_1ReferenceVisitorTest" kindref="compound">ReferenceVisitorTest</ref><sp/>:<sp/></highlight><highlight class="keyword">public</highlight><highlight class="normal"><sp/><ref refid="classiceberg_1_1ExpressionVisitorTest" kindref="compound">ExpressionVisitorTest</ref><sp/>{};</highlight></codeline> |
| <codeline lineno="510"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="511"><highlight class="normal">TEST_F(<ref refid="classiceberg_1_1ReferenceVisitorTest" kindref="compound">ReferenceVisitorTest</ref>,<sp/>Constants)<sp/>{</highlight></codeline> |
| <codeline lineno="512"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>Constants<sp/>should<sp/>have<sp/>no<sp/>referenced<sp/>fields</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="513"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>true_expr<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a9843c9fc8be17d06e7ee48fc56b92acc" kindref="member">Expressions::AlwaysTrue</ref>();</highlight></codeline> |
| <codeline lineno="514"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>refs_true,</highlight></codeline> |
| <codeline lineno="515"><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/>ReferenceVisitor::GetReferencedFieldIds(true_expr));</highlight></codeline> |
| <codeline lineno="516"><highlight class="normal"><sp/><sp/>EXPECT_TRUE(refs_true.empty());</highlight></codeline> |
| <codeline lineno="517"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="518"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>false_expr<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a4f7ec85c686c0a38ac13964d8528a097" kindref="member">Expressions::AlwaysFalse</ref>();</highlight></codeline> |
| <codeline lineno="519"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>refs_false,</highlight></codeline> |
| <codeline lineno="520"><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/>ReferenceVisitor::GetReferencedFieldIds(false_expr));</highlight></codeline> |
| <codeline lineno="521"><highlight class="normal"><sp/><sp/>EXPECT_TRUE(refs_false.empty());</highlight></codeline> |
| <codeline lineno="522"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="523"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="524"><highlight class="normal">TEST_F(ReferenceVisitorTest,<sp/>UnboundPredicate)<sp/>{</highlight></codeline> |
| <codeline lineno="525"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>unbound_pred<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a099da8de1b919fdc4574458b308d9ea7" kindref="member">Expressions::Equal</ref>(</highlight><highlight class="stringliteral">"name"</highlight><highlight class="normal">,<sp/>Literal::String(</highlight><highlight class="stringliteral">"Alice"</highlight><highlight class="normal">));</highlight></codeline> |
| <codeline lineno="526"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>result<sp/>=<sp/>ReferenceVisitor::GetReferencedFieldIds(unbound_pred);</highlight></codeline> |
| <codeline lineno="527"><highlight class="normal"><sp/><sp/>EXPECT_THAT(result,<sp/>IsError(ErrorKind::kInvalidExpression));</highlight></codeline> |
| <codeline lineno="528"><highlight class="normal"><sp/><sp/>EXPECT_THAT(result,</highlight></codeline> |
| <codeline lineno="529"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>HasErrorMessage(</highlight><highlight class="stringliteral">"Cannot<sp/>get<sp/>referenced<sp/>field<sp/>IDs<sp/>from<sp/>unbound<sp/>predicate"</highlight><highlight class="normal">));</highlight></codeline> |
| <codeline lineno="530"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="531"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="532"><highlight class="normal">TEST_F(ReferenceVisitorTest,<sp/>BoundPredicate)<sp/>{</highlight></codeline> |
| <codeline lineno="533"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>Bound<sp/>predicate<sp/>should<sp/>return<sp/>the<sp/>field<sp/>ID</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="534"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>unbound_pred<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a099da8de1b919fdc4574458b308d9ea7" kindref="member">Expressions::Equal</ref>(</highlight><highlight class="stringliteral">"name"</highlight><highlight class="normal">,<sp/>Literal::String(</highlight><highlight class="stringliteral">"Alice"</highlight><highlight class="normal">));</highlight></codeline> |
| <codeline lineno="535"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>bound_pred,<sp/>Bind(unbound_pred));</highlight></codeline> |
| <codeline lineno="536"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="537"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>refs,<sp/>ReferenceVisitor::GetReferencedFieldIds(bound_pred));</highlight></codeline> |
| <codeline lineno="538"><highlight class="normal"><sp/><sp/>EXPECT_EQ(refs.size(),<sp/>1);</highlight></codeline> |
| <codeline lineno="539"><highlight class="normal"><sp/><sp/>EXPECT_EQ(refs.count(2),<sp/>1);<sp/><sp/></highlight><highlight class="comment">//<sp/>name<sp/>field<sp/>has<sp/>id=2</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="540"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="541"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="542"><highlight class="normal">TEST_F(ReferenceVisitorTest,<sp/>MultiplePredicates)<sp/>{</highlight></codeline> |
| <codeline lineno="543"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>Test<sp/>various<sp/>predicates<sp/>with<sp/>different<sp/>fields</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="544"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>pred_age<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a0bef3bed364ed74910943f653899a39d" kindref="member">Expressions::GreaterThan</ref>(</highlight><highlight class="stringliteral">"age"</highlight><highlight class="normal">,<sp/>Literal::Int(25));</highlight></codeline> |
| <codeline lineno="545"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>bound_age,<sp/>Bind(pred_age));</highlight></codeline> |
| <codeline lineno="546"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>refs_age,</highlight></codeline> |
| <codeline lineno="547"><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/>ReferenceVisitor::GetReferencedFieldIds(bound_age));</highlight></codeline> |
| <codeline lineno="548"><highlight class="normal"><sp/><sp/>EXPECT_EQ(refs_age.size(),<sp/>1);</highlight></codeline> |
| <codeline lineno="549"><highlight class="normal"><sp/><sp/>EXPECT_EQ(refs_age.count(3),<sp/>1);<sp/><sp/></highlight><highlight class="comment">//<sp/>age<sp/>field<sp/>has<sp/>id=3</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="550"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="551"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>pred_salary<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a83afed36da05da0cb524800844b0974f" kindref="member">Expressions::LessThan</ref>(</highlight><highlight class="stringliteral">"salary"</highlight><highlight class="normal">,<sp/>Literal::Double(50000.0));</highlight></codeline> |
| <codeline lineno="552"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>bound_salary,<sp/>Bind(pred_salary));</highlight></codeline> |
| <codeline lineno="553"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>refs_salary,</highlight></codeline> |
| <codeline lineno="554"><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/>ReferenceVisitor::GetReferencedFieldIds(bound_salary));</highlight></codeline> |
| <codeline lineno="555"><highlight class="normal"><sp/><sp/>EXPECT_EQ(refs_salary.size(),<sp/>1);</highlight></codeline> |
| <codeline lineno="556"><highlight class="normal"><sp/><sp/>EXPECT_EQ(refs_salary.count(4),<sp/>1);<sp/><sp/></highlight><highlight class="comment">//<sp/>salary<sp/>field<sp/>has<sp/>id=4</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="557"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="558"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="559"><highlight class="normal">TEST_F(ReferenceVisitorTest,<sp/>UnaryPredicates)<sp/>{</highlight></codeline> |
| <codeline lineno="560"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>Test<sp/>unary<sp/>predicates</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="561"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>pred_is_null<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1ac60a4b5dba2748af3fcb53d4434e290d" kindref="member">Expressions::IsNull</ref>(</highlight><highlight class="stringliteral">"name"</highlight><highlight class="normal">);</highlight></codeline> |
| <codeline lineno="562"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>bound_is_null,<sp/>Bind(pred_is_null));</highlight></codeline> |
| <codeline lineno="563"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>refs,</highlight></codeline> |
| <codeline lineno="564"><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/>ReferenceVisitor::GetReferencedFieldIds(bound_is_null));</highlight></codeline> |
| <codeline lineno="565"><highlight class="normal"><sp/><sp/>EXPECT_EQ(refs.size(),<sp/>1);</highlight></codeline> |
| <codeline lineno="566"><highlight class="normal"><sp/><sp/>EXPECT_EQ(refs.count(2),<sp/>1);</highlight></codeline> |
| <codeline lineno="567"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="568"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>pred_is_nan<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1aed115b3c4c0546727ee63a4d925cbda0" kindref="member">Expressions::IsNaN</ref>(</highlight><highlight class="stringliteral">"salary"</highlight><highlight class="normal">);</highlight></codeline> |
| <codeline lineno="569"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>bound_is_nan,<sp/>Bind(pred_is_nan));</highlight></codeline> |
| <codeline lineno="570"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>refs_nan,</highlight></codeline> |
| <codeline lineno="571"><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/>ReferenceVisitor::GetReferencedFieldIds(bound_is_nan));</highlight></codeline> |
| <codeline lineno="572"><highlight class="normal"><sp/><sp/>EXPECT_EQ(refs_nan.size(),<sp/>1);</highlight></codeline> |
| <codeline lineno="573"><highlight class="normal"><sp/><sp/>EXPECT_EQ(refs_nan.count(4),<sp/>1);</highlight></codeline> |
| <codeline lineno="574"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="575"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="576"><highlight class="normal">TEST_F(ReferenceVisitorTest,<sp/>AndExpression)<sp/>{</highlight></codeline> |
| <codeline lineno="577"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>AND<sp/>expression<sp/>should<sp/>return<sp/>union<sp/>of<sp/>field<sp/>IDs<sp/>from<sp/>both<sp/>sides</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="578"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>pred1<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a099da8de1b919fdc4574458b308d9ea7" kindref="member">Expressions::Equal</ref>(</highlight><highlight class="stringliteral">"name"</highlight><highlight class="normal">,<sp/>Literal::String(</highlight><highlight class="stringliteral">"Alice"</highlight><highlight class="normal">));</highlight></codeline> |
| <codeline lineno="579"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>pred2<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a0bef3bed364ed74910943f653899a39d" kindref="member">Expressions::GreaterThan</ref>(</highlight><highlight class="stringliteral">"age"</highlight><highlight class="normal">,<sp/>Literal::Int(25));</highlight></codeline> |
| <codeline lineno="580"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>and_expr<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1ad5129434b9a0e45e3fd3ffd53f5a3a40" kindref="member">Expressions::And</ref>(pred1,<sp/>pred2);</highlight></codeline> |
| <codeline lineno="581"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="582"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>bound_and,<sp/>Bind(and_expr));</highlight></codeline> |
| <codeline lineno="583"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>refs,<sp/>ReferenceVisitor::GetReferencedFieldIds(bound_and));</highlight></codeline> |
| <codeline lineno="584"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="585"><highlight class="normal"><sp/><sp/>EXPECT_EQ(refs.size(),<sp/>2);</highlight></codeline> |
| <codeline lineno="586"><highlight class="normal"><sp/><sp/>EXPECT_EQ(refs.count(2),<sp/>1);<sp/><sp/></highlight><highlight class="comment">//<sp/>name<sp/>field</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="587"><highlight class="normal"><sp/><sp/>EXPECT_EQ(refs.count(3),<sp/>1);<sp/><sp/></highlight><highlight class="comment">//<sp/>age<sp/>field</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="588"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="589"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="590"><highlight class="normal">TEST_F(ReferenceVisitorTest,<sp/>OrExpression)<sp/>{</highlight></codeline> |
| <codeline lineno="591"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>OR<sp/>expression<sp/>should<sp/>return<sp/>union<sp/>of<sp/>field<sp/>IDs<sp/>from<sp/>both<sp/>sides</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="592"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>pred1<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1ac60a4b5dba2748af3fcb53d4434e290d" kindref="member">Expressions::IsNull</ref>(</highlight><highlight class="stringliteral">"salary"</highlight><highlight class="normal">);</highlight></codeline> |
| <codeline lineno="593"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>pred2<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a099da8de1b919fdc4574458b308d9ea7" kindref="member">Expressions::Equal</ref>(</highlight><highlight class="stringliteral">"active"</highlight><highlight class="normal">,<sp/><ref refid="classiceberg_1_1Literal_1ada29f73dbb21bde3e3da88e70ec56be3" kindref="member">Literal::Boolean</ref>(</highlight><highlight class="keyword">true</highlight><highlight class="normal">));</highlight></codeline> |
| <codeline lineno="594"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>or_expr<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1ab6f02015ae774f2ee14bcb7dfba2c287" kindref="member">Expressions::Or</ref>(pred1,<sp/>pred2);</highlight></codeline> |
| <codeline lineno="595"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="596"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>bound_or,<sp/>Bind(or_expr));</highlight></codeline> |
| <codeline lineno="597"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>refs,<sp/>ReferenceVisitor::GetReferencedFieldIds(bound_or));</highlight></codeline> |
| <codeline lineno="598"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="599"><highlight class="normal"><sp/><sp/>EXPECT_EQ(refs.size(),<sp/>2);</highlight></codeline> |
| <codeline lineno="600"><highlight class="normal"><sp/><sp/>EXPECT_EQ(refs.count(4),<sp/>1);<sp/><sp/></highlight><highlight class="comment">//<sp/>salary<sp/>field</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="601"><highlight class="normal"><sp/><sp/>EXPECT_EQ(refs.count(5),<sp/>1);<sp/><sp/></highlight><highlight class="comment">//<sp/>active<sp/>field</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">TEST_F(ReferenceVisitorTest,<sp/>NotExpression)<sp/>{</highlight></codeline> |
| <codeline lineno="605"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>NOT<sp/>expression<sp/>should<sp/>return<sp/>field<sp/>IDs<sp/>from<sp/>its<sp/>child</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="606"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>pred<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a099da8de1b919fdc4574458b308d9ea7" kindref="member">Expressions::Equal</ref>(</highlight><highlight class="stringliteral">"name"</highlight><highlight class="normal">,<sp/>Literal::String(</highlight><highlight class="stringliteral">"Alice"</highlight><highlight class="normal">));</highlight></codeline> |
| <codeline lineno="607"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>not_expr<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a19757ac2b0dcf6e0b3acbb861b934e5e" kindref="member">Expressions::Not</ref>(pred);</highlight></codeline> |
| <codeline lineno="608"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="609"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>bound_not,<sp/>Bind(not_expr));</highlight></codeline> |
| <codeline lineno="610"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>refs,<sp/>ReferenceVisitor::GetReferencedFieldIds(bound_not));</highlight></codeline> |
| <codeline lineno="611"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="612"><highlight class="normal"><sp/><sp/>EXPECT_EQ(refs.size(),<sp/>1);</highlight></codeline> |
| <codeline lineno="613"><highlight class="normal"><sp/><sp/>EXPECT_EQ(refs.count(2),<sp/>1);<sp/><sp/></highlight><highlight class="comment">//<sp/>name<sp/>field</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="614"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="615"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="616"><highlight class="normal">TEST_F(ReferenceVisitorTest,<sp/>ComplexNestedExpression)<sp/>{</highlight></codeline> |
| <codeline lineno="617"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>(name<sp/>=<sp/>'Alice'<sp/>AND<sp/>age<sp/>><sp/>25)<sp/>OR<sp/>(salary<sp/><<sp/>30000<sp/>AND<sp/>active<sp/>=<sp/>true)</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="618"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>Should<sp/>reference<sp/>fields:<sp/>name(2),<sp/>age(3),<sp/>salary(4),<sp/>active(5)</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="619"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>pred1<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a099da8de1b919fdc4574458b308d9ea7" kindref="member">Expressions::Equal</ref>(</highlight><highlight class="stringliteral">"name"</highlight><highlight class="normal">,<sp/>Literal::String(</highlight><highlight class="stringliteral">"Alice"</highlight><highlight class="normal">));</highlight></codeline> |
| <codeline lineno="620"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>pred2<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a0bef3bed364ed74910943f653899a39d" kindref="member">Expressions::GreaterThan</ref>(</highlight><highlight class="stringliteral">"age"</highlight><highlight class="normal">,<sp/>Literal::Int(25));</highlight></codeline> |
| <codeline lineno="621"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>pred3<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a83afed36da05da0cb524800844b0974f" kindref="member">Expressions::LessThan</ref>(</highlight><highlight class="stringliteral">"salary"</highlight><highlight class="normal">,<sp/>Literal::Double(30000.0));</highlight></codeline> |
| <codeline lineno="622"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>pred4<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a099da8de1b919fdc4574458b308d9ea7" kindref="member">Expressions::Equal</ref>(</highlight><highlight class="stringliteral">"active"</highlight><highlight class="normal">,<sp/><ref refid="classiceberg_1_1Literal_1ada29f73dbb21bde3e3da88e70ec56be3" kindref="member">Literal::Boolean</ref>(</highlight><highlight class="keyword">true</highlight><highlight class="normal">));</highlight></codeline> |
| <codeline lineno="623"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="624"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>and1<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1ad5129434b9a0e45e3fd3ffd53f5a3a40" kindref="member">Expressions::And</ref>(pred1,<sp/>pred2);</highlight></codeline> |
| <codeline lineno="625"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>and2<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1ad5129434b9a0e45e3fd3ffd53f5a3a40" kindref="member">Expressions::And</ref>(pred3,<sp/>pred4);</highlight></codeline> |
| <codeline lineno="626"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>complex_or<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1ab6f02015ae774f2ee14bcb7dfba2c287" kindref="member">Expressions::Or</ref>(and1,<sp/>and2);</highlight></codeline> |
| <codeline lineno="627"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="628"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>bound_complex,<sp/>Bind(complex_or));</highlight></codeline> |
| <codeline lineno="629"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>refs,</highlight></codeline> |
| <codeline lineno="630"><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/>ReferenceVisitor::GetReferencedFieldIds(bound_complex));</highlight></codeline> |
| <codeline lineno="631"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="632"><highlight class="normal"><sp/><sp/>EXPECT_EQ(refs.size(),<sp/>4);</highlight></codeline> |
| <codeline lineno="633"><highlight class="normal"><sp/><sp/>EXPECT_EQ(refs.count(2),<sp/>1);<sp/><sp/></highlight><highlight class="comment">//<sp/>name<sp/>field</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="634"><highlight class="normal"><sp/><sp/>EXPECT_EQ(refs.count(3),<sp/>1);<sp/><sp/></highlight><highlight class="comment">//<sp/>age<sp/>field</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="635"><highlight class="normal"><sp/><sp/>EXPECT_EQ(refs.count(4),<sp/>1);<sp/><sp/></highlight><highlight class="comment">//<sp/>salary<sp/>field</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="636"><highlight class="normal"><sp/><sp/>EXPECT_EQ(refs.count(5),<sp/>1);<sp/><sp/></highlight><highlight class="comment">//<sp/>active<sp/>field</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="637"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="638"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="639"><highlight class="normal">TEST_F(ReferenceVisitorTest,<sp/>DuplicateFieldReferences)<sp/>{</highlight></codeline> |
| <codeline lineno="640"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>Multiple<sp/>predicates<sp/>referencing<sp/>the<sp/>same<sp/>field</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="641"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>age<sp/>><sp/>25<sp/>AND<sp/>age<sp/><<sp/>50</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="642"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>pred1<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a0bef3bed364ed74910943f653899a39d" kindref="member">Expressions::GreaterThan</ref>(</highlight><highlight class="stringliteral">"age"</highlight><highlight class="normal">,<sp/>Literal::Int(25));</highlight></codeline> |
| <codeline lineno="643"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>pred2<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a83afed36da05da0cb524800844b0974f" kindref="member">Expressions::LessThan</ref>(</highlight><highlight class="stringliteral">"age"</highlight><highlight class="normal">,<sp/>Literal::Int(50));</highlight></codeline> |
| <codeline lineno="644"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>and_expr<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1ad5129434b9a0e45e3fd3ffd53f5a3a40" kindref="member">Expressions::And</ref>(pred1,<sp/>pred2);</highlight></codeline> |
| <codeline lineno="645"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="646"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>bound_and,<sp/>Bind(and_expr));</highlight></codeline> |
| <codeline lineno="647"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>refs,<sp/>ReferenceVisitor::GetReferencedFieldIds(bound_and));</highlight></codeline> |
| <codeline lineno="648"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="649"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>Should<sp/>only<sp/>contain<sp/>the<sp/>field<sp/>ID<sp/>once<sp/>(set<sp/>semantics)</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="650"><highlight class="normal"><sp/><sp/>EXPECT_EQ(refs.size(),<sp/>1);</highlight></codeline> |
| <codeline lineno="651"><highlight class="normal"><sp/><sp/>EXPECT_EQ(refs.count(3),<sp/>1);<sp/><sp/></highlight><highlight class="comment">//<sp/>age<sp/>field</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="652"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="653"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="654"><highlight class="normal">TEST_F(ReferenceVisitorTest,<sp/>SetPredicates)<sp/>{</highlight></codeline> |
| <codeline lineno="655"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>Test<sp/>In<sp/>predicate</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="656"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>pred_in<sp/>=</highlight></codeline> |
| <codeline lineno="657"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><ref refid="classiceberg_1_1Expressions_1aa53e1579311db56887c64dc01b483ee4" kindref="member">Expressions::In</ref>(</highlight><highlight class="stringliteral">"age"</highlight><highlight class="normal">,<sp/>{Literal::Int(25),<sp/>Literal::Int(30),<sp/>Literal::Int(35)});</highlight></codeline> |
| <codeline lineno="658"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>bound_in,<sp/>Bind(pred_in));</highlight></codeline> |
| <codeline lineno="659"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>refs_in,<sp/>ReferenceVisitor::GetReferencedFieldIds(bound_in));</highlight></codeline> |
| <codeline lineno="660"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="661"><highlight class="normal"><sp/><sp/>EXPECT_EQ(refs_in.size(),<sp/>1);</highlight></codeline> |
| <codeline lineno="662"><highlight class="normal"><sp/><sp/>EXPECT_EQ(refs_in.count(3),<sp/>1);<sp/><sp/></highlight><highlight class="comment">//<sp/>age<sp/>field</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="663"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="664"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>Test<sp/>NotIn<sp/>predicate</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="665"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>pred_not_in<sp/>=</highlight></codeline> |
| <codeline lineno="666"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><ref refid="classiceberg_1_1Expressions_1ab54116334db7f9fd8cad08e06d0dcff3" kindref="member">Expressions::NotIn</ref>(</highlight><highlight class="stringliteral">"name"</highlight><highlight class="normal">,<sp/>{Literal::String(</highlight><highlight class="stringliteral">"Alice"</highlight><highlight class="normal">),<sp/>Literal::String(</highlight><highlight class="stringliteral">"Bob"</highlight><highlight class="normal">)});</highlight></codeline> |
| <codeline lineno="667"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>bound_not_in,<sp/>Bind(pred_not_in));</highlight></codeline> |
| <codeline lineno="668"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>refs_not_in,</highlight></codeline> |
| <codeline lineno="669"><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/>ReferenceVisitor::GetReferencedFieldIds(bound_not_in));</highlight></codeline> |
| <codeline lineno="670"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="671"><highlight class="normal"><sp/><sp/>EXPECT_EQ(refs_not_in.size(),<sp/>1);</highlight></codeline> |
| <codeline lineno="672"><highlight class="normal"><sp/><sp/>EXPECT_EQ(refs_not_in.count(2),<sp/>1);<sp/><sp/></highlight><highlight class="comment">//<sp/>name<sp/>field</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="673"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="674"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="675"><highlight class="normal">TEST_F(ReferenceVisitorTest,<sp/>MixedBoundAndUnbound)<sp/>{</highlight></codeline> |
| <codeline lineno="676"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>bound_pred<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a099da8de1b919fdc4574458b308d9ea7" kindref="member">Expressions::Equal</ref>(</highlight><highlight class="stringliteral">"name"</highlight><highlight class="normal">,<sp/>Literal::String(</highlight><highlight class="stringliteral">"Alice"</highlight><highlight class="normal">));</highlight></codeline> |
| <codeline lineno="677"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>pred1,<sp/>Bind(bound_pred));</highlight></codeline> |
| <codeline lineno="678"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>unbound_pred<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a0bef3bed364ed74910943f653899a39d" kindref="member">Expressions::GreaterThan</ref>(</highlight><highlight class="stringliteral">"age"</highlight><highlight class="normal">,<sp/>Literal::Int(25));</highlight></codeline> |
| <codeline lineno="679"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>mixed_and<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1ad5129434b9a0e45e3fd3ffd53f5a3a40" kindref="member">Expressions::And</ref>(pred1,<sp/>unbound_pred);</highlight></codeline> |
| <codeline lineno="680"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="681"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>result<sp/>=<sp/>ReferenceVisitor::GetReferencedFieldIds(mixed_and);</highlight></codeline> |
| <codeline lineno="682"><highlight class="normal"><sp/><sp/>EXPECT_THAT(result,<sp/>IsError(ErrorKind::kInvalidExpression));</highlight></codeline> |
| <codeline lineno="683"><highlight class="normal"><sp/><sp/>EXPECT_THAT(result,</highlight></codeline> |
| <codeline lineno="684"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>HasErrorMessage(</highlight><highlight class="stringliteral">"Cannot<sp/>get<sp/>referenced<sp/>field<sp/>IDs<sp/>from<sp/>unbound<sp/>predicate"</highlight><highlight class="normal">));</highlight></codeline> |
| <codeline lineno="685"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="686"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="687"><highlight class="normal">TEST_F(ReferenceVisitorTest,<sp/>AllFields)<sp/>{</highlight></codeline> |
| <codeline lineno="688"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>Create<sp/>expression<sp/>referencing<sp/>all<sp/>fields<sp/>in<sp/>the<sp/>schema</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="689"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>pred1<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a495669f931ea0ba80d4ed0581c53598d" kindref="member">Expressions::NotNull</ref>(</highlight><highlight class="stringliteral">"id"</highlight><highlight class="normal">);</highlight></codeline> |
| <codeline lineno="690"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>pred2<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a099da8de1b919fdc4574458b308d9ea7" kindref="member">Expressions::Equal</ref>(</highlight><highlight class="stringliteral">"name"</highlight><highlight class="normal">,<sp/>Literal::String(</highlight><highlight class="stringliteral">"Test"</highlight><highlight class="normal">));</highlight></codeline> |
| <codeline lineno="691"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>pred3<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a0bef3bed364ed74910943f653899a39d" kindref="member">Expressions::GreaterThan</ref>(</highlight><highlight class="stringliteral">"age"</highlight><highlight class="normal">,<sp/>Literal::Int(0));</highlight></codeline> |
| <codeline lineno="692"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>pred4<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a83afed36da05da0cb524800844b0974f" kindref="member">Expressions::LessThan</ref>(</highlight><highlight class="stringliteral">"salary"</highlight><highlight class="normal">,<sp/>Literal::Double(100000.0));</highlight></codeline> |
| <codeline lineno="693"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>pred5<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1a099da8de1b919fdc4574458b308d9ea7" kindref="member">Expressions::Equal</ref>(</highlight><highlight class="stringliteral">"active"</highlight><highlight class="normal">,<sp/><ref refid="classiceberg_1_1Literal_1ada29f73dbb21bde3e3da88e70ec56be3" kindref="member">Literal::Boolean</ref>(</highlight><highlight class="keyword">true</highlight><highlight class="normal">));</highlight></codeline> |
| <codeline lineno="694"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="695"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>and1<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1ad5129434b9a0e45e3fd3ffd53f5a3a40" kindref="member">Expressions::And</ref>(pred1,<sp/>pred2);</highlight></codeline> |
| <codeline lineno="696"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>and2<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1ad5129434b9a0e45e3fd3ffd53f5a3a40" kindref="member">Expressions::And</ref>(pred3,<sp/>pred4);</highlight></codeline> |
| <codeline lineno="697"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>and3<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1ad5129434b9a0e45e3fd3ffd53f5a3a40" kindref="member">Expressions::And</ref>(and1,<sp/>and2);</highlight></codeline> |
| <codeline lineno="698"><highlight class="normal"><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>all_fields<sp/>=<sp/><ref refid="classiceberg_1_1Expressions_1ad5129434b9a0e45e3fd3ffd53f5a3a40" kindref="member">Expressions::And</ref>(and3,<sp/>pred5);</highlight></codeline> |
| <codeline lineno="699"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="700"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>bound_all,<sp/>Bind(all_fields));</highlight></codeline> |
| <codeline lineno="701"><highlight class="normal"><sp/><sp/>ICEBERG_UNWRAP_OR_FAIL(</highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>refs,<sp/>ReferenceVisitor::GetReferencedFieldIds(bound_all));</highlight></codeline> |
| <codeline lineno="702"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="703"><highlight class="normal"><sp/><sp/></highlight><highlight class="comment">//<sp/>Should<sp/>reference<sp/>all<sp/>5<sp/>fields</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="704"><highlight class="normal"><sp/><sp/>EXPECT_EQ(refs.size(),<sp/>4);</highlight></codeline> |
| <codeline lineno="705"><highlight class="normal"><sp/><sp/>EXPECT_EQ(refs.count(1),<sp/>0);<sp/><sp/></highlight><highlight class="comment">//<sp/>id<sp/>field<sp/>is<sp/>optimized<sp/>out</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="706"><highlight class="normal"><sp/><sp/>EXPECT_EQ(refs.count(2),<sp/>1);<sp/><sp/></highlight><highlight class="comment">//<sp/>name<sp/>field</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="707"><highlight class="normal"><sp/><sp/>EXPECT_EQ(refs.count(3),<sp/>1);<sp/><sp/></highlight><highlight class="comment">//<sp/>age<sp/>field</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="708"><highlight class="normal"><sp/><sp/>EXPECT_EQ(refs.count(4),<sp/>1);<sp/><sp/></highlight><highlight class="comment">//<sp/>salary<sp/>field</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="709"><highlight class="normal"><sp/><sp/>EXPECT_EQ(refs.count(5),<sp/>1);<sp/><sp/></highlight><highlight class="comment">//<sp/>active<sp/>field</highlight><highlight class="normal"></highlight></codeline> |
| <codeline lineno="710"><highlight class="normal">}</highlight></codeline> |
| <codeline lineno="711"><highlight class="normal"></highlight></codeline> |
| <codeline lineno="712"><highlight class="normal">}<sp/><sp/></highlight><highlight class="comment">//<sp/>namespace<sp/>iceberg</highlight><highlight class="normal"></highlight></codeline> |
| </programlisting> |
| <location file="iceberg/test/expression_visitor_test.cc"/> |
| </compounddef> |
| </doxygen> |
