flamapy-z3 2.6.0.dev5__tar.gz → 2.6.0.dev11__tar.gz

{flamapy_z3-2.6.0.dev5 → flamapy_z3-2.6.0.dev11}/PKG-INFO

@@ -1,14 +1,14 @@
 Metadata-Version: 2.4
 Name: flamapy-z3
-Version: 2.6.0.dev5
+Version: 2.6.0.dev11
 Summary: z3-plugin for the automated analysis of feature models
 Author-email: Flamapy <flamapy@us.es>
 License-Expression: GPL-3.0-or-later
 Project-URL: Homepage, https://github.com/flamapy/z3_metamodel
 Requires-Python: >=3.11
 Description-Content-Type: text/markdown
-Requires-Dist: flamapy-fw~=2.6.0.dev5
-Requires-Dist: flamapy-fm~=2.6.0.dev5
+Requires-Dist: flamapy-fw~=2.6.0.dev11
+Requires-Dist: flamapy-fm~=2.6.0.dev11
 Requires-Dist: z3-solver~=4.14.1.0
 Provides-Extra: dev
 Requires-Dist: pytest; extra == "dev"

{flamapy_z3-2.6.0.dev5 → flamapy_z3-2.6.0.dev11}/flamapy/metamodels/z3_metamodel/operations/z3_all_feature_bounds.py

@@ -3,6 +3,7 @@ from typing import Any, cast
 
 from flamapy.core.models import VariabilityModel
 from flamapy.core.operations import Operation
+from flamapy.core.operations.descriptor import OperationDescriptor
 from flamapy.metamodels.z3_metamodel.models import Z3Model
 from flamapy.metamodels.z3_metamodel.operations import Z3FeatureBounds
 from flamapy.metamodels.fm_metamodel.models import FeatureType
@@ -16,6 +17,16 @@ class Z3AllFeatureBounds(Operation):
     (Integer, Real, String length) in the Z3 model.
     """
 
+    facade = OperationDescriptor(
+        doc=(
+            'Returns the value bounds for all typed (Integer, Real, String) attribute\n'
+            "features in the model. Each entry maps a feature name to a dict with 'min',\n"
+            "'max', and 'bounded' keys. Requires the z3 metamodel plugin."
+        ),
+        returns='Union[None, Dict[str, Dict[str, Any]]]',
+        name='all_feature_bounds', operation='Z3AllFeatureBounds', default_backend='z3'
+    )
+
     def __init__(self) -> None:
         # El resultado será un diccionario donde la clave es el nombre de la variable
         # y el valor es el diccionario de bounds (min, max, bounded).

{flamapy_z3-2.6.0.dev5 → flamapy_z3-2.6.0.dev11}/flamapy/metamodels/z3_metamodel/operations/z3_feature_bounds.py

@@ -5,6 +5,7 @@ import z3
 
 from flamapy.core.models import VariabilityModel
 from flamapy.core.operations import Operation
+from flamapy.core.operations.descriptor import OperationDescriptor, Input
 from flamapy.metamodels.z3_metamodel.models import Z3Model
 from flamapy.metamodels.fm_metamodel.models import FeatureType
 
@@ -20,6 +21,17 @@ class Z3FeatureBounds(Operation):
     and the length bounds (min_len/max_len) for string features, with safety checks.
     """
 
+    facade = OperationDescriptor(
+        doc=(
+            'Returns the value bounds for a specific typed attribute feature. The result\n'
+            "dict contains 'min', 'max', and 'bounded' keys. Requires the z3 metamodel\n"
+            'plugin.'
+        ),
+        returns='Union[None, Dict[str, Any]]',
+        name='feature_bounds', operation='Z3FeatureBounds', default_backend='z3',
+        inputs=(Input('variable_name', str, required=True, setter='set_variable_name'),),
+    )
+
     def __init__(self) -> None:
         self._result: dict[str, Any] = {}
         self._variable_name: Optional[str] = None

{flamapy_z3-2.6.0.dev5 → flamapy_z3-2.6.0.dev11}/flamapy_z3.egg-info/PKG-INFO

@@ -1,14 +1,14 @@
 Metadata-Version: 2.4
 Name: flamapy-z3
-Version: 2.6.0.dev5
+Version: 2.6.0.dev11
 Summary: z3-plugin for the automated analysis of feature models
 Author-email: Flamapy <flamapy@us.es>
 License-Expression: GPL-3.0-or-later
 Project-URL: Homepage, https://github.com/flamapy/z3_metamodel
 Requires-Python: >=3.11
 Description-Content-Type: text/markdown
-Requires-Dist: flamapy-fw~=2.6.0.dev5
-Requires-Dist: flamapy-fm~=2.6.0.dev5
+Requires-Dist: flamapy-fw~=2.6.0.dev11
+Requires-Dist: flamapy-fm~=2.6.0.dev11
 Requires-Dist: z3-solver~=4.14.1.0
 Provides-Extra: dev
 Requires-Dist: pytest; extra == "dev"

{flamapy_z3-2.6.0.dev5 → flamapy_z3-2.6.0.dev11}/flamapy_z3.egg-info/requires.txt

@@ -1,5 +1,5 @@
-flamapy-fw~=2.6.0.dev5
-flamapy-fm~=2.6.0.dev5
+flamapy-fw~=2.6.0.dev11
+flamapy-fm~=2.6.0.dev11
 z3-solver~=4.14.1.0
 
 [dev]

{flamapy_z3-2.6.0.dev5 → flamapy_z3-2.6.0.dev11}/pyproject.toml

@@ -4,15 +4,15 @@ build-backend = "setuptools.build_meta"
 
 [project]
 name = "flamapy-z3"
-version = "2.6.0.dev5"
+version = "2.6.0.dev11"
 description = "z3-plugin for the automated analysis of feature models"
 readme = "README.md"
 license = "GPL-3.0-or-later"
 authors = [{ name = "Flamapy", email = "flamapy@us.es" }]
 requires-python = ">=3.11"
 dependencies = [
-    "flamapy-fw~=2.6.0.dev5",
-    "flamapy-fm~=2.6.0.dev5",
+    "flamapy-fw~=2.6.0.dev11",
+    "flamapy-fm~=2.6.0.dev11",
     "z3-solver~=4.14.1.0",
 ]