Arreglado propiedades compatibles con el modelo clafer, arreglado un …

…error de FeatureIDE (ahora muestra si una feature es abstract)
CAOSD-group · Feb 5, 2024 · 98474e0 · 98474e0
1 parent 353dd47
commit 98474e0
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 2 deletions.
diff --git a/rhea-backend/rhea/fm_tools/fm_tool_info.py b/rhea-backend/rhea/fm_tools/fm_tool_info.py
@@ -86,12 +86,13 @@ def get_tools_info() -> list[FMToolInfo]:
                                     lc.LCPseudoComplexConstraint,
                                     lc.LCStrictComplexConstraint]))
     tools.append(FMToolInfo('Clafer', 'txt', [lc.LCFeature,
-                                    lc.LCNonUniqueFeature,
                                     lc.LCAbstractFeature,
                                     lc.LCOptionalFeature,
                                     lc.LCMandatoryFeature,
                                     lc.LCOrGroupFeature,
                                     lc.LCXorGroupFeature,
+                                    lc.LCMutexGroupFeature,
+                                    lc.LCCardinalityGroupFeature,
                                     lc.LCConstraint,
                                     lc.LCRequiresConstraint,
                                     lc.LCExcludesConstraint,

diff --git a/rhea-backend/rhea/metamodels/fm_metamodel/transformations/__init__.py b/rhea-backend/rhea/metamodels/fm_metamodel/transformations/__init__.py
@@ -8,5 +8,5 @@
 __all__ = ['GlencoeReader',
            'JSONReader',
            'JSONWriter',
-           'FeatureIDEWriter'
+           'FeatureIDEWriter',
            'ClaferWriter']
diff --git a/rhea-backend/rhea/metamodels/fm_metamodel/transformations/featureide_writer.py b/rhea-backend/rhea/metamodels/fm_metamodel/transformations/featureide_writer.py
@@ -66,6 +66,7 @@ def _create_tree(parentElement: Element, relations: list[Relation]):
 def _get_attributes(feature: Feature):
     atributes = {}
     if feature.is_mandatory(): atributes['mandatory'] ='true'
+    if feature.is_abstract: atributes['abstract'] ='true'
     atributes['name'] = feature.name
     return atributes