conformance_test/positive_tests added
[deliverable/titan.core.git] / conformance_test / positive_tests / 21_configuration_operations / 2103_test_component_operations / 210301_create_operation / Sem_210301_CreateOperation_002.ttcn
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
7 *
8 * Contributors:
9 * Adrien Kirjak – initial implementation
10 *
11 ** @version 0.0.1
12 ** @purpose 1:21.3.1, Ensure that named components can be created
13 ** @verdict pass accept, ttcn3verdict:pass
14 *****************************************************************/
15
16 module Sem_210301_CreateOperation_002 {
17
18 type component GeneralComp {
19 var NewComp vc_NewComp;
20 timer t := 5.0;
21 }
22
23 type component NewComp { }
24
25 function f_testComp() runs on GeneralComp {
26 var NewComp v_NewComp := NewComp.create("1 & * 5abc");
27 t.start;
28 a_createComp();
29 setverdict(pass);
30 }
31
32 function f_createComp() return NewComp {
33 return NewComp.create("some name");
34 }
35
36 altstep a_createComp() runs on GeneralComp {
37 [] t.timeout {
38 vc_NewComp := NewComp.create("component#" & int2str(2));
39 setverdict(pass);
40 }
41 }
42
43 testcase TC_Sem_210301_CreateOperation_002() runs on GeneralComp system GeneralComp {
44 var GeneralComp ptc := GeneralComp.create("a component name");
45 ptc.start(f_testComp());
46 setverdict(pass);
47 }
48
49 control {
50 execute(TC_Sem_210301_CreateOperation_002());
51 }
52
53 }
This page took 0.045412 seconds and 5 git commands to generate.