ГОСТ Р ИСО/МЭК 24709-2-2011
процесса прерывается, в противном случае выдается
заключение о соответствии "PASS". -->
<assert_condition>
<description>
Функция BioSPI_DbCreate возвращает значение
BioAPIERR_DATABASE_ALREADY_EXISTS и выходной
дескриптор DbHandle установлен в положение
BioAPI_DB_INVALID_HANDLE.
</description>
<equal_to va rl="return"
var2="__BioAPIERR_BSP_DATABASE_ALREADY_EXISTS"/>
<equal_to varl="dbHandle"
var2="__BioAPI_DB_INVALID_HANDLE"/>
</assert_condition>
< ! - - Вызвать функцию BioSPI_DbDelete с достоверными
значениями входных параметров. -->
<invoke function="BioSPI_DbDelete">
<input name="BSPHandle" var="_bsphandle"/>
<input name="DbUuid" var="dbUuid"/>
<return setvar="return"/>
</invoke>
< ! - - Выдача заключения о соответствии. Если условие, оп
ределенное далее в элементе <description>, ложное,
выдается заключение о соответствии "UNDECIDED" и выполнение
процесса прерывается, в противном случае выдается
заключение о соответствии "PASS". -->
<assert_condition response_if_false="undecided"
break_if_false="true">
<description>
Функция BioSPI_DbDelete возвращает значение
BioAPI_OK.
</description>
<equal_to va rl="re tu rn " var2="__BioAPI_OK"/>
</assert condition>
496