fixeria has uploaded this change for review. ( 
https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/42492?usp=email )


Change subject: library/PFCP_Emulation: add f_PFCPEM_set_recovery_timestamp()
......................................................................

library/PFCP_Emulation: add f_PFCPEM_set_recovery_timestamp()

Companion setter for the existing f_PFCPEM_get_recovery_timestamp().
A follow-up patch uses this to inject a specific Recovery Timestamp
value into the emulation, so the IUT does not detect a spurious PFCP
peer restart between test cases.

Change-Id: If47e06d26b42081a28aacb6e06b5aeabf945362c
---
M library/PFCP_Emulation.ttcn
1 file changed, 12 insertions(+), 0 deletions(-)



  git pull ssh://gerrit.osmocom.org:29418/osmo-ttcn3-hacks 
refs/changes/92/42492/1

diff --git a/library/PFCP_Emulation.ttcn b/library/PFCP_Emulation.ttcn
index a5ec818..861fce8 100644
--- a/library/PFCP_Emulation.ttcn
+++ b/library/PFCP_Emulation.ttcn
@@ -305,6 +305,9 @@
                [] CLIENT_PROC.getcall(PFCPEM_get_recovery_timestamp:{?}) -> 
sender vc_conn {
                                
CLIENT_PROC.reply(PFCPEM_get_recovery_timestamp:{g_recovery_timestamp}) to 
vc_conn;
                        }
+               [] CLIENT_PROC.getcall(PFCPEM_set_recovery_timestamp:{?}) -> 
param(g_recovery_timestamp) sender vc_conn {
+                               
CLIENT_PROC.reply(PFCPEM_set_recovery_timestamp:{g_recovery_timestamp}) to 
vc_conn;
+                       }
                }
        }
 }
@@ -322,6 +325,7 @@
 signature PFCPEM_subscribe_seid(in OCT8 seid, out boolean success);
 signature PFCPEM_unsubscribe_seid(in OCT8 seid, out boolean success);
 signature PFCPEM_get_recovery_timestamp(out integer rts);
+signature PFCPEM_set_recovery_timestamp(in integer rts);

 type port PFCPEM_PROC_PT procedure {
        inout PFCPEM_subscribe_bcast;
@@ -329,6 +333,7 @@
        inout PFCPEM_subscribe_seid;
        inout PFCPEM_unsubscribe_seid;
        inout PFCPEM_get_recovery_timestamp;
+       inout PFCPEM_set_recovery_timestamp;
 } with { extension "internal" };

 /***********************************************************************
@@ -391,6 +396,13 @@
        return rts;
 }

+function f_PFCPEM_set_recovery_timestamp(integer rts)
+runs on PFCP_ConnHdlr {
+       PFCP_PROC.call(PFCPEM_set_recovery_timestamp:{rts}) {
+               [] PFCP_PROC.getreply(PFCPEM_set_recovery_timestamp:{?}) {};
+       }
+}
+
 altstep as_pfcp_ignore(PFCPEM_PT pt, template PDU_PFCP pfcp_expect := ?)
 {
        var PDU_PFCP pdu;

--
To view, visit https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/42492?usp=email
To unsubscribe, or for help writing mail filters, visit 
https://gerrit.osmocom.org/settings?usp=email

Gerrit-MessageType: newchange
Gerrit-Project: osmo-ttcn3-hacks
Gerrit-Branch: master
Gerrit-Change-Id: If47e06d26b42081a28aacb6e06b5aeabf945362c
Gerrit-Change-Number: 42492
Gerrit-PatchSet: 1
Gerrit-Owner: fixeria <[email protected]>

Reply via email to