| <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "https://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> |
| <html xmlns="http://www.w3.org/1999/xhtml" lang="en-US"> |
| <head> |
| <meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/> |
| <meta http-equiv="X-UA-Compatible" content="IE=11"/> |
| <meta name="generator" content="Doxygen 1.9.8"/> |
| <meta name="viewport" content="width=device-width, initial-scale=1"/> |
| <title>iceberg-cpp: iceberg/expression/expression_visitor.h Source File</title> |
| <link href="tabs.css" rel="stylesheet" type="text/css"/> |
| <script type="text/javascript" src="jquery.js"></script> |
| <script type="text/javascript" src="dynsections.js"></script> |
| <link href="search/search.css" rel="stylesheet" type="text/css"/> |
| <script type="text/javascript" src="search/searchdata.js"></script> |
| <script type="text/javascript" src="search/search.js"></script> |
| <link href="doxygen.css" rel="stylesheet" type="text/css" /> |
| </head> |
| <body> |
| <div id="top"><!-- do not remove this div, it is closed by doxygen! --> |
| <div id="titlearea"> |
| <table cellspacing="0" cellpadding="0"> |
| <tbody> |
| <tr id="projectrow"> |
| <td id="projectalign"> |
| <div id="projectname">iceberg-cpp |
| </div> |
| </td> |
| </tr> |
| </tbody> |
| </table> |
| </div> |
| <!-- end header part --> |
| <!-- Generated by Doxygen 1.9.8 --> |
| <script type="text/javascript"> |
| /* @license magnet:?xt=urn:btih:d3d9a9a6595521f9666a5e94cc830dab83b65699&dn=expat.txt MIT */ |
| var searchBox = new SearchBox("searchBox", "search/",'.html'); |
| /* @license-end */ |
| </script> |
| <script type="text/javascript" src="menudata.js"></script> |
| <script type="text/javascript" src="menu.js"></script> |
| <script type="text/javascript"> |
| /* @license magnet:?xt=urn:btih:d3d9a9a6595521f9666a5e94cc830dab83b65699&dn=expat.txt MIT */ |
| $(function() { |
| initMenu('',true,false,'search.php','Search'); |
| $(document).ready(function() { init_search(); }); |
| }); |
| /* @license-end */ |
| </script> |
| <div id="main-nav"></div> |
| <script type="text/javascript"> |
| /* @license magnet:?xt=urn:btih:d3d9a9a6595521f9666a5e94cc830dab83b65699&dn=expat.txt MIT */ |
| $(document).ready(function() { init_codefold(0); }); |
| /* @license-end */ |
| </script> |
| <!-- window showing the filter options --> |
| <div id="MSearchSelectWindow" |
| onmouseover="return searchBox.OnSearchSelectShow()" |
| onmouseout="return searchBox.OnSearchSelectHide()" |
| onkeydown="return searchBox.OnSearchSelectKey(event)"> |
| </div> |
| |
| <!-- iframe showing the search results (closed by default) --> |
| <div id="MSearchResultsWindow"> |
| <div id="MSearchResults"> |
| <div class="SRPage"> |
| <div id="SRIndex"> |
| <div id="SRResults"></div> |
| <div class="SRStatus" id="Loading">Loading...</div> |
| <div class="SRStatus" id="Searching">Searching...</div> |
| <div class="SRStatus" id="NoMatches">No Matches</div> |
| </div> |
| </div> |
| </div> |
| </div> |
| |
| <div id="nav-path" class="navpath"> |
| <ul> |
| <li class="navelem"><a class="el" href="dir_f51fe74ea6bc2b1b900619895eaa63be.html">iceberg</a></li><li class="navelem"><a class="el" href="dir_832d158f51fdfd219125f1a0f5099b44.html">expression</a></li> </ul> |
| </div> |
| </div><!-- top --> |
| <div class="header"> |
| <div class="headertitle"><div class="title">expression_visitor.h</div></div> |
| </div><!--header--> |
| <div class="contents"> |
| <a href="expression__visitor_8h.html">Go to the documentation of this file.</a><div class="fragment"><div class="line"><a id="l00001" name="l00001"></a><span class="lineno"> 1</span><span class="comment">/*</span></div> |
| <div class="line"><a id="l00002" name="l00002"></a><span class="lineno"> 2</span><span class="comment"> * Licensed to the Apache Software Foundation (ASF) under one</span></div> |
| <div class="line"><a id="l00003" name="l00003"></a><span class="lineno"> 3</span><span class="comment"> * or more contributor license agreements. See the NOTICE file</span></div> |
| <div class="line"><a id="l00004" name="l00004"></a><span class="lineno"> 4</span><span class="comment"> * distributed with this work for additional information</span></div> |
| <div class="line"><a id="l00005" name="l00005"></a><span class="lineno"> 5</span><span class="comment"> * regarding copyright ownership. The ASF licenses this file</span></div> |
| <div class="line"><a id="l00006" name="l00006"></a><span class="lineno"> 6</span><span class="comment"> * to you under the Apache License, Version 2.0 (the</span></div> |
| <div class="line"><a id="l00007" name="l00007"></a><span class="lineno"> 7</span><span class="comment"> * "License"); you may not use this file except in compliance</span></div> |
| <div class="line"><a id="l00008" name="l00008"></a><span class="lineno"> 8</span><span class="comment"> * with the License. You may obtain a copy of the License at</span></div> |
| <div class="line"><a id="l00009" name="l00009"></a><span class="lineno"> 9</span><span class="comment"> *</span></div> |
| <div class="line"><a id="l00010" name="l00010"></a><span class="lineno"> 10</span><span class="comment"> * http://www.apache.org/licenses/LICENSE-2.0</span></div> |
| <div class="line"><a id="l00011" name="l00011"></a><span class="lineno"> 11</span><span class="comment"> *</span></div> |
| <div class="line"><a id="l00012" name="l00012"></a><span class="lineno"> 12</span><span class="comment"> * Unless required by applicable law or agreed to in writing,</span></div> |
| <div class="line"><a id="l00013" name="l00013"></a><span class="lineno"> 13</span><span class="comment"> * software distributed under the License is distributed on an</span></div> |
| <div class="line"><a id="l00014" name="l00014"></a><span class="lineno"> 14</span><span class="comment"> * "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY</span></div> |
| <div class="line"><a id="l00015" name="l00015"></a><span class="lineno"> 15</span><span class="comment"> * KIND, either express or implied. See the License for the</span></div> |
| <div class="line"><a id="l00016" name="l00016"></a><span class="lineno"> 16</span><span class="comment"> * specific language governing permissions and limitations</span></div> |
| <div class="line"><a id="l00017" name="l00017"></a><span class="lineno"> 17</span><span class="comment"> * under the License.</span></div> |
| <div class="line"><a id="l00018" name="l00018"></a><span class="lineno"> 18</span><span class="comment"> */</span></div> |
| <div class="line"><a id="l00019" name="l00019"></a><span class="lineno"> 19</span> </div> |
| <div class="line"><a id="l00020" name="l00020"></a><span class="lineno"> 20</span><span class="preprocessor">#pragma once</span></div> |
| <div class="line"><a id="l00021" name="l00021"></a><span class="lineno"> 21</span> </div> |
| <div class="line"><a id="l00024" name="l00024"></a><span class="lineno"> 24</span> </div> |
| <div class="line"><a id="l00025" name="l00025"></a><span class="lineno"> 25</span><span class="preprocessor">#include <concepts></span></div> |
| <div class="line"><a id="l00026" name="l00026"></a><span class="lineno"> 26</span><span class="preprocessor">#include <memory></span></div> |
| <div class="line"><a id="l00027" name="l00027"></a><span class="lineno"> 27</span><span class="preprocessor">#include <typeinfo></span></div> |
| <div class="line"><a id="l00028" name="l00028"></a><span class="lineno"> 28</span> </div> |
| <div class="line"><a id="l00029" name="l00029"></a><span class="lineno"> 29</span><span class="preprocessor">#include "<a class="code" href="aggregate_8h.html">iceberg/expression/aggregate.h</a>"</span></div> |
| <div class="line"><a id="l00030" name="l00030"></a><span class="lineno"> 30</span><span class="preprocessor">#include "<a class="code" href="expression_8h.html">iceberg/expression/expression.h</a>"</span></div> |
| <div class="line"><a id="l00031" name="l00031"></a><span class="lineno"> 31</span><span class="preprocessor">#include "iceberg/expression/literal.h"</span></div> |
| <div class="line"><a id="l00032" name="l00032"></a><span class="lineno"> 32</span><span class="preprocessor">#include "<a class="code" href="predicate_8h.html">iceberg/expression/predicate.h</a>"</span></div> |
| <div class="line"><a id="l00033" name="l00033"></a><span class="lineno"> 33</span><span class="preprocessor">#include "<a class="code" href="term_8h.html">iceberg/expression/term.h</a>"</span></div> |
| <div class="line"><a id="l00034" name="l00034"></a><span class="lineno"> 34</span><span class="preprocessor">#include "iceberg/iceberg_export.h"</span></div> |
| <div class="line"><a id="l00035" name="l00035"></a><span class="lineno"> 35</span><span class="preprocessor">#include "iceberg/result.h"</span></div> |
| <div class="line"><a id="l00036" name="l00036"></a><span class="lineno"> 36</span><span class="preprocessor">#include "<a class="code" href="checked__cast_8h.html">iceberg/util/checked_cast.h</a>"</span></div> |
| <div class="line"><a id="l00037" name="l00037"></a><span class="lineno"> 37</span><span class="preprocessor">#include "iceberg/util/macros.h"</span></div> |
| <div class="line"><a id="l00038" name="l00038"></a><span class="lineno"> 38</span> </div> |
| <div class="line"><a id="l00039" name="l00039"></a><span class="lineno"> 39</span><span class="keyword">namespace </span>iceberg {</div> |
| <div class="line"><a id="l00040" name="l00040"></a><span class="lineno"> 40</span> </div> |
| <div class="line"><a id="l00048" name="l00048"></a><span class="lineno"> 48</span><span class="keyword">template</span> <<span class="keyword">typename</span> R></div> |
| <div class="foldopen" id="foldopen00049" data-start="{" data-end="};"> |
| <div class="line"><a id="l00049" name="l00049"></a><span class="lineno"><a class="line" href="classiceberg_1_1ExpressionVisitor.html"> 49</a></span><span class="keyword">class </span>ICEBERG_EXPORT <a class="code hl_class" href="classiceberg_1_1ExpressionVisitor.html">ExpressionVisitor</a> {</div> |
| <div class="line"><a id="l00050" name="l00050"></a><span class="lineno"> 50</span> <span class="keyword">using </span>ParamType = std::conditional_t<std::is_fundamental_v<R>, R, <span class="keyword">const</span> R&>;</div> |
| <div class="line"><a id="l00051" name="l00051"></a><span class="lineno"> 51</span> </div> |
| <div class="line"><a id="l00052" name="l00052"></a><span class="lineno"> 52</span> <span class="keyword">public</span>:</div> |
| <div class="line"><a id="l00053" name="l00053"></a><span class="lineno"> 53</span> <span class="keyword">virtual</span> <a class="code hl_class" href="classiceberg_1_1ExpressionVisitor.html">~ExpressionVisitor</a>() = <span class="keywordflow">default</span>;</div> |
| <div class="line"><a id="l00054" name="l00054"></a><span class="lineno"> 54</span> </div> |
| <div class="line"><a id="l00056" name="l00056"></a><span class="lineno"><a class="line" href="classiceberg_1_1ExpressionVisitor.html#aed1c555ca56ff0aaa898d31aa52f7287"> 56</a></span> <span class="keyword">virtual</span> Result<R> <a class="code hl_function" href="classiceberg_1_1ExpressionVisitor.html#aed1c555ca56ff0aaa898d31aa52f7287">AlwaysTrue</a>() = 0;</div> |
| <div class="line"><a id="l00057" name="l00057"></a><span class="lineno"> 57</span> </div> |
| <div class="line"><a id="l00059" name="l00059"></a><span class="lineno"><a class="line" href="classiceberg_1_1ExpressionVisitor.html#aa6abb6e1020467e2ab3a2e17563990be"> 59</a></span> <span class="keyword">virtual</span> Result<R> <a class="code hl_function" href="classiceberg_1_1ExpressionVisitor.html#aa6abb6e1020467e2ab3a2e17563990be">AlwaysFalse</a>() = 0;</div> |
| <div class="line"><a id="l00060" name="l00060"></a><span class="lineno"> 60</span> </div> |
| <div class="line"><a id="l00063" name="l00063"></a><span class="lineno"><a class="line" href="classiceberg_1_1ExpressionVisitor.html#a3785b1824deecc35b76c64ae6bb57f23"> 63</a></span> <span class="keyword">virtual</span> Result<R> <a class="code hl_function" href="classiceberg_1_1ExpressionVisitor.html#a3785b1824deecc35b76c64ae6bb57f23">Not</a>(ParamType child_result) = 0;</div> |
| <div class="line"><a id="l00064" name="l00064"></a><span class="lineno"> 64</span> </div> |
| <div class="line"><a id="l00068" name="l00068"></a><span class="lineno"><a class="line" href="classiceberg_1_1ExpressionVisitor.html#a134636ef9aac1bbf8ade254e1c1c24d6"> 68</a></span> <span class="keyword">virtual</span> Result<R> <a class="code hl_function" href="classiceberg_1_1ExpressionVisitor.html#a134636ef9aac1bbf8ade254e1c1c24d6">And</a>(ParamType left_result, ParamType right_result) = 0;</div> |
| <div class="line"><a id="l00069" name="l00069"></a><span class="lineno"> 69</span> </div> |
| <div class="line"><a id="l00073" name="l00073"></a><span class="lineno"><a class="line" href="classiceberg_1_1ExpressionVisitor.html#aa21a66f372f1b32f94d8be2bb5643440"> 73</a></span> <span class="keyword">virtual</span> Result<R> <a class="code hl_function" href="classiceberg_1_1ExpressionVisitor.html#aa21a66f372f1b32f94d8be2bb5643440">Or</a>(ParamType left_result, ParamType right_result) = 0;</div> |
| <div class="line"><a id="l00074" name="l00074"></a><span class="lineno"> 74</span> </div> |
| <div class="line"><a id="l00077" name="l00077"></a><span class="lineno"><a class="line" href="classiceberg_1_1ExpressionVisitor.html#ae15b69bbbd82d8c0b941cb4bc3324fc4"> 77</a></span> <span class="keyword">virtual</span> Result<R> <a class="code hl_function" href="classiceberg_1_1ExpressionVisitor.html#ae15b69bbbd82d8c0b941cb4bc3324fc4">Predicate</a>(<span class="keyword">const</span> std::shared_ptr<BoundPredicate>& pred) = 0;</div> |
| <div class="line"><a id="l00078" name="l00078"></a><span class="lineno"> 78</span> </div> |
| <div class="line"><a id="l00081" name="l00081"></a><span class="lineno"><a class="line" href="classiceberg_1_1ExpressionVisitor.html#a1c01ceb403a5c6e2706f9b197d729ead"> 81</a></span> <span class="keyword">virtual</span> Result<R> <a class="code hl_function" href="classiceberg_1_1ExpressionVisitor.html#a1c01ceb403a5c6e2706f9b197d729ead">Predicate</a>(<span class="keyword">const</span> std::shared_ptr<UnboundPredicate>& pred) = 0;</div> |
| <div class="line"><a id="l00082" name="l00082"></a><span class="lineno"> 82</span> </div> |
| <div class="foldopen" id="foldopen00085" data-start="{" data-end="}"> |
| <div class="line"><a id="l00085" name="l00085"></a><span class="lineno"><a class="line" href="classiceberg_1_1ExpressionVisitor.html#a4a7c83473af339c9c64cef5e9f3947ee"> 85</a></span> <span class="keyword">virtual</span> Result<R> <a class="code hl_function" href="classiceberg_1_1ExpressionVisitor.html#a4a7c83473af339c9c64cef5e9f3947ee">Aggregate</a>(<span class="keyword">const</span> std::shared_ptr<BoundAggregate>& aggregate) {</div> |
| <div class="line"><a id="l00086" name="l00086"></a><span class="lineno"> 86</span> ICEBERG_DCHECK(aggregate != <span class="keyword">nullptr</span>, <span class="stringliteral">"Bound aggregate cannot be null"</span>);</div> |
| <div class="line"><a id="l00087" name="l00087"></a><span class="lineno"> 87</span> <span class="keywordflow">return</span> NotSupported(<span class="stringliteral">"Visitor {} does not support bound aggregate"</span>,</div> |
| <div class="line"><a id="l00088" name="l00088"></a><span class="lineno"> 88</span> <span class="keyword">typeid</span>(*this).name());</div> |
| <div class="line"><a id="l00089" name="l00089"></a><span class="lineno"> 89</span> }</div> |
| </div> |
| <div class="line"><a id="l00090" name="l00090"></a><span class="lineno"> 90</span> </div> |
| <div class="foldopen" id="foldopen00093" data-start="{" data-end="}"> |
| <div class="line"><a id="l00093" name="l00093"></a><span class="lineno"><a class="line" href="classiceberg_1_1ExpressionVisitor.html#a699e13e4420928256b3fb08a87674a9f"> 93</a></span> <span class="keyword">virtual</span> Result<R> <a class="code hl_function" href="classiceberg_1_1ExpressionVisitor.html#a699e13e4420928256b3fb08a87674a9f">Aggregate</a>(<span class="keyword">const</span> std::shared_ptr<UnboundAggregate>& aggregate) {</div> |
| <div class="line"><a id="l00094" name="l00094"></a><span class="lineno"> 94</span> ICEBERG_DCHECK(aggregate != <span class="keyword">nullptr</span>, <span class="stringliteral">"Unbound aggregate cannot be null"</span>);</div> |
| <div class="line"><a id="l00095" name="l00095"></a><span class="lineno"> 95</span> <span class="keywordflow">return</span> NotSupported(<span class="stringliteral">"Visitor {} does not support unbound aggregate"</span>,</div> |
| <div class="line"><a id="l00096" name="l00096"></a><span class="lineno"> 96</span> <span class="keyword">typeid</span>(*this).name());</div> |
| <div class="line"><a id="l00097" name="l00097"></a><span class="lineno"> 97</span> }</div> |
| </div> |
| <div class="line"><a id="l00098" name="l00098"></a><span class="lineno"> 98</span>};</div> |
| </div> |
| <div class="line"><a id="l00099" name="l00099"></a><span class="lineno"> 99</span> </div> |
| <div class="line"><a id="l00105" name="l00105"></a><span class="lineno"> 105</span><span class="keyword">template</span> <<span class="keyword">typename</span> R></div> |
| <div class="foldopen" id="foldopen00106" data-start="{" data-end="};"> |
| <div class="line"><a id="l00106" name="l00106"></a><span class="lineno"><a class="line" href="classiceberg_1_1BoundVisitor.html"> 106</a></span><span class="keyword">class </span>ICEBERG_EXPORT <a class="code hl_class" href="classiceberg_1_1BoundVisitor.html">BoundVisitor</a> : <span class="keyword">public</span> <a class="code hl_class" href="classiceberg_1_1ExpressionVisitor.html">ExpressionVisitor</a><R> {</div> |
| <div class="line"><a id="l00107" name="l00107"></a><span class="lineno"> 107</span> <span class="keyword">public</span>:</div> |
| <div class="line"><a id="l00108" name="l00108"></a><span class="lineno"> 108</span> <a class="code hl_class" href="classiceberg_1_1BoundVisitor.html">~BoundVisitor</a>() <span class="keyword">override</span> = <span class="keywordflow">default</span>;</div> |
| <div class="line"><a id="l00109" name="l00109"></a><span class="lineno"> 109</span> </div> |
| <div class="line"><a id="l00112" name="l00112"></a><span class="lineno"><a class="line" href="classiceberg_1_1BoundVisitor.html#a147dc2c9bef077b86ffbf82b933716b7"> 112</a></span> <span class="keyword">virtual</span> Result<R> <a class="code hl_function" href="classiceberg_1_1BoundVisitor.html#a147dc2c9bef077b86ffbf82b933716b7">IsNull</a>(<span class="keyword">const</span> std::shared_ptr<Bound>& expr) = 0;</div> |
| <div class="line"><a id="l00113" name="l00113"></a><span class="lineno"> 113</span> </div> |
| <div class="line"><a id="l00116" name="l00116"></a><span class="lineno"><a class="line" href="classiceberg_1_1BoundVisitor.html#a896da482841ec11cc70d7d8382147913"> 116</a></span> <span class="keyword">virtual</span> Result<R> <a class="code hl_function" href="classiceberg_1_1BoundVisitor.html#a896da482841ec11cc70d7d8382147913">NotNull</a>(<span class="keyword">const</span> std::shared_ptr<Bound>& expr) = 0;</div> |
| <div class="line"><a id="l00117" name="l00117"></a><span class="lineno"> 117</span> </div> |
| <div class="foldopen" id="foldopen00120" data-start="{" data-end="}"> |
| <div class="line"><a id="l00120" name="l00120"></a><span class="lineno"><a class="line" href="classiceberg_1_1BoundVisitor.html#aeaafcbf51500c8dbbbec948f30d9a8b8"> 120</a></span> <span class="keyword">virtual</span> Result<R> <a class="code hl_function" href="classiceberg_1_1BoundVisitor.html#aeaafcbf51500c8dbbbec948f30d9a8b8">IsNaN</a>(<span class="keyword">const</span> std::shared_ptr<Bound>& expr) {</div> |
| <div class="line"><a id="l00121" name="l00121"></a><span class="lineno"> 121</span> <span class="keywordflow">return</span> NotSupported(<span class="stringliteral">"IsNaN operation is not supported by this visitor"</span>);</div> |
| <div class="line"><a id="l00122" name="l00122"></a><span class="lineno"> 122</span> }</div> |
| </div> |
| <div class="line"><a id="l00123" name="l00123"></a><span class="lineno"> 123</span> </div> |
| <div class="foldopen" id="foldopen00126" data-start="{" data-end="}"> |
| <div class="line"><a id="l00126" name="l00126"></a><span class="lineno"><a class="line" href="classiceberg_1_1BoundVisitor.html#aeac3873dd7f39239b63176b08c22c97c"> 126</a></span> <span class="keyword">virtual</span> Result<R> <a class="code hl_function" href="classiceberg_1_1BoundVisitor.html#aeac3873dd7f39239b63176b08c22c97c">NotNaN</a>(<span class="keyword">const</span> std::shared_ptr<Bound>& expr) {</div> |
| <div class="line"><a id="l00127" name="l00127"></a><span class="lineno"> 127</span> <span class="keywordflow">return</span> NotSupported(<span class="stringliteral">"NotNaN operation is not supported by this visitor"</span>);</div> |
| <div class="line"><a id="l00128" name="l00128"></a><span class="lineno"> 128</span> }</div> |
| </div> |
| <div class="line"><a id="l00129" name="l00129"></a><span class="lineno"> 129</span> </div> |
| <div class="line"><a id="l00133" name="l00133"></a><span class="lineno"><a class="line" href="classiceberg_1_1BoundVisitor.html#a07eb597069fc4907677ea59bc9e7f8fa"> 133</a></span> <span class="keyword">virtual</span> Result<R> <a class="code hl_function" href="classiceberg_1_1BoundVisitor.html#a07eb597069fc4907677ea59bc9e7f8fa">Lt</a>(<span class="keyword">const</span> std::shared_ptr<Bound>& expr, <span class="keyword">const</span> <a class="code hl_class" href="classiceberg_1_1Literal.html">Literal</a>& lit) = 0;</div> |
| <div class="line"><a id="l00134" name="l00134"></a><span class="lineno"> 134</span> </div> |
| <div class="line"><a id="l00138" name="l00138"></a><span class="lineno"><a class="line" href="classiceberg_1_1BoundVisitor.html#a3d1cc2b13541dcf37cf19cffc2cba55e"> 138</a></span> <span class="keyword">virtual</span> Result<R> <a class="code hl_function" href="classiceberg_1_1BoundVisitor.html#a3d1cc2b13541dcf37cf19cffc2cba55e">LtEq</a>(<span class="keyword">const</span> std::shared_ptr<Bound>& expr, <span class="keyword">const</span> <a class="code hl_class" href="classiceberg_1_1Literal.html">Literal</a>& lit) = 0;</div> |
| <div class="line"><a id="l00139" name="l00139"></a><span class="lineno"> 139</span> </div> |
| <div class="line"><a id="l00143" name="l00143"></a><span class="lineno"><a class="line" href="classiceberg_1_1BoundVisitor.html#a0722a7fb3652d01b85d09e2a6595ac67"> 143</a></span> <span class="keyword">virtual</span> Result<R> <a class="code hl_function" href="classiceberg_1_1BoundVisitor.html#a0722a7fb3652d01b85d09e2a6595ac67">Gt</a>(<span class="keyword">const</span> std::shared_ptr<Bound>& expr, <span class="keyword">const</span> <a class="code hl_class" href="classiceberg_1_1Literal.html">Literal</a>& lit) = 0;</div> |
| <div class="line"><a id="l00144" name="l00144"></a><span class="lineno"> 144</span> </div> |
| <div class="line"><a id="l00148" name="l00148"></a><span class="lineno"><a class="line" href="classiceberg_1_1BoundVisitor.html#a887464c3e7230573dc77ab07c4d52f2e"> 148</a></span> <span class="keyword">virtual</span> Result<R> <a class="code hl_function" href="classiceberg_1_1BoundVisitor.html#a887464c3e7230573dc77ab07c4d52f2e">GtEq</a>(<span class="keyword">const</span> std::shared_ptr<Bound>& expr, <span class="keyword">const</span> <a class="code hl_class" href="classiceberg_1_1Literal.html">Literal</a>& lit) = 0;</div> |
| <div class="line"><a id="l00149" name="l00149"></a><span class="lineno"> 149</span> </div> |
| <div class="line"><a id="l00153" name="l00153"></a><span class="lineno"><a class="line" href="classiceberg_1_1BoundVisitor.html#ab8b110291e99d2e743c9a70637d2800c"> 153</a></span> <span class="keyword">virtual</span> Result<R> <a class="code hl_function" href="classiceberg_1_1BoundVisitor.html#ab8b110291e99d2e743c9a70637d2800c">Eq</a>(<span class="keyword">const</span> std::shared_ptr<Bound>& expr, <span class="keyword">const</span> <a class="code hl_class" href="classiceberg_1_1Literal.html">Literal</a>& lit) = 0;</div> |
| <div class="line"><a id="l00154" name="l00154"></a><span class="lineno"> 154</span> </div> |
| <div class="line"><a id="l00158" name="l00158"></a><span class="lineno"><a class="line" href="classiceberg_1_1BoundVisitor.html#a962cb7ca85f1f3def77affe42048e176"> 158</a></span> <span class="keyword">virtual</span> Result<R> <a class="code hl_function" href="classiceberg_1_1BoundVisitor.html#a962cb7ca85f1f3def77affe42048e176">NotEq</a>(<span class="keyword">const</span> std::shared_ptr<Bound>& expr, <span class="keyword">const</span> <a class="code hl_class" href="classiceberg_1_1Literal.html">Literal</a>& lit) = 0;</div> |
| <div class="line"><a id="l00159" name="l00159"></a><span class="lineno"> 159</span> </div> |
| <div class="foldopen" id="foldopen00163" data-start="{" data-end="}"> |
| <div class="line"><a id="l00163" name="l00163"></a><span class="lineno"><a class="line" href="classiceberg_1_1BoundVisitor.html#af8d118683a69b4d27a6769da12114d38"> 163</a></span> <span class="keyword">virtual</span> Result<R> <a class="code hl_function" href="classiceberg_1_1BoundVisitor.html#af8d118683a69b4d27a6769da12114d38">StartsWith</a>([[maybe_unused]] <span class="keyword">const</span> std::shared_ptr<Bound>& expr,</div> |
| <div class="line"><a id="l00164" name="l00164"></a><span class="lineno"> 164</span> [[maybe_unused]] <span class="keyword">const</span> <a class="code hl_class" href="classiceberg_1_1Literal.html">Literal</a>& lit) {</div> |
| <div class="line"><a id="l00165" name="l00165"></a><span class="lineno"> 165</span> <span class="keywordflow">return</span> NotSupported(<span class="stringliteral">"StartsWith operation is not supported by this visitor"</span>);</div> |
| <div class="line"><a id="l00166" name="l00166"></a><span class="lineno"> 166</span> }</div> |
| </div> |
| <div class="line"><a id="l00167" name="l00167"></a><span class="lineno"> 167</span> </div> |
| <div class="foldopen" id="foldopen00171" data-start="{" data-end="}"> |
| <div class="line"><a id="l00171" name="l00171"></a><span class="lineno"><a class="line" href="classiceberg_1_1BoundVisitor.html#a3b98b13ef68f001de28a99896a13620e"> 171</a></span> <span class="keyword">virtual</span> Result<R> <a class="code hl_function" href="classiceberg_1_1BoundVisitor.html#a3b98b13ef68f001de28a99896a13620e">NotStartsWith</a>([[maybe_unused]] <span class="keyword">const</span> std::shared_ptr<Bound>& expr,</div> |
| <div class="line"><a id="l00172" name="l00172"></a><span class="lineno"> 172</span> [[maybe_unused]] <span class="keyword">const</span> <a class="code hl_class" href="classiceberg_1_1Literal.html">Literal</a>& lit) {</div> |
| <div class="line"><a id="l00173" name="l00173"></a><span class="lineno"> 173</span> <span class="keywordflow">return</span> NotSupported(<span class="stringliteral">"NotStartsWith operation is not supported by this visitor"</span>);</div> |
| <div class="line"><a id="l00174" name="l00174"></a><span class="lineno"> 174</span> }</div> |
| </div> |
| <div class="line"><a id="l00175" name="l00175"></a><span class="lineno"> 175</span> </div> |
| <div class="foldopen" id="foldopen00179" data-start="{" data-end="}"> |
| <div class="line"><a id="l00179" name="l00179"></a><span class="lineno"><a class="line" href="classiceberg_1_1BoundVisitor.html#a4ad6c0161e30c914d43aeafd2c31ed2d"> 179</a></span> <span class="keyword">virtual</span> Result<R> <a class="code hl_function" href="classiceberg_1_1BoundVisitor.html#a4ad6c0161e30c914d43aeafd2c31ed2d">In</a>(</div> |
| <div class="line"><a id="l00180" name="l00180"></a><span class="lineno"> 180</span> [[maybe_unused]] <span class="keyword">const</span> std::shared_ptr<Bound>& expr,</div> |
| <div class="line"><a id="l00181" name="l00181"></a><span class="lineno"> 181</span> [[maybe_unused]] <span class="keyword">const</span> BoundSetPredicate::LiteralSet& literal_set) {</div> |
| <div class="line"><a id="l00182" name="l00182"></a><span class="lineno"> 182</span> <span class="keywordflow">return</span> NotSupported(<span class="stringliteral">"In operation is not supported by this visitor"</span>);</div> |
| <div class="line"><a id="l00183" name="l00183"></a><span class="lineno"> 183</span> }</div> |
| </div> |
| <div class="line"><a id="l00184" name="l00184"></a><span class="lineno"> 184</span> </div> |
| <div class="foldopen" id="foldopen00188" data-start="{" data-end="}"> |
| <div class="line"><a id="l00188" name="l00188"></a><span class="lineno"><a class="line" href="classiceberg_1_1BoundVisitor.html#a82f60a5b3f27b69262beafd4e91ddaf0"> 188</a></span> <span class="keyword">virtual</span> Result<R> <a class="code hl_function" href="classiceberg_1_1BoundVisitor.html#a82f60a5b3f27b69262beafd4e91ddaf0">NotIn</a>(</div> |
| <div class="line"><a id="l00189" name="l00189"></a><span class="lineno"> 189</span> [[maybe_unused]] <span class="keyword">const</span> std::shared_ptr<Bound>& expr,</div> |
| <div class="line"><a id="l00190" name="l00190"></a><span class="lineno"> 190</span> [[maybe_unused]] <span class="keyword">const</span> BoundSetPredicate::LiteralSet& literal_set) {</div> |
| <div class="line"><a id="l00191" name="l00191"></a><span class="lineno"> 191</span> <span class="keywordflow">return</span> NotSupported(<span class="stringliteral">"NotIn operation is not supported by this visitor"</span>);</div> |
| <div class="line"><a id="l00192" name="l00192"></a><span class="lineno"> 192</span> }</div> |
| </div> |
| <div class="line"><a id="l00193" name="l00193"></a><span class="lineno"> 193</span> </div> |
| <div class="foldopen" id="foldopen00200" data-start="{" data-end="}"> |
| <div class="line"><a id="l00200" name="l00200"></a><span class="lineno"><a class="line" href="classiceberg_1_1BoundVisitor.html#ab39f8eaf365886cadbbd210584915f59"> 200</a></span> Result<R> <a class="code hl_function" href="classiceberg_1_1BoundVisitor.html#ab39f8eaf365886cadbbd210584915f59">Predicate</a>(<span class="keyword">const</span> std::shared_ptr<BoundPredicate>& pred)<span class="keyword"> override </span>{</div> |
| <div class="line"><a id="l00201" name="l00201"></a><span class="lineno"> 201</span> ICEBERG_DCHECK(pred != <span class="keyword">nullptr</span>, <span class="stringliteral">"BoundPredicate cannot be null"</span>);</div> |
| <div class="line"><a id="l00202" name="l00202"></a><span class="lineno"> 202</span> </div> |
| <div class="line"><a id="l00203" name="l00203"></a><span class="lineno"> 203</span> <span class="keywordflow">switch</span> (pred->kind()) {</div> |
| <div class="line"><a id="l00204" name="l00204"></a><span class="lineno"> 204</span> <span class="keywordflow">case</span> BoundPredicate::Kind::kUnary: {</div> |
| <div class="line"><a id="l00205" name="l00205"></a><span class="lineno"> 205</span> <span class="keywordflow">switch</span> (pred->op()) {</div> |
| <div class="line"><a id="l00206" name="l00206"></a><span class="lineno"> 206</span> <span class="keywordflow">case</span> Expression::Operation::kIsNull:</div> |
| <div class="line"><a id="l00207" name="l00207"></a><span class="lineno"> 207</span> <span class="keywordflow">return</span> IsNull(pred->term());</div> |
| <div class="line"><a id="l00208" name="l00208"></a><span class="lineno"> 208</span> <span class="keywordflow">case</span> Expression::Operation::kNotNull:</div> |
| <div class="line"><a id="l00209" name="l00209"></a><span class="lineno"> 209</span> <span class="keywordflow">return</span> NotNull(pred->term());</div> |
| <div class="line"><a id="l00210" name="l00210"></a><span class="lineno"> 210</span> <span class="keywordflow">case</span> Expression::Operation::kIsNan:</div> |
| <div class="line"><a id="l00211" name="l00211"></a><span class="lineno"> 211</span> <span class="keywordflow">return</span> IsNaN(pred->term());</div> |
| <div class="line"><a id="l00212" name="l00212"></a><span class="lineno"> 212</span> <span class="keywordflow">case</span> Expression::Operation::kNotNan:</div> |
| <div class="line"><a id="l00213" name="l00213"></a><span class="lineno"> 213</span> <span class="keywordflow">return</span> NotNaN(pred->term());</div> |
| <div class="line"><a id="l00214" name="l00214"></a><span class="lineno"> 214</span> <span class="keywordflow">default</span>:</div> |
| <div class="line"><a id="l00215" name="l00215"></a><span class="lineno"> 215</span> <span class="keywordflow">return</span> InvalidExpression(<span class="stringliteral">"Invalid operation for BoundUnaryPredicate: {}"</span>,</div> |
| <div class="line"><a id="l00216" name="l00216"></a><span class="lineno"> 216</span> ToString(pred->op()));</div> |
| <div class="line"><a id="l00217" name="l00217"></a><span class="lineno"> 217</span> }</div> |
| <div class="line"><a id="l00218" name="l00218"></a><span class="lineno"> 218</span> }</div> |
| <div class="line"><a id="l00219" name="l00219"></a><span class="lineno"> 219</span> <span class="keywordflow">case</span> BoundPredicate::Kind::kLiteral: {</div> |
| <div class="line"><a id="l00220" name="l00220"></a><span class="lineno"> 220</span> <span class="keyword">const</span> <span class="keyword">auto</span>& literal_pred =</div> |
| <div class="line"><a id="l00221" name="l00221"></a><span class="lineno"> 221</span> internal::checked_cast<const BoundLiteralPredicate&>(*pred);</div> |
| <div class="line"><a id="l00222" name="l00222"></a><span class="lineno"> 222</span> <span class="keywordflow">switch</span> (pred->op()) {</div> |
| <div class="line"><a id="l00223" name="l00223"></a><span class="lineno"> 223</span> <span class="keywordflow">case</span> Expression::Operation::kLt:</div> |
| <div class="line"><a id="l00224" name="l00224"></a><span class="lineno"> 224</span> <span class="keywordflow">return</span> Lt(pred->term(), literal_pred.literal());</div> |
| <div class="line"><a id="l00225" name="l00225"></a><span class="lineno"> 225</span> <span class="keywordflow">case</span> Expression::Operation::kLtEq:</div> |
| <div class="line"><a id="l00226" name="l00226"></a><span class="lineno"> 226</span> <span class="keywordflow">return</span> LtEq(pred->term(), literal_pred.literal());</div> |
| <div class="line"><a id="l00227" name="l00227"></a><span class="lineno"> 227</span> <span class="keywordflow">case</span> Expression::Operation::kGt:</div> |
| <div class="line"><a id="l00228" name="l00228"></a><span class="lineno"> 228</span> <span class="keywordflow">return</span> Gt(pred->term(), literal_pred.literal());</div> |
| <div class="line"><a id="l00229" name="l00229"></a><span class="lineno"> 229</span> <span class="keywordflow">case</span> Expression::Operation::kGtEq:</div> |
| <div class="line"><a id="l00230" name="l00230"></a><span class="lineno"> 230</span> <span class="keywordflow">return</span> GtEq(pred->term(), literal_pred.literal());</div> |
| <div class="line"><a id="l00231" name="l00231"></a><span class="lineno"> 231</span> <span class="keywordflow">case</span> Expression::Operation::kEq:</div> |
| <div class="line"><a id="l00232" name="l00232"></a><span class="lineno"> 232</span> <span class="keywordflow">return</span> Eq(pred->term(), literal_pred.literal());</div> |
| <div class="line"><a id="l00233" name="l00233"></a><span class="lineno"> 233</span> <span class="keywordflow">case</span> Expression::Operation::kNotEq:</div> |
| <div class="line"><a id="l00234" name="l00234"></a><span class="lineno"> 234</span> <span class="keywordflow">return</span> NotEq(pred->term(), literal_pred.literal());</div> |
| <div class="line"><a id="l00235" name="l00235"></a><span class="lineno"> 235</span> <span class="keywordflow">case</span> Expression::Operation::kStartsWith:</div> |
| <div class="line"><a id="l00236" name="l00236"></a><span class="lineno"> 236</span> <span class="keywordflow">return</span> StartsWith(pred->term(), literal_pred.literal());</div> |
| <div class="line"><a id="l00237" name="l00237"></a><span class="lineno"> 237</span> <span class="keywordflow">case</span> Expression::Operation::kNotStartsWith:</div> |
| <div class="line"><a id="l00238" name="l00238"></a><span class="lineno"> 238</span> <span class="keywordflow">return</span> NotStartsWith(pred->term(), literal_pred.literal());</div> |
| <div class="line"><a id="l00239" name="l00239"></a><span class="lineno"> 239</span> <span class="keywordflow">default</span>:</div> |
| <div class="line"><a id="l00240" name="l00240"></a><span class="lineno"> 240</span> <span class="keywordflow">return</span> InvalidExpression(<span class="stringliteral">"Invalid operation for BoundLiteralPredicate: {}"</span>,</div> |
| <div class="line"><a id="l00241" name="l00241"></a><span class="lineno"> 241</span> ToString(pred->op()));</div> |
| <div class="line"><a id="l00242" name="l00242"></a><span class="lineno"> 242</span> }</div> |
| <div class="line"><a id="l00243" name="l00243"></a><span class="lineno"> 243</span> }</div> |
| <div class="line"><a id="l00244" name="l00244"></a><span class="lineno"> 244</span> <span class="keywordflow">case</span> BoundPredicate::Kind::kSet: {</div> |
| <div class="line"><a id="l00245" name="l00245"></a><span class="lineno"> 245</span> <span class="keyword">const</span> <span class="keyword">auto</span>& set_pred = internal::checked_cast<const BoundSetPredicate&>(*pred);</div> |
| <div class="line"><a id="l00246" name="l00246"></a><span class="lineno"> 246</span> <span class="keywordflow">switch</span> (pred->op()) {</div> |
| <div class="line"><a id="l00247" name="l00247"></a><span class="lineno"> 247</span> <span class="keywordflow">case</span> Expression::Operation::kIn:</div> |
| <div class="line"><a id="l00248" name="l00248"></a><span class="lineno"> 248</span> <span class="keywordflow">return</span> In(pred->term(), set_pred.literal_set());</div> |
| <div class="line"><a id="l00249" name="l00249"></a><span class="lineno"> 249</span> <span class="keywordflow">case</span> Expression::Operation::kNotIn:</div> |
| <div class="line"><a id="l00250" name="l00250"></a><span class="lineno"> 250</span> <span class="keywordflow">return</span> NotIn(pred->term(), set_pred.literal_set());</div> |
| <div class="line"><a id="l00251" name="l00251"></a><span class="lineno"> 251</span> <span class="keywordflow">default</span>:</div> |
| <div class="line"><a id="l00252" name="l00252"></a><span class="lineno"> 252</span> <span class="keywordflow">return</span> InvalidExpression(<span class="stringliteral">"Invalid operation for BoundSetPredicate: {}"</span>,</div> |
| <div class="line"><a id="l00253" name="l00253"></a><span class="lineno"> 253</span> ToString(pred->op()));</div> |
| <div class="line"><a id="l00254" name="l00254"></a><span class="lineno"> 254</span> }</div> |
| <div class="line"><a id="l00255" name="l00255"></a><span class="lineno"> 255</span> }</div> |
| <div class="line"><a id="l00256" name="l00256"></a><span class="lineno"> 256</span> }</div> |
| <div class="line"><a id="l00257" name="l00257"></a><span class="lineno"> 257</span> </div> |
| <div class="line"><a id="l00258" name="l00258"></a><span class="lineno"> 258</span> <span class="keywordflow">return</span> InvalidExpression(<span class="stringliteral">"Unsupported bound predicate: {}"</span>, pred->ToString());</div> |
| <div class="line"><a id="l00259" name="l00259"></a><span class="lineno"> 259</span> }</div> |
| </div> |
| <div class="line"><a id="l00260" name="l00260"></a><span class="lineno"> 260</span> </div> |
| <div class="foldopen" id="foldopen00264" data-start="{" data-end="}"> |
| <div class="line"><a id="l00264" name="l00264"></a><span class="lineno"><a class="line" href="classiceberg_1_1BoundVisitor.html#a28ebad2dc79a712dce34ed30e3614004"> 264</a></span> Result<R> <a class="code hl_function" href="classiceberg_1_1BoundVisitor.html#a28ebad2dc79a712dce34ed30e3614004">Predicate</a>(<span class="keyword">const</span> std::shared_ptr<UnboundPredicate>& pred)<span class="keyword"> override </span>{</div> |
| <div class="line"><a id="l00265" name="l00265"></a><span class="lineno"> 265</span> ICEBERG_DCHECK(pred != <span class="keyword">nullptr</span>, <span class="stringliteral">"UnboundPredicate cannot be null"</span>);</div> |
| <div class="line"><a id="l00266" name="l00266"></a><span class="lineno"> 266</span> <span class="keywordflow">return</span> NotSupported(<span class="stringliteral">"Not a bound predicate: {}"</span>, pred->ToString());</div> |
| <div class="line"><a id="l00267" name="l00267"></a><span class="lineno"> 267</span> }</div> |
| </div> |
| <div class="line"><a id="l00268" name="l00268"></a><span class="lineno"> 268</span>};</div> |
| </div> |
| <div class="line"><a id="l00269" name="l00269"></a><span class="lineno"> 269</span> </div> |
| <div class="line"><a id="l00281" name="l00281"></a><span class="lineno"> 281</span><span class="keyword">template</span> <<span class="keyword">typename</span> R, <span class="keyword">typename</span> V></div> |
| <div class="line"><a id="l00282" name="l00282"></a><span class="lineno"> 282</span> <span class="keyword">requires</span> std::derived_from<V, ExpressionVisitor<R>></div> |
| <div class="foldopen" id="foldopen00283" data-start="{" data-end="}"> |
| <div class="line"><a id="l00283" name="l00283"></a><span class="lineno"><a class="line" href="expression__visitor_8h.html#adfd2545dd2069fa4ab5d30ea46813edc"> 283</a></span>Result<R> <a class="code hl_function" href="expression__visitor_8h.html#adfd2545dd2069fa4ab5d30ea46813edc">Visit</a>(<span class="keyword">const</span> std::shared_ptr<Expression>& expr, V& visitor) {</div> |
| <div class="line"><a id="l00284" name="l00284"></a><span class="lineno"> 284</span> ICEBERG_DCHECK(expr != <span class="keyword">nullptr</span>, <span class="stringliteral">"Expression cannot be null"</span>);</div> |
| <div class="line"><a id="l00285" name="l00285"></a><span class="lineno"> 285</span> </div> |
| <div class="line"><a id="l00286" name="l00286"></a><span class="lineno"> 286</span> <span class="keywordflow">if</span> (expr->is_bound_predicate()) {</div> |
| <div class="line"><a id="l00287" name="l00287"></a><span class="lineno"> 287</span> <span class="keywordflow">return</span> visitor.Predicate(std::dynamic_pointer_cast<BoundPredicate>(expr));</div> |
| <div class="line"><a id="l00288" name="l00288"></a><span class="lineno"> 288</span> }</div> |
| <div class="line"><a id="l00289" name="l00289"></a><span class="lineno"> 289</span> </div> |
| <div class="line"><a id="l00290" name="l00290"></a><span class="lineno"> 290</span> <span class="keywordflow">if</span> (expr->is_unbound_predicate()) {</div> |
| <div class="line"><a id="l00291" name="l00291"></a><span class="lineno"> 291</span> <span class="keywordflow">return</span> visitor.Predicate(std::dynamic_pointer_cast<UnboundPredicate>(expr));</div> |
| <div class="line"><a id="l00292" name="l00292"></a><span class="lineno"> 292</span> }</div> |
| <div class="line"><a id="l00293" name="l00293"></a><span class="lineno"> 293</span> </div> |
| <div class="line"><a id="l00294" name="l00294"></a><span class="lineno"> 294</span> <span class="keywordflow">if</span> (expr->is_bound_aggregate()) {</div> |
| <div class="line"><a id="l00295" name="l00295"></a><span class="lineno"> 295</span> <span class="keywordflow">return</span> visitor.Aggregate(std::dynamic_pointer_cast<BoundAggregate>(expr));</div> |
| <div class="line"><a id="l00296" name="l00296"></a><span class="lineno"> 296</span> }</div> |
| <div class="line"><a id="l00297" name="l00297"></a><span class="lineno"> 297</span> </div> |
| <div class="line"><a id="l00298" name="l00298"></a><span class="lineno"> 298</span> <span class="keywordflow">if</span> (expr->is_unbound_aggregate()) {</div> |
| <div class="line"><a id="l00299" name="l00299"></a><span class="lineno"> 299</span> <span class="keywordflow">return</span> visitor.Aggregate(std::dynamic_pointer_cast<UnboundAggregate>(expr));</div> |
| <div class="line"><a id="l00300" name="l00300"></a><span class="lineno"> 300</span> }</div> |
| <div class="line"><a id="l00301" name="l00301"></a><span class="lineno"> 301</span> </div> |
| <div class="line"><a id="l00302" name="l00302"></a><span class="lineno"> 302</span> <span class="keywordflow">switch</span> (expr->op()) {</div> |
| <div class="line"><a id="l00303" name="l00303"></a><span class="lineno"> 303</span> <span class="keywordflow">case</span> Expression::Operation::kTrue:</div> |
| <div class="line"><a id="l00304" name="l00304"></a><span class="lineno"> 304</span> <span class="keywordflow">return</span> visitor.AlwaysTrue();</div> |
| <div class="line"><a id="l00305" name="l00305"></a><span class="lineno"> 305</span> <span class="keywordflow">case</span> Expression::Operation::kFalse:</div> |
| <div class="line"><a id="l00306" name="l00306"></a><span class="lineno"> 306</span> <span class="keywordflow">return</span> visitor.AlwaysFalse();</div> |
| <div class="line"><a id="l00307" name="l00307"></a><span class="lineno"> 307</span> <span class="keywordflow">case</span> Expression::Operation::kNot: {</div> |
| <div class="line"><a id="l00308" name="l00308"></a><span class="lineno"> 308</span> <span class="keyword">const</span> <span class="keyword">auto</span>& not_expr = internal::checked_pointer_cast<Not>(expr);</div> |
| <div class="line"><a id="l00309" name="l00309"></a><span class="lineno"> 309</span> ICEBERG_ASSIGN_OR_RAISE(<span class="keyword">auto</span> child_result,</div> |
| <div class="line"><a id="l00310" name="l00310"></a><span class="lineno"> 310</span> (Visit<R, V>(not_expr->child(), visitor)));</div> |
| <div class="line"><a id="l00311" name="l00311"></a><span class="lineno"> 311</span> <span class="keywordflow">return</span> visitor.Not(std::move(child_result));</div> |
| <div class="line"><a id="l00312" name="l00312"></a><span class="lineno"> 312</span> }</div> |
| <div class="line"><a id="l00313" name="l00313"></a><span class="lineno"> 313</span> <span class="keywordflow">case</span> Expression::Operation::kAnd: {</div> |
| <div class="line"><a id="l00314" name="l00314"></a><span class="lineno"> 314</span> <span class="keyword">const</span> <span class="keyword">auto</span>& and_expr = internal::checked_pointer_cast<And>(expr);</div> |
| <div class="line"><a id="l00315" name="l00315"></a><span class="lineno"> 315</span> ICEBERG_ASSIGN_OR_RAISE(<span class="keyword">auto</span> left_result, (Visit<R, V>(and_expr->left(), visitor)));</div> |
| <div class="line"><a id="l00316" name="l00316"></a><span class="lineno"> 316</span> ICEBERG_ASSIGN_OR_RAISE(<span class="keyword">auto</span> right_result,</div> |
| <div class="line"><a id="l00317" name="l00317"></a><span class="lineno"> 317</span> (Visit<R, V>(and_expr->right(), visitor)));</div> |
| <div class="line"><a id="l00318" name="l00318"></a><span class="lineno"> 318</span> <span class="keywordflow">return</span> visitor.And(std::move(left_result), std::move(right_result));</div> |
| <div class="line"><a id="l00319" name="l00319"></a><span class="lineno"> 319</span> }</div> |
| <div class="line"><a id="l00320" name="l00320"></a><span class="lineno"> 320</span> <span class="keywordflow">case</span> Expression::Operation::kOr: {</div> |
| <div class="line"><a id="l00321" name="l00321"></a><span class="lineno"> 321</span> <span class="keyword">const</span> <span class="keyword">auto</span>& or_expr = internal::checked_pointer_cast<Or>(expr);</div> |
| <div class="line"><a id="l00322" name="l00322"></a><span class="lineno"> 322</span> ICEBERG_ASSIGN_OR_RAISE(<span class="keyword">auto</span> left_result, (Visit<R, V>(or_expr->left(), visitor)));</div> |
| <div class="line"><a id="l00323" name="l00323"></a><span class="lineno"> 323</span> ICEBERG_ASSIGN_OR_RAISE(<span class="keyword">auto</span> right_result,</div> |
| <div class="line"><a id="l00324" name="l00324"></a><span class="lineno"> 324</span> (Visit<R, V>(or_expr->right(), visitor)));</div> |
| <div class="line"><a id="l00325" name="l00325"></a><span class="lineno"> 325</span> <span class="keywordflow">return</span> visitor.Or(std::move(left_result), std::move(right_result));</div> |
| <div class="line"><a id="l00326" name="l00326"></a><span class="lineno"> 326</span> }</div> |
| <div class="line"><a id="l00327" name="l00327"></a><span class="lineno"> 327</span> <span class="keywordflow">default</span>:</div> |
| <div class="line"><a id="l00328" name="l00328"></a><span class="lineno"> 328</span> <span class="keywordflow">return</span> InvalidExpression(<span class="stringliteral">"Unknown expression operation: {}"</span>, expr->ToString());</div> |
| <div class="line"><a id="l00329" name="l00329"></a><span class="lineno"> 329</span> }</div> |
| <div class="line"><a id="l00330" name="l00330"></a><span class="lineno"> 330</span>}</div> |
| </div> |
| <div class="line"><a id="l00331" name="l00331"></a><span class="lineno"> 331</span> </div> |
| <div class="line"><a id="l00332" name="l00332"></a><span class="lineno"> 332</span>} <span class="comment">// namespace iceberg</span></div> |
| <div class="ttc" id="aaggregate_8h_html"><div class="ttname"><a href="aggregate_8h.html">aggregate.h</a></div></div> |
| <div class="ttc" id="achecked__cast_8h_html"><div class="ttname"><a href="checked__cast_8h.html">checked_cast.h</a></div><div class="ttdoc">Checked cast functions for dynamic_cast and static_cast. Adapted from Apache Arrow https://github....</div></div> |
| <div class="ttc" id="aclassiceberg_1_1BoundVisitor_html"><div class="ttname"><a href="classiceberg_1_1BoundVisitor.html">iceberg::BoundVisitor</a></div><div class="ttdoc">Visitor for bound expressions.</div><div class="ttdef"><b>Definition</b> expression_visitor.h:106</div></div> |
| <div class="ttc" id="aclassiceberg_1_1BoundVisitor_html_a0722a7fb3652d01b85d09e2a6595ac67"><div class="ttname"><a href="classiceberg_1_1BoundVisitor.html#a0722a7fb3652d01b85d09e2a6595ac67">iceberg::BoundVisitor::Gt</a></div><div class="ttdeci">virtual Result< R > Gt(const std::shared_ptr< Bound > &expr, const Literal &lit)=0</div><div class="ttdoc">Visit a greater-than bound expression.</div></div> |
| <div class="ttc" id="aclassiceberg_1_1BoundVisitor_html_a07eb597069fc4907677ea59bc9e7f8fa"><div class="ttname"><a href="classiceberg_1_1BoundVisitor.html#a07eb597069fc4907677ea59bc9e7f8fa">iceberg::BoundVisitor::Lt</a></div><div class="ttdeci">virtual Result< R > Lt(const std::shared_ptr< Bound > &expr, const Literal &lit)=0</div><div class="ttdoc">Visit a less-than bound expression.</div></div> |
| <div class="ttc" id="aclassiceberg_1_1BoundVisitor_html_a147dc2c9bef077b86ffbf82b933716b7"><div class="ttname"><a href="classiceberg_1_1BoundVisitor.html#a147dc2c9bef077b86ffbf82b933716b7">iceberg::BoundVisitor::IsNull</a></div><div class="ttdeci">virtual Result< R > IsNull(const std::shared_ptr< Bound > &expr)=0</div><div class="ttdoc">Visit an IS_NULL bound expression.</div></div> |
| <div class="ttc" id="aclassiceberg_1_1BoundVisitor_html_a28ebad2dc79a712dce34ed30e3614004"><div class="ttname"><a href="classiceberg_1_1BoundVisitor.html#a28ebad2dc79a712dce34ed30e3614004">iceberg::BoundVisitor::Predicate</a></div><div class="ttdeci">Result< R > Predicate(const std::shared_ptr< UnboundPredicate > &pred) override</div><div class="ttdoc">Visit an unbound predicate.</div><div class="ttdef"><b>Definition</b> expression_visitor.h:264</div></div> |
| <div class="ttc" id="aclassiceberg_1_1BoundVisitor_html_a3b98b13ef68f001de28a99896a13620e"><div class="ttname"><a href="classiceberg_1_1BoundVisitor.html#a3b98b13ef68f001de28a99896a13620e">iceberg::BoundVisitor::NotStartsWith</a></div><div class="ttdeci">virtual Result< R > NotStartsWith(const std::shared_ptr< Bound > &expr, const Literal &lit)</div><div class="ttdoc">Visit a not-starts-with bound expression.</div><div class="ttdef"><b>Definition</b> expression_visitor.h:171</div></div> |
| <div class="ttc" id="aclassiceberg_1_1BoundVisitor_html_a3d1cc2b13541dcf37cf19cffc2cba55e"><div class="ttname"><a href="classiceberg_1_1BoundVisitor.html#a3d1cc2b13541dcf37cf19cffc2cba55e">iceberg::BoundVisitor::LtEq</a></div><div class="ttdeci">virtual Result< R > LtEq(const std::shared_ptr< Bound > &expr, const Literal &lit)=0</div><div class="ttdoc">Visit a less-than-or-equal bound expression.</div></div> |
| <div class="ttc" id="aclassiceberg_1_1BoundVisitor_html_a4ad6c0161e30c914d43aeafd2c31ed2d"><div class="ttname"><a href="classiceberg_1_1BoundVisitor.html#a4ad6c0161e30c914d43aeafd2c31ed2d">iceberg::BoundVisitor::In</a></div><div class="ttdeci">virtual Result< R > In(const std::shared_ptr< Bound > &expr, const BoundSetPredicate::LiteralSet &literal_set)</div><div class="ttdoc">Visit an IN set bound expression.</div><div class="ttdef"><b>Definition</b> expression_visitor.h:179</div></div> |
| <div class="ttc" id="aclassiceberg_1_1BoundVisitor_html_a82f60a5b3f27b69262beafd4e91ddaf0"><div class="ttname"><a href="classiceberg_1_1BoundVisitor.html#a82f60a5b3f27b69262beafd4e91ddaf0">iceberg::BoundVisitor::NotIn</a></div><div class="ttdeci">virtual Result< R > NotIn(const std::shared_ptr< Bound > &expr, const BoundSetPredicate::LiteralSet &literal_set)</div><div class="ttdoc">Visit a NOT_IN set bound expression.</div><div class="ttdef"><b>Definition</b> expression_visitor.h:188</div></div> |
| <div class="ttc" id="aclassiceberg_1_1BoundVisitor_html_a887464c3e7230573dc77ab07c4d52f2e"><div class="ttname"><a href="classiceberg_1_1BoundVisitor.html#a887464c3e7230573dc77ab07c4d52f2e">iceberg::BoundVisitor::GtEq</a></div><div class="ttdeci">virtual Result< R > GtEq(const std::shared_ptr< Bound > &expr, const Literal &lit)=0</div><div class="ttdoc">Visit a greater-than-or-equal bound expression.</div></div> |
| <div class="ttc" id="aclassiceberg_1_1BoundVisitor_html_a896da482841ec11cc70d7d8382147913"><div class="ttname"><a href="classiceberg_1_1BoundVisitor.html#a896da482841ec11cc70d7d8382147913">iceberg::BoundVisitor::NotNull</a></div><div class="ttdeci">virtual Result< R > NotNull(const std::shared_ptr< Bound > &expr)=0</div><div class="ttdoc">Visit a NOT_NULL bound expression.</div></div> |
| <div class="ttc" id="aclassiceberg_1_1BoundVisitor_html_a962cb7ca85f1f3def77affe42048e176"><div class="ttname"><a href="classiceberg_1_1BoundVisitor.html#a962cb7ca85f1f3def77affe42048e176">iceberg::BoundVisitor::NotEq</a></div><div class="ttdeci">virtual Result< R > NotEq(const std::shared_ptr< Bound > &expr, const Literal &lit)=0</div><div class="ttdoc">Visit a not-equal bound expression.</div></div> |
| <div class="ttc" id="aclassiceberg_1_1BoundVisitor_html_ab39f8eaf365886cadbbd210584915f59"><div class="ttname"><a href="classiceberg_1_1BoundVisitor.html#ab39f8eaf365886cadbbd210584915f59">iceberg::BoundVisitor::Predicate</a></div><div class="ttdeci">Result< R > Predicate(const std::shared_ptr< BoundPredicate > &pred) override</div><div class="ttdoc">Visit a bound predicate.</div><div class="ttdef"><b>Definition</b> expression_visitor.h:200</div></div> |
| <div class="ttc" id="aclassiceberg_1_1BoundVisitor_html_ab8b110291e99d2e743c9a70637d2800c"><div class="ttname"><a href="classiceberg_1_1BoundVisitor.html#ab8b110291e99d2e743c9a70637d2800c">iceberg::BoundVisitor::Eq</a></div><div class="ttdeci">virtual Result< R > Eq(const std::shared_ptr< Bound > &expr, const Literal &lit)=0</div><div class="ttdoc">Visit an equality bound expression.</div></div> |
| <div class="ttc" id="aclassiceberg_1_1BoundVisitor_html_aeaafcbf51500c8dbbbec948f30d9a8b8"><div class="ttname"><a href="classiceberg_1_1BoundVisitor.html#aeaafcbf51500c8dbbbec948f30d9a8b8">iceberg::BoundVisitor::IsNaN</a></div><div class="ttdeci">virtual Result< R > IsNaN(const std::shared_ptr< Bound > &expr)</div><div class="ttdoc">Visit an IS_NAN bound expression.</div><div class="ttdef"><b>Definition</b> expression_visitor.h:120</div></div> |
| <div class="ttc" id="aclassiceberg_1_1BoundVisitor_html_aeac3873dd7f39239b63176b08c22c97c"><div class="ttname"><a href="classiceberg_1_1BoundVisitor.html#aeac3873dd7f39239b63176b08c22c97c">iceberg::BoundVisitor::NotNaN</a></div><div class="ttdeci">virtual Result< R > NotNaN(const std::shared_ptr< Bound > &expr)</div><div class="ttdoc">Visit a NOT_NAN bound expression.</div><div class="ttdef"><b>Definition</b> expression_visitor.h:126</div></div> |
| <div class="ttc" id="aclassiceberg_1_1BoundVisitor_html_af8d118683a69b4d27a6769da12114d38"><div class="ttname"><a href="classiceberg_1_1BoundVisitor.html#af8d118683a69b4d27a6769da12114d38">iceberg::BoundVisitor::StartsWith</a></div><div class="ttdeci">virtual Result< R > StartsWith(const std::shared_ptr< Bound > &expr, const Literal &lit)</div><div class="ttdoc">Visit a starts-with bound expression.</div><div class="ttdef"><b>Definition</b> expression_visitor.h:163</div></div> |
| <div class="ttc" id="aclassiceberg_1_1ExpressionVisitor_html"><div class="ttname"><a href="classiceberg_1_1ExpressionVisitor.html">iceberg::ExpressionVisitor</a></div><div class="ttdoc">Base visitor for traversing expression trees.</div><div class="ttdef"><b>Definition</b> expression_visitor.h:49</div></div> |
| <div class="ttc" id="aclassiceberg_1_1ExpressionVisitor_html_a134636ef9aac1bbf8ade254e1c1c24d6"><div class="ttname"><a href="classiceberg_1_1ExpressionVisitor.html#a134636ef9aac1bbf8ade254e1c1c24d6">iceberg::ExpressionVisitor::And</a></div><div class="ttdeci">virtual Result< R > And(ParamType left_result, ParamType right_result)=0</div><div class="ttdoc">Visit an And expression.</div></div> |
| <div class="ttc" id="aclassiceberg_1_1ExpressionVisitor_html_a1c01ceb403a5c6e2706f9b197d729ead"><div class="ttname"><a href="classiceberg_1_1ExpressionVisitor.html#a1c01ceb403a5c6e2706f9b197d729ead">iceberg::ExpressionVisitor::Predicate</a></div><div class="ttdeci">virtual Result< R > Predicate(const std::shared_ptr< UnboundPredicate > &pred)=0</div><div class="ttdoc">Visit an unbound predicate.</div></div> |
| <div class="ttc" id="aclassiceberg_1_1ExpressionVisitor_html_a3785b1824deecc35b76c64ae6bb57f23"><div class="ttname"><a href="classiceberg_1_1ExpressionVisitor.html#a3785b1824deecc35b76c64ae6bb57f23">iceberg::ExpressionVisitor::Not</a></div><div class="ttdeci">virtual Result< R > Not(ParamType child_result)=0</div><div class="ttdoc">Visit a Not expression.</div></div> |
| <div class="ttc" id="aclassiceberg_1_1ExpressionVisitor_html_a4a7c83473af339c9c64cef5e9f3947ee"><div class="ttname"><a href="classiceberg_1_1ExpressionVisitor.html#a4a7c83473af339c9c64cef5e9f3947ee">iceberg::ExpressionVisitor::Aggregate</a></div><div class="ttdeci">virtual Result< R > Aggregate(const std::shared_ptr< BoundAggregate > &aggregate)</div><div class="ttdoc">Visit a bound aggregate.</div><div class="ttdef"><b>Definition</b> expression_visitor.h:85</div></div> |
| <div class="ttc" id="aclassiceberg_1_1ExpressionVisitor_html_a699e13e4420928256b3fb08a87674a9f"><div class="ttname"><a href="classiceberg_1_1ExpressionVisitor.html#a699e13e4420928256b3fb08a87674a9f">iceberg::ExpressionVisitor::Aggregate</a></div><div class="ttdeci">virtual Result< R > Aggregate(const std::shared_ptr< UnboundAggregate > &aggregate)</div><div class="ttdoc">Visit an unbound aggregate.</div><div class="ttdef"><b>Definition</b> expression_visitor.h:93</div></div> |
| <div class="ttc" id="aclassiceberg_1_1ExpressionVisitor_html_aa21a66f372f1b32f94d8be2bb5643440"><div class="ttname"><a href="classiceberg_1_1ExpressionVisitor.html#aa21a66f372f1b32f94d8be2bb5643440">iceberg::ExpressionVisitor::Or</a></div><div class="ttdeci">virtual Result< R > Or(ParamType left_result, ParamType right_result)=0</div><div class="ttdoc">Visit an Or expression.</div></div> |
| <div class="ttc" id="aclassiceberg_1_1ExpressionVisitor_html_aa6abb6e1020467e2ab3a2e17563990be"><div class="ttname"><a href="classiceberg_1_1ExpressionVisitor.html#aa6abb6e1020467e2ab3a2e17563990be">iceberg::ExpressionVisitor::AlwaysFalse</a></div><div class="ttdeci">virtual Result< R > AlwaysFalse()=0</div><div class="ttdoc">Visit a False expression (always evaluates to false).</div></div> |
| <div class="ttc" id="aclassiceberg_1_1ExpressionVisitor_html_ae15b69bbbd82d8c0b941cb4bc3324fc4"><div class="ttname"><a href="classiceberg_1_1ExpressionVisitor.html#ae15b69bbbd82d8c0b941cb4bc3324fc4">iceberg::ExpressionVisitor::Predicate</a></div><div class="ttdeci">virtual Result< R > Predicate(const std::shared_ptr< BoundPredicate > &pred)=0</div><div class="ttdoc">Visit a bound predicate.</div></div> |
| <div class="ttc" id="aclassiceberg_1_1ExpressionVisitor_html_aed1c555ca56ff0aaa898d31aa52f7287"><div class="ttname"><a href="classiceberg_1_1ExpressionVisitor.html#aed1c555ca56ff0aaa898d31aa52f7287">iceberg::ExpressionVisitor::AlwaysTrue</a></div><div class="ttdeci">virtual Result< R > AlwaysTrue()=0</div><div class="ttdoc">Visit a True expression (always evaluates to true).</div></div> |
| <div class="ttc" id="aclassiceberg_1_1Literal_html"><div class="ttname"><a href="classiceberg_1_1Literal.html">iceberg::Literal</a></div><div class="ttdoc">Literal is a literal value that is associated with a primitive type.</div><div class="ttdef"><b>Definition</b> literal.h:39</div></div> |
| <div class="ttc" id="aexpression_8h_html"><div class="ttname"><a href="expression_8h.html">expression.h</a></div></div> |
| <div class="ttc" id="aexpression__visitor_8h_html_adfd2545dd2069fa4ab5d30ea46813edc"><div class="ttname"><a href="expression__visitor_8h.html#adfd2545dd2069fa4ab5d30ea46813edc">iceberg::Visit</a></div><div class="ttdeci">Result< R > Visit(const std::shared_ptr< Expression > &expr, V &visitor)</div><div class="ttdoc">Traverse an expression tree with a visitor.</div><div class="ttdef"><b>Definition</b> expression_visitor.h:283</div></div> |
| <div class="ttc" id="apredicate_8h_html"><div class="ttname"><a href="predicate_8h.html">predicate.h</a></div></div> |
| <div class="ttc" id="aterm_8h_html"><div class="ttname"><a href="term_8h.html">term.h</a></div></div> |
| </div><!-- fragment --></div><!-- contents --> |
| <!-- start footer part --> |
| <hr class="footer"/><address class="footer"><small> |
| Generated by <a href="https://www.doxygen.org/index.html"><img class="footer" src="doxygen.svg" width="104" height="31" alt="doxygen"/></a> 1.9.8 |
| </small></address> |
| </body> |
| </html> |
