Package org.variantsync.diffdetective.feature
package org.variantsync.diffdetective.feature
-
ClassDescriptionAbstractingFormulaExtractor is an abstract class that extracts a formula from text containing a conditional annotation, and then abstracts the formula using the custom
AbstractingFormulaExtractor.abstractFormula(String)implementation of its subclass.Interface for a parser that analyzes annotations in parsed text.AnnotationType is an enum that describes whether a piece of text marks the start of an annotation, the end of an annotation, or no annotation at all.Boolean abstraction for conditions in preprocessor macros.Interface for extracting a formula from a line containing an annotation.A ParseErrorListener listens to syntactical errors discovered by an ANTLR parser while parsing a text.A parser of preprocessor-like annotations.A parser that parses propositional formula's from text toNodes.