michael/cordis
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

remove coverage folder

Browse Source
This commit is contained in:
Michael Peters 2021-11-30 20:46:25 -06:00
parent 536f3160fc
commit 403c086d08
13 changed files with 0 additions and 1805 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
client/tests/webapp/auto-verifier.test.ts
View File

@ -107,7 +107,6 @@ class AutoVerifierTest {
}
}
describe('basic functionality', () => {
test('basic functionality', async () => {
const verifier = AutoVerifierTest.createSimple(2, 2);

129
coverage/clover.xml
View File

@ -1,129 +0,0 @@
<?xml version="1.0" encoding="UTF-8"?>
<coverage generated="1638326543450" clover="3.2.0">
<project timestamp="1638326543450" name="All files">
<metrics statements="120" coveredstatements="74" conditionals="57" coveredconditionals="24" methods="17" coveredmethods="8" elements="194" coveredelements="106" complexity="0" loc="120" ncloc="120" packages="1" files="1" classes="1"/>
<file name="auto-verifier.ts" path="/home/michael/Disks/SSD-1TB/development/cordis-ts/client/webapp/auto-verifier.ts">
<metrics statements="120" coveredstatements="74" conditionals="57" coveredconditionals="24" methods="17" coveredmethods="8"/>
<line num="7" count="1" type="cond" truecount="2" falsecount="0"/>
<line num="8" count="1" type="stmt"/>
<line num="9" count="1" type="stmt"/>
<line num="10" count="1" type="stmt"/>
<line num="11" count="1" type="stmt"/>
<line num="12" count="1" type="stmt"/>
<line num="23" count="1" type="stmt"/>
<line num="24" count="18" type="stmt"/>
<line num="25" count="18" type="stmt"/>
<line num="26" count="18" type="stmt"/>
<line num="35" count="18" type="stmt"/>
<line num="36" count="18" type="stmt"/>
<line num="37" count="18" type="stmt"/>
<line num="41" count="0" type="stmt"/>
<line num="43" count="0" type="cond" truecount="0" falsecount="4"/>
<line num="44" count="0" type="stmt"/>
<line num="45" count="0" type="cond" truecount="0" falsecount="2"/>
<line num="46" count="0" type="stmt"/>
<line num="47" count="0" type="stmt"/>
<line num="48" count="0" type="cond" truecount="0" falsecount="1"/>
<line num="49" count="0" type="stmt"/>
<line num="50" count="0" type="stmt"/>
<line num="53" count="0" type="stmt"/>
<line num="54" count="0" type="stmt"/>
<line num="56" count="0" type="stmt"/>
<line num="57" count="0" type="stmt"/>
<line num="58" count="0" type="cond" truecount="0" falsecount="2"/>
<line num="59" count="0" type="stmt"/>
<line num="61" count="0" type="stmt"/>
<line num="64" count="0" type="stmt"/>
<line num="65" count="0" type="stmt"/>
<line num="66" count="0" type="cond" truecount="0" falsecount="1"/>
<line num="67" count="0" type="stmt"/>
<line num="71" count="0" type="stmt"/>
<line num="75" count="0" type="cond" truecount="0" falsecount="4"/>
<line num="76" count="0" type="stmt"/>
<line num="77" count="0" type="cond" truecount="0" falsecount="2"/>
<line num="78" count="0" type="stmt"/>
<line num="79" count="0" type="cond" truecount="0" falsecount="2"/>
<line num="80" count="0" type="stmt"/>
<line num="81" count="0" type="cond" truecount="0" falsecount="5"/>
<line num="82" count="0" type="stmt"/>
<line num="84" count="0" type="stmt"/>
<line num="89" count="0" type="cond" truecount="0" falsecount="4"/>
<line num="90" count="0" type="stmt"/>
<line num="91" count="0" type="cond" truecount="0" falsecount="2"/>
<line num="92" count="0" type="stmt"/>
<line num="93" count="0" type="cond" truecount="0" falsecount="2"/>
<line num="94" count="0" type="stmt"/>
<line num="95" count="0" type="cond" truecount="0" falsecount="2"/>
<line num="96" count="0" type="stmt"/>
<line num="98" count="0" type="stmt"/>
<line num="107" count="0" type="stmt"/>
<line num="111" count="0" type="stmt"/>
<line num="112" count="0" type="stmt"/>
<line num="113" count="0" type="stmt"/>
<line num="123" count="0" type="stmt"/>
<line num="127" count="0" type="stmt"/>
<line num="128" count="0" type="stmt"/>
<line num="135" count="13" type="cond" truecount="1" falsecount="0"/>
<line num="136" count="5" type="stmt"/>
<line num="138" count="13" type="cond" truecount="1" falsecount="0"/>
<line num="139" count="13" type="stmt"/>
<line num="141" count="13" type="stmt"/>
<line num="142" count="13" type="stmt"/>
<line num="143" count="13" type="stmt"/>
<line num="150" count="21" type="stmt"/>
<line num="151" count="21" type="stmt"/>
<line num="152" count="21" type="stmt"/>
<line num="153" count="21" type="stmt"/>
<line num="154" count="21" type="stmt"/>
<line num="156" count="21" type="cond" truecount="1" falsecount="0"/>
<line num="157" count="18" type="stmt"/>
<line num="159" count="21" type="stmt"/>
<line num="162" count="21" type="cond" truecount="1" falsecount="0"/>
<line num="163" count="18" type="stmt"/>
<line num="164" count="18" type="stmt"/>
<line num="167" count="21" type="stmt"/>
<line num="168" count="19" type="cond" truecount="1" falsecount="0"/>
<line num="169" count="13" type="stmt"/>
<line num="172" count="19" type="cond" truecount="1" falsecount="0"/>
<line num="173" count="11" type="stmt"/>
<line num="174" count="11" type="stmt"/>
<line num="178" count="19" type="cond" truecount="1" falsecount="0"/>
<line num="180" count="3" type="stmt"/>
<line num="181" count="3" type="stmt"/>
<line num="184" count="19" type="stmt"/>
<line num="185" count="23" type="cond" truecount="2" falsecount="0"/>
<line num="188" count="19" type="cond" truecount="2" falsecount="0"/>
<line num="191" count="16" type="stmt"/>
<line num="194" count="16" type="stmt"/>
<line num="195" count="16" type="stmt"/>
<line num="197" count="14" type="cond" truecount="1" falsecount="0"/>
<line num="199" count="3" type="stmt"/>
<line num="200" count="3" type="stmt"/>
<line num="201" count="3" type="stmt"/>
<line num="206" count="11" type="stmt"/>
<line num="208" count="11" type="cond" truecount="2" falsecount="0"/>
<line num="209" count="8" type="stmt"/>
<line num="217" count="11" type="cond" truecount="3" falsecount="0"/>
<line num="218" count="3" type="stmt"/>
<line num="219" count="3" type="stmt"/>
<line num="227" count="3" type="stmt"/>
<line num="228" count="3" type="stmt"/>
<line num="230" count="3" type="cond" truecount="1" falsecount="0"/>
<line num="232" count="1" type="stmt"/>
<line num="233" count="1" type="stmt"/>
<line num="234" count="1" type="stmt"/>
<line num="237" count="2" type="cond" truecount="1" falsecount="0"/>
<line num="238" count="1" type="stmt"/>
<line num="239" count="1" type="stmt"/>
<line num="244" count="4" type="cond" truecount="1" falsecount="0"/>
<line num="245" count="3" type="stmt"/>
<line num="246" count="3" type="stmt"/>
<line num="250" count="19" type="stmt"/>
<line num="252" count="4" type="stmt"/>
<line num="253" count="4" type="cond" truecount="2" falsecount="0"/>
<line num="254" count="3" type="stmt"/>
<line num="255" count="3" type="stmt"/>
<line num="257" count="1" type="stmt"/>
</file>
</project>
</coverage>

2
coverage/coverage-final.json
View File

File diff suppressed because one or more lines are too long

866
coverage/lcov-report/auto-verifier.ts.html
View File

@ -1,866 +0,0 @@
<!doctype html>
<html lang="en">
<head>
<title>Code coverage report for auto-verifier.ts</title>
<meta charset="utf-8" />
<link rel="stylesheet" href="prettify.css" />
<link rel="stylesheet" href="base.css" />
<link rel="shortcut icon" type="image/x-icon" href="favicon.png" />
<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> auto-verifier.ts</h1>
<div class='clearfix'>
<div class='fl pad1y space-right2'>
<span class="strong">61.29% </span>
<span class="quiet">Statements</span>
<span class='fraction'>76/124</span>
</div>
<div class='fl pad1y space-right2'>
<span class="strong">42.1% </span>
<span class="quiet">Branches</span>
<span class='fraction'>24/57</span>
</div>
<div class='fl pad1y space-right2'>
<span class="strong">47.05% </span>
<span class="quiet">Functions</span>
<span class='fraction'>8/17</span>
</div>
<div class='fl pad1y space-right2'>
<span class="strong">61.66% </span>
<span class="quiet">Lines</span>
<span class='fraction'>74/120</span>
</div>
</div>
<p class="quiet">
Press <em>n</em> or <em>j</em> to go to the next uncovered block, <em>b</em>, <em>p</em> or <em>k</em> for the previous block.
</p>
</div>
<div class='status-line medium'></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></td><td class="line-coverage quiet"><span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-yes">1x</span>
<span class="cline-any cline-yes">1x</span>
<span class="cline-any cline-yes">1x</span>
<span class="cline-any cline-yes">1x</span>
<span class="cline-any cline-yes">1x</span>
<span class="cline-any cline-yes">1x</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-yes">1x</span>
<span class="cline-any cline-yes">18x</span>
<span class="cline-any cline-yes">18x</span>
<span class="cline-any cline-yes">18x</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-yes">18x</span>
<span class="cline-any cline-yes">18x</span>
<span class="cline-any cline-yes">18x</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-no">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-no">&nbsp;</span>
<span class="cline-any cline-no">&nbsp;</span>
<span class="cline-any cline-no">&nbsp;</span>
<span class="cline-any cline-no">&nbsp;</span>
<span class="cline-any cline-no">&nbsp;</span>
<span class="cline-any cline-no">&nbsp;</span>
<span class="cline-any cline-no">&nbsp;</span>
<span class="cline-any cline-no">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-no">&nbsp;</span>
<span class="cline-any cline-no">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-no">&nbsp;</span>
<span class="cline-any cline-no">&nbsp;</span>
<span class="cline-any cline-no">&nbsp;</span>
<span class="cline-any cline-no">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-no">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-no">&nbsp;</span>
<span class="cline-any cline-no">&nbsp;</span>
<span class="cline-any cline-no">&nbsp;</span>
<span class="cline-any cline-no">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-no">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-no">&nbsp;</span>
<span class="cline-any cline-no">&nbsp;</span>
<span class="cline-any cline-no">&nbsp;</span>
<span class="cline-any cline-no">&nbsp;</span>
<span class="cline-any cline-no">&nbsp;</span>
<span class="cline-any cline-no">&nbsp;</span>
<span class="cline-any cline-no">&nbsp;</span>
<span class="cline-any cline-no">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-no">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-no">&nbsp;</span>
<span class="cline-any cline-no">&nbsp;</span>
<span class="cline-any cline-no">&nbsp;</span>
<span class="cline-any cline-no">&nbsp;</span>
<span class="cline-any cline-no">&nbsp;</span>
<span class="cline-any cline-no">&nbsp;</span>
<span class="cline-any cline-no">&nbsp;</span>
<span class="cline-any cline-no">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-no">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-no">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-no">&nbsp;</span>
<span class="cline-any cline-no">&nbsp;</span>
<span class="cline-any cline-no">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-no">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-no">&nbsp;</span>
<span class="cline-any cline-no">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-yes">13x</span>
<span class="cline-any cline-yes">5x</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-yes">13x</span>
<span class="cline-any cline-yes">13x</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-yes">13x</span>
<span class="cline-any cline-yes">13x</span>
<span class="cline-any cline-yes">13x</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-yes">21x</span>
<span class="cline-any cline-yes">21x</span>
<span class="cline-any cline-yes">21x</span>
<span class="cline-any cline-yes">21x</span>
<span class="cline-any cline-yes">21x</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-yes">21x</span>
<span class="cline-any cline-yes">18x</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-yes">21x</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-yes">21x</span>
<span class="cline-any cline-yes">18x</span>
<span class="cline-any cline-yes">18x</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-yes">21x</span>
<span class="cline-any cline-yes">19x</span>
<span class="cline-any cline-yes">13x</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-yes">19x</span>
<span class="cline-any cline-yes">11x</span>
<span class="cline-any cline-yes">11x</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-yes">19x</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-yes">3x</span>
<span class="cline-any cline-yes">3x</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-yes">19x</span>
<span class="cline-any cline-yes">23x</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-yes">19x</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-yes">16x</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-yes">16x</span>
<span class="cline-any cline-yes">16x</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-yes">14x</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-yes">3x</span>
<span class="cline-any cline-yes">3x</span>
<span class="cline-any cline-yes">3x</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-yes">11x</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-yes">11x</span>
<span class="cline-any cline-yes">8x</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-yes">11x</span>
<span class="cline-any cline-yes">3x</span>
<span class="cline-any cline-yes">3x</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-yes">3x</span>
<span class="cline-any cline-yes">3x</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-yes">3x</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-yes">1x</span>
<span class="cline-any cline-yes">1x</span>
<span class="cline-any cline-yes">1x</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-yes">2x</span>
<span class="cline-any cline-yes">1x</span>
<span class="cline-any cline-yes">1x</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-yes">4x</span>
<span class="cline-any cline-yes">3x</span>
<span class="cline-any cline-yes">3x</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-yes">19x</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-yes">4x</span>
<span class="cline-any cline-yes">4x</span>
<span class="cline-any cline-yes">3x</span>
<span class="cline-any cline-yes">3x</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-yes">1x</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span>
<span class="cline-any cline-neutral">&nbsp;</span></td><td class="text"><pre class="prettyprint lang-js">// import * as electronRemote from '@electron/remote';
// const electronConsole = electronRemote.getGlobal('console') as Console;
// import Logger from '../../logger/logger';
// const LOG = Logger.create(__filename, electronConsole);
import { Changes, WithEquals } from './data-types';
&nbsp;
export enum AutoVerifierChangesType {
NONE, // Both primaryFunc and trustedFunc returned null
PRIMARY_ONLY, // primaryFunc returned non-null and trustedFunc returned null
TRUSTED_ONLY, // trustedFunc returned non-null and primaryFunc returned null
VERIFIED, // primaryFunc and trustedFunc returned the same non-null result
CONFLICT, // primaryFunc and trustedFunc returned conflicting non-null results
};
&nbsp;
/**
* This is probably complex piece of code in this entire project.
* Some complexity comes because the result of the trusted function
* can be invalidated while we are awaiting the trusted function.
* That complexity stacks on top of the already complex cache-verification
* to make this one fiesta of a class.
* If you have to edit this it's a very sad day.
*/
export class AutoVerifier&lt;T&gt; {
public primaryPromise: Promise&lt;T | null&gt; | null = null;
public trustedPromise: Promise&lt;T | null&gt; | null = null;
public trustedStatus: 'none' | 'fetching' | 'verifying' | 'verified' | 'unverified' = 'none';
&nbsp;
/**
* Allows a trusted function to verify the primary function
* @param primaryFunc The primary function
* @param trustedFunc The trusted function that will verify the results of the primary function (one time)
* @param verifyFunc The verification function that is called when the primary function's results need to be verified against the trusted function's results
*/
constructor(
private primaryFunc: () =&gt; Promise&lt;T | null&gt;,
private trustedFunc: () =&gt; Promise&lt;T | null&gt;,
private verifyFunc: (primaryResult: T | null, trustedResult: T | null) =&gt; Promise&lt;void&gt;
) {}
&nbsp;
<span class="fstat-no" title="function not covered" > static </span>getChanges&lt;T extends WithEquals&lt;T&gt; &amp; { id: string }&gt;(primaryResult: T[] | null, trustedResult: T[] | null): Changes&lt;T&gt; {
let changes: Changes&lt;T&gt; = <span class="cstat-no" title="statement not covered" >{ added: [], updated: [], deleted: [] };</span>
&nbsp;
<span class="cstat-no" title="statement not covered" > if (primaryResult === null &amp;&amp; trustedResult === null) {</span>
<span class="cstat-no" title="statement not covered" > return changes;</span>
} else <span class="cstat-no" title="statement not covered" >if (primaryResult === null) {</span>
<span class="cstat-no" title="statement not covered" > changes.added = trustedResult as T[];</span>
<span class="cstat-no" title="statement not covered" > return changes;</span>
} else <span class="cstat-no" title="statement not covered" ><span class="missing-if-branch" title="if path not taken" >I</span>if (trustedResult === null) {</span>
<span class="cstat-no" title="statement not covered" > changes.deleted = primaryResult as T[];</span>
<span class="cstat-no" title="statement not covered" > return changes;</span>
}
&nbsp;
<span class="cstat-no" title="statement not covered" > primaryResult = primaryResult as T[];</span>
<span class="cstat-no" title="statement not covered" > trustedResult = trustedResult as T[];</span>
&nbsp;
<span class="cstat-no" title="statement not covered" > for (let trustedElement of trustedResult) {</span>
let primaryElement = <span class="cstat-no" title="statement not covered" >primaryResult.find(<span class="fstat-no" title="function not covered" >primaryElement </span>=&gt; <span class="cstat-no" title="statement not covered" >primaryElement.id === trustedElement.id)</span>;</span>
<span class="cstat-no" title="statement not covered" > if (primaryElement) {</span>
<span class="cstat-no" title="statement not covered" > changes.updated.push({ oldDataPoint: primaryElement, newDataPoint: trustedElement });</span>
} else {
<span class="cstat-no" title="statement not covered" > changes.added.push(trustedElement);</span>
}
}
<span class="cstat-no" title="statement not covered" > for (let primaryElement of primaryResult) {</span>
let trustedElement = <span class="cstat-no" title="statement not covered" >trustedResult.find(<span class="fstat-no" title="function not covered" >trustedElement </span>=&gt; <span class="cstat-no" title="statement not covered" >trustedElement.id === primaryElement.id)</span>;</span>
<span class="cstat-no" title="statement not covered" > <span class="missing-if-branch" title="if path not taken" >I</span>if (!trustedElement) {</span>
<span class="cstat-no" title="statement not covered" > changes.deleted.push(primaryElement);</span>
}
}
&nbsp;
<span class="cstat-no" title="statement not covered" > return changes;</span>
}
&nbsp;
<span class="fstat-no" title="function not covered" > static </span>getListChangesType&lt;T&gt;(primaryResult: T[] | null, trustedResult: T[] | null, changes: Changes&lt;T&gt;): AutoVerifierChangesType {
<span class="cstat-no" title="statement not covered" > if (primaryResult === null &amp;&amp; trustedResult === null) {</span>
<span class="cstat-no" title="statement not covered" > return AutoVerifierChangesType.NONE;</span>
} else <span class="cstat-no" title="statement not covered" >if (trustedResult === null) {</span>
<span class="cstat-no" title="statement not covered" > return AutoVerifierChangesType.PRIMARY_ONLY;</span>
} else <span class="cstat-no" title="statement not covered" >if (primaryResult === null) {</span>
<span class="cstat-no" title="statement not covered" > return AutoVerifierChangesType.TRUSTED_ONLY;</span>
} else <span class="cstat-no" title="statement not covered" >if (changes.added.length === 0 &amp;&amp; changes.updated.length === 0 &amp;&amp; changes.deleted.length === 0) {</span>
<span class="cstat-no" title="statement not covered" > return AutoVerifierChangesType.VERIFIED;</span>
} else {
<span class="cstat-no" title="statement not covered" > return AutoVerifierChangesType.CONFLICT;</span>
}
}
&nbsp;
<span class="fstat-no" title="function not covered" > static </span>getSingleChangesType&lt;T extends WithEquals&lt;T&gt;&gt;(primaryResult: T | null, trustedResult: T | null): AutoVerifierChangesType {
<span class="cstat-no" title="statement not covered" > if (primaryResult === null &amp;&amp; trustedResult === null) {</span>
<span class="cstat-no" title="statement not covered" > return AutoVerifierChangesType.NONE;</span>
} else <span class="cstat-no" title="statement not covered" >if (trustedResult === null) {</span>
<span class="cstat-no" title="statement not covered" > return AutoVerifierChangesType.PRIMARY_ONLY;</span>
} else <span class="cstat-no" title="statement not covered" >if (primaryResult === null) {</span>
<span class="cstat-no" title="statement not covered" > return AutoVerifierChangesType.TRUSTED_ONLY;</span>
} else <span class="cstat-no" title="statement not covered" >if (primaryResult.equals(trustedResult)) {</span>
<span class="cstat-no" title="statement not covered" > return AutoVerifierChangesType.VERIFIED;</span>
} else {
<span class="cstat-no" title="statement not covered" > return AutoVerifierChangesType.CONFLICT;</span>
}
}
&nbsp;
<span class="fstat-no" title="function not covered" > static </span>createStandardListAutoVerifier&lt;T extends WithEquals&lt;T&gt; &amp; { id: string }&gt;(
primaryFunc: () =&gt; Promise&lt;T[] | null&gt;,
trustedFunc: () =&gt; Promise&lt;T[] | null&gt;,
changesFunc: (changesType: AutoVerifierChangesType, changes: Changes&lt;T&gt;) =&gt; Promise&lt;void&gt;
) {
<span class="cstat-no" title="statement not covered" > return new AutoVerifier&lt;T[]&gt;(</span>
primaryFunc,
trustedFunc,
<span class="fstat-no" title="function not covered" > async </span>(primaryResult: T[] | null, trustedResult: T[] | null) =&gt; {
let changes = <span class="cstat-no" title="statement not covered" >AutoVerifier.getChanges&lt;T&gt;(primaryResult, trustedResult);</span>
let changesType = <span class="cstat-no" title="statement not covered" >AutoVerifier.getListChangesType&lt;T&gt;(primaryResult, trustedResult, changes);</span>
<span class="cstat-no" title="statement not covered" > await changesFunc(changesType, changes);</span>
}
);
}
&nbsp;
<span class="fstat-no" title="function not covered" > static </span>createStandardSingleAutoVerifier&lt;T extends WithEquals&lt;T&gt;&gt;(
primaryFunc: () =&gt; Promise&lt;T | null&gt;,
trustedFunc: () =&gt; Promise&lt;T | null&gt;,
changesFunc: (changesType: AutoVerifierChangesType, primaryResult: T | null, trustedResult: T | null) =&gt; Promise&lt;void&gt;
) {
<span class="cstat-no" title="statement not covered" > return new AutoVerifier&lt;T&gt;(</span>
primaryFunc,
trustedFunc,
<span class="fstat-no" title="function not covered" > async </span>(primaryResult: T | null, trustedResult: T | null) =&gt; {
let changesType = <span class="cstat-no" title="statement not covered" >AutoVerifier.getSingleChangesType&lt;T&gt;(primaryResult, trustedResult);</span>
<span class="cstat-no" title="statement not covered" > await changesFunc(changesType, primaryResult, trustedResult);</span>
}
);
}
&nbsp;
// You CAN safely call this while another fetch is going on! How convenient
unverify(): void {
if (this.primaryPromise) {
this.primaryPromise.catch((e) =&gt; { console.warn('caught unverified promise', e); });
}
if (this.trustedPromise) {
this.trustedPromise.catch((e) =&gt; { console.warn('caught unverified promise', e); });
}
this.primaryPromise = null;
this.trustedPromise = null;
this.trustedStatus = 'none';
}
&nbsp;
// Fetches the result of the primary fetchable
// If the primary fetchable returns null but has not been verified yet, this will return the result of the trusted fetchable
// If the trusted fetchable has not been used to verify the primary fetchable yet, this queries the trusted fetchable and calls verify
async fetchAndVerifyIfNeeded(): Promise&lt;T | null&gt; {
return await new Promise&lt;T | null&gt;(async (resolve: (result: T | null) =&gt; void, reject: (error: Error) =&gt; void) =&gt; {
let resolved = false;
try {
let origTrustedStatus = this.trustedStatus;
let origTrustedPromise = this.trustedPromise;
&nbsp;
if (this.primaryPromise === null) {
this.primaryPromise = this.primaryFunc();
}
let origPrimaryPromise = this.primaryPromise;
&nbsp;
// pre-fetch the trusted result while we fetch the primary result
if (this.trustedStatus === 'none') {
this.trustedStatus = 'fetching';
this.trustedPromise = this.trustedFunc();
}
&nbsp;
let primaryResult = await this.primaryPromise;
if (this.primaryPromise === origPrimaryPromise) {
this.primaryPromise = null;
}
&nbsp;
if (primaryResult) {
resolve(primaryResult);
resolved = true;
}
&nbsp;
//@ts-ignore (could be changed by an unverify during primaryPromise)
if (this.trustedStatus === 'none') {
// try to re-fetch the trusted result
this.trustedStatus = 'fetching';
this.trustedPromise = this.trustedFunc();
}
&nbsp;
let tryResolveTrustedPromise = async () =&gt; {
if (this.trustedPromise) {
// There is a trusted promise that we can check
if (this.trustedStatus === 'fetching') {
// No one has started verifying the trusted yet
this.trustedStatus = 'verifying';
// Note: Promises that have already resolved will return the same value when awaited again :)
let origTrustedPromise: Promise&lt;T | null&gt; | null = this.trustedPromise;
let trustedResult = await origTrustedPromise;
if (this.trustedPromise !== origTrustedPromise) {
// we've been invalidated while we were waiting for the trusted result!
console.warn('RARE ALERT: we got unverified while trying to fetch a trusted promise for verification!');
await tryResolveTrustedPromise();
return;
}
&nbsp;
// Make sure to verify BEFORE potentially resolving
// This way the conflicts can be resolved before the result is returned
await this.verifyFunc(primaryResult, trustedResult);
&nbsp;
if (this.trustedPromise === origTrustedPromise) {
this.trustedStatus = 'verified';
} else {
// this actually could be quite common
//console.warn('RARE ALERT: we got unverified during verification!');
// ** complexity:
// keep in mind that this will resolve 'unverified' promises with their resulting origTrustedPromise (which should be a good thing)
}
&nbsp;
if (!resolved &amp;&amp; trustedResult) {
resolve(trustedResult);
resolved = true;
}
} else {
// Some code is already dealing with (or dealt with) verifying the trusted result
// Await the same trusted promise and return its result if we didn't get a result
// from the primary source.
// Note: Promises that have already resolved will return the same value when awaited again :)
let origTrustedPromise: Promise&lt;T | null&gt; | null = this.trustedPromise;
let trustedResult = await origTrustedPromise;
if (this.trustedPromise !== origTrustedPromise) {
// we've been invalidated while we were waiting for the trusted result!
console.warn('ULTRA RARE ALERT: we got unverified while awaiting a trusted promise another path was verifying!');
await tryResolveTrustedPromise();
return;
}
&nbsp;
if (!resolved) {
resolve(trustedResult);
resolved = true;
}
}
} else {
// we are all up to date, make sure to resolve if primaryResult is null
if (!resolved) {
resolve(null);
resolved = true;
}
}
}
await tryResolveTrustedPromise();
} catch (e) {
this.unverify();
if (!resolved) {
reject(e);
resolved = true;
} else {
console.warn('server request failed after returning cache value (or when already rejected)', e);
}
}
});
}
}
&nbsp;</pre></td></tr></table></pre>
<div class='push'></div><!-- for sticky footer -->
</div><!-- /wrapper -->
<div class='footer quiet pad2 space-top1 center small'>
Code coverage generated by
<a href="https://istanbul.js.org/" target="_blank">istanbul</a>
at Tue Nov 30 2021 20:42:23 GMT-0600 (Central Standard Time)
</div>
</div>
<script src="prettify.js"></script>
<script>
window.onload = function () {
prettyPrint();
};
</script>
<script src="sorter.js"></script>
<script src="block-navigation.js"></script>
</body>
</html>

224
coverage/lcov-report/base.css
View File

@ -1,224 +0,0 @@
body, html {
margin:0; padding: 0;
height: 100%;
}
body {
font-family: Helvetica Neue, Helvetica, Arial;
font-size: 14px;
color:#333;
}
.small { font-size: 12px; }
*, *:after, *:before {
-webkit-box-sizing:border-box;
-moz-box-sizing:border-box;
box-sizing:border-box;
}
h1 { font-size: 20px; margin: 0;}
h2 { font-size: 14px; }
pre {
font: 12px/1.4 Consolas, "Liberation Mono", Menlo, Courier, monospace;
margin: 0;
padding: 0;
-moz-tab-size: 2;
-o-tab-size: 2;
tab-size: 2;
}
a { color:#0074D9; text-decoration:none; }
a:hover { text-decoration:underline; }
.strong { font-weight: bold; }
.space-top1 { padding: 10px 0 0 0; }
.pad2y { padding: 20px 0; }
.pad1y { padding: 10px 0; }
.pad2x { padding: 0 20px; }
.pad2 { padding: 20px; }
.pad1 { padding: 10px; }
.space-left2 { padding-left:55px; }
.space-right2 { padding-right:20px; }
.center { text-align:center; }
.clearfix { display:block; }
.clearfix:after {
content:'';
display:block;
height:0;
clear:both;
visibility:hidden;
}
.fl { float: left; }
@media only screen and (max-width:640px) {
.col3 { width:100%; max-width:100%; }
.hide-mobile { display:none!important; }
}
.quiet {
color: #7f7f7f;
color: rgba(0,0,0,0.5);
}
.quiet a { opacity: 0.7; }
.fraction {
font-family: Consolas, 'Liberation Mono', Menlo, Courier, monospace;
font-size: 10px;
color: #555;
background: #E8E8E8;
padding: 4px 5px;
border-radius: 3px;
vertical-align: middle;
}
div.path a:link, div.path a:visited { color: #333; }
table.coverage {
border-collapse: collapse;
margin: 10px 0 0 0;
padding: 0;
}
table.coverage td {
margin: 0;
padding: 0;
vertical-align: top;
}
table.coverage td.line-count {
text-align: right;
padding: 0 5px 0 20px;
}
table.coverage td.line-coverage {
text-align: right;
padding-right: 10px;
min-width:20px;
}
table.coverage td span.cline-any {
display: inline-block;
padding: 0 5px;
width: 100%;
}
.missing-if-branch {
display: inline-block;
margin-right: 5px;
border-radius: 3px;
position: relative;
padding: 0 4px;
background: #333;
color: yellow;
}
.skip-if-branch {
display: none;
margin-right: 10px;
position: relative;
padding: 0 4px;
background: #ccc;
color: white;
}
.missing-if-branch .typ, .skip-if-branch .typ {
color: inherit !important;
}
.coverage-summary {
border-collapse: collapse;
width: 100%;
}
.coverage-summary tr { border-bottom: 1px solid #bbb; }
.keyline-all { border: 1px solid #ddd; }
.coverage-summary td, .coverage-summary th { padding: 10px; }
.coverage-summary tbody { border: 1px solid #bbb; }
.coverage-summary td { border-right: 1px solid #bbb; }
.coverage-summary td:last-child { border-right: none; }
.coverage-summary th {
text-align: left;
font-weight: normal;
white-space: nowrap;
}
.coverage-summary th.file { border-right: none !important; }
.coverage-summary th.pct { }
.coverage-summary th.pic,
.coverage-summary th.abs,
.coverage-summary td.pct,
.coverage-summary td.abs { text-align: right; }
.coverage-summary td.file { white-space: nowrap; }
.coverage-summary td.pic { min-width: 120px !important; }
.coverage-summary tfoot td { }
.coverage-summary .sorter {
height: 10px;
width: 7px;
display: inline-block;
margin-left: 0.5em;
background: url(sort-arrow-sprite.png) no-repeat scroll 0 0 transparent;
}
.coverage-summary .sorted .sorter {
background-position: 0 -20px;
}
.coverage-summary .sorted-desc .sorter {
background-position: 0 -10px;
}
.status-line { height: 10px; }
/* yellow */
.cbranch-no { background: yellow !important; color: #111; }
/* dark red */
.red.solid, .status-line.low, .low .cover-fill { background:#C21F39 }
.low .chart { border:1px solid #C21F39 }
.highlighted,
.highlighted .cstat-no, .highlighted .fstat-no, .highlighted .cbranch-no{
background: #C21F39 !important;
}
/* medium red */
.cstat-no, .fstat-no, .cbranch-no, .cbranch-no { background:#F6C6CE }
/* light red */
.low, .cline-no { background:#FCE1E5 }
/* light green */
.high, .cline-yes { background:rgb(230,245,208) }
/* medium green */
.cstat-yes { background:rgb(161,215,106) }
/* dark green */
.status-line.high, .high .cover-fill { background:rgb(77,146,33) }
.high .chart { border:1px solid rgb(77,146,33) }
/* dark yellow (gold) */
.status-line.medium, .medium .cover-fill { background: #f9cd0b; }
.medium .chart { border:1px solid #f9cd0b; }
/* light yellow */
.medium { background: #fff4c2; }
.cstat-skip { background: #ddd; color: #111; }
.fstat-skip { background: #ddd; color: #111 !important; }
.cbranch-skip { background: #ddd !important; color: #111; }
span.cline-neutral { background: #eaeaea; }
.coverage-summary td.empty {
opacity: .5;
padding-top: 4px;
padding-bottom: 4px;
line-height: 1;
color: #888;
}
.cover-fill, .cover-empty {
display:inline-block;
height: 12px;
}
.chart {
line-height: 0;
}
.cover-empty {
background: white;
}
.cover-full {
border-right: none !important;
}
pre.prettyprint {
border: none !important;
padding: 0 !important;
margin: 0 !important;
}
.com { color: #999 !important; }
.ignore-none { color: #999; font-weight: normal; }
.wrapper {
min-height: 100%;
height: auto !important;
height: 100%;
margin: 0 auto -48px;
}
.footer, .push {
height: 48px;
}

79
coverage/lcov-report/block-navigation.js
View File

@ -1,79 +0,0 @@
/* eslint-disable */
var jumpToCode = (function init() {
// Classes of code we would like to highlight in the file view
var missingCoverageClasses = ['.cbranch-no', '.cstat-no', '.fstat-no'];
// Elements to highlight in the file listing view
var fileListingElements = ['td.pct.low'];
// We don't want to select elements that are direct descendants of another match
var notSelector = ':not(' + missingCoverageClasses.join('):not(') + ') > '; // becomes `:not(a):not(b) > `
// Selecter that finds elements on the page to which we can jump
var selector =
fileListingElements.join(', ') +
', ' +
notSelector +
missingCoverageClasses.join(', ' + notSelector); // becomes `:not(a):not(b) > a, :not(a):not(b) > b`
// The NodeList of matching elements
var missingCoverageElements = document.querySelectorAll(selector);
var currentIndex;
function toggleClass(index) {
missingCoverageElements
.item(currentIndex)
.classList.remove('highlighted');
missingCoverageElements.item(index).classList.add('highlighted');
}
function makeCurrent(index) {
toggleClass(index);
currentIndex = index;
missingCoverageElements.item(index).scrollIntoView({
behavior: 'smooth',
block: 'center',
inline: 'center'
});
}
function goToPrevious() {
var nextIndex = 0;
if (typeof currentIndex !== 'number' || currentIndex === 0) {
nextIndex = missingCoverageElements.length - 1;
} else if (missingCoverageElements.length > 1) {
nextIndex = currentIndex - 1;
}
makeCurrent(nextIndex);
}
function goToNext() {
var nextIndex = 0;
if (
typeof currentIndex === 'number' &&
currentIndex < missingCoverageElements.length - 1
) {
nextIndex = currentIndex + 1;
}
makeCurrent(nextIndex);
}
return function jump(event) {
switch (event.which) {
case 78: // n
case 74: // j
goToNext();
break;
case 66: // b
case 75: // k
case 80: // p
goToPrevious();
break;
}
};
})();
window.addEventListener('keydown', jumpToCode);

BIN
coverage/lcov-report/favicon.png
View File

Binary file not shown.
Side by Side

Before

Width:  |  Height:  |  Size: 540 B

111
coverage/lcov-report/index.html
View File

@ -1,111 +0,0 @@
<!doctype html>
<html lang="en">
<head>
<title>Code coverage report for All files</title>
<meta charset="utf-8" />
<link rel="stylesheet" href="prettify.css" />
<link rel="stylesheet" href="base.css" />
<link rel="shortcut icon" type="image/x-icon" href="favicon.png" />
<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>All files</h1>
<div class='clearfix'>
<div class='fl pad1y space-right2'>
<span class="strong">61.29% </span>
<span class="quiet">Statements</span>
<span class='fraction'>76/124</span>
</div>
<div class='fl pad1y space-right2'>
<span class="strong">42.1% </span>
<span class="quiet">Branches</span>
<span class='fraction'>24/57</span>
</div>
<div class='fl pad1y space-right2'>
<span class="strong">47.05% </span>
<span class="quiet">Functions</span>
<span class='fraction'>8/17</span>
</div>
<div class='fl pad1y space-right2'>
<span class="strong">61.66% </span>
<span class="quiet">Lines</span>
<span class='fraction'>74/120</span>
</div>
</div>
<p class="quiet">
Press <em>n</em> or <em>j</em> to go to the next uncovered block, <em>b</em>, <em>p</em> or <em>k</em> for the previous block.
</p>
</div>
<div class='status-line medium'></div>
<div class="pad1">
<table class="coverage-summary">
<thead>
<tr>
<th data-col="file" data-fmt="html" data-html="true" class="file">File</th>
<th data-col="pic" data-type="number" data-fmt="html" data-html="true" class="pic"></th>
<th data-col="statements" data-type="number" data-fmt="pct" class="pct">Statements</th>
<th data-col="statements_raw" data-type="number" data-fmt="html" class="abs"></th>
<th data-col="branches" data-type="number" data-fmt="pct" class="pct">Branches</th>
<th data-col="branches_raw" data-type="number" data-fmt="html" class="abs"></th>
<th data-col="functions" data-type="number" data-fmt="pct" class="pct">Functions</th>
<th data-col="functions_raw" data-type="number" data-fmt="html" class="abs"></th>
<th data-col="lines" data-type="number" data-fmt="pct" class="pct">Lines</th>
<th data-col="lines_raw" data-type="number" data-fmt="html" class="abs"></th>
</tr>
</thead>
<tbody><tr>
<td class="file medium" data-value="auto-verifier.ts"><a href="auto-verifier.ts.html">auto-verifier.ts</a></td>
<td data-value="61.29" class="pic medium">
<div class="chart"><div class="cover-fill" style="width: 61%"></div><div class="cover-empty" style="width: 39%"></div></div>
</td>
<td data-value="61.29" class="pct medium">61.29%</td>
<td data-value="124" class="abs medium">76/124</td>
<td data-value="42.1" class="pct low">42.1%</td>
<td data-value="57" class="abs low">24/57</td>
<td data-value="47.05" class="pct low">47.05%</td>
<td data-value="17" class="abs low">8/17</td>
<td data-value="61.66" class="pct medium">61.66%</td>
<td data-value="120" class="abs medium">74/120</td>
</tr>
</tbody>
</table>
</div>
<div class='push'></div><!-- for sticky footer -->
</div><!-- /wrapper -->
<div class='footer quiet pad2 space-top1 center small'>
Code coverage generated by
<a href="https://istanbul.js.org/" target="_blank">istanbul</a>
at Tue Nov 30 2021 20:42:23 GMT-0600 (Central Standard Time)
</div>
</div>
<script src="prettify.js"></script>
<script>
window.onload = function () {
prettyPrint();
};
</script>
<script src="sorter.js"></script>
<script src="block-navigation.js"></script>
</body>
</html>

1
coverage/lcov-report/prettify.css
View File

@ -1 +0,0 @@
.pln{color:#000}@media screen{.str{color:#080}.kwd{color:#008}.com{color:#800}.typ{color:#606}.lit{color:#066}.pun,.opn,.clo{color:#660}.tag{color:#008}.atn{color:#606}.atv{color:#080}.dec,.var{color:#606}.fun{color:red}}@media print,projection{.str{color:#060}.kwd{color:#006;font-weight:bold}.com{color:#600;font-style:italic}.typ{color:#404;font-weight:bold}.lit{color:#044}.pun,.opn,.clo{color:#440}.tag{color:#006;font-weight:bold}.atn{color:#404}.atv{color:#060}}pre.prettyprint{padding:2px;border:1px solid #888}ol.linenums{margin-top:0;margin-bottom:0}li.L0,li.L1,li.L2,li.L3,li.L5,li.L6,li.L7,li.L8{list-style-type:none}li.L1,li.L3,li.L5,li.L7,li.L9{background:#eee}

2
coverage/lcov-report/prettify.js
View File

File diff suppressed because one or more lines are too long

BIN
coverage/lcov-report/sort-arrow-sprite.png
View File

Binary file not shown.
Side by Side

Before

Width:  |  Height:  |  Size: 209 B

170
coverage/lcov-report/sorter.js
View File

@ -1,170 +0,0 @@
/* eslint-disable */
var addSorting = (function() {
'use strict';
var cols,
currentSort = {
index: 0,
desc: false
};
// returns the summary table element
function getTable() {
return document.querySelector('.coverage-summary');
}
// returns the thead element of the summary table
function getTableHeader() {
return getTable().querySelector('thead tr');
}
// returns the tbody element of the summary table
function getTableBody() {
return getTable().querySelector('tbody');
}
// returns the th element for nth column
function getNthColumn(n) {
return getTableHeader().querySelectorAll('th')[n];
}
// loads all columns
function loadColumns() {
var colNodes = getTableHeader().querySelectorAll('th'),
colNode,
cols = [],
col,
i;
for (i = 0; i < colNodes.length; i += 1) {
colNode = colNodes[i];
col = {
key: colNode.getAttribute('data-col'),
sortable: !colNode.getAttribute('data-nosort'),
type: colNode.getAttribute('data-type') || 'string'
};
cols.push(col);
if (col.sortable) {
col.defaultDescSort = col.type === 'number';
colNode.innerHTML =
colNode.innerHTML + '<span class="sorter"></span>';
}
}
return cols;
}
// attaches a data attribute to every tr element with an object
// of data values keyed by column name
function loadRowData(tableRow) {
var tableCols = tableRow.querySelectorAll('td'),
colNode,
col,
data = {},
i,
val;
for (i = 0; i < tableCols.length; i += 1) {
colNode = tableCols[i];
col = cols[i];
val = colNode.getAttribute('data-value');
if (col.type === 'number') {
val = Number(val);
}
data[col.key] = val;
}
return data;
}
// loads all row data
function loadData() {
var rows = getTableBody().querySelectorAll('tr'),
i;
for (i = 0; i < rows.length; i += 1) {
rows[i].data = loadRowData(rows[i]);
}
}
// sorts the table using the data for the ith column
function sortByIndex(index, desc) {
var key = cols[index].key,
sorter = function(a, b) {
a = a.data[key];
b = b.data[key];
return a < b ? -1 : a > b ? 1 : 0;
},
finalSorter = sorter,
tableBody = document.querySelector('.coverage-summary tbody'),
rowNodes = tableBody.querySelectorAll('tr'),
rows = [],
i;
if (desc) {
finalSorter = function(a, b) {
return -1 * sorter(a, b);
};
}
for (i = 0; i < rowNodes.length; i += 1) {
rows.push(rowNodes[i]);
tableBody.removeChild(rowNodes[i]);
}
rows.sort(finalSorter);
for (i = 0; i < rows.length; i += 1) {
tableBody.appendChild(rows[i]);
}
}
// removes sort indicators for current column being sorted
function removeSortIndicators() {
var col = getNthColumn(currentSort.index),
cls = col.className;
cls = cls.replace(/ sorted$/, '').replace(/ sorted-desc$/, '');
col.className = cls;
}
// adds sort indicators for current column being sorted
function addSortIndicators() {
getNthColumn(currentSort.index).className += currentSort.desc
? ' sorted-desc'
: ' sorted';
}
// adds event listeners for all sorter widgets
function enableUI() {
var i,
el,
ithSorter = function ithSorter(i) {
var col = cols[i];
return function() {
var desc = col.defaultDescSort;
if (currentSort.index === i) {
desc = !currentSort.desc;
}
sortByIndex(i, desc);
removeSortIndicators();
currentSort.index = i;
currentSort.desc = desc;
addSortIndicators();
};
};
for (i = 0; i < cols.length; i += 1) {
if (cols[i].sortable) {
// add the click event handler on the th so users
// dont have to click on those tiny arrows
el = getNthColumn(i).querySelector('.sorter').parentElement;
if (el.addEventListener) {
el.addEventListener('click', ithSorter(i));
} else {
el.attachEvent('onclick', ithSorter(i));
}
}
}
}
// adds sorting functionality to the UI
return function() {
if (!getTable()) {
return;
}
cols = loadColumns();
loadData();
addSortIndicators();
enableUI();
};
})();
window.addEventListener('load', addSorting);

220
coverage/lcov.info
View File

@ -1,220 +0,0 @@
TN:
SF:client/webapp/auto-verifier.ts
FN:7,(anonymous_0)
FN:34,(anonymous_1)
FN:40,(anonymous_2)
FN:57,(anonymous_3)
FN:65,(anonymous_4)
FN:74,(anonymous_5)
FN:88,(anonymous_6)
FN:102,(anonymous_7)
FN:110,(anonymous_8)
FN:118,(anonymous_9)
FN:126,(anonymous_10)
FN:134,(anonymous_11)
FN:136,(anonymous_12)
FN:139,(anonymous_13)
FN:149,(anonymous_14)
FN:150,(anonymous_15)
FN:184,(anonymous_16)
FNF:17
FNH:8
FNDA:1,(anonymous_0)
FNDA:18,(anonymous_1)
FNDA:0,(anonymous_2)
FNDA:0,(anonymous_3)
FNDA:0,(anonymous_4)
FNDA:0,(anonymous_5)
FNDA:0,(anonymous_6)
FNDA:0,(anonymous_7)
FNDA:0,(anonymous_8)
FNDA:0,(anonymous_9)
FNDA:0,(anonymous_10)
FNDA:13,(anonymous_11)
FNDA:2,(anonymous_12)
FNDA:3,(anonymous_13)
FNDA:21,(anonymous_14)
FNDA:21,(anonymous_15)
FNDA:23,(anonymous_16)
DA:7,1
DA:8,1
DA:9,1
DA:10,1
DA:11,1
DA:12,1
DA:23,1
DA:24,18
DA:25,18
DA:26,18
DA:35,18
DA:36,18
DA:37,18
DA:41,0
DA:43,0
DA:44,0
DA:45,0
DA:46,0
DA:47,0
DA:48,0
DA:49,0
DA:50,0
DA:53,0
DA:54,0
DA:56,0
DA:57,0
DA:58,0
DA:59,0
DA:61,0
DA:64,0
DA:65,0
DA:66,0
DA:67,0
DA:71,0
DA:75,0
DA:76,0
DA:77,0
DA:78,0
DA:79,0
DA:80,0
DA:81,0
DA:82,0
DA:84,0
DA:89,0
DA:90,0
DA:91,0
DA:92,0
DA:93,0
DA:94,0
DA:95,0
DA:96,0
DA:98,0
DA:107,0
DA:111,0
DA:112,0
DA:113,0
DA:123,0
DA:127,0
DA:128,0
DA:135,13
DA:136,5
DA:138,13
DA:139,13
DA:141,13
DA:142,13
DA:143,13
DA:150,21
DA:151,21
DA:152,21
DA:153,21
DA:154,21
DA:156,21
DA:157,18
DA:159,21
DA:162,21
DA:163,18
DA:164,18
DA:167,21
DA:168,19
DA:169,13
DA:172,19
DA:173,11
DA:174,11
DA:178,19
DA:180,3
DA:181,3
DA:184,19
DA:185,23
DA:188,19
DA:191,16
DA:194,16
DA:195,16
DA:197,14
DA:199,3
DA:200,3
DA:201,3
DA:206,11
DA:208,11
DA:209,8
DA:217,11
DA:218,3
DA:219,3
DA:227,3
DA:228,3
DA:230,3
DA:232,1
DA:233,1
DA:234,1
DA:237,2
DA:238,1
DA:239,1
DA:244,4
DA:245,3
DA:246,3
DA:250,19
DA:252,4
DA:253,4
DA:254,3
DA:255,3
DA:257,1
LF:120
LH:74
BRDA:7,0,0,1
BRDA:7,0,1,1
BRDA:43,1,0,0
BRDA:43,1,1,0
BRDA:43,2,0,0
BRDA:43,2,1,0
BRDA:45,3,0,0
BRDA:45,3,1,0
BRDA:48,4,0,0
BRDA:58,5,0,0
BRDA:58,5,1,0
BRDA:66,6,0,0
BRDA:75,7,0,0
BRDA:75,7,1,0
BRDA:75,8,0,0
BRDA:75,8,1,0
BRDA:77,9,0,0
BRDA:77,9,1,0
BRDA:79,10,0,0
BRDA:79,10,1,0
BRDA:81,11,0,0
BRDA:81,11,1,0
BRDA:81,12,0,0
BRDA:81,12,1,0
BRDA:81,12,2,0
BRDA:89,13,0,0
BRDA:89,13,1,0
BRDA:89,14,0,0
BRDA:89,14,1,0
BRDA:91,15,0,0
BRDA:91,15,1,0
BRDA:93,16,0,0
BRDA:93,16,1,0
BRDA:95,17,0,0
BRDA:95,17,1,0
BRDA:135,18,0,5
BRDA:138,19,0,13
BRDA:156,20,0,18
BRDA:162,21,0,18
BRDA:168,22,0,13
BRDA:172,23,0,11
BRDA:178,24,0,3
BRDA:185,25,0,19
BRDA:185,25,1,4
BRDA:188,26,0,16
BRDA:188,26,1,3
BRDA:197,27,0,3
BRDA:208,28,0,8
BRDA:208,28,1,3
BRDA:217,29,0,3
BRDA:217,30,0,11
BRDA:217,30,1,3
BRDA:230,31,0,1
BRDA:237,32,0,1
BRDA:244,33,0,3
BRDA:253,34,0,3
BRDA:253,34,1,1
BRF:57
BRH:24
end_of_record