Uses of Interface
org.variantsync.diffdetective.feature.PropositionalFormulaParser

Packages that use PropositionalFormulaParser

Package	Description
org.variantsync.diffdetective.feature

Uses of PropositionalFormulaParser in org.variantsync.diffdetective.feature

Fields in org.variantsync.diffdetective.feature declared as PropositionalFormulaParser

Modifier and Type	Field	Description
static final PropositionalFormulaParser	PropositionalFormulaParser.Default	Default parser that uses the NodeReader from FeatureIDE and uses its java symbols to match operators.
private final PropositionalFormulaParser	PreprocessorAnnotationParser.formulaParser

Methods in org.variantsync.diffdetective.feature with parameters of type PropositionalFormulaParser

Modifier and Type	Method	Description
static PreprocessorAnnotationParser	PreprocessorAnnotationParser.CreateCppAnnotationParser(PropositionalFormulaParser formulaParser, DiffLineFormulaExtractor formulaExtractor)	Creates a new preprocessor annotation parser for C preprocessor annotations.
static PreprocessorAnnotationParser	PreprocessorAnnotationParser.CreateJppAnnotationParser(PropositionalFormulaParser formulaParser, DiffLineFormulaExtractor formulaExtractor)	Creates a new preprocessor annotation parser for JavaPP (Java PreProcessor) annotations.

Constructors in org.variantsync.diffdetective.feature with parameters of type PropositionalFormulaParser

Modifier	Constructor	Description
	PreprocessorAnnotationParser(Pattern annotationPattern, PropositionalFormulaParser formulaParser, DiffLineFormulaExtractor formulaExtractor)	Creates a new preprocessor annotation parser.