flamapy-fw 2.5.0.dev0__tar.gz → 2.6.0.dev0__tar.gz

flamapy_fw-2.6.0.dev0/PKG-INFO

@@ -0,0 +1,32 @@
+Metadata-Version: 2.4
+Name: flamapy-fw
+Version: 2.6.0.dev0
+Summary: Flamapy is a Python-based AAFM framework that takes into consideration previous AAFM tool designs and enables multi-solver and multi-metamodel support for the integration of AAFM tooling on the Python ecosystem.
+Author-email: Flamapy <flamapy@us.es>
+License-Expression: GPL-3.0-or-later
+Project-URL: Homepage, https://github.com/flamapy/core
+Requires-Python: >=3.9
+Description-Content-Type: text/markdown
+License-File: LICENSE
+Provides-Extra: dev
+Requires-Dist: pytest; extra == "dev"
+Requires-Dist: pytest-mock; extra == "dev"
+Requires-Dist: prospector; extra == "dev"
+Requires-Dist: mypy; extra == "dev"
+Requires-Dist: coverage; extra == "dev"
+Dynamic: license-file
+
+# flamapy-fw
+
+The core framework of [flamapy](https://flamapy.org): the plugin-discovery
+mechanism and the base classes (operations, transformations, variability models)
+that every flamapy metamodel plugin builds on. It contains no analysis logic by
+itself.
+
+**Documentation:** https://docs.flamapy.org/framework
+
+## Installation
+
+```bash
+pip install flamapy-fw
+```

flamapy_fw-2.6.0.dev0/README.md

@@ -0,0 +1,14 @@
+# flamapy-fw
+
+The core framework of [flamapy](https://flamapy.org): the plugin-discovery
+mechanism and the base classes (operations, transformations, variability models)
+that every flamapy metamodel plugin builds on. It contains no analysis logic by
+itself.
+
+**Documentation:** https://docs.flamapy.org/framework
+
+## Installation
+
+```bash
+pip install flamapy-fw
+```

flamapy_fw-2.6.0.dev0/flamapy/core/models/__init__.py

@@ -0,0 +1,4 @@
+from .variability_model import VariabilityModel, VariabilityElement  # pylint: disable=cyclic-import
+from .ast import AST, ASTOperation, NodeType  # pylint: disable=cyclic-import
+
+__all__ = ["AST", "ASTOperation", "NodeType", "VariabilityElement", "VariabilityModel"]

{flamapy_fw-2.5.0.dev0 → flamapy_fw-2.6.0.dev0}/flamapy/core/models/ast.py

@@ -1,4 +1,4 @@
-from typing import Any
+from typing import Any, Optional
 from enum import Enum
 
 
@@ -69,11 +69,25 @@ AGGREGATION_OPERATORS = [
 ]
 
 
+class NodeType(Enum):
+    """Semantic type of a leaf node in the AST."""
+    FEATURE = "Feature"
+    LITERAL = "Literal"
+    OPERATOR = "Operator"
+
+
 class Node:
-    def __init__(self, data: Any, left: "Node" = None, right: "Node" = None):  # type: ignore
+    def __init__(
+        self,
+        data: Any,
+        left: "Node" = None,  # type: ignore[assignment]
+        right: "Node" = None,  # type: ignore[assignment]
+        node_type: Optional[NodeType] = None,
+    ):
         self.data = data
         self.left = left
         self.right = right
+        self.node_type = node_type
 
     def is_term(self) -> bool:
         return not self.is_op()
@@ -93,6 +107,19 @@ class Node:
     def is_aggregate_op(self) -> bool:
         return self.is_op() and self.data in AGGREGATION_OPERATORS
 
+    def is_feature(self) -> bool:
+        """Return True if this node is explicitly marked as a feature reference."""
+        return self.node_type == NodeType.FEATURE
+
+    def is_literal(self) -> bool:
+        """Return True if this node is a literal value (not a feature reference).
+
+        Falls back to a type-based check for nodes without an explicit node_type.
+        """
+        if self.node_type is not None:
+            return self.node_type == NodeType.LITERAL
+        return isinstance(self.data, (int, float))
+
     def __str__(self) -> str:
         data = self.data.value if self.is_op() else str(self.data)
         if self.left and self.right:

flamapy_fw-2.6.0.dev0/flamapy_fw.egg-info/PKG-INFO

@@ -0,0 +1,32 @@
+Metadata-Version: 2.4
+Name: flamapy-fw
+Version: 2.6.0.dev0
+Summary: Flamapy is a Python-based AAFM framework that takes into consideration previous AAFM tool designs and enables multi-solver and multi-metamodel support for the integration of AAFM tooling on the Python ecosystem.
+Author-email: Flamapy <flamapy@us.es>
+License-Expression: GPL-3.0-or-later
+Project-URL: Homepage, https://github.com/flamapy/core
+Requires-Python: >=3.9
+Description-Content-Type: text/markdown
+License-File: LICENSE
+Provides-Extra: dev
+Requires-Dist: pytest; extra == "dev"
+Requires-Dist: pytest-mock; extra == "dev"
+Requires-Dist: prospector; extra == "dev"
+Requires-Dist: mypy; extra == "dev"
+Requires-Dist: coverage; extra == "dev"
+Dynamic: license-file
+
+# flamapy-fw
+
+The core framework of [flamapy](https://flamapy.org): the plugin-discovery
+mechanism and the base classes (operations, transformations, variability models)
+that every flamapy metamodel plugin builds on. It contains no analysis logic by
+itself.
+
+**Documentation:** https://docs.flamapy.org/framework
+
+## Installation
+
+```bash
+pip install flamapy-fw
+```

{flamapy_fw-2.5.0.dev0 → flamapy_fw-2.6.0.dev0}/pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "setuptools.build_meta"
 
 [project]
 name = "flamapy-fw"
-version = "2.5.0.dev0"
+version = "2.6.0.dev0"
 description = "Flamapy is a Python-based AAFM framework that takes into consideration previous AAFM tool designs and enables multi-solver and multi-metamodel support for the integration of AAFM tooling on the Python ecosystem."
 readme = "README.md"
 license = "GPL-3.0-or-later"

flamapy_fw-2.5.0.dev0/PKG-INFO

@@ -1,43 +0,0 @@
-Metadata-Version: 2.4
-Name: flamapy-fw
-Version: 2.5.0.dev0
-Summary: Flamapy is a Python-based AAFM framework that takes into consideration previous AAFM tool designs and enables multi-solver and multi-metamodel support for the integration of AAFM tooling on the Python ecosystem.
-Author-email: Flamapy <flamapy@us.es>
-License-Expression: GPL-3.0-or-later
-Project-URL: Homepage, https://github.com/flamapy/core
-Requires-Python: >=3.9
-Description-Content-Type: text/markdown
-License-File: LICENSE
-Provides-Extra: dev
-Requires-Dist: pytest; extra == "dev"
-Requires-Dist: pytest-mock; extra == "dev"
-Requires-Dist: prospector; extra == "dev"
-Requires-Dist: mypy; extra == "dev"
-Requires-Dist: coverage; extra == "dev"
-Dynamic: license-file
-
-# Flamapy
-Flamapy is a Python-based AAFM framework that takes into consideration previous AAFM tool designs and enables multi-solver and multi-metamodel support for the integration of AAFM tooling on the Python ecosystem.
-
-The main features of the framework are:
-* Easy to extend by enabling the creation of new plugins following a semi-automatic generator approach.
-* Support multiple variability models. Currently, it provides support for cardinality-based feature models. However, it is easy to integrate others such as attributed feature models
-* Support multiple solvers. Currently, it provides support for the PySAT metasolver, which enables more than ten different solvers.
-* Support multiple operations. It is developed, having in mind multi-model operations such as those depicted by Familiar  and single-model operations.
-
-## Available plugins
-[flamapy](https://github.com/flamapy/flamapy). This is a meta-package that installs all plugins for feature modelling analysis and the CLI and Python interfaces. 
-[flamapy-fm](https://github.com/flamapy/fm_metamodel) This is a plugin that provides support for feature modelling. Include several readers/writers from different formats.
-[flamapy-sat](https://github.com/flamapy/pysat_metamodel) This plugin enable different analysis operations that require sat as backend.
-[flamapy-bdd](https://github.com/flamapy/bdd_metamodel) This plugin enable different analysis operations that require bdd as backend. 
-
-## Documentation
-
-All the proyect related documentation can be found in wiki format at [the tool website](https://flamapy.github.io/)
-
-## Changelog
-Detailed changes for each release are documented in the [release notes](https://github.com/diverso-lab/core/releases)
-
-## Contributing
-
-See [CONTRIBUTING.md](https://github.com/diverso-lab/core/blob/master/CONTRIBUTING.md)

flamapy_fw-2.5.0.dev0/README.md

@@ -1,25 +0,0 @@
-# Flamapy
-Flamapy is a Python-based AAFM framework that takes into consideration previous AAFM tool designs and enables multi-solver and multi-metamodel support for the integration of AAFM tooling on the Python ecosystem.
-
-The main features of the framework are:
-* Easy to extend by enabling the creation of new plugins following a semi-automatic generator approach.
-* Support multiple variability models. Currently, it provides support for cardinality-based feature models. However, it is easy to integrate others such as attributed feature models
-* Support multiple solvers. Currently, it provides support for the PySAT metasolver, which enables more than ten different solvers.
-* Support multiple operations. It is developed, having in mind multi-model operations such as those depicted by Familiar  and single-model operations.
-
-## Available plugins
-[flamapy](https://github.com/flamapy/flamapy). This is a meta-package that installs all plugins for feature modelling analysis and the CLI and Python interfaces. 
-[flamapy-fm](https://github.com/flamapy/fm_metamodel) This is a plugin that provides support for feature modelling. Include several readers/writers from different formats.
-[flamapy-sat](https://github.com/flamapy/pysat_metamodel) This plugin enable different analysis operations that require sat as backend.
-[flamapy-bdd](https://github.com/flamapy/bdd_metamodel) This plugin enable different analysis operations that require bdd as backend. 
-
-## Documentation
-
-All the proyect related documentation can be found in wiki format at [the tool website](https://flamapy.github.io/)
-
-## Changelog
-Detailed changes for each release are documented in the [release notes](https://github.com/diverso-lab/core/releases)
-
-## Contributing
-
-See [CONTRIBUTING.md](https://github.com/diverso-lab/core/blob/master/CONTRIBUTING.md)

flamapy_fw-2.5.0.dev0/flamapy/core/models/__init__.py

@@ -1,4 +0,0 @@
-from .variability_model import VariabilityModel, VariabilityElement  # pylint: disable=cyclic-import
-from .ast import AST, ASTOperation  # pylint: disable=cyclic-import
-
-__all__ = ["AST", "ASTOperation", "VariabilityElement", "VariabilityModel"]

flamapy_fw-2.5.0.dev0/flamapy_fw.egg-info/PKG-INFO

@@ -1,43 +0,0 @@
-Metadata-Version: 2.4
-Name: flamapy-fw
-Version: 2.5.0.dev0
-Summary: Flamapy is a Python-based AAFM framework that takes into consideration previous AAFM tool designs and enables multi-solver and multi-metamodel support for the integration of AAFM tooling on the Python ecosystem.
-Author-email: Flamapy <flamapy@us.es>
-License-Expression: GPL-3.0-or-later
-Project-URL: Homepage, https://github.com/flamapy/core
-Requires-Python: >=3.9
-Description-Content-Type: text/markdown
-License-File: LICENSE
-Provides-Extra: dev
-Requires-Dist: pytest; extra == "dev"
-Requires-Dist: pytest-mock; extra == "dev"
-Requires-Dist: prospector; extra == "dev"
-Requires-Dist: mypy; extra == "dev"
-Requires-Dist: coverage; extra == "dev"
-Dynamic: license-file
-
-# Flamapy
-Flamapy is a Python-based AAFM framework that takes into consideration previous AAFM tool designs and enables multi-solver and multi-metamodel support for the integration of AAFM tooling on the Python ecosystem.
-
-The main features of the framework are:
-* Easy to extend by enabling the creation of new plugins following a semi-automatic generator approach.
-* Support multiple variability models. Currently, it provides support for cardinality-based feature models. However, it is easy to integrate others such as attributed feature models
-* Support multiple solvers. Currently, it provides support for the PySAT metasolver, which enables more than ten different solvers.
-* Support multiple operations. It is developed, having in mind multi-model operations such as those depicted by Familiar  and single-model operations.
-
-## Available plugins
-[flamapy](https://github.com/flamapy/flamapy). This is a meta-package that installs all plugins for feature modelling analysis and the CLI and Python interfaces. 
-[flamapy-fm](https://github.com/flamapy/fm_metamodel) This is a plugin that provides support for feature modelling. Include several readers/writers from different formats.
-[flamapy-sat](https://github.com/flamapy/pysat_metamodel) This plugin enable different analysis operations that require sat as backend.
-[flamapy-bdd](https://github.com/flamapy/bdd_metamodel) This plugin enable different analysis operations that require bdd as backend. 
-
-## Documentation
-
-All the proyect related documentation can be found in wiki format at [the tool website](https://flamapy.github.io/)
-
-## Changelog
-Detailed changes for each release are documented in the [release notes](https://github.com/diverso-lab/core/releases)
-
-## Contributing
-
-See [CONTRIBUTING.md](https://github.com/diverso-lab/core/blob/master/CONTRIBUTING.md)