blob: 2e71123d188b2cc4522db2048e3353514f6a636d [file] [log] [blame]
Harald Welte34b5a952019-05-27 11:54:11 +02001/* Osmocom utility type definitions in TTCN-3
2 * (C) 2017-2019 Harald Welte <laforge@gnumonks.org>
3 * All rights reserved.
4 *
5 * Released under the terms of GNU General Public License, Version 2 or
6 * (at your option) any later version.
7 *
8 * SPDX-License-Identifier: GPL-2.0-or-later
9 */
10
Harald Welte615bd542017-07-14 18:28:55 +020011module Osmocom_Types {
Harald Weltec7adaa72018-02-15 20:40:36 +010012
13 import from General_Types all;
14
Harald Welteddeaa572017-07-14 18:58:07 +020015 type integer uint8_t (0..255) with { variant "unsigned 8 bit" };
Harald Welte615bd542017-07-14 18:28:55 +020016 type integer uint16_t (0..65535) with { variant "unsigned 16 bit" };
Harald Welte484160b2017-07-28 13:30:24 +020017 type integer uint24_t (0..16777215) with { variant "unsigned 24 bit" };
Harald Welteddeaa572017-07-14 18:58:07 +020018 type integer uint32_t (0..4294967295) with { variant "unsigned 32 bit" };
19
20 type integer int8_t (-128..127) with { variant "8 bit" };
21 type integer int16_t (-32768..32767) with { variant "16 bit" };
22
Harald Weltef6543322017-07-16 07:35:10 +020023 type integer uint1_t (0..1) with { variant "unsigned 1 bit" };
Harald Welte615bd542017-07-14 18:28:55 +020024 type integer uint2_t (0..3) with { variant "unsigned 2 bit" };
25 type integer uint3_t (0..7) with { variant "unsigned 3 bit" };
26 type integer uint4_t (0..15) with { variant "unsigned 4 bit" };
27 type integer uint5_t (0..31) with { variant "unsigned 5 bit" };
28 type integer uint6_t (0..63) with { variant "unsigned 6 bit" };
29 type integer uint7_t (0..127) with { variant "unsigned 7 bit" };
Harald Welte615bd542017-07-14 18:28:55 +020030 type integer uint9_t (0..511) with { variant "unsigned 9 bit" };
31 type integer uint10_t (0..1023) with { variant "unsigned 10 bit" };
32 type integer uint11_t (0..2047) with { variant "unsigned 11 bit" };
33 type integer uint12_t (0..4095) with { variant "unsigned 12 bit" };
Harald Welteddeaa572017-07-14 18:58:07 +020034 type integer uint13_t (0..8191) with { variant "unsigned 13 bit" };
35 type integer uint14_t (0..16383) with { variant "unsigned 14 bit" };
36 type integer uint15_t (0..32767) with { variant "unsigned 15 bit" };
37
Harald Welte02369802018-02-25 12:39:05 +010038
39 const uint16_t c_UINT16_MAX := 65535;
40 const uint32_t c_UINT32_MAX := 4294967295;
41
Harald Welteddeaa572017-07-14 18:58:07 +020042 type record Arfcn {
43 boolean pcs,
44 uint15_t arfcn
45 } with { variant "" };
46
Harald Welte91827042018-01-25 09:20:04 +010047 /* return random integer between 0 and max */
48 function f_rnd_int(integer max) return integer {
49 return float2int(rnd()*int2float(max));
50 }
51
52 /* return hexstring composed of random digits */
53 function f_rnd_hexstring(in integer len, in integer max := 15) return hexstring {
54 var integer i;
55 var hexstring ret := ''H;
56 for (i := 0; i < len; i := i + 1) {
57 ret := ret & int2hex(f_rnd_int(max), 1);
58 }
59 return ret;
60 }
61
62 /* return octetstring composed of random bytes */
63 function f_rnd_octstring(in integer len) return octetstring {
64 var integer i;
65 var octetstring ret := ''O;
66 for (i := 0; i < len; i := i + 1) {
67 ret := ret & int2oct(f_rnd_int(255), 1);
68 }
69 return ret;
70 }
71
72 function f_rnd_imsi(in hexstring prefix) return hexstring {
73 return prefix & f_rnd_hexstring(15 - lengthof(prefix), 9);
74 }
75
76 function f_rnd_msisdn(in octetstring prefix, integer len := 6) return octetstring {
77 return prefix & f_rnd_octstring(len - lengthof(prefix));
78 }
79
Harald Weltec2461d62018-01-26 18:55:00 +010080 function f_sleep(float seconds) {
81 timer T := seconds;
82 T.start;
83 T.timeout;
84 }
85
Harald Weltec7adaa72018-02-15 20:40:36 +010086function bool2bit(boolean inp) return BIT1 {
87 if (inp) {
88 return '1'B;
89 } else {
90 return '0'B;
91 }
92}
93
94function bool2bit_tmpl(template boolean inp) return template BIT1 {
95 if (istemplatekind(inp, "omit")) {
96 return omit;
97 } else if (istemplatekind(inp, "*")) {
98 return *;
99 } else if (istemplatekind(inp, "?")) {
Harald Welteb596c182018-02-16 18:12:59 +0100100 return ?;
Harald Weltec7adaa72018-02-15 20:40:36 +0100101 } else {
102 if (valueof(inp)) {
103 return '1'B;
104 } else {
105 return '0'B;
106 }
107 }
Harald Weltec7adaa72018-02-15 20:40:36 +0100108}
109
Harald Welte262f1222018-02-25 16:33:38 +0100110type record of integer IntegerRecord;
111
112function int2bool(integer int) return boolean {
113 if (int != 0) {
114 return true;
115 } else {
116 return false;
117 }
118}
119
120function f_array_contains(IntegerRecord arr, integer key) return boolean {
121 for (var integer i:= 0; i< sizeof(arr); i := i + 1) {
122 if (arr[i] == key) {
123 return true;
124 }
125 }
126 return false;
127}
128
Harald Weltec3a3f452018-02-26 17:37:47 +0100129/* re-start given timer in a warning-safe way: Stop (only if running) + start */
130function f_timer_safe_restart(timer T) {
131 if (T.running) {
132 T.stop;
133 }
134 T.start;
135}
136
Harald Welte060e27a2018-03-03 20:38:19 +0100137/* divide two integers and return rounded-up result */
138function f_div_round_up(integer dividend, integer divisor) return integer {
139 var integer x := dividend / divisor;
140 if (dividend rem divisor != 0) {
141 x := x+1;
142 }
143 return x;
144}
145
Harald Welte07d99c82019-05-02 18:33:16 +0200146function imsi_hex2oct(hexstring imsi) return octetstring {
147 var hexstring tmp := ''H;
148 var octetstring ret;
149 var integer i;
150
151 /* swap nibbles and pad with F if insufficient input nibbles */
152 for (i := 0; i < lengthof(imsi); i := i+1) {
153 if (i+1 < lengthof(imsi)) {
154 tmp := tmp & imsi[i+1];
155 } else {
156 tmp := tmp & 'F'H;
157 }
158 tmp := tmp & imsi[i];
159 i := i+1;
160 }
161 ret := hex2oct(tmp);
162 return ret;
163}
164
Harald Weltebb9512e2019-05-30 15:06:12 +0200165function f_pad_oct(octetstring str, integer len, OCT1 pad) return octetstring {
166 var integer strlen := lengthof(str);
167 for (var integer i := 0; i < len-strlen; i := i+1) {
168 str := str & pad;
169 }
170 return str;
171}
172
Vadim Yanitskiya52347c2019-12-12 17:32:33 +0900173function f_pad_bcd_number(hexstring number) return hexstring {
174 if (lengthof(number) mod 2 != 0) {
175 return number & 'F'H;
176 } else {
177 return number;
178 }
179}
180
Harald Weltec7adaa72018-02-15 20:40:36 +0100181
Harald Welte615bd542017-07-14 18:28:55 +0200182} with { encode "RAW"; variant "FIELDORDER(msb)" }