From 75a788150b90d7475710be4984898f4c821c9cfc Mon Sep 17 00:00:00 2001
From: Tobias Reiher <reiher@adacore.com>
Date: Tue, 27 Aug 2024 16:24:25 +0200
Subject: [PATCH] Rename function in code generator

Ref. eng/recordflux/RecordFlux!1658
---
 rflx/generator/common.py  | 4 ++--
 rflx/generator/message.py | 4 ++--
 rflx/generator/parser.py  | 6 +++++-
 3 files changed, 9 insertions(+), 5 deletions(-)

diff --git a/rflx/generator/common.py b/rflx/generator/common.py
index 241051f4a..7e039de52 100644
--- a/rflx/generator/common.py
+++ b/rflx/generator/common.py
@@ -775,7 +775,7 @@ def field_condition_call(
         [
             Variable("Ctx"),
             Variable(package * field.affixed_name),
-            *([value] if has_value_dependent_condition(message) else []),
+            *([value] if has_scalar_value_dependent_condition(message) else []),
             *([aggregate] if has_aggregate_dependent_condition(message) else []),
             *([size] if has_size_dependent_condition(message, field) else []),
         ],
@@ -820,7 +820,7 @@ def contains_function_name(refinement_package: ID, pdu: ID, sdu: ID, field: ID)
     return f"{sdu_name.flat}_In_{pdu_name.flat}_{field}"
 
 
-def has_value_dependent_condition(message: model.Message) -> bool:
+def has_scalar_value_dependent_condition(message: model.Message) -> bool:
     return any(
         True
         for l in message.structure
diff --git a/rflx/generator/message.py b/rflx/generator/message.py
index 124da33bf..cc697a023 100644
--- a/rflx/generator/message.py
+++ b/rflx/generator/message.py
@@ -2198,7 +2198,7 @@ def condition(field: Field, message: Message) -> Expr:
         Parameter(["Fld"], "Field"),
         *(
             [Parameter(["Val"], const.TYPES_BASE_INT)]
-            if common.has_value_dependent_condition(message)
+            if common.has_scalar_value_dependent_condition(message)
             else []
         ),
         *(
@@ -2235,7 +2235,7 @@ def condition(field: Field, message: Message) -> Expr:
                                         [Variable("Fld"), Variable("Val")],
                                     ),
                                 ]
-                                if common.has_value_dependent_condition(message)
+                                if common.has_scalar_value_dependent_condition(message)
                                 else []
                             ),
                             Call(
diff --git a/rflx/generator/parser.py b/rflx/generator/parser.py
index f71215111..7dba035cb 100644
--- a/rflx/generator/parser.py
+++ b/rflx/generator/parser.py
@@ -252,7 +252,11 @@ def create_verify_procedure(
                 [
                     Variable("Ctx"),
                     Variable("Fld"),
-                    *([Variable("Value")] if common.has_value_dependent_condition(message) else []),
+                    *(
+                        [Variable("Value")]
+                        if common.has_scalar_value_dependent_condition(message)
+                        else []
+                    ),
                     *(
                         [
                             Slice(