@phema/cql-execution

<!doctype html> <html lang="en"> <head> <title>Code coverage report for src/datatypes/interval.coffee</title> <meta charset="utf-8" /> <link rel="stylesheet" href="../../prettify.css" /> <link rel="stylesheet" href="../../base.css" /> <meta name="viewport" content="width=device-width, initial-scale=1"> <style type='text/css'> .coverage-summary .sorter { background-image: url(../../sort-arrow-sprite.png); } </style> </head> <body> <div class='wrapper'> <div class='pad1'> <h1> <a href="../../index.html">All files</a> / <a href="index.html">src/datatypes</a> interval.coffee </h1> <div class='clearfix'> <div class='fl pad1y space-right2'> 91.3% Statements 84/92 </div> <div class='fl pad1y space-right2'> 88.68% Branches 141/159 </div> <div class='fl pad1y space-right2'> 100% Functions 33/33 </div> <div class='fl pad1y space-right2'> 92.77% Lines 77/83 </div> </div> Press n or j to go to the next uncovered block, b, p or k for the previous block. </div> <div class='status-line high'></div> <pre><table class="coverage"> <tr><td class="line-count quiet"><a name='L1'></a><a href='#L1'>1</a> <a name='L2'></a><a href='#L2'>2</a> <a name='L3'></a><a href='#L3'>3</a> <a name='L4'></a><a href='#L4'>4</a> <a name='L5'></a><a href='#L5'>5</a> <a name='L6'></a><a href='#L6'>6</a> <a name='L7'></a><a href='#L7'>7</a> <a name='L8'></a><a href='#L8'>8</a> <a name='L9'></a><a href='#L9'>9</a> <a name='L10'></a><a href='#L10'>10</a> <a name='L11'></a><a href='#L11'>11</a> <a name='L12'></a><a href='#L12'>12</a> <a name='L13'></a><a href='#L13'>13</a> <a name='L14'></a><a href='#L14'>14</a> <a name='L15'></a><a href='#L15'>15</a> <a name='L16'></a><a href='#L16'>16</a> <a name='L17'></a><a href='#L17'>17</a> <a name='L18'></a><a href='#L18'>18</a> <a name='L19'></a><a href='#L19'>19</a> <a name='L20'></a><a href='#L20'>20</a> <a name='L21'></a><a href='#L21'>21</a> <a name='L22'></a><a href='#L22'>22</a> <a name='L23'></a><a href='#L23'>23</a> <a name='L24'></a><a href='#L24'>24</a> <a name='L25'></a><a href='#L25'>25</a> <a name='L26'></a><a href='#L26'>26</a> <a name='L27'></a><a href='#L27'>27</a> <a name='L28'></a><a href='#L28'>28</a> <a name='L29'></a><a href='#L29'>29</a> <a name='L30'></a><a href='#L30'>30</a> <a name='L31'></a><a href='#L31'>31</a> <a name='L32'></a><a href='#L32'>32</a> <a name='L33'></a><a href='#L33'>33</a> <a name='L34'></a><a href='#L34'>34</a> <a name='L35'></a><a href='#L35'>35</a> <a name='L36'></a><a href='#L36'>36</a> <a name='L37'></a><a href='#L37'>37</a> <a name='L38'></a><a href='#L38'>38</a> <a name='L39'></a><a href='#L39'>39</a> <a name='L40'></a><a href='#L40'>40</a> <a name='L41'></a><a href='#L41'>41</a> <a name='L42'></a><a href='#L42'>42</a> <a name='L43'></a><a href='#L43'>43</a> <a name='L44'></a><a href='#L44'>44</a> <a name='L45'></a><a href='#L45'>45</a> <a name='L46'></a><a href='#L46'>46</a> <a name='L47'></a><a href='#L47'>47</a> <a name='L48'></a><a href='#L48'>48</a> <a name='L49'></a><a href='#L49'>49</a> <a name='L50'></a><a href='#L50'>50</a> <a name='L51'></a><a href='#L51'>51</a> <a name='L52'></a><a href='#L52'>52</a> <a name='L53'></a><a href='#L53'>53</a> <a name='L54'></a><a href='#L54'>54</a> <a name='L55'></a><a href='#L55'>55</a> <a name='L56'></a><a href='#L56'>56</a> <a name='L57'></a><a href='#L57'>57</a> <a name='L58'></a><a href='#L58'>58</a> <a name='L59'></a><a href='#L59'>59</a> <a name='L60'></a><a href='#L60'>60</a> <a name='L61'></a><a href='#L61'>61</a> <a name='L62'></a><a href='#L62'>62</a> <a name='L63'></a><a href='#L63'>63</a> <a name='L64'></a><a href='#L64'>64</a> <a name='L65'></a><a href='#L65'>65</a> <a name='L66'></a><a href='#L66'>66</a> <a name='L67'></a><a href='#L67'>67</a> <a name='L68'></a><a href='#L68'>68</a> <a name='L69'></a><a href='#L69'>69</a> <a name='L70'></a><a href='#L70'>70</a> <a name='L71'></a><a href='#L71'>71</a> <a name='L72'></a><a href='#L72'>72</a> <a name='L73'></a><a href='#L73'>73</a> <a name='L74'></a><a href='#L74'>74</a> <a name='L75'></a><a href='#L75'>75</a> <a name='L76'></a><a href='#L76'>76</a> <a name='L77'></a><a href='#L77'>77</a> <a name='L78'></a><a href='#L78'>78</a> <a name='L79'></a><a href='#L79'>79</a> <a name='L80'></a><a href='#L80'>80</a> <a name='L81'></a><a href='#L81'>81</a> <a name='L82'></a><a href='#L82'>82</a> <a name='L83'></a><a href='#L83'>83</a> <a name='L84'></a><a href='#L84'>84</a> <a name='L85'></a><a href='#L85'>85</a> <a name='L86'></a><a href='#L86'>86</a> <a name='L87'></a><a href='#L87'>87</a> <a name='L88'></a><a href='#L88'>88</a> <a name='L89'></a><a href='#L89'>89</a> <a name='L90'></a><a href='#L90'>90</a> <a name='L91'></a><a href='#L91'>91</a> <a name='L92'></a><a href='#L92'>92</a> <a name='L93'></a><a href='#L93'>93</a> <a name='L94'></a><a href='#L94'>94</a> <a name='L95'></a><a href='#L95'>95</a> <a name='L96'></a><a href='#L96'>96</a> <a name='L97'></a><a href='#L97'>97</a> <a name='L98'></a><a href='#L98'>98</a> <a name='L99'></a><a href='#L99'>99</a> <a name='L100'></a><a href='#L100'>100</a> <a name='L101'></a><a href='#L101'>101</a> <a name='L102'></a><a href='#L102'>102</a> <a name='L103'></a><a href='#L103'>103</a> <a name='L104'></a><a href='#L104'>104</a> <a name='L105'></a><a href='#L105'>105</a> <a name='L106'></a><a href='#L106'>106</a> <a name='L107'></a><a href='#L107'>107</a> <a name='L108'></a><a href='#L108'>108</a> <a name='L109'></a><a href='#L109'>109</a> <a name='L110'></a><a href='#L110'>110</a> <a name='L111'></a><a href='#L111'>111</a> <a name='L112'></a><a href='#L112'>112</a> <a name='L113'></a><a href='#L113'>113</a> <a name='L114'></a><a href='#L114'>114</a> <a name='L115'></a><a href='#L115'>115</a> <a name='L116'></a><a href='#L116'>116</a> <a name='L117'></a><a href='#L117'>117</a> <a name='L118'></a><a href='#L118'>118</a> <a name='L119'></a><a href='#L119'>119</a> <a name='L120'></a><a href='#L120'>120</a> <a name='L121'></a><a href='#L121'>121</a> <a name='L122'></a><a href='#L122'>122</a> <a name='L123'></a><a href='#L123'>123</a> <a name='L124'></a><a href='#L124'>124</a> <a name='L125'></a><a href='#L125'>125</a> <a name='L126'></a><a href='#L126'>126</a> <a name='L127'></a><a href='#L127'>127</a> <a name='L128'></a><a href='#L128'>128</a> <a name='L129'></a><a href='#L129'>129</a> <a name='L130'></a><a href='#L130'>130</a> <a name='L131'></a><a href='#L131'>131</a> <a name='L132'></a><a href='#L132'>132</a> <a name='L133'></a><a href='#L133'>133</a> <a name='L134'></a><a href='#L134'>134</a> <a name='L135'></a><a href='#L135'>135</a> <a name='L136'></a><a href='#L136'>136</a> <a name='L137'></a><a href='#L137'>137</a> <a name='L138'></a><a href='#L138'>138</a> <a name='L139'></a><a href='#L139'>139</a> <a name='L140'></a><a href='#L140'>140</a> <a name='L141'></a><a href='#L141'>141</a> <a name='L142'></a><a href='#L142'>142</a> <a name='L143'></a><a href='#L143'>143</a> <a name='L144'></a><a href='#L144'>144</a> <a name='L145'></a><a href='#L145'>145</a> <a name='L146'></a><a href='#L146'>146</a> <a name='L147'></a><a href='#L147'>147</a> <a name='L148'></a><a href='#L148'>148</a> <a name='L149'></a><a href='#L149'>149</a> <a name='L150'></a><a href='#L150'>150</a> <a name='L151'></a><a href='#L151'>151</a> <a name='L152'></a><a href='#L152'>152</a> <a name='L153'></a><a href='#L153'>153</a> <a name='L154'></a><a href='#L154'>154</a> <a name='L155'></a><a href='#L155'>155</a> <a name='L156'></a><a href='#L156'>156</a> <a name='L157'></a><a href='#L157'>157</a> <a name='L158'></a><a href='#L158'>158</a> <a name='L159'></a><a href='#L159'>159</a> <a name='L160'></a><a href='#L160'>160</a> <a name='L161'></a><a href='#L161'>161</a> <a name='L162'></a><a href='#L162'>162</a> <a name='L163'></a><a href='#L163'>163</a> <a name='L164'></a><a href='#L164'>164</a> <a name='L165'></a><a href='#L165'>165</a> <a name='L166'></a><a href='#L166'>166</a> <a name='L167'></a><a href='#L167'>167</a> <a name='L168'></a><a href='#L168'>168</a> <a name='L169'></a><a href='#L169'>169</a> <a name='L170'></a><a href='#L170'>170</a> <a name='L171'></a><a href='#L171'>171</a> <a name='L172'></a><a href='#L172'>172</a> <a name='L173'></a><a href='#L173'>173</a> <a name='L174'></a><a href='#L174'>174</a> <a name='L175'></a><a href='#L175'>175</a> <a name='L176'></a><a href='#L176'>176</a> <a name='L177'></a><a href='#L177'>177</a> <a name='L178'></a><a href='#L178'>178</a> <a name='L179'></a><a href='#L179'>179</a> <a name='L180'></a><a href='#L180'>180</a> <a name='L181'></a><a href='#L181'>181</a> <a name='L182'></a><a href='#L182'>182</a> <a name='L183'></a><a href='#L183'>183</a> <a name='L184'></a><a href='#L184'>184</a> <a name='L185'></a><a href='#L185'>185</a> <a name='L186'></a><a href='#L186'>186</a> <a name='L187'></a><a href='#L187'>187</a> <a name='L188'></a><a href='#L188'>188</a> <a name='L189'></a><a href='#L189'>189</a> <a name='L190'></a><a href='#L190'>190</a> <a name='L191'></a><a href='#L191'>191</a> <a name='L192'></a><a href='#L192'>192</a> <a name='L193'></a><a href='#L193'>193</a> <a name='L194'></a><a href='#L194'>194</a> <a name='L195'></a><a href='#L195'>195</a> <a name='L196'></a><a href='#L196'>196</a> <a name='L197'></a><a href='#L197'>197</a> <a name='L198'></a><a href='#L198'>198</a> <a name='L199'></a><a href='#L199'>199</a> <a name='L200'></a><a href='#L200'>200</a> <a name='L201'></a><a href='#L201'>201</a> <a name='L202'></a><a href='#L202'>202</a> <a name='L203'></a><a href='#L203'>203</a> <a name='L204'></a><a href='#L204'>204</a> <a name='L205'></a><a href='#L205'>205</a> <a name='L206'></a><a href='#L206'>206</a> <a name='L207'></a><a href='#L207'>207</a> <a name='L208'></a><a href='#L208'>208</a> <a name='L209'></a><a href='#L209'>209</a> <a name='L210'></a><a href='#L210'>210</a> <a name='L211'></a><a href='#L211'>211</a> <a name='L212'></a><a href='#L212'>212</a> <a name='L213'></a><a href='#L213'>213</a> <a name='L214'></a><a href='#L214'>214</a> <a name='L215'></a><a href='#L215'>215</a> <a name='L216'></a><a href='#L216'>216</a> <a name='L217'></a><a href='#L217'>217</a> <a name='L218'></a><a href='#L218'>218</a> <a name='L219'></a><a href='#L219'>219</a> <a name='L220'></a><a href='#L220'>220</a> <a name='L221'></a><a href='#L221'>221</a> <a name='L222'></a><a href='#L222'>222</a> <a name='L223'></a><a href='#L223'>223</a> <a name='L224'></a><a href='#L224'>224</a> <a name='L225'></a><a href='#L225'>225</a> <a name='L226'></a><a href='#L226'>226</a> <a name='L227'></a><a href='#L227'>227</a> <a name='L228'></a><a href='#L228'>228</a> <a name='L229'></a><a href='#L229'>229</a> <a name='L230'></a><a href='#L230'>230</a> <a name='L231'></a><a href='#L231'>231</a> <a name='L232'></a><a href='#L232'>232</a> <a name='L233'></a><a href='#L233'>233</a> <a name='L234'></a><a href='#L234'>234</a> <a name='L235'></a><a href='#L235'>235</a> <a name='L236'></a><a href='#L236'>236</a> <a name='L237'></a><a href='#L237'>237</a> <a name='L238'></a><a href='#L238'>238</a> <a name='L239'></a><a href='#L239'>239</a> <a name='L240'></a><a href='#L240'>240</a> <a name='L241'></a><a href='#L241'>241</a> <a name='L242'></a><a href='#L242'>242</a> <a name='L243'></a><a href='#L243'>243</a> <a name='L244'></a><a href='#L244'>244</a> <a name='L245'></a><a href='#L245'>245</a> <a name='L246'></a><a href='#L246'>246</a> <a name='L247'></a><a href='#L247'>247</a> <a name='L248'></a><a href='#L248'>248</a> <a name='L249'></a><a href='#L249'>249</a> <a name='L250'></a><a href='#L250'>250</a> <a name='L251'></a><a href='#L251'>251</a> <a name='L252'></a><a href='#L252'>252</a> <a name='L253'></a><a href='#L253'>253</a> <a name='L254'></a><a href='#L254'>254</a> <a name='L255'></a><a href='#L255'>255</a> <a name='L256'></a><a href='#L256'>256</a> <a name='L257'></a><a href='#L257'>257</a> <a name='L258'></a><a href='#L258'>258</a> <a name='L259'></a><a href='#L259'>259</a> <a name='L260'></a><a href='#L260'>260</a> <a name='L261'></a><a href='#L261'>261</a> <a name='L262'></a><a href='#L262'>262</a> <a name='L263'></a><a href='#L263'>263</a> <a name='L264'></a><a href='#L264'>264</a> <a name='L265'></a><a href='#L265'>265</a> <a name='L266'></a><a href='#L266'>266</a> <a name='L267'></a><a href='#L267'>267</a> <a name='L268'></a><a href='#L268'>268</a> <a name='L269'></a><a href='#L269'>269</a> <a name='L270'></a><a href='#L270'>270</a> <a name='L271'></a><a href='#L271'>271</a> <a name='L272'></a><a href='#L272'>272</a> <a name='L273'></a><a href='#L273'>273</a> <a name='L274'></a><a href='#L274'>274</a> <a name='L275'></a><a href='#L275'>275</a> <a name='L276'></a><a href='#L276'>276</a> <a name='L277'></a><a href='#L277'>277</a> <a name='L278'></a><a href='#L278'>278</a> <a name='L279'></a><a href='#L279'>279</a> <a name='L280'></a><a href='#L280'>280</a> <a name='L281'></a><a href='#L281'>281</a> <a name='L282'></a><a href='#L282'>282</a> <a name='L283'></a><a href='#L283'>283</a> <a name='L284'></a><a href='#L284'>284</a> <a name='L285'></a><a href='#L285'>285</a> <a name='L286'></a><a href='#L286'>286</a> <a name='L287'></a><a href='#L287'>287</a> <a name='L288'></a><a href='#L288'>288</a> <a name='L289'></a><a href='#L289'>289</a> <a name='L290'></a><a href='#L290'>290</a> <a name='L291'></a><a href='#L291'>291</a> <a name='L292'></a><a href='#L292'>292</a> <a name='L293'></a><a href='#L293'>293</a> <a name='L294'></a><a href='#L294'>294</a> <a name='L295'></a><a href='#L295'>295</a> <a name='L296'></a><a href='#L296'>296</a> <a name='L297'></a><a href='#L297'>297</a> <a name='L298'></a><a href='#L298'>298</a> <a name='L299'></a><a href='#L299'>299</a> <a name='L300'></a><a href='#L300'>300</a> <a name='L301'></a><a href='#L301'>301</a> <a name='L302'></a><a href='#L302'>302</a> <a name='L303'></a><a href='#L303'>303</a> <a name='L304'></a><a href='#L304'>304</a> <a name='L305'></a><a href='#L305'>305</a> <a name='L306'></a><a href='#L306'>306</a> <a name='L307'></a><a href='#L307'>307</a> <a name='L308'></a><a href='#L308'>308</a> <a name='L309'></a><a href='#L309'>309</a> <a name='L310'></a><a href='#L310'>310</a> <a name='L311'></a><a href='#L311'>311</a> <a name='L312'></a><a href='#L312'>312</a> <a name='L313'></a><a href='#L313'>313</a> <a name='L314'></a><a href='#L314'>314</a> <a name='L315'></a><a href='#L315'>315</a> <a name='L316'></a><a href='#L316'>316</a> <a name='L317'></a><a href='#L317'>317</a> <a name='L318'></a><a href='#L318'>318</a> <a name='L319'></a><a href='#L319'>319</a> <a name='L320'></a><a href='#L320'>320</a> <a name='L321'></a><a href='#L321'>321</a> <a name='L322'></a><a href='#L322'>322</a> <a name='L323'></a><a href='#L323'>323</a> <a name='L324'></a><a href='#L324'>324</a> <a name='L325'></a><a href='#L325'>325</a> <a name='L326'></a><a href='#L326'>326</a> <a name='L327'></a><a href='#L327'>327</a></td><td class="line-coverage quiet">1x 1x 1x 1x 1x     107615x       1x         260x 260x   141x   141x         2x 194x                             2x 445x 445x                           679x 679x                     137x 137x             137x 137x           1x     1x     1x 2x 2x 4x 4x 4x   1x 2x 2x 4x 4x 4x     1x     127x 127x             127x                             116x 116x             116x                         1x   151x   111x 111x                               2x             1x                 5x       1x             1x                 418x                 183x                 182x                                                                     6x   1x 109x         11x   1x 64x       3x   11x 14x       14x   3x   11x             8x         6x         6847x   6620x       6620x       75x 82x           245x 245x 245x  </td><td class="text"><pre class="prettyprint lang-js">{ DateTime } = require './datetime' { Uncertainty } = require './uncertainty' { ThreeValuedLogic } = require './logic' { successor, predecessor, maxValueForInstance, minValueForInstance } = require '../util/math' cmp = require '../util/comparison'   module.exports.Interval = class Interval constructor: (@low, @high, @lowClosed = true, @highClosed = true) ->   # Define a simple getter to allow type-checking of this class without instanceof # and in a way that survives minification (as opposed to checking constructor.name) Object.defineProperties @prototype, isInterval: get: -> true   copy: -> newLow = @low newHigh = @high if @low? and typeof @low.copy == 'function' newLow = @low.copy() if @high? and typeof @high.copy == 'function' newHigh = @high.copy();   new Interval(newLow, newHigh, @lowClosed, @highClosed)   contains: (item, precision) -> if item instanceof Interval then throw new Error("Argument to contains must be a point") closed = @toClosed() ThreeValuedLogic.and( cmp.lessThanOrEquals(closed.low, item, precision), cmp.greaterThanOrEquals(closed.high, item, precision) )   properlyIncludes: (other, precision) -> if not (other instanceof Interval) then throw new Error("Argument to properlyIncludes must be an interval") ThreeValuedLogic.and( @includes(other, precision), ThreeValuedLogic.not(other.includes(@, precision)) )   includes: (other, precision) -> if not (other instanceof Interval) return @.contains(other,precision) a = @toClosed() b = other.toClosed() ThreeValuedLogic.and( cmp.lessThanOrEquals(a.low, b.low, precision), cmp.greaterThanOrEquals(a.high, b.high, precision) )   includedIn: (other, precision) -> # For the point overload, this operator is a synonym for the in operator if not (other instanceof Interval) @.contains(other, precision) else other.includes @   overlaps: (item, precision) -> closed = @toClosed() [low, high] = if item instanceof Interval itemClosed = item.toClosed() [itemClosed.low, itemClosed.high] else [item, item] ThreeValuedLogic.and( cmp.lessThanOrEquals(closed.low, high, precision), cmp.greaterThanOrEquals(closed.high, low, precision) )   overlapsAfter: (item, precision) -> closed = @toClosed() high = if item instanceof Interval then item.toClosed().high else item ThreeValuedLogic.and( cmp.lessThanOrEquals(closed.low, high, precision), cmp.greaterThan(closed.high, high, precision) )   overlapsBefore: (item, precision) -> closed = @toClosed() low = if item instanceof Interval then item.toClosed().low else item ThreeValuedLogic.and( cmp.lessThan(closed.low, low, precision), cmp.greaterThanOrEquals(closed.high, low, precision) )   areDateTimes = (x, y) -> [x, y].every (z) -> z instanceof DateTime   areNumeric = (x, y) -> [x, y].every (z) -> typeof z is 'number' or (z instanceof Uncertainty and typeof z.low is 'number')   lowestNumericUncertainty = (x, y) -> if not(x instanceof Uncertainty) then x = new Uncertainty(x) if not(y instanceof Uncertainty) then y = new Uncertainty(y) low = if x.low < y.low then x.low else y.low high = if x.high < y.high then x.high else y.high if low != high then return new Uncertainty(low, high) else return low   highestNumericUncertainty = (x, y) -> if not(x instanceof Uncertainty) then x = new Uncertainty(x) if not(y instanceof Uncertainty) then y = new Uncertainty(y) low = if x.low > y.low then x.low else y.low high = if x.high > y.high then x.high else y.high if low != high then return new Uncertainty(low, high) else return low   union: (other) -> if not (other instanceof Interval) then throw new Error("Argument to union must be an interval") # Note that interval union is only defined if the arguments overlap or meet. if @overlaps(other) or @meets(other) [a, b] = [@toClosed(), other.toClosed()] [l, lc] = switch when cmp.lessThanOrEquals(a.low, b.low) then [@low, @lowClosed] when cmp.greaterThanOrEquals(a.low, b.low) then [other.low, other.lowClosed] when areNumeric(a.low, b.low) then [lowestNumericUncertainty(a.low, b.low), true] # TODO: Do we need to support quantities here? when areDateTimes(a.low, b.low) and a.low.isMorePrecise(b.low) then [other.low, other.lowClosed] else [@low, @lowClosed] [h, hc] = switch when cmp.greaterThanOrEquals(a.high, b.high) then [@high, @highClosed] when cmp.lessThanOrEquals(a.high, b.high) then [other.high, other.highClosed] when areNumeric(a.high, b.high) then [highestNumericUncertainty(a.high, b.high), true] # TODO: Do we need to support quantities here? when areDateTimes(a.high, b.high) and a.high.isMorePrecise(b.high) then [other.high, other.highClosed] else [@high, @highClosed] new Interval(l, h, lc, hc) else null   intersect: (other) -> if not (other instanceof Interval) then throw new Error("Argument to union must be an interval") # Note that interval union is only defined if the arguments overlap. if @overlaps(other) [a, b] = [@toClosed(), other.toClosed()] [l, lc] = switch when cmp.greaterThanOrEquals(a.low, b.low) then [@low, @lowClosed] when cmp.lessThanOrEquals(a.low, b.low) then [other.low, other.lowClosed] when areNumeric(a.low, b.low) then [highestNumericUncertainty(a.low, b.low), true] # TODO: Do we need to support quantities here? when areDateTimes(a.low, b.low) and b.low.isMorePrecise(a.low) then [other.low, other.lowClosed] else [@low, @lowClosed] [h, hc] = switch when cmp.lessThanOrEquals(a.high, b.high) then [@high, @highClosed] when cmp.greaterThanOrEquals(a.high, b.high) then [other.high, other.highClosed] when areNumeric(a.high, b.high) then [lowestNumericUncertainty(a.high, b.high), true] # TODO: Do we need to support quantities here? when areDateTimes(a.high, b.high) and b.high.isMorePrecise(a.high) then [other.high, other.highClosed] else [@high, @highClosed] new Interval(l, h, lc, hc) else null   except: (other) -> if (other == null) then return null if not (other instanceof Interval) then throw new Error("Argument to except must be an interval")   ol = @overlaps other if ol is true olb = @overlapsBefore other ola = @overlapsAfter other if olb is true and ola is false then new Interval(@low, other.low, @lowClosed, not other.lowClosed) else if ola is true and olb is false then new Interval(other.high, @high, not other.highClosed, @highClosed) else null else if ol is false @ else # ol is null null   sameAs: (other, precision) -> # This large if and else if block handles the scenarios where there is an open ended null # If both lows or highs exists, it can be determined that intervals are not Same As if (@low? and other.low? and !@high? and other.high? and !@highClosed) or (@low? and other.low? and @high? and !other.high? and !other.highClosed) or (@low? and other.low? and !@high? and !other.high? and !other.highClosed and !@highClosed) if typeof @low == 'number' if !(@.start() == other.start()) then return false else if !(@.start().sameAs(other.start(), precision)) then return false else if (@low? and !other.low? and @high? and other.high?) or (!@low? and other.low? and @high? and other.high?) or (!@low? and !other.low? and @high? and other.high?) if typeof @high == 'number' if !(@.end() == other.end()) then return false else if !(@.end().sameAs(other.end(), precision)) then return false   # Checks to see if any of the Intervals have a open, null boundary if (!@low? and !@lowClosed) or (!@high? and !@highClosed) or (!other.low? and !other.lowClosed) or (!other.high? and !other.highClosed) return null   # For the special cases where @ is Interval[null,null] if @lowClosed and !@low? and @highClosed and !@high? return other.lowClosed and !other.low? and other.highClosed and !other.high?   # For the special case where Interval[...] same as Interval[null,null] should return false # This accounts for the inverse of the if statement above: where the second Interval is [null,null] and not the first Interval # The reason why this isn't caught below is due to how start() and end() work # There is no way to tell the datatype for MIN and MAX if both boundaries are null if other.lowClosed and !other.low? and other.highClosed and !other.high? return false   if typeof @low == 'number' @.start() == other.start() and @.end() == other.end() else @.start().sameAs(other.start(), precision) and @.end().sameAs(other.end(), precision)   equals: (other) -> if other instanceof Interval [a, b] = [@toClosed(), other.toClosed()] ThreeValuedLogic.and( cmp.equals(a.low, b.low), cmp.equals(a.high, b.high) ) else false   after: (other, precision) -> closed = @toClosed() # Meets spec, but not 100% correct (e.g., (null, 5] after [6, 10] --> null) # Simple way to fix it: and w/ not overlaps if !!other.toClosed cmp.greaterThan closed.low, other.toClosed().high, precision else cmp.greaterThan closed.low, other, precision   before: (other, precision) -> closed = @toClosed() # Meets spec, but not 100% correct (e.g., (null, 5] after [6, 10] --> null) # Simple way to fix it: and w/ not overlaps if !!other.toClosed cmp.lessThan closed.high, other.toClosed().low, precision else cmp.lessThan closed.high, other, precision   meets: (other, precision) -> ThreeValuedLogic.or( @meetsBefore(other, precision), @meetsAfter(other, precision) )   meetsAfter: (other, precision) -> try if precision? and @low instanceof DateTime @toClosed().low.sameAs(other.toClosed().high?.add(1, precision), precision) else cmp.equals @toClosed().low, successor(other.toClosed().high) catch false   meetsBefore: (other, precision) -> try if precision? and @high instanceof DateTime @toClosed().high.sameAs(other.toClosed().low?.add(-1, precision), precision) else cmp.equals @toClosed().high, predecessor(other.toClosed().low) catch false   start: () -> if !@low? if @lowClosed return minValueForInstance(@high) else return @low return @toClosed().low   end: () -> if !@high? if @highClosed return maxValueForInstance(@low) else return @high return @toClosed().high   starts: (other, precision) -> if precision? and @low instanceof DateTime startEqual = @low.sameAs(other.low, precision) else startEqual = cmp.equals(@low, other.low) endLessThanOrEqual = cmp.lessThanOrEquals(@high, other.high, precision) startEqual and endLessThanOrEqual   ends: (other, precision) -> startGreaterThanOrEqual = cmp.greaterThanOrEquals(@low, other.low, precision) if precision? and @low instanceof DateTime endEqual = @high.sameAs(other.high, precision) else endEqual = cmp.equals(@high, other.high) startGreaterThanOrEqual && endEqual   width: () -> if @low instanceof DateTime or @high instanceof DateTime throw new Error("Width of DateTime intervals is not supported")   closed = @toClosed() if closed.low instanceof Uncertainty or closed.high instanceof Uncertainty null else # TODO: Fix precision to 8 decimals in other places that return numbers diff = Math.abs(closed.high - closed.low) Math.round(diff * Math.pow(10, 8)) / Math.pow(10, 8)     toClosed: () -> point = @low ? @high if typeof(point) is 'number' or point instanceof DateTime or point?.isQuantity or point?.isDate low = switch when @lowClosed and not @low? then minValueForInstance point when not @lowClosed and @low? then successor @low else @low high = switch when @highClosed and not @high? then maxValueForInstance point when not @highClosed and @high? then predecessor @high else @high if not low? then low = new Uncertainty(minValueForInstance(point), high) if not high? then high = new Uncertainty(low, maxValueForInstance(point)) new Interval(low, high, true, true) else new Interval(@low, @high, true, true)   toString: () -> start = if @lowClosed then '[' else '(' end = if @highClosed then ']' else ')' return start + @low.toString() + ', ' + @high.toString() + end  </pre></td></tr> </table></pre> <div class='push'></div> </div> <div class='footer quiet pad2 space-top1 center small'> Code coverage generated by <a href="https://istanbul.js.org/" target="_blank">istanbul</a> at Wed Jun 19 2019 15:12:44 GMT-0700 (PDT) </div> </div> <script src="../../prettify.js"></script> <script> window.onload = function () { if (typeof prettyPrint === 'function') { prettyPrint(); } }; </script> <script src="../../sorter.js"></script> <script src="../../block-navigation.js"></script> </body> </html>