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
|
module OSMUX_CodecPort {
/* Simple Osmux Codec Port, translating between raw UDP primitives with
* octetstring payload towards the IPL4asp provider, and Osmux primitives
* which carry the decoded abstract Osmux data types as payload.
*
* (C) 2019 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.
*/
import from IPL4asp_PortType all;
import from IPL4asp_Types all;
import from OSMUX_Types all;
type record Osmux_RecvFrom {
ConnectionId connId,
HostName remName,
PortNumber remPort,
HostName locName,
PortNumber locPort,
OSMUX_PDU msg
};
template Osmux_RecvFrom t_Osmux_RecvFrom(template OSMUX_PDU msg) := {
connId := ?,
remName := ?,
remPort := ?,
locName := ?,
locPort := ?,
msg := msg
}
type record Osmux_Send {
ConnectionId connId,
OSMUX_PDU msg
}
template Osmux_Send t_Osmux_Send(template ConnectionId connId, template OSMUX_PDU msg) := {
connId := connId,
msg := msg
}
private function IPL4_to_Osmux_RecvFrom(in ASP_RecvFrom pin, out Osmux_RecvFrom pout) {
pout.connId := pin.connId;
pout.remName := pin.remName;
pout.remPort := pin.remPort;
pout.locName := pin.locName;
pout.locPort := pin.locPort;
pout.msg := dec_OSMUX_PDU(pin.msg)
} with { extension "prototype(fast)" };
private function Osmux_to_IPL4_Send(in Osmux_Send pin, out ASP_Send pout) {
pout.connId := pin.connId;
pout.proto := { udp := {} };
pout.msg := enc_OSMUX_PDU(pin.msg);
} with { extension "prototype(fast)" };
type port OSMUX_CODEC_PT message {
out Osmux_Send;
in Osmux_RecvFrom,
ASP_ConnId_ReadyToRelease,
ASP_Event;
} with { extension "user IPL4asp_PT
out(Osmux_Send -> ASP_Send:function(Osmux_to_IPL4_Send))
in(ASP_RecvFrom -> Osmux_RecvFrom: function(IPL4_to_Osmux_RecvFrom);
ASP_ConnId_ReadyToRelease -> ASP_ConnId_ReadyToRelease: simple;
ASP_Event -> ASP_Event: simple)"
}
}
|
