summaryrefslogtreecommitdiffstats
path: root/pcu/GPRS_TBF.ttcn
diff options
context:
space:
mode:
Diffstat (limited to 'pcu/GPRS_TBF.ttcn')
-rw-r--r--pcu/GPRS_TBF.ttcn8
1 files changed, 4 insertions, 4 deletions
diff --git a/pcu/GPRS_TBF.ttcn b/pcu/GPRS_TBF.ttcn
index 3e8658e..951cf4a 100644
--- a/pcu/GPRS_TBF.ttcn
+++ b/pcu/GPRS_TBF.ttcn
@@ -121,7 +121,7 @@ private function f_UlTbf_ack_one_block(inout UlTbfState us, integer n) {
var integer idx := n - us.et.v_a;
if (idx < 0 or idx > lengthof(us.et.v_b)) {
setverdict(fail, "UlTbf: Cannot ACK ", n, " while V(A) is ", us.et.v_a);
- self.stop;
+ mtc.stop;
}
/* set the bit in the acknowledge state array */
us.et.v_b[idx] := '1'B;
@@ -411,7 +411,7 @@ function f_dl_tbf_mod_sns(DlTbfState ds, integer val) return integer
function f_dl_tbf_is_in_window(integer bsn) return boolean {
setverdict(fail, "pleaes implement me");
- self.stop;
+ mtc.stop;
}
function f_dl_tbf_is_received(inout DlTbfState ds, integer bsn) return boolean {
@@ -471,7 +471,7 @@ function f_dl_tbf_process_dl_data(inout DlTbfState ds, RlcmacDlDataBlock db) {
var integer bsn := db.mac_hdr.hdr_ext.bsn;
if (db.mac_hdr.hdr_ext.tfi != ds.tfi) {
setverdict(fail, "Unexpected TFI of DL Data Block ", db);
- self.stop;
+ mtc.stop;
}
f_dl_tbf_mark_received(ds, bsn);
if (ds.tbf.ack_mode) {
@@ -480,7 +480,7 @@ function f_dl_tbf_process_dl_data(inout DlTbfState ds, RlcmacDlDataBlock db) {
* SNS */
if (bsn < ds.er.v_q or bsn > ds.er.v_q + ds.tbf.ws) {
setverdict(fail, "Unexpected BSN outside of window ", bsn);
- self.stop;
+ mtc.stop;
}
/* In RLC acknowledged mode, the value of V(Q) shall be updated when the RLC