Documentation Source Text

Check-in [1c49dd8699]
Login

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: 1c49dd86994c496135d304fa92ed519e2b646b93
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
Hide Diffs Side-by-Side Diffs Ignore Whitespace Patch

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>"