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 Unified Diffs Show Whitespace Changes Patch

Changes to matrix.tcl.

278
279
280
281
282
283
284

285
286
287
288
289
290
291
292







293
294
295
296
297
298
299
300
    INSERT INTO srcreq SELECT reqno FROM requirement WHERE srcfile=$srcfile;
  }
  set totalcnt [db one {SELECT count(*) FROM srcreq}]
  puts $out "<tr><td><a href=\"$srcfile\">$srcfile</a></td>"
  set ev(tcl) 0
  set ev(th3) 0
  set ev(src) 0

  db eval {
    SELECT count(distinct reqno) AS cnt, srcclass 
      FROM evidence
     WHERE reqno IN srcreq
     GROUP BY srcclass
  } {
    set ev($srcclass) $cnt
  }







  foreach srcclass {tcl th3 src} {
    set cnt $ev($srcclass)
    if {$cnt==$totalcnt} {
      set cx evok
    } else {
      set cx evnil
    }
    puts $out "<td><cite class=$cx>$srcclass: $cnt/$totalcnt</cite></td>"







>








>
>
>
>
>
>
>
|







278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
    INSERT INTO srcreq SELECT reqno FROM requirement WHERE srcfile=$srcfile;
  }
  set totalcnt [db one {SELECT count(*) FROM srcreq}]
  puts $out "<tr><td><a href=\"$srcfile\">$srcfile</a></td>"
  set ev(tcl) 0
  set ev(th3) 0
  set ev(src) 0
  set ev(any) 0
  db eval {
    SELECT count(distinct reqno) AS cnt, srcclass 
      FROM evidence
     WHERE reqno IN srcreq
     GROUP BY srcclass
  } {
    set ev($srcclass) $cnt
  }
  db eval {
    SELECT count(distinct reqno) AS cnt
      FROM evidence
     WHERE reqno IN srcreq
  } {
    set ev(any) $cnt
  }
  foreach srcclass {tcl th3 src any} {
    set cnt $ev($srcclass)
    if {$cnt==$totalcnt} {
      set cx evok
    } else {
      set cx evnil
    }
    puts $out "<td><cite class=$cx>$srcclass: $cnt/$totalcnt</cite></td>"