Commit | Line | Data |
---|---|---|
970ed795 | 1 | /****************************************************************************** |
d44e3c4f | 2 | * Copyright (c) 2000-2016 Ericsson Telecom AB |
970ed795 EL |
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 | |
d44e3c4f | 7 | * |
8 | * Contributors: | |
9 | * Balasko, Jeno | |
10 | * Raduly, Csaba | |
11 | * | |
970ed795 EL |
12 | ******************************************************************************/ |
13 | module enum_to_OK { //^In TTCN-3 module `enum_to_OK':// | |
14 | ||
15 | type component PDTestComponent {}; | |
16 | ||
17 | /*--- ENUM2INT --------------------------------------------------*/ | |
18 | ||
19 | type enumerated MyFirstEnumType { Monday, Tuesday, Wednesday, Thursday, Friday }; | |
20 | type enumerated MySecondEnumType { Saturday, Sunday, Monday }; | |
21 | type enumerated MyThirdEnumType { first(-3), second (0), third }; | |
22 | ||
23 | ||
24 | testcase enum_to_int() runs on PDTestComponent{ //In testcase definition// | |
25 | ||
26 | const MyFirstEnumType enumvar1_1 := Monday; | |
27 | const MyFirstEnumType enumvar1_2 := Wednesday; | |
28 | const MyFirstEnumType enumvar1_3 := Friday; | |
29 | ||
30 | const MySecondEnumType enumvar2_1 := Monday; | |
31 | const MySecondEnumType enumvar2_2 := Saturday; | |
32 | const MySecondEnumType enumvar2_3 := Sunday; | |
33 | ||
34 | const MyThirdEnumType enumvar3_1 := third; | |
35 | const MyThirdEnumType enumvar3_2 := first; | |
36 | const MyThirdEnumType enumvar3_3 := second; | |
37 | ||
38 | ||
39 | const integer e2ivar1_1 := enum2int(enumvar1_1); // returns 0 | |
40 | const integer e2ivar1_2 := enum2int(enumvar1_2); // returns 2 | |
41 | const integer e2ivar1_3 := enum2int(enumvar1_3); // returns 4 | |
42 | ||
43 | const integer e2ivar2_1 := enum2int(enumvar2_1); // returns 2 | |
44 | const integer e2ivar2_2 := enum2int(enumvar2_2); // returns 0 | |
45 | const integer e2ivar2_3 := enum2int(enumvar2_3); // returns 1 | |
46 | ||
47 | const integer e2ivar3_1 := enum2int(enumvar3_1); // returns 1 | |
48 | const integer e2ivar3_2 := enum2int(enumvar3_2); // returns -3 | |
49 | const integer e2ivar3_3 := enum2int(enumvar3_3); // returns 0 | |
50 | ||
51 | ||
52 | if ((e2ivar1_1 == 0) | |
53 | and (e2ivar1_1 == enum2int(enumvar1_1))) | |
54 | {setverdict(pass);} | |
55 | else {setverdict(fail);} //In else statement// //Control never reaches this code because of previous effective condition\(s\)// | |
56 | if ((e2ivar1_2 == 2) | |
57 | and (e2ivar1_2 == enum2int(enumvar1_2))) | |
58 | {setverdict(pass);} | |
59 | else {setverdict(fail);} //In else statement// //Control never reaches this code because of previous effective condition\(s\)// | |
60 | if ((e2ivar1_3 == 4) | |
61 | and (e2ivar1_3 == enum2int(enumvar1_3))) | |
62 | {setverdict(pass);} | |
63 | else {setverdict(fail);} //In else statement// //Control never reaches this code because of previous effective condition\(s\)// | |
64 | ||
65 | if ((e2ivar2_1 == 2) | |
66 | and (e2ivar2_1 == enum2int(enumvar2_1))) | |
67 | {setverdict(pass);} | |
68 | else {setverdict(fail);} //In else statement// //Control never reaches this code because of previous effective condition\(s\)// | |
69 | if ((e2ivar2_2 == 0) | |
70 | and (e2ivar2_2 == enum2int(enumvar2_2))) | |
71 | {setverdict(pass);} | |
72 | else {setverdict(fail);} //In else statement// //Control never reaches this code because of previous effective condition\(s\)// | |
73 | if ((e2ivar2_3 == 1) | |
74 | and (e2ivar2_3 == enum2int(enumvar2_3))) | |
75 | {setverdict(pass);} | |
76 | else {setverdict(fail);} //In else statement// //Control never reaches this code because of previous effective condition\(s\)// | |
77 | ||
78 | if ((e2ivar3_1 == 1) | |
79 | and (e2ivar3_1 == enum2int(enumvar3_1))) | |
80 | {setverdict(pass);} | |
81 | else {setverdict(fail);} //In else statement// //Control never reaches this code because of previous effective condition\(s\)// | |
82 | if ((e2ivar3_2 == -3) | |
83 | and (e2ivar3_2 == enum2int(enumvar3_2))) | |
84 | {setverdict(pass);} | |
85 | else {setverdict(fail);} //In else statement// //Control never reaches this code because of previous effective condition\(s\)// | |
86 | if ((e2ivar3_3 == 0) | |
87 | and (e2ivar3_3 == enum2int(enumvar3_3))) | |
88 | {setverdict(pass);} | |
89 | else {setverdict(fail);} //In else statement// //Control never reaches this code because of previous effective condition\(s\)// | |
90 | ||
91 | } | |
92 | ||
93 | control { | |
94 | execute (enum_to_int()); | |
95 | } | |
96 | ||
97 | } |