blob: 870a5037400ec4690554daa38e6b035f66836763 [file] [log] [blame]
<!DOCTYPE HTML>
<!-- NewPage -->
<html lang="en">
<head>
<!-- Generated by javadoc -->
<title>RexImplicationCheckerTest (Calcite 1.20.0 Test API)</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<link rel="stylesheet" type="text/css" href="../../../../stylesheet.css" title="Style">
<link rel="stylesheet" type="text/css" href="../../../../jquery/jquery-ui.css" title="Style">
<script type="text/javascript" src="../../../../script.js"></script>
<script type="text/javascript" src="../../../../jquery/jszip/dist/jszip.min.js"></script>
<script type="text/javascript" src="../../../../jquery/jszip-utils/dist/jszip-utils.min.js"></script>
<!--[if IE]>
<script type="text/javascript" src="../../../../jquery/jszip-utils/dist/jszip-utils-ie.min.js"></script>
<![endif]-->
<script type="text/javascript" src="../../../../jquery/jquery-3.3.1.js"></script>
<script type="text/javascript" src="../../../../jquery/jquery-migrate-3.0.1.js"></script>
<script type="text/javascript" src="../../../../jquery/jquery-ui.js"></script>
</head>
<body>
<script type="text/javascript"><!--
try {
if (location.href.indexOf('is-external=true') == -1) {
parent.document.title="RexImplicationCheckerTest (Calcite 1.20.0 Test API)";
}
}
catch(err) {
}
//-->
var data = {"i0":10,"i1":10,"i2":10,"i3":10,"i4":10,"i5":10,"i6":10,"i7":10,"i8":10,"i9":10,"i10":10,"i11":10,"i12":10,"i13":10,"i14":10,"i15":10,"i16":10,"i17":10,"i18":10};
var tabs = {65535:["t0","All Methods"],2:["t2","Instance Methods"],8:["t4","Concrete Methods"]};
var altColor = "altColor";
var rowColor = "rowColor";
var tableTab = "tableTab";
var activeTableTab = "activeTableTab";
var pathtoroot = "../../../../";
var useModuleDirectories = true;
loadScripts(document, 'script');</script>
<noscript>
<div>JavaScript is disabled on your browser.</div>
</noscript>
<header role="banner">
<nav role="navigation">
<div class="fixedNav">
<!-- ========= START OF TOP NAVBAR ======= -->
<div class="topNav"><a id="navbar.top">
<!-- -->
</a>
<div class="skipNav"><a href="#skip.navbar.top" title="Skip navigation links">Skip navigation links</a></div>
<a id="navbar.top.firstrow">
<!-- -->
</a>
<ul class="navList" title="Navigation">
<li><a href="../../../../index.html">Overview</a></li>
<li><a href="package-summary.html">Package</a></li>
<li class="navBarCell1Rev">Class</li>
<li><a href="class-use/RexImplicationCheckerTest.html">Use</a></li>
<li><a href="package-tree.html">Tree</a></li>
<li><a href="../../../../deprecated-list.html">Deprecated</a></li>
<li><a href="../../../../index-all.html">Index</a></li>
<li><a href="../../../../help-doc.html">Help</a></li>
</ul>
</div>
<div class="subNav">
<ul class="navList" id="allclasses_navbar_top">
<li><a href="../../../../allclasses.html">All&nbsp;Classes</a></li>
</ul>
<ul class="navListSearch">
<li><label for="search">SEARCH:</label>
<input type="text" id="search" value="search" disabled="disabled">
<input type="reset" id="reset" value="reset" disabled="disabled">
</li>
</ul>
<div>
<script type="text/javascript"><!--
allClassesLink = document.getElementById("allclasses_navbar_top");
if(window==top) {
allClassesLink.style.display = "block";
}
else {
allClassesLink.style.display = "none";
}
//-->
</script>
<noscript>
<div>JavaScript is disabled on your browser.</div>
</noscript>
</div>
<div>
<ul class="subNavList">
<li>Summary:&nbsp;</li>
<li><a href="#nested.class.summary">Nested</a>&nbsp;|&nbsp;</li>
<li>Field&nbsp;|&nbsp;</li>
<li><a href="#constructor.summary">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method.summary">Method</a></li>
</ul>
<ul class="subNavList">
<li>Detail:&nbsp;</li>
<li>Field&nbsp;|&nbsp;</li>
<li><a href="#constructor.detail">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method.detail">Method</a></li>
</ul>
</div>
<a id="skip.navbar.top">
<!-- -->
</a></div>
<!-- ========= END OF TOP NAVBAR ========= -->
</div>
<div class="navPadding">&nbsp;</div>
<script type="text/javascript"><!--
$('.navPadding').css('padding-top', $('.fixedNav').css("height"));
//-->
</script>
</nav>
</header>
<!-- ======== START OF CLASS DATA ======== -->
<main role="main">
<div class="header">
<div class="subTitle"><span class="packageLabelInType">Package</span>&nbsp;<a href="package-summary.html">org.apache.calcite.test</a></div>
<h2 title="Class RexImplicationCheckerTest" class="title">Class RexImplicationCheckerTest</h2>
</div>
<div class="contentContainer">
<ul class="inheritance">
<li>java.lang.Object</li>
<li>
<ul class="inheritance">
<li>org.apache.calcite.test.RexImplicationCheckerTest</li>
</ul>
</li>
</ul>
<div class="description">
<ul class="blockList">
<li class="blockList">
<hr>
<pre>public class <span class="typeNameLabel">RexImplicationCheckerTest</span>
extends java.lang.Object</pre>
<div class="block">Unit tests for <code>RexImplicationChecker</code>.</div>
</li>
</ul>
</div>
<div class="summary">
<ul class="blockList">
<li class="blockList">
<!-- ======== NESTED CLASS SUMMARY ======== -->
<section role="region">
<ul class="blockList">
<li class="blockList"><a id="nested.class.summary">
<!-- -->
</a>
<h3>Nested Class Summary</h3>
<table class="memberSummary">
<caption><span>Nested Classes</span><span class="tabEnd">&nbsp;</span></caption>
<tr>
<th class="colFirst" scope="col">Modifier and Type</th>
<th class="colSecond" scope="col">Class</th>
<th class="colLast" scope="col">Description</th>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static class&nbsp;</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="RexImplicationCheckerTest.Fixture.html" title="class in org.apache.calcite.test">RexImplicationCheckerTest.Fixture</a></span></code></th>
<td class="colLast">
<div class="block">Contains all the nourishment a test case could possibly need.</div>
</td>
</tr>
</table>
</li>
</ul>
</section>
<!-- ======== CONSTRUCTOR SUMMARY ======== -->
<section role="region">
<ul class="blockList">
<li class="blockList"><a id="constructor.summary">
<!-- -->
</a>
<h3>Constructor Summary</h3>
<table class="memberSummary">
<caption><span>Constructors</span><span class="tabEnd">&nbsp;</span></caption>
<tr>
<th class="colFirst" scope="col">Constructor</th>
<th class="colLast" scope="col">Description</th>
</tr>
<tr class="altColor">
<th class="colConstructorName" scope="row"><code><span class="memberNameLink"><a href="#%3Cinit%3E()">RexImplicationCheckerTest</a></span>()</code></th>
<td class="colLast">&nbsp;</td>
</tr>
</table>
</li>
</ul>
</section>
<!-- ========== METHOD SUMMARY =========== -->
<section role="region">
<ul class="blockList">
<li class="blockList"><a id="method.summary">
<!-- -->
</a>
<h3>Method Summary</h3>
<table class="memberSummary">
<caption><span id="t0" class="activeTableTab"><span>All Methods</span><span class="tabEnd">&nbsp;</span></span><span id="t2" class="tableTab"><span><a href="javascript:show(2);">Instance Methods</a></span><span class="tabEnd">&nbsp;</span></span><span id="t4" class="tableTab"><span><a href="javascript:show(8);">Concrete Methods</a></span><span class="tabEnd">&nbsp;</span></span></caption>
<tr>
<th class="colFirst" scope="col">Modifier and Type</th>
<th class="colSecond" scope="col">Method</th>
<th class="colLast" scope="col">Description</th>
</tr>
<tr id="i0" class="altColor">
<td class="colFirst"><code>void</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#testIsNull()">testIsNull</a></span>()</code></th>
<td class="colLast">&nbsp;</td>
</tr>
<tr id="i1" class="rowColor">
<td class="colFirst"><code>void</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#testNotNull()">testNotNull</a></span>()</code></th>
<td class="colLast">&nbsp;</td>
</tr>
<tr id="i2" class="altColor">
<td class="colFirst"><code>void</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#testOr()">testOr</a></span>()</code></th>
<td class="colLast">
<div class="block">Similar to <a href="MaterializationTest.html#testAlias()"><code>MaterializationTest.testAlias()</code></a>:
<code>x &gt; 1 OR (y &gt; 2 AND z &gt; 4)</code>
implies
<code>(y &gt; 3 AND z &gt; 5)</code>.</div>
</td>
</tr>
<tr id="i3" class="rowColor">
<td class="colFirst"><code>void</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#testSimpleBetween()">testSimpleBetween</a></span>()</code></th>
<td class="colLast">&nbsp;</td>
</tr>
<tr id="i4" class="altColor">
<td class="colFirst"><code>void</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#testSimpleBetweenCornerCases()">testSimpleBetweenCornerCases</a></span>()</code></th>
<td class="colLast">&nbsp;</td>
</tr>
<tr id="i5" class="rowColor">
<td class="colFirst"><code>void</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#testSimpleBoolean()">testSimpleBoolean</a></span>()</code></th>
<td class="colLast">&nbsp;</td>
</tr>
<tr id="i6" class="altColor">
<td class="colFirst"><code>void</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#testSimpleChar()">testSimpleChar</a></span>()</code></th>
<td class="colLast">&nbsp;</td>
</tr>
<tr id="i7" class="rowColor">
<td class="colFirst"><code>void</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#testSimpleDate()">testSimpleDate</a></span>()</code></th>
<td class="colLast">&nbsp;</td>
</tr>
<tr id="i8" class="altColor">
<td class="colFirst"><code>void</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#testSimpleDec()">testSimpleDec</a></span>()</code></th>
<td class="colLast">&nbsp;</td>
</tr>
<tr id="i9" class="rowColor">
<td class="colFirst"><code>void</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#testSimpleEq()">testSimpleEq</a></span>()</code></th>
<td class="colLast">&nbsp;</td>
</tr>
<tr id="i10" class="altColor">
<td class="colFirst"><code>void</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#testSimpleGreaterCond()">testSimpleGreaterCond</a></span>()</code></th>
<td class="colLast">&nbsp;</td>
</tr>
<tr id="i11" class="rowColor">
<td class="colFirst"><code>void</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#testSimpleLesserCond()">testSimpleLesserCond</a></span>()</code></th>
<td class="colLast">&nbsp;</td>
</tr>
<tr id="i12" class="altColor">
<td class="colFirst"><code>void</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#testSimpleLong()">testSimpleLong</a></span>()</code></th>
<td class="colLast">&nbsp;</td>
</tr>
<tr id="i13" class="rowColor">
<td class="colFirst"><code>void</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#testSimpleShort()">testSimpleShort</a></span>()</code></th>
<td class="colLast">&nbsp;</td>
</tr>
<tr id="i14" class="altColor">
<td class="colFirst"><code>void</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#testSimpleString()">testSimpleString</a></span>()</code></th>
<td class="colLast">&nbsp;</td>
</tr>
<tr id="i15" class="rowColor">
<td class="colFirst"><code>void</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#testSimpleTime()">testSimpleTime</a></span>()</code></th>
<td class="colLast">&nbsp;</td>
</tr>
<tr id="i16" class="altColor">
<td class="colFirst"><code>void</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#testSimpleTimeStamp()">testSimpleTimeStamp</a></span>()</code></th>
<td class="colLast">&nbsp;</td>
</tr>
<tr id="i17" class="rowColor">
<td class="colFirst"><code>void</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#testSimplifyCastMatchNullability()">testSimplifyCastMatchNullability</a></span>()</code></th>
<td class="colLast">
<div class="block">Test case for
<a href="https://issues.apache.org/jira/browse/CALCITE-2041">[CALCITE-2041]
When simplifying a nullable expression, allow the result to change type to
NOT NULL</a> and match nullability.</div>
</td>
</tr>
<tr id="i18" class="altColor">
<td class="colFirst"><code>void</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#testSimplifyCeilFloor()">testSimplifyCeilFloor</a></span>()</code></th>
<td class="colLast">
<div class="block">Test case for simplifier of ceil/floor.</div>
</td>
</tr>
</table>
<ul class="blockList">
<li class="blockList"><a id="methods.inherited.from.class.java.lang.Object">
<!-- -->
</a>
<h3>Methods inherited from class&nbsp;java.lang.Object</h3>
<code>clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait</code></li>
</ul>
</li>
</ul>
</section>
</li>
</ul>
</div>
<div class="details">
<ul class="blockList">
<li class="blockList">
<!-- ========= CONSTRUCTOR DETAIL ======== -->
<section role="region">
<ul class="blockList">
<li class="blockList"><a id="constructor.detail">
<!-- -->
</a>
<h3>Constructor Detail</h3>
<a id="&lt;init&gt;()">
<!-- -->
</a>
<ul class="blockListLast">
<li class="blockList">
<h4>RexImplicationCheckerTest</h4>
<pre>public&nbsp;RexImplicationCheckerTest()</pre>
</li>
</ul>
</li>
</ul>
</section>
<!-- ============ METHOD DETAIL ========== -->
<section role="region">
<ul class="blockList">
<li class="blockList"><a id="method.detail">
<!-- -->
</a>
<h3>Method Detail</h3>
<a id="testSimpleGreaterCond()">
<!-- -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>testSimpleGreaterCond</h4>
<pre class="methodSignature">public&nbsp;void&nbsp;testSimpleGreaterCond()</pre>
</li>
</ul>
<a id="testSimpleLesserCond()">
<!-- -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>testSimpleLesserCond</h4>
<pre class="methodSignature">public&nbsp;void&nbsp;testSimpleLesserCond()</pre>
</li>
</ul>
<a id="testSimpleEq()">
<!-- -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>testSimpleEq</h4>
<pre class="methodSignature">public&nbsp;void&nbsp;testSimpleEq()</pre>
</li>
</ul>
<a id="testSimpleDec()">
<!-- -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>testSimpleDec</h4>
<pre class="methodSignature">public&nbsp;void&nbsp;testSimpleDec()</pre>
</li>
</ul>
<a id="testSimpleBoolean()">
<!-- -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>testSimpleBoolean</h4>
<pre class="methodSignature">public&nbsp;void&nbsp;testSimpleBoolean()</pre>
</li>
</ul>
<a id="testSimpleLong()">
<!-- -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>testSimpleLong</h4>
<pre class="methodSignature">public&nbsp;void&nbsp;testSimpleLong()</pre>
</li>
</ul>
<a id="testSimpleShort()">
<!-- -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>testSimpleShort</h4>
<pre class="methodSignature">public&nbsp;void&nbsp;testSimpleShort()</pre>
</li>
</ul>
<a id="testSimpleChar()">
<!-- -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>testSimpleChar</h4>
<pre class="methodSignature">public&nbsp;void&nbsp;testSimpleChar()</pre>
</li>
</ul>
<a id="testSimpleString()">
<!-- -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>testSimpleString</h4>
<pre class="methodSignature">public&nbsp;void&nbsp;testSimpleString()</pre>
</li>
</ul>
<a id="testSimpleDate()">
<!-- -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>testSimpleDate</h4>
<pre class="methodSignature">public&nbsp;void&nbsp;testSimpleDate()</pre>
</li>
</ul>
<a id="testSimpleTimeStamp()">
<!-- -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>testSimpleTimeStamp</h4>
<pre class="methodSignature">public&nbsp;void&nbsp;testSimpleTimeStamp()</pre>
</li>
</ul>
<a id="testSimpleTime()">
<!-- -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>testSimpleTime</h4>
<pre class="methodSignature">public&nbsp;void&nbsp;testSimpleTime()</pre>
</li>
</ul>
<a id="testSimpleBetween()">
<!-- -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>testSimpleBetween</h4>
<pre class="methodSignature">public&nbsp;void&nbsp;testSimpleBetween()</pre>
</li>
</ul>
<a id="testSimpleBetweenCornerCases()">
<!-- -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>testSimpleBetweenCornerCases</h4>
<pre class="methodSignature">public&nbsp;void&nbsp;testSimpleBetweenCornerCases()</pre>
</li>
</ul>
<a id="testOr()">
<!-- -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>testOr</h4>
<pre class="methodSignature">public&nbsp;void&nbsp;testOr()</pre>
<div class="block">Similar to <a href="MaterializationTest.html#testAlias()"><code>MaterializationTest.testAlias()</code></a>:
<code>x &gt; 1 OR (y &gt; 2 AND z &gt; 4)</code>
implies
<code>(y &gt; 3 AND z &gt; 5)</code>.</div>
</li>
</ul>
<a id="testNotNull()">
<!-- -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>testNotNull</h4>
<pre class="methodSignature">public&nbsp;void&nbsp;testNotNull()</pre>
</li>
</ul>
<a id="testIsNull()">
<!-- -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>testIsNull</h4>
<pre class="methodSignature">public&nbsp;void&nbsp;testIsNull()</pre>
</li>
</ul>
<a id="testSimplifyCastMatchNullability()">
<!-- -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>testSimplifyCastMatchNullability</h4>
<pre class="methodSignature">public&nbsp;void&nbsp;testSimplifyCastMatchNullability()</pre>
<div class="block">Test case for
<a href="https://issues.apache.org/jira/browse/CALCITE-2041">[CALCITE-2041]
When simplifying a nullable expression, allow the result to change type to
NOT NULL</a> and match nullability.</div>
<dl>
<dt><span class="seeLabel">See Also:</span></dt>
<dd><code>RexSimplify.simplifyPreservingType(RexNode, RexUnknownAs, boolean)</code></dd>
</dl>
</li>
</ul>
<a id="testSimplifyCeilFloor()">
<!-- -->
</a>
<ul class="blockListLast">
<li class="blockList">
<h4>testSimplifyCeilFloor</h4>
<pre class="methodSignature">public&nbsp;void&nbsp;testSimplifyCeilFloor()</pre>
<div class="block">Test case for simplifier of ceil/floor.</div>
</li>
</ul>
</li>
</ul>
</section>
</li>
</ul>
</div>
</div>
</main>
<!-- ========= END OF CLASS DATA ========= -->
<footer role="contentinfo">
<nav role="navigation">
<!-- ======= START OF BOTTOM NAVBAR ====== -->
<div class="bottomNav"><a id="navbar.bottom">
<!-- -->
</a>
<div class="skipNav"><a href="#skip.navbar.bottom" title="Skip navigation links">Skip navigation links</a></div>
<a id="navbar.bottom.firstrow">
<!-- -->
</a>
<ul class="navList" title="Navigation">
<li><a href="../../../../index.html">Overview</a></li>
<li><a href="package-summary.html">Package</a></li>
<li class="navBarCell1Rev">Class</li>
<li><a href="class-use/RexImplicationCheckerTest.html">Use</a></li>
<li><a href="package-tree.html">Tree</a></li>
<li><a href="../../../../deprecated-list.html">Deprecated</a></li>
<li><a href="../../../../index-all.html">Index</a></li>
<li><a href="../../../../help-doc.html">Help</a></li>
</ul>
</div>
<div class="subNav">
<ul class="navList" id="allclasses_navbar_bottom">
<li><a href="../../../../allclasses.html">All&nbsp;Classes</a></li>
</ul>
<div>
<script type="text/javascript"><!--
allClassesLink = document.getElementById("allclasses_navbar_bottom");
if(window==top) {
allClassesLink.style.display = "block";
}
else {
allClassesLink.style.display = "none";
}
//-->
</script>
<noscript>
<div>JavaScript is disabled on your browser.</div>
</noscript>
</div>
<div>
<ul class="subNavList">
<li>Summary:&nbsp;</li>
<li><a href="#nested.class.summary">Nested</a>&nbsp;|&nbsp;</li>
<li>Field&nbsp;|&nbsp;</li>
<li><a href="#constructor.summary">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method.summary">Method</a></li>
</ul>
<ul class="subNavList">
<li>Detail:&nbsp;</li>
<li>Field&nbsp;|&nbsp;</li>
<li><a href="#constructor.detail">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method.detail">Method</a></li>
</ul>
</div>
<a id="skip.navbar.bottom">
<!-- -->
</a></div>
<!-- ======== END OF BOTTOM NAVBAR ======= -->
</nav>
<p class="legalCopy"><small>Copyright &#169; 2012&#x2013;2019 <a href="https://www.apache.org/">The Apache Software Foundation</a>. All rights reserved.</small></p>
</footer>
</body>
</html>