399 lines
10 KiB
Plaintext
399 lines
10 KiB
Plaintext
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
|
|
}
|
|
});
|
|
|
|
|
|
|
|
}
|