1 /******************************************************************************
2 * Copyright (c) 2000-2016 Ericsson Telecom AB
3 * All rights reserved. This program and the accompanying materials
4 * are made available under the terms of the Eclipse Public License v1.0
5 * which accompanies this distribution, and is available at
6 * http://www.eclipse.org/legal/epl-v10.html
9 * Adrien Kirjak – initial implementation
12 ** @purpose 1:21.3.4, killing MTC from PTC
13 ** @verdict pass accept, ttcn3verdict:pass
14 *****************************************************************/
16 // The following requirements are tested:
17 // The kill operation can be applied on the current test component itself by a simple
18 // kill statement or by addressing itself using the self operation in conjunction with
19 // the kill operation.
22 module Sem_210304_kill_test_component_006 {
24 type component GeneralComp {
28 function f() runs on GeneralComp {
29 var boolean v_bCond := true;
31 if (v_bCond) { mtc.kill; } // to bypass possible "unreachable statement" errors
35 testcase TC_Sem_210304_kill_test_component_006() runs on GeneralComp system GeneralComp {
36 var GeneralComp ptc := GeneralComp.create alive;
45 execute(TC_Sem_210304_kill_test_component_006());