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
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
|
module RSPRO_Types {
/* Templates and utility functions for the RSPRO protocol.
* (C) 2019 by Harald Welte <laforge@gnumonks.org>
* All rights reserved.
*
* 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
*/
import from RSPRO all;
import from Native_Functions all;
template ResultCode tr_Status_ok_or_nocard := (ok, cardNotPresent);
external function dec_RsproPDU(in octetstring stream) return RsproPDU;
external function enc_RsproPDU(in RsproPDU pdu) return octetstring;
type integer RsproVersion (0..32);
template (value) BankSlot ts_BankSlot(template (value) BankId bid,
template (value) SlotNumber slot) := {
bankId := bid,
slotNr := slot
}
template (value) ClientSlot ts_ClientSlot(template (value) ClientId cid,
template (value) SlotNumber slot) := {
clientId := cid,
slotNr := slot
}
template (value) ComponentIdentity ts_CompId(template (value) ComponentType ctype,
template (value) ComponentName name,
template (value) ComponentName sw := "TTCN3",
template (value) ComponentName sw_version := "0.1") := {
type_ := ctype,
name := name,
software := sw,
swVersion := sw_version,
hwManufacturer := "sysmocom",
hwModel := omit,
hwSerialNr := omit,
hwVersion := omit,
fwVersion := omit
}
template ComponentIdentity tr_CompId(template ComponentType ctype,
template ComponentName name,
template ComponentName sw := "TTCN3",
template ComponentName sw_version := "0.1") := {
type_ := ctype,
name := name,
software := sw,
swVersion := sw_version,
hwManufacturer := *,
hwModel := *,
hwSerialNr := *,
hwVersion := *,
fwVersion := *
}
template (value) IpPort ts_IpPort(template (value) IpAddress ip,
template (value) PortNumber port_nr) := {
ip := ip,
port_ := port_nr
}
template IpPort tr_IpPort(template IpAddress ip, template PortNumber port_nr) := {
ip := ip,
port_ := port_nr
}
template (value) IpAddress ts_IPv4(charstring ip_str) := {
ipv4 := f_inet_addr(ip_str)
}
template (value) RsproPDU ts_RSPRO(template (value) RsproPDUchoice msg,
template (value) RsproVersion version := 2,
template (value) OperationTag tag := 0) := {
version := version,
tag := tag,
msg := msg
}
template RsproPDU tr_RSPRO(template RsproPDUchoice msg,
template RsproVersion version := 2,
template OperationTag tag := ?) := {
version := version,
tag := tag,
msg := msg
}
template (value) RsproPDU ts_RSPRO_ConnectClientReq(template (value) ComponentIdentity id,
template (omit) ClientSlot clslot) :=
ts_RSPRO(RsproPDUchoice:{
connectClientReq := {
identity := id,
clientSlot := clslot
}
});
template RsproPDU tr_RSPRO_ConnectClientReq(template ComponentIdentity id,
template ClientSlot clslot) :=
tr_RSPRO(RsproPDUchoice:{
connectClientReq := {
identity := id,
clientSlot := clslot
}
});
template (value) RsproPDU ts_RSPRO_ConnectClientRes(template (value) ComponentIdentity id,
template (value) ResultCode res) :=
ts_RSPRO(RsproPDUchoice:{
connectClientRes := {
identity := id,
result := res
}
});
template RsproPDU tr_RSPRO_ConnectClientRes(template ComponentIdentity id := ?,
template ResultCode res := ?) :=
tr_RSPRO(RsproPDUchoice:{
connectClientRes := {
identity := id,
result := res
}
});
template (value) RsproPDU ts_RSPRO_ConnectBankReq(template (value) ComponentIdentity id,
template (value) BankId bid,
template (value) SlotNumber nslots,
template (omit) IpPort bound) :=
ts_RSPRO(RsproPDUchoice:{
connectBankReq := {
identity := id,
bankId := bid,
numberOfSlots := nslots,
bound := bound
}
});
template RsproPDU tr_RSPRO_ConnectBankReq(template ComponentIdentity id,
template BankId bid,
template SlotNumber nslots,
template IpPort bound := *) :=
tr_RSPRO(RsproPDUchoice:{
connectBankReq := {
identity := id,
bankId := bid,
numberOfSlots := nslots,
bound := *
}
});
template (value) RsproPDU ts_RSPRO_ConnectBankRes(template (value) ComponentIdentity id,
template (value) ResultCode res) :=
ts_RSPRO(RsproPDUchoice:{
connectBankRes := {
identity := id,
result := res
}
});
template RsproPDU tr_RSPRO_ConnectBankRes(template ComponentIdentity id := ?,
template ResultCode res := ?) :=
tr_RSPRO(RsproPDUchoice:{
connectBankRes := {
identity := id,
result := res
}
});
template (value) RsproPDU ts_RSPRO_SetAtrReq(template (value) ClientSlot clslot,
template (value) ATR atr) :=
ts_RSPRO(RsproPDUchoice:{
setAtrReq := {
slot := clslot,
atr := atr
}
});
template RsproPDU tr_RSPRO_SetAtrReq(template ClientSlot clslot := ?,
template ATR atr := ?) :=
tr_RSPRO(RsproPDUchoice:{
setAtrReq := {
slot := clslot,
atr := atr
}
});
template (value) RsproPDU ts_RSPRO_SetAtrRes(template (value) ResultCode res) :=
ts_RSPRO(RsproPDUchoice:{
setAtrRes := {
result := res
}
});
template RsproPDU tr_RSPRO_SetAtrRes(template ResultCode res := ?) :=
tr_RSPRO(RsproPDUchoice:{
setAtrRes := {
result := res
}
});
template (value) RsproPDU ts_RSPRO_TpduModemToCard(template (value) ClientSlot from_clslot,
template (value) BankSlot to_bslot,
template (value) TpduFlags flags,
template (value) octetstring data) :=
ts_RSPRO(RsproPDUchoice:{
tpduModemToCard := {
fromClientSlot := from_clslot,
toBankSlot := to_bslot,
flags := flags,
data := data
}
});
template RsproPDU tr_RSPRO_TpduModemToCard(template ClientSlot from_clslot := ?,
template BankSlot to_bslot := ?,
template TpduFlags flags := ?,
template octetstring data := ?) :=
tr_RSPRO(RsproPDUchoice:{
tpduModemToCard := {
fromClientSlot := from_clslot,
toBankSlot := to_bslot,
flags := flags,
data := data
}
});
template (value) RsproPDU ts_RSPRO_TpduCardToModem(template (value) BankSlot from_bslot,
template (value) ClientSlot to_clslot,
template (value) TpduFlags flags,
template (value) octetstring data) :=
ts_RSPRO(RsproPDUchoice:{
tpduCardToModem := {
fromBankSlot := from_bslot,
toClientSlot := to_clslot,
flags := flags,
data := data
}
});
template RsproPDU tr_RSPRO_TpduCardToModem(template BankSlot from_bslot := ?,
template ClientSlot to_clslot := ?,
template TpduFlags flags := ?,
template octetstring data := ?) :=
tr_RSPRO(RsproPDUchoice:{
tpduCardToModem := {
fromBankSlot := from_bslot,
toClientSlot := to_clslot,
flags := flags,
data := data
}
});
template (value) RsproPDU ts_RSPRO_CreateMappingReq(template (value) ClientSlot cslot,
template (value) BankSlot bslot) :=
ts_RSPRO(RsproPDUchoice:{
createMappingReq := {
client := cslot,
bank := bslot
}
});
template RsproPDU tr_RSPRO_CreateMappingReq(template ClientSlot cslot,
template BankSlot bslot) :=
tr_RSPRO(RsproPDUchoice:{
createMappingReq := {
client := cslot,
bank := bslot
}
});
template (value) RsproPDU ts_RSPRO_CreateMappingRes(template (value) ResultCode res) :=
ts_RSPRO(RsproPDUchoice:{
createMappingRes := {
result := res
}
});
template RsproPDU tr_RSPRO_CreateMappingRes(template ResultCode res) :=
tr_RSPRO(RsproPDUchoice:{
createMappingRes := {
result := res
}
});
template (value) RsproPDU ts_RSPRO_RemoveMappingReq(template (value) ClientSlot cslot,
template (value) BankSlot bslot) :=
ts_RSPRO(RsproPDUchoice:{
removeMappingReq := {
client := cslot,
bank := bslot
}
});
template RsproPDU tr_RSPRO_RemoveMappingReq(template ClientSlot cslot,
template BankSlot bslot) :=
tr_RSPRO(RsproPDUchoice:{
removeMappingReq := {
client := cslot,
bank := bslot
}
});
template (value) RsproPDU ts_RSPRO_RemoveMappingRes(template (value) ResultCode res) :=
ts_RSPRO(RsproPDUchoice:{
removeMappingRes := {
result := res
}
});
template RsproPDU tr_RSPRO_RemoveMappingRes(template ResultCode res) :=
tr_RSPRO(RsproPDUchoice:{
removeMappingRes := {
result := res
}
});
template (value) RsproPDU ts_RSPRO_ConfigClientIdReq(template (value) ClientSlot cslot) :=
ts_RSPRO(RsproPDUchoice: {
configClientIdReq := {
clientSlot := cslot
}
});
template RsproPDU tr_RSPRO_ConfigClientIdReq(template ClientSlot cslot) :=
tr_RSPRO(RsproPDUchoice: {
configClientIdReq := {
clientSlot := cslot
}
});
template (value) RsproPDU ts_RSPRO_ConfigClientIdRes(template (value) ResultCode res) :=
ts_RSPRO(RsproPDUchoice:{
configClientIdRes := {
result := res
}
});
template RsproPDU tr_RSPRO_ConfigClientIdRes(template ResultCode res) :=
tr_RSPRO(RsproPDUchoice:{
configClientIdRes := {
result := res
}
});
template (value) RsproPDU ts_RSPRO_ConfigClientBankReq(template (value) BankSlot bslot,
template (value) IpPort ip_port) :=
ts_RSPRO(RsproPDUchoice: {
configClientBankReq := {
bankSlot := bslot,
bankd := ip_port
}
});
template RsproPDU tr_RSPRO_ConfigClientBankReq(template BankSlot bslot,
template IpPort ip_port) :=
tr_RSPRO(RsproPDUchoice: {
configClientBankReq := {
bankSlot := bslot,
bankd := ip_port
}
});
template (value) RsproPDU ts_RSPRO_ConfigClientBankRes(template (value) ResultCode res) :=
ts_RSPRO(RsproPDUchoice:{
configClientBankRes := {
result := res
}
});
template RsproPDU tr_RSPRO_ConfigClientBankRes(template ResultCode res) :=
tr_RSPRO(RsproPDUchoice:{
configClientBankRes := {
result := res
}
});
template (value) RsproPDU ts_RSPRO_ResetStateReq :=
ts_RSPRO(RsproPDUchoice: {
resetStateReq := {}
});
template RsproPDU tr_RSPRO_ResetStateReq :=
tr_RSPRO(RsproPDUchoice: {
resetStateReq := {}
});
template (value) RsproPDU ts_RSPRO_ResetStateRes(template (value) ResultCode res) :=
ts_RSPRO(RsproPDUchoice:{
resetStateRes := {
result := res
}
});
template RsproPDU tr_RSPRO_ResetStateRes(template ResultCode res) :=
tr_RSPRO(RsproPDUchoice:{
resetStateRes := {
result := res
}
});
}
|
