diff options
Diffstat (limited to 'pcu/GPRS_TBF.ttcn')
| -rw-r--r-- | pcu/GPRS_TBF.ttcn | 8 |
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 |