Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
Overview
| Comment: | Add the "any" column to the requirement matrix summary screen. The box goes green if all requirements are covered by any combination of TCL, TH3, our source code evidence. |
|---|---|
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA1: |
1c49dd86994c496135d304fa92ed519e |
| User & Date: | drh 2009-12-31 22:14:03 |
Context
|
2010-01-01
| ||
| 14:46 | Updates to the datatype3.html document to fix issues found while writing tests against that document. check-in: 490c97c96c user: drh tags: trunk | |
|
2009-12-31
| ||
| 22:14 | Add the "any" column to the requirement matrix summary screen. The box goes green if all requirements are covered by any combination of TCL, TH3, our source code evidence. check-in: 1c49dd8699 user: drh tags: trunk | |
| 18:30 | Fix incorrect documentation concerning affinity of UNION, INTERSECT, and EXCEPT. check-in: 6fe30b1e8d user: drh tags: trunk | |
Changes
Changes to matrix.tcl.
278 278 INSERT INTO srcreq SELECT reqno FROM requirement WHERE srcfile=$srcfile; 279 279 } 280 280 set totalcnt [db one {SELECT count(*) FROM srcreq}] 281 281 puts $out "<tr><td><a href=\"$srcfile\">$srcfile</a></td>" 282 282 set ev(tcl) 0 283 283 set ev(th3) 0 284 284 set ev(src) 0 285 + set ev(any) 0 285 286 db eval { 286 287 SELECT count(distinct reqno) AS cnt, srcclass 287 288 FROM evidence 288 289 WHERE reqno IN srcreq 289 290 GROUP BY srcclass 290 291 } { 291 292 set ev($srcclass) $cnt 292 293 } 293 - foreach srcclass {tcl th3 src} { 294 + db eval { 295 + SELECT count(distinct reqno) AS cnt 296 + FROM evidence 297 + WHERE reqno IN srcreq 298 + } { 299 + set ev(any) $cnt 300 + } 301 + foreach srcclass {tcl th3 src any} { 294 302 set cnt $ev($srcclass) 295 303 if {$cnt==$totalcnt} { 296 304 set cx evok 297 305 } else { 298 306 set cx evnil 299 307 } 300 308 puts $out "<td><cite class=$cx>$srcclass: $cnt/$totalcnt</cite></td>"