serialization of formulas for use in cpp annotations

Author: pmbittner

src/main/java/org/variantsync/vevos/simulation/io/kernelhaven/ArtefactCSVExporter.java

@@ -59,9 +59,9 @@ public CSV export() {
     private String[] toRow(final LineBasedAnnotation annotation) {
         final String[] row = makeRow();
         row[0] = currentFile.getFile().toString();
-        row[1] = FormulaUtils.toString(currentFile.getPresenceCondition(), NodeWriter.javaSymbols);
-        row[2] = FormulaUtils.toString(annotation.getFeatureMapping(), NodeWriter.javaSymbols);
-        row[3] = FormulaUtils.toString(annotation.getPresenceCondition(), NodeWriter.javaSymbols);
+        row[1] = FormulaUtils.toFormulaString(currentFile.getPresenceCondition(), NodeWriter.javaSymbols);
+        row[2] = FormulaUtils.toFormulaString(annotation.getFeatureMapping(), NodeWriter.javaSymbols);
+        row[3] = FormulaUtils.toFormulaString(annotation.getPresenceCondition(), NodeWriter.javaSymbols);
         row[4] = "" + annotation.getLineFrom();
         // -1 because Kernelhaven stores annotations as [#if, #endif) intervals, so we have to point one line before the annotation end (#endif).
         row[5] = "" + (annotation.getLineTo() - (annotation.isMacro() ? 1 : 0));

src/main/java/org/variantsync/vevos/simulation/util/fide/FormulaUtils.java

@@ -103,10 +103,21 @@ public static Node replaceAllInplace(final Node root, final Predicate<Node> who,
         }
     }
 
-    public static String toString(Node formula, final String[] symbols) {
+    /**
+     * Serializes the given formula to a string usable in C preprocessor conditions.
+     * True and false will be converted to 1 and 0, respectively.
+     * Variables will be wrapped in a defined expression.
+     * @see FixTrueFalse#TrueAs1
+     * @see FixTrueFalse#FalseAs0
+     */
+    public static String toCPPString(Node formula, final String[] symbols) {
         formula = replaceAll(formula, FixTrueFalse::isTrue, n -> FixTrueFalse.TrueAs1);
         formula = replaceAllInplace(formula, FixTrueFalse::isFalse, n -> FixTrueFalse.FalseAs0);
+        formula = replaceAllInplace(formula, FixTrueFalse::isVariable, n -> new Literal("defined(" + n.toString() + ")"));
+        return toFormulaString(formula, symbols);
+    }
 
+    public static String toFormulaString(Node formula, final String[] symbols) {
         final NodeWriter writer = new NodeWriter(formula);
         writer.setNotation(NodeWriter.Notation.INFIX);
         writer.setEnquoteWhitespace(false);

src/main/java/org/variantsync/vevos/simulation/util/fide/bugfix/FixTrueFalse.java

@@ -50,6 +50,13 @@ public static boolean isFalse(final Node n) {
         return n instanceof Literal l && isFalseLiteral(l);
     }
 
+    /**
+     * @return True iff the given formula is a literal that neither {@link #isTrue} nor {@link #isFalse}.
+     */
+    public static boolean isVariable(final Node n) {
+        return n instanceof Literal l && !isTrueLiteral(l) && !isFalseLiteral(l);
+    }
+
     /**
      * @return True iff the given name represents the atomic value true w.r.t. the constant TrueNames.
      */

src/main/java/org/variantsync/vevos/simulation/variability/pc/variantlines/VariantAnnotation.java

@@ -17,7 +17,7 @@ public List<String> project(final VariantGenerationOptions projectionOptions, fi
         final List<String> result = new ArrayList<>();
 
         if (projectionOptions.withMacros()) {
-            result.add("#if " + FormulaUtils.toString(condition, NodeWriter.javaSymbols));
+            result.add("#if " + FormulaUtils.toCPPString(condition, NodeWriter.javaSymbols));
         }
 
         for (final VariantLineChunk child : lines) {