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

library: add templates for L1CTL_{DATA,TRAFFIC}_CONF 

Change-Id: I914555ac8bf2784c14e1b5564b116221ecc7b539
This commit is contained in:
Vadim Yanitskiy 2024-03-11 03:10:12 +07:00 committed by fixeria
parent 660cfe5169
commit 3f5b693401
1 changed files with 58 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

58
library/L1CTL_Types.ttcn
View File

@ -836,6 +836,64 @@ module L1CTL_Types {
}
};
/* for sending and matching L1CTL_DATA_CONF */
template (value) L1ctlMessage
ts_L1CTL_DATA_CONF(template (value) RslChannelNr chan_nr,
template (value) RslLinkId link_id,
template (value) GsmBandArfcn arfcn,
template (value) GsmFrameNumber fn) := {
header := ts_L1ctlHeader(L1CTL_DATA_CONF),
ul_info := omit,
dl_info := {
chan_nr := chan_nr,
link_id := link_id,
arfcn := arfcn,
frame_nr := fn,
rx_level := 0,
snr := 0,
num_biterr := 0,
fire_crc := 0
},
payload := omit
};
template L1ctlMessage
tr_L1CTL_DATA_CONF(template (present) RslChannelNr chan_nr,
template (present) RslLinkId link_id := ?,
template (present) GsmBandArfcn arfcn := ?,
template (present) GsmFrameNumber fn := ?) := {
header := tr_L1ctlHeader(L1CTL_DATA_CONF),
ul_info := omit,
dl_info := {
chan_nr := chan_nr,
link_id := link_id,
arfcn := arfcn,
frame_nr := fn,
rx_level := ?,
snr := ?,
num_biterr := ?,
fire_crc := ?
},
payload := omit
};
/* for sending and matching L1CTL_TRAFFIC_CONF */
template (value) L1ctlMessage
ts_L1CTL_TRAFFIC_CONF(template (value) RslChannelNr chan_nr,
template (value) RslLinkId link_id,
template (value) GsmBandArfcn arfcn,
template (value) GsmFrameNumber fn)
modifies ts_L1CTL_DATA_CONF := {
header := ts_L1ctlHeader(L1CTL_TRAFFIC_CONF)
};
template L1ctlMessage
tr_L1CTL_TRAFFIC_CONF(template (present) RslChannelNr chan_nr,
template (present) RslLinkId link_id := ?,
template (present) GsmBandArfcn arfcn := ?,
template (present) GsmFrameNumber fn := ?)
modifies tr_L1CTL_DATA_CONF := {
header := tr_L1ctlHeader(L1CTL_TRAFFIC_CONF)
};
/* for matching against incoming TRAFFIC_IND */
template L1ctlMessage
tr_L1CTL_TRAFFIC_IND(template (present) RslChannelNr chan_nr,