1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
|
/******************************************************************************
* Copyright (c) 2000-2021 Ericsson Telecom AB
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v2.0
* which accompanies this distribution, and is available at
* https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html
*
* Contributors:
* Balasko, Jeno
* Raduly, Csaba
*
******************************************************************************/
module float_to_SW { //^In TTCN-3 module `float_to_SW'://
type component PDTestComponent {};
/*--- FLOAT2INT --------------------------------------------------*/
const integer f2icon1 := float2int(5E-1)
const integer f2icon2 := float2int(0.345)
const integer f2icon3 := float2int(-0.345)
const integer f2icon4 := float2int(-5E0)
const integer f2icon5 := float2int(12345678910000.0)
const integer f2icon6 := float2int(12345678910e+4)
const integer f2icon7 := float2int(4294967296.0)
testcase float_to_int() runs on PDTestComponent{ //In testcase definition//
if ((f2icon1 == 0)
and (f2icon1 == float2int(5E-1)))
{setverdict(pass);}
else {setverdict(fail);} //^In else statement// \
//^warning\: Control never reaches this code because of previous effective condition\(s\)//
if ((f2icon2 == 0)
and (f2icon2 == float2int(0.345)))
{setverdict(pass);}
else {setverdict(fail);} //^In else statement// \
//^warning\: Control never reaches this code because of previous effective condition\(s\)//
if ((f2icon3 == 0)
and (f2icon3 == float2int(-0.345)))
{setverdict(pass);}
else {setverdict(fail);} //^In else statement// \
//^warning\: Control never reaches this code because of previous effective condition\(s\)//
if ((f2icon4 == -5)
and (f2icon4 == float2int(-5E0)))
{setverdict(pass);}
else {setverdict(fail);} //^In else statement// \
//^warning\: Control never reaches this code because of previous effective condition\(s\)//
// Tests added for HL22929.
if ((f2icon5 == 12345678910000)
and (f2icon5 == float2int(12345678910000.0)))
{setverdict(pass);}
else {setverdict(fail);} //^In else statement// \
//^warning\: Control never reaches this code because of previous effective condition\(s\)//
if ((f2icon6 == 123456789100000)
and (f2icon6 == float2int(12345678910e+4)))
{setverdict(pass);}
else {setverdict(fail);} //^In else statement// \
//^warning\: Control never reaches this code because of previous effective condition\(s\)//
if ((f2icon7 == 4294967296)
and (f2icon7 == float2int(4294967296.0)))
{setverdict(pass);}
else {setverdict(fail);} //^In else statement// \
//^warning\: Control never reaches this code because of previous effective condition\(s\)//
}
/*--- FLOAT2STR --------------------------------------------------*/
const charstring f2scon := "1234567890123456789012345678901234567890"
const charstring f2scon1 := float2str(5E-1)
const charstring f2scon2 := float2str(-5E-1)
const charstring f2scon3 := float2str(0.345)
const charstring f2scon4 := float2str(-0.345)
const charstring f2scon5 := float2str(0.1234567)
const charstring f2scon6 := float2str(123456748901.0)
const charstring f2scon7 := float2str(123456758901.0)
const charstring f2scon8 := float2str(infinity);
const charstring f2scon9 := float2str(-infinity);
const charstring f2scon10 := float2str(not_a_number);
testcase float_to_str() runs on PDTestComponent{ //In testcase definition//
if ((f2scon1 == "0.500000")
and (f2scon1 == float2str(5E-1)))
{setverdict(pass);}
else {setverdict(fail);} //^In else statement// \
//^warning\: Control never reaches this code because of previous effective condition\(s\)//
if ((f2scon2 == "-0.500000")
and (f2scon2 == float2str(-5E-1)))
{setverdict(pass);}
else {setverdict(fail);} //^In else statement// \
//^warning\: Control never reaches this code because of previous effective condition\(s\)//
if ((f2scon3 == "0.345000")
and (f2scon3 == float2str(0.345)))
{setverdict(pass);}
else {setverdict(fail);} //^In else statement// \
//^warning\: Control never reaches this code because of previous effective condition\(s\)//
if ((f2scon4 == "-0.345000")
and (f2scon4 == float2str(-0.345)))
{setverdict(pass);}
else {setverdict(fail);} //^In else statement// \
//^warning\: Control never reaches this code because of previous effective condition\(s\)//
if ((f2scon5 == "0.123457")
and (f2scon5 == float2str(0.1234567)))
{setverdict(pass);}
else {setverdict(fail);} //^In else statement// \
//^warning\: Control never reaches this code because of previous effective condition\(s\)//
if ((f2scon6 == "1.234567e+11")
and (f2scon6 == float2str(123456748901.0)))
{setverdict(pass);}
else {setverdict(fail);} //^In else statement// \
//^warning\: Control never reaches this code because of previous effective condition\(s\)//
if ((f2scon7 == "1.234568e+11")
and (f2scon7 == float2str(123456758901.0)))
{setverdict(pass);}
else {setverdict(fail);} //^In else statement// \
//^warning\: Control never reaches this code because of previous effective condition\(s\)//
if ((f2scon8 == "infinity")
and (f2scon8 == float2str(infinity)))
{setverdict(pass);}
else {setverdict(fail);} //^In else statement// \
//^warning\: Control never reaches this code because of previous effective condition\(s\)//
if ((f2scon9 == "-infinity")
and (f2scon9 == float2str(-infinity)))
{setverdict(pass);}
else {setverdict(fail);} //^In else statement// \
//^warning\: Control never reaches this code because of previous effective condition\(s\)//
if ((f2scon10 == "not_a_number")
and (f2scon10 == float2str(not_a_number)))
{setverdict(pass);}
else {setverdict(fail);} //^In else statement// \
//^warning\: Control never reaches this code because of previous effective condition\(s\)//
}
control {
execute (float_to_int());
execute (float_to_str());
}
}
|
