dbconfig::hasRun
Name
dbconfig::hasRun -- Determine if a save set has run data.
Synopsis
package require dbconfig
set db [dbconfig::connect file-name]
set set [dbconfig::openSaveSet $db set-name]
if {[dbconfig::hasRun $set run-num]} {
...
}
DESCRIPTION
If the run-num has data
in the save set encapsulated by the save set instance
stored in set,
this proc returns a boolean true, otherwise
a boolean false is returned.