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