Fix: Adding submodel ctcs in FlatFM transformation

Author: jmhorcas

flamapy/metamodels/fm_metamodel/transformations/flat_fm.py

@@ -39,13 +39,21 @@ def transform(self) -> FeatureModel:
                 # Copy the feature's attributes and relations from the referenced feature
                 feature.relations = feature.reference.relations
                 feature.attributes.extend(feature.reference.attributes)
+                # Process attribute constraints
+                feature.constraints_attributes.extend(feature.reference.constraints_attributes)
+                process_attribute_constraints(feature.reference,
+                                              new_feature_model.alias_namespace,
+                                              self._maintain_namespaces)
                 if not self._maintain_namespaces:
                     feature.name = feature.reference.name
                 else:
                     namespace = '.'.join(feature.name.split('.')[:-1])
                     put_namespace_to_features(feature.reference, namespace)
                 feature.reference = None  # Clear reference after copying
             features.extend(feature.get_children())
+        # Add contraints from imported models
+        for imported_fm in self.feature_model.imports.values():
+            new_feature_model.ctcs.extend(imported_fm.ctcs)
         if not self._maintain_namespaces:
             for ctcs in new_feature_model.ctcs:
                 process_namespace_constraint(ctcs.ast, new_feature_model.alias_namespace)
@@ -63,6 +71,20 @@ def put_namespace_to_features(root: Feature, namespace: str) -> None:
         features.extend(feature.get_children())
 
 
+def process_attribute_constraints(root: Feature,
+                                  alias_namespace: dict[str, str],
+                                  maintain_namespaces: bool) -> None:
+    """Put the namespace to the constraints of the attributes constraints and return them to
+    incorporate in the new feature model."""
+    features = [root]
+    while features:
+        feature = features.pop()
+        for ctc in feature.constraints_attributes:
+            if not maintain_namespaces:
+                process_namespace_constraint(ctc.ast, alias_namespace)
+        features.extend(feature.get_children())
+
+
 def process_namespace_constraint(ast: AST, alias_namespace: dict[str, str]) -> None:
     """Replace the namespace of the features in the constraints."""
     stack = [ast.root]