feat: VariationDiff::computeAllFeatureNames()

Author: pmbittner

src/main/java/org/variantsync/diffdetective/variation/diff/VariationDiff.java

@@ -24,6 +24,7 @@
 import org.variantsync.diffdetective.variation.diff.traverse.VariationDiffTraversal;
 import org.variantsync.diffdetective.variation.diff.traverse.VariationDiffVisitor;
 import org.variantsync.diffdetective.variation.tree.VariationTree;
+import org.variantsync.diffdetective.util.fide.FixTrueFalse;
 import org.variantsync.functjonal.Cast;
 import org.variantsync.functjonal.Result;
 
@@ -34,8 +35,10 @@
 import java.nio.file.Path;
 import java.util.ArrayList;
 import java.util.HashMap;
+import java.util.HashSet;
 import java.util.List;
 import java.util.Map;
+import java.util.Set;
 import java.util.concurrent.atomic.AtomicBoolean;
 import java.util.concurrent.atomic.AtomicInteger;
 import java.util.function.Consumer;
@@ -374,6 +377,24 @@ public int count(final Predicate<DiffNode<L>> nodesToCount) {
         return count.get();
     }
 
+
+    /**
+     * Returns all variable names occurring in annotations (i.e., formulas of mapping nodes) in this variation diff.
+     * @return A set of every occuring feature name.
+     */
+    public Set<String> computeAllFeatureNames() {
+        Set<String> features = new HashSet<>();
+        forAll(node -> {
+                if (node.isConditionalAnnotation()) {
+                    features.addAll(node.getFormula().getUniqueContainedFeatures());
+                }
+            });
+        // Since FeatureIDE falsely reports constants "True" and "False" as feature names, we have to remove them from the resulting set.
+        features.removeIf(FixTrueFalse::isTrueLiteral);
+        features.removeIf(FixTrueFalse::isFalseLiteral);
+        return features;
+    }
+
     /**
      * Sets the source of this VariationDiff.
      * @see VariationDiffSource