From c7f7beda74248bc94a75fdfb21ed90e77f96b0d9 Mon Sep 17 00:00:00 2001
From: balaskoa <Jeno.Balasko@ericsson.com>
Date: Mon, 4 Nov 2019 13:54:40 +0100
Subject: [PATCH] Compatibility in Value redirectin between indexed integer
field and record integer field
Signed-off-by: balaskoa <Jeno.Balasko@ericsson.com>
Change-Id: Iea1cbfa91473f6db0c52abac892c406278b46042
---
regression_test/typeCompat/Compat.ttcn | 27 ++++++++++++++++++++++++++
1 file changed, 27 insertions(+)
diff --git a/regression_test/typeCompat/Compat.ttcn b/regression_test/typeCompat/Compat.ttcn
index a3c983402..f5e68dadc 100644
--- a/regression_test/typeCompat/Compat.ttcn
+++ b/regression_test/typeCompat/Compat.ttcn
@@ -278,6 +278,33 @@ testcase tc_MsgPortOps() runs on Empty system Empty {
disconnect(self:P, self:Q)
}
+testcase tc_MsgPortOps_idx() runs on Empty system Empty {
+ var myrec1 rec1 := { 1, 2 }
+ var intlist4 il4 := { 1, 2 }
+
+ connect(self:P, self:Q)
+ timer MyTimer := 0.5
+ MyTimer.start
+ P.send(il4[0])
+ alt {
+ [] Q.receive(il4[0]) -> value rec1.f1 { //<<<<<<====Wrong java/cpp code will be generated from This line
+ if (rec1.f1 == 1) { setverdict(pass) } else { setverdict(fail) }
+ MyTimer.stop;
+ }
+ [] MyTimer.timeout { setverdict(inconc) }
+ }
+
+ MyTimer.start
+ P.send(il4[1])
+ alt {
+ [] Q.receive(il4[1]) -> value rec1.f2 {
+ if (rec1.f2 == 2) { setverdict(pass) } else { setverdict(fail) }
+ MyTimer.stop;
+ }
+ [] MyTimer.timeout { setverdict(inconc) }
+ }
+}
+
testcase tc_ProcPortOps() runs on Empty {
connect(self:X, self:X);
var intlist4 v_il4;
--
GitLab