Harald Welte | 00566f5 | 2017-11-21 16:43:49 +0100 | [diff] [blame] | 1 | module IPA_CodecPort { |
| 2 | |
Harald Welte | 35bb716 | 2018-01-03 21:07:52 +0100 | [diff] [blame] | 3 | /* Simple IPA Codec Port, translating between raw TCP octetstring payload |
| 4 | * towards the IPL4asp port provider, and IPA primitives |
| 5 | * which carry the decoded IPA data types as payload. |
| 6 | * |
| 7 | * (C) 2017 by Harald Welte <laforge@gnumonks.org> |
| 8 | * All rights reserved. |
| 9 | * |
| 10 | * Released under the terms of GNU General Public License, Version 2 or |
| 11 | * (at your option) any later version. |
| 12 | */ |
| 13 | |
Harald Welte | 00566f5 | 2017-11-21 16:43:49 +0100 | [diff] [blame] | 14 | import from IPL4asp_PortType all; |
| 15 | import from IPL4asp_Types all; |
| 16 | import from IPA_Types all; |
| 17 | |
| 18 | type record IPA_RecvFrom { |
| 19 | ConnectionId connId, |
| 20 | IpaStreamId streamId, |
Harald Welte | 2a8f847 | 2017-11-23 21:11:34 +0100 | [diff] [blame] | 21 | IpaExtStreamId streamIdExt optional, |
Harald Welte | 00566f5 | 2017-11-21 16:43:49 +0100 | [diff] [blame] | 22 | octetstring msg |
| 23 | } |
| 24 | |
| 25 | type record IPA_Send { |
| 26 | ConnectionId connId, |
| 27 | IpaStreamId streamId, |
Harald Welte | 2a8f847 | 2017-11-23 21:11:34 +0100 | [diff] [blame] | 28 | IpaExtStreamId streamIdExt optional, |
Harald Welte | 00566f5 | 2017-11-21 16:43:49 +0100 | [diff] [blame] | 29 | octetstring msg |
| 30 | } |
| 31 | |
Harald Welte | c82eef4 | 2017-11-24 20:40:12 +0100 | [diff] [blame] | 32 | template IPA_Send t_IPA_Send(ConnectionId conn_id, IpaStreamId stream_id, |
| 33 | octetstring msg, template IpaExtStreamId stream_id_ext := omit) := { |
| 34 | connId := conn_id, |
| 35 | streamId := stream_id, |
| 36 | streamIdExt := stream_id_ext, |
| 37 | msg := msg |
| 38 | } |
Harald Welte | c76f29f | 2017-11-22 12:46:46 +0100 | [diff] [blame] | 39 | |
Harald Welte | 00566f5 | 2017-11-21 16:43:49 +0100 | [diff] [blame] | 40 | private function IPL4_to_IPA_RecvFrom(in ASP_RecvFrom pin, out IPA_RecvFrom pout) { |
| 41 | var PDU_IPA ipa := dec_PDU_IPA(pin.msg); |
| 42 | pout.connId := pin.connId; |
| 43 | pout.streamId := ipa.streamId |
Harald Welte | 2a8f847 | 2017-11-23 21:11:34 +0100 | [diff] [blame] | 44 | pout.streamIdExt := ipa.streamIdExt |
Harald Welte | 00566f5 | 2017-11-21 16:43:49 +0100 | [diff] [blame] | 45 | pout.msg := ipa.payloadData; |
| 46 | } with { extension "prototype(fast)" } |
| 47 | |
| 48 | private function IPA_to_IPL4_Send(in IPA_Send pin, out ASP_Send pout) { |
Harald Welte | 2a8f847 | 2017-11-23 21:11:34 +0100 | [diff] [blame] | 49 | var PDU_IPA ipa := { 0, pin.streamId, pin.streamIdExt, pin.msg }; |
Harald Welte | 00566f5 | 2017-11-21 16:43:49 +0100 | [diff] [blame] | 50 | pout.connId := pin.connId; |
| 51 | pout.proto := { tcp := {} }; |
| 52 | pout.msg := enc_PDU_IPA(ipa); |
| 53 | } with { extension "prototype(fast)" } |
| 54 | |
| 55 | type port IPA_CODEC_PT message { |
| 56 | out IPA_Send; |
| 57 | in IPA_RecvFrom, |
| 58 | ASP_ConnId_ReadyToRelease, |
| 59 | ASP_Event; |
| 60 | } with { extension "user IPL4asp_PT |
| 61 | out(IPA_Send -> ASP_Send:function(IPA_to_IPL4_Send)) |
| 62 | in(ASP_RecvFrom -> IPA_RecvFrom: function(IPL4_to_IPA_RecvFrom); |
| 63 | ASP_ConnId_ReadyToRelease -> ASP_ConnId_ReadyToRelease: simple; |
| 64 | ASP_Event -> ASP_Event: simple)" |
| 65 | } |
| 66 | } |