fixeria has uploaded this change for review.

View Change

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 change 42492. To unsubscribe, or for help writing mail filters, visit settings.

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 <vyanitskiy@sysmocom.de>