ttcn3
/
osmo-ttcn3-hacks
mirror of https://gerrit.osmocom.org/osmo-ttcn3-hacks
10
0
Fork 1
Code Issues Releases Wiki Activity

RSL_Types: Fix coding of RSL_IE_ChanNeeded and matching if PAGING_CMD

This commit is contained in:
Harald Welte 2017-12-10 23:05:02 +01:00
parent bd868bd91e
commit 51d74101b8
1 changed files with 7 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
library/RSL_Types.ttcn
View File

@ -229,6 +229,11 @@ module RSL_Types {
payload := pl
}
template RSL_LV tr_RSL_LV(template octetstring pl) := {
len := ?,
payload := pl
}
type record RSL_L16V {
uint16_t len,
octetstring payload
@ -398,7 +403,7 @@ module RSL_Types {
RSL_CHANNEED_SDCCH ('01'B),
RSL_CHANNEED_TCH_F ('10'B),
RSL_CHANNEED_TCH_ForH ('11'B)
}
} with { variant "FIELDLENGTH(2)" };
type record RSL_IE_ChanNeeded {
uint6_t reserved,
RSL_ChanNeeded chan_needed
@ -791,7 +796,7 @@ template RSL_Message tr_RSL_MsgTypeDR(template RSL_MessageType msg_type) modifie
ies := {
tr_RSL_IE(RSL_IE_Body:{chan_nr := t_RslChanNr_PCH_AGCH(tn)}),
tr_RSL_IE(RSL_IE_Body:{paging_group := ?}),
tr_RSL_IE(RSL_IE_Body:{ms_identity := ts_RSL_LV(identity)}),
tr_RSL_IE(RSL_IE_Body:{ms_identity := tr_RSL_LV(identity)}),
* /* opt: channel needed, eMLPP prio */
}
}