Loading 20_statement_and_operations_for_alt/2002_the_alt_statement/Sem_20_TopLevel_001.ttcn +1 −1 Original line number Diff line number Diff line /***************************************************************** ** @author STF 409 ** @version $Rev: 150 $ ** @purpose 1:20, Ensure that the alt-statement works as expected for a simple loopback case. ** @purpose 1:20, Ensure that the alt-statement works as expected (loopback case). ** @verdict pass accept, ttcn3verdict:pass *****************************************************************/ Loading 20_statement_and_operations_for_alt/2002_the_alt_statement/Sem_20_TopLevel_002.ttcn +1 −1 Original line number Diff line number Diff line /***************************************************************** ** @author STF 409 ** @version $Rev: 150 $ ** @purpose 1:20.2, Ensure that the alt-statement with a guard works as expected for a simple loopback case. ** @purpose 1:20.2, Ensure that the alt-statement with a guard works as expected (loopback case). ** @verdict pass accept, ttcn3verdict:pass *****************************************************************/ Loading 20_statement_and_operations_for_alt/2002_the_alt_statement/Sem_20_TopLevel_003.ttcn +1 −1 Original line number Diff line number Diff line /***************************************************************** ** @author STF 409 ** @version $Rev: 150 $ ** @purpose 1:20.2, Ensure that the alt-statement processes the alternatives in order. ** @purpose 1:20.2, Ensure that the alt-statement processes the alternatives in order (loopback case). ** @verdict pass accept, ttcn3verdict:pass *****************************************************************/ Loading 20_statement_and_operations_for_alt/2002_the_alt_statement/Sem_20_TopLevel_004.ttcn +1 −1 Original line number Diff line number Diff line /***************************************************************** ** @author STF 409 ** @version $Rev: 150 $ ** @purpose 1:20.2, Ensure that activated defaults are processed in the reverse order. ** @purpose 1:20.2, Ensure that activated defaults are processed in the reverse order (loopback case). ** @verdict pass accept, ttcn3verdict:pass *****************************************************************/ Loading 20_statement_and_operations_for_alt/2002_the_alt_statement/Sem_20_TopLevel_005.ttcn +1 −1 Original line number Diff line number Diff line /***************************************************************** ** @author STF 409 ** @version $Rev: 150 $ ** @purpose 1:20.2, Ensure that the else branch is executed when nothing else matched. ** @purpose 1:20.2, Ensure that the else branch is executed when nothing else matched (loopback case). ** @verdict pass accept, ttcn3verdict:pass *****************************************************************/ Loading Loading
20_statement_and_operations_for_alt/2002_the_alt_statement/Sem_20_TopLevel_001.ttcn +1 −1 Original line number Diff line number Diff line /***************************************************************** ** @author STF 409 ** @version $Rev: 150 $ ** @purpose 1:20, Ensure that the alt-statement works as expected for a simple loopback case. ** @purpose 1:20, Ensure that the alt-statement works as expected (loopback case). ** @verdict pass accept, ttcn3verdict:pass *****************************************************************/ Loading
20_statement_and_operations_for_alt/2002_the_alt_statement/Sem_20_TopLevel_002.ttcn +1 −1 Original line number Diff line number Diff line /***************************************************************** ** @author STF 409 ** @version $Rev: 150 $ ** @purpose 1:20.2, Ensure that the alt-statement with a guard works as expected for a simple loopback case. ** @purpose 1:20.2, Ensure that the alt-statement with a guard works as expected (loopback case). ** @verdict pass accept, ttcn3verdict:pass *****************************************************************/ Loading
20_statement_and_operations_for_alt/2002_the_alt_statement/Sem_20_TopLevel_003.ttcn +1 −1 Original line number Diff line number Diff line /***************************************************************** ** @author STF 409 ** @version $Rev: 150 $ ** @purpose 1:20.2, Ensure that the alt-statement processes the alternatives in order. ** @purpose 1:20.2, Ensure that the alt-statement processes the alternatives in order (loopback case). ** @verdict pass accept, ttcn3verdict:pass *****************************************************************/ Loading
20_statement_and_operations_for_alt/2002_the_alt_statement/Sem_20_TopLevel_004.ttcn +1 −1 Original line number Diff line number Diff line /***************************************************************** ** @author STF 409 ** @version $Rev: 150 $ ** @purpose 1:20.2, Ensure that activated defaults are processed in the reverse order. ** @purpose 1:20.2, Ensure that activated defaults are processed in the reverse order (loopback case). ** @verdict pass accept, ttcn3verdict:pass *****************************************************************/ Loading
20_statement_and_operations_for_alt/2002_the_alt_statement/Sem_20_TopLevel_005.ttcn +1 −1 Original line number Diff line number Diff line /***************************************************************** ** @author STF 409 ** @version $Rev: 150 $ ** @purpose 1:20.2, Ensure that the else branch is executed when nothing else matched. ** @purpose 1:20.2, Ensure that the else branch is executed when nothing else matched (loopback case). ** @verdict pass accept, ttcn3verdict:pass *****************************************************************/ Loading