Merge pull request #155 from VariantSync/improve-boolean-abstraction

Improve boolean abstraction

Author: pmbittner

src/main/java/org/variantsync/diffdetective/datasets/predefined/Marlin.java

@@ -3,7 +3,6 @@
 import org.variantsync.diffdetective.datasets.PatchDiffParseOptions;
 import org.variantsync.diffdetective.datasets.Repository;
 import org.variantsync.diffdetective.feature.PreprocessorAnnotationParser;
-import org.variantsync.diffdetective.feature.PropositionalFormulaParser;
 
 import java.nio.file.Path;
 
@@ -15,7 +14,6 @@
 public class Marlin {
     public static final PreprocessorAnnotationParser ANNOTATION_PARSER =
             PreprocessorAnnotationParser.CreateCppAnnotationParser(
-                    PropositionalFormulaParser.Default,
                     new MarlinCPPDiffLineFormulaExtractor()
             );
 

…ncheckedUnParseableFormulaException.java …ncheckedUnparseableFormulaException.javasrc/main/java/org/variantsync/diffdetective/error/UncheckedUnParseableFormulaException.java renamed to src/main/java/org/variantsync/diffdetective/error/UncheckedUnparseableFormulaException.java src/main/java/org/variantsync/diffdetective/error/UncheckedUnParseableFormulaException.java renamed to src/main/java/org/variantsync/diffdetective/error/UncheckedUnparseableFormulaException.java

@@ -3,10 +3,10 @@
 /**
  * Runtime exception for cases in which a formula extracted from a diff cannot be parsed.
  */
-public class UncheckedUnParseableFormulaException extends RuntimeException {
+public class UncheckedUnparseableFormulaException extends RuntimeException {
     final UnparseableFormulaException inner;
 
-    public UncheckedUnParseableFormulaException(String message, Exception e) {
+    public UncheckedUnparseableFormulaException(String message, Exception e) {
         super(message, e);
         inner = new UnparseableFormulaException(message, e);
     }