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
|
/* OsmoHNodeB Lower Layer Socket Interface codec port in TTCN-3
* (C) 2021 by sysmocom - s.f.m.c. GmbH <info@sysmocom.de>
* All rights reserved.
* Author: Pau Espin Pedrol <pespin@sysmocom.de>
*
* Released under the terms of GNU General Public License, Version 2 or
* (at your option) any later version.
*
* SPDX-License-Identifier: GPL-2.0-or-later
*/
module HNBLLIF_CodecPort {
import from Osmocom_Types all;
import from HNBLLIF_Types all;
import from UD_PortType all;
import from UD_Types all;
type record HNBLLIF_send_data {
HNBLLIF_Message data,
integer id
};
private function HNBLLIF_to_UD(in HNBLLIF_send_data pin, out UD_send_data pout) {
pout.id := pin.id;
pout.data := enc_HNBLLIF_Message(pin.data);
} with { extension "prototype(fast)" };
private function UD_to_HNBLLIF(in UD_send_data pin, out HNBLLIF_send_data pout) {
pout.id := pin.id;
pout.data := dec_HNBLLIF_Message(pin.data);
} with { extension "prototype(fast)" };
type port HNBLLIF_CODEC_PT message {
out UD_close, UD_listen, UD_shutdown, UD_connect, HNBLLIF_send_data;
in UD_listen_result, UD_connect_result, UD_connected, HNBLLIF_send_data;
} with { extension "user UD_PT
out (
UD_close -> UD_close:simple;
UD_listen -> UD_listen:simple;
UD_shutdown -> UD_shutdown:simple;
UD_connect -> UD_connect:simple;
HNBLLIF_send_data -> UD_send_data: function(HNBLLIF_to_UD)
)
in (
UD_listen_result -> UD_listen_result:simple;
UD_connect_result -> UD_connect_result:simple;
UD_send_data -> HNBLLIF_send_data: function(UD_to_HNBLLIF);
UD_connected -> UD_connected:simple
)"
};
template HNBLLIF_send_data t_SD_HNBLLIF(integer id, template HNBLLIF_Message pdu) := {
data := pdu,
id := id
}
template (value) HNBLLIF_send_data ts_SD_HNBLLIF(integer id, template (value) HNBLLIF_Message pdu) := {
data := pdu,
id := id
}
function f_hnbllif_connect(HNBLLIF_CODEC_PT pt, charstring sock) return integer {
var UD_connect_result res;
timer T := 5.0;
T.start;
pt.send(UD_connect:{sock, -1});
alt {
[] pt.receive(UD_connect_result:?) -> value res {
if (ispresent(res.result) and ispresent(res.result.result_code) and
res.result.result_code == ERROR) {
if (ispresent(res.result.err)) {
setverdict(fail, "Error connecting to HNBLL socket ", sock, ": ", res.result.err);
} else {
setverdict(fail, "Error connecting to HNBLL socket ", sock);
}
mtc.stop;
} else {
return res.id;
}
}
[] T.timeout {
setverdict(fail, "Timeout connecting to HNBLL socket ", sock);
mtc.stop;
}
}
return -23;
}
function f_hnbllif_close(HNBLLIF_CODEC_PT pt, integer id)
{
pt.send(UD_close:{id := id});
}
}
|
