library/GSM_RR_Types.ttcn: fix: IA Rest Octets is mandatory IE

According to 3GPP TS 04.08 (version 7.21.0), table 9.18, IA Rest
Octets (see 10.5.2.16) is a mandatory IE, not optional.

Change-Id: I403d2141536303a966be7ff51b06c3de202412e6
This commit is contained in:
Vadim Yanitskiy 2019-09-05 13:53:01 +02:00
parent dd6d5d1baa
commit f10bb45899
1 changed files with 10 additions and 3 deletions

View File

@ -587,7 +587,7 @@ module GSM_RR_Types {
TimingAdvance timing_advance,
MobileAllocation mobile_allocation,
/* TODO: starting time TLV */
IaRestOctets rest_octets optional
IaRestOctets rest_octets
} with { variant (chan_desc) "PRESENCE(ded_or_tbf.tbf = false)"
variant (pkt_chan_desc) "PRESENCE(ded_or_tbf.tbf = true)" };
@ -737,7 +737,14 @@ module GSM_RR_Types {
req_ref := f_compute_ReqRef(ra, fn),
timing_advance := ta,
mobile_allocation := ma,
rest_octets := omit
rest_octets := {
presence := '00'B, /* LL */
ll := {
/* Compressed INTER RAT HO INFO: shall not be used (L)
* TODO: use variant "CSN.1 L/H" to avoid confusion. */
compressed_irat_ho_info_ind := '1'B
}
}
}
}
};
@ -761,7 +768,7 @@ module GSM_RR_Types {
req_ref := tr_compute_ReqRef(ra, fn),
timing_advance := ta,
mobile_allocation := ma,
rest_octets := *
rest_octets := ?
}
}
};