Package org.variantsync.diffdetective.feature

Class BooleanAbstraction

java.lang.Object

org.variantsync.diffdetective.feature.BooleanAbstraction

public class BooleanAbstraction
extends Object

Boolean abstraction for conditions in preprocessor macros. Boolean abstraction heuristically reduces expressions in higher-order logic (e.g., including arithmetics of function calls) to a propositional formula. Non-boolean expressions are replaced by respectively named variables.

Author:

Paul Bittner

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
private static final record	BooleanAbstraction.Replacement

Field Summary

Fields

Modifier and Type	Field	Description
static final String	ADD	Abstraction value for additions +.
static final String	AND	Abstraction value for bitwise and &.
static final String	AND_ASSIGN	Abstraction value for 'and' assign operator &=.
static final String	ASSIGN	Abstraction value for assign operator =.
static final String	BRACKET_L	Abstraction value for opening brackets (.
static final String	BRACKET_R	Abstraction value for closing brackets ).
static final String	BSLASH	Abstraction value for backslash \.
static final String	COLON	Abstraction value for the alternative of the ternary operator :, or just colons.
static final String	DEFINED	Abstraction value for defined operator defined.
static final String	DIV	Abstraction value for divisions /.
static final String	DIV_ASSIGN	Abstraction value for div assign operator /=.
static final String	DOT	Abstraction value for dots in paths ..
static final String	EQ	Abstraction value for equality checks ==.
static final String	GEQ	Abstraction value for greater-equals checks >=.
static final String	GT	Abstraction value for greater checks >.
static final String	HAS_ATTRIBUTE	Abstraction value for has_attribute operator __has_attribute(ATTRIBUTE).
static final String	HAS_BUILTIN	Abstraction value for has_builtin operator __has_builtin(BUILTIN).
static final String	HAS_C_ATTRIBUTE	Abstraction value for has_c_attribute operator __has_c_attribute(ATTRIBUTE).
static final String	HAS_CPP_ATTRIBUTE	Abstraction value for has_cpp_attribute operator __has_cpp_attribute(ATTRIBUTE).
static final String	HAS_INCLUDE	Abstraction value for has_include operator __has_include(INCLUDE).
static final String	L_AND	Abstraction value for logical and &&.
static final String	L_OR	Abstraction value for logical or ||.
static final String	LEFT_SHIFT_ASSIGN	Abstraction value for left shift assign operator <<=.
static final String	LEQ	Abstraction value for smaller-equals checks <=.
static final String	LSHIFT	Abstraction value for bitwise left shift <<.
static final String	LT	Abstraction value for smaller checks <.
static final String	MINUS_ASSIGN	Abstraction value for minus assign operator -=.
static final String	MOD	Abstraction value for modulo %.
static final String	MOD_ASSIGN	Abstraction value for mod assign operator %=.
static final String	MUL	Abstraction value for multiplications *.
static final String	NEQ	Abstraction value for inequality checks !=.
static final String	NOT	Abstraction value for bitwise not ~.
static final String	OR	Abstraction value for bitwise or |.
static final String	OR_ASSIGN	Abstraction value for 'or' assign operator |=.
static final String	PLUS_ASSIGN	Abstraction value for plus assign operator +=.
static final String	QUOTE	Abstraction value for quotation marks in paths ".
private static final List<BooleanAbstraction.Replacement>	REPLACEMENTS
static final String	RIGHT_SHIFT_ASSIGN	Abstraction value for right shift assign operator >>=.
static final String	RSHIFT	Abstraction value for bitwise right shift >>.
static final String	SQUOTE	Abstraction value for single quotation marks '.
static final String	STAR_ASSIGN	Abstraction value for star assign operator *=.
static final String	SUB	Abstraction value for subtractions -.
static final String	THEN	Abstraction value for the condition of the ternary operator ?.
static final String	U_AND	Abstraction value for unary 'and' &.
static final String	U_MINUS	Abstraction value for unary minus -.
static final String	U_NOT	Abstraction value for unary not !.
static final String	U_PLUS	Abstraction value for unary plus +.
static final String	U_STAR	Abstraction value for unary star *.
static final String	U_TILDE	Abstraction value for unary tilde ~.
static final String	WHITESPACE	Abstraction value for whitespace .
static final String	XOR	Abstraction value for bitwise xor ^.
static final String	XOR_ASSIGN	Abstraction value for xor assign operator ^=.

Constructor Summary

Constructors

Modifier	Constructor	Description
private	BooleanAbstraction()

Method Summary

Modifier and Type	Method	Description
static String	abstractAll(String formula)	Apply all possible abstraction replacements for substrings of the given formula.
static String	abstractToken(String text)	Search for the first replacement that matches the entire text and apply it.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

EQ

public static final String EQ

Abstraction value for equality checks ==.

See Also:

• Constant Field Values

NEQ

public static final String NEQ

Abstraction value for inequality checks !=.

See Also:

• Constant Field Values

GEQ

public static final String GEQ

Abstraction value for greater-equals checks >=.

See Also:

• Constant Field Values

LEQ

public static final String LEQ

Abstraction value for smaller-equals checks <=.

See Also:

• Constant Field Values

GT

public static final String GT

Abstraction value for greater checks >.

See Also:

• Constant Field Values

LT

public static final String LT

Abstraction value for smaller checks <.

See Also:

• Constant Field Values

SUB

public static final String SUB

Abstraction value for subtractions -.

See Also:

• Constant Field Values

ADD

public static final String ADD

Abstraction value for additions +.

See Also:

• Constant Field Values

MUL

public static final String MUL

Abstraction value for multiplications *.

See Also:

• Constant Field Values

DIV

public static final String DIV

Abstraction value for divisions /.

See Also:

• Constant Field Values

MOD

public static final String MOD

Abstraction value for modulo %.

See Also:

• Constant Field Values

LSHIFT

public static final String LSHIFT

Abstraction value for bitwise left shift <<.

See Also:

• Constant Field Values

RSHIFT

public static final String RSHIFT

Abstraction value for bitwise right shift >>.

See Also:

• Constant Field Values

NOT

public static final String NOT

Abstraction value for bitwise not ~.

See Also:

• Constant Field Values

AND

public static final String AND

Abstraction value for bitwise and &.

See Also:

• Constant Field Values

OR

public static final String OR

Abstraction value for bitwise or |.

See Also:

• Constant Field Values

XOR

public static final String XOR

Abstraction value for bitwise xor ^.

See Also:

• Constant Field Values

THEN

public static final String THEN

Abstraction value for the condition of the ternary operator ?.

See Also:

• Constant Field Values

COLON

public static final String COLON

Abstraction value for the alternative of the ternary operator :, or just colons.

See Also:

• Constant Field Values

BRACKET_L

public static final String BRACKET_L

Abstraction value for opening brackets (.

See Also:

• Constant Field Values

BRACKET_R

public static final String BRACKET_R

Abstraction value for closing brackets ).

See Also:

• Constant Field Values

U_AND

public static final String U_AND

Abstraction value for unary 'and' &.

See Also:

• Constant Field Values

U_STAR

public static final String U_STAR

Abstraction value for unary star *.

See Also:

• Constant Field Values

U_PLUS

public static final String U_PLUS

Abstraction value for unary plus +.

See Also:

• Constant Field Values

U_MINUS

public static final String U_MINUS

Abstraction value for unary minus -.

See Also:

• Constant Field Values

U_TILDE

public static final String U_TILDE

Abstraction value for unary tilde ~.

See Also:

• Constant Field Values

U_NOT

public static final String U_NOT

Abstraction value for unary not !.

See Also:

• Constant Field Values

L_AND

public static final String L_AND

Abstraction value for logical and &&.

See Also:

• Constant Field Values

L_OR

public static final String L_OR

Abstraction value for logical or ||.

See Also:

• Constant Field Values

DOT

public static final String DOT

Abstraction value for dots in paths ..

See Also:

• Constant Field Values

QUOTE

public static final String QUOTE

Abstraction value for quotation marks in paths ".

See Also:

• Constant Field Values

SQUOTE

public static final String SQUOTE

Abstraction value for single quotation marks '.

See Also:

• Constant Field Values

ASSIGN

public static final String ASSIGN

Abstraction value for assign operator =.

See Also:

• Constant Field Values

STAR_ASSIGN

public static final String STAR_ASSIGN

Abstraction value for star assign operator *=.

See Also:

• Constant Field Values

DIV_ASSIGN

public static final String DIV_ASSIGN

Abstraction value for div assign operator /=.

See Also:

• Constant Field Values

MOD_ASSIGN

public static final String MOD_ASSIGN

Abstraction value for mod assign operator %=.

See Also:

• Constant Field Values

PLUS_ASSIGN

public static final String PLUS_ASSIGN

Abstraction value for plus assign operator +=.

See Also:

• Constant Field Values

MINUS_ASSIGN

public static final String MINUS_ASSIGN

Abstraction value for minus assign operator -=.

See Also:

• Constant Field Values

LEFT_SHIFT_ASSIGN

public static final String LEFT_SHIFT_ASSIGN

Abstraction value for left shift assign operator <<=.

See Also:

• Constant Field Values

RIGHT_SHIFT_ASSIGN

public static final String RIGHT_SHIFT_ASSIGN

Abstraction value for right shift assign operator >>=.

See Also:

• Constant Field Values

AND_ASSIGN

public static final String AND_ASSIGN

Abstraction value for 'and' assign operator &=.

See Also:

• Constant Field Values

XOR_ASSIGN

public static final String XOR_ASSIGN

Abstraction value for xor assign operator ^=.

See Also:

• Constant Field Values

OR_ASSIGN

public static final String OR_ASSIGN

Abstraction value for 'or' assign operator |=.

See Also:

• Constant Field Values

WHITESPACE

public static final String WHITESPACE

Abstraction value for whitespace .

See Also:

• Constant Field Values

BSLASH

public static final String BSLASH

Abstraction value for backslash \.

See Also:

• Constant Field Values

HAS_ATTRIBUTE

public static final String HAS_ATTRIBUTE

Abstraction value for has_attribute operator __has_attribute(ATTRIBUTE). One of the six special operators that require abstraction.

See Also:

• Constant Field Values

HAS_CPP_ATTRIBUTE

public static final String HAS_CPP_ATTRIBUTE

Abstraction value for has_cpp_attribute operator __has_cpp_attribute(ATTRIBUTE). One of the six special preprocessor operators that require abstraction.

See Also:

• Constant Field Values

HAS_C_ATTRIBUTE

public static final String HAS_C_ATTRIBUTE

Abstraction value for has_c_attribute operator __has_c_attribute(ATTRIBUTE). One of the six special preprocessor operators that require abstraction.

See Also:

• Constant Field Values

HAS_BUILTIN

public static final String HAS_BUILTIN

Abstraction value for has_builtin operator __has_builtin(BUILTIN). One of the six special preprocessor operators that require abstraction.

See Also:

• Constant Field Values

HAS_INCLUDE

public static final String HAS_INCLUDE

Abstraction value for has_include operator __has_include(INCLUDE). One of the six special preprocessor operators that require abstraction.

See Also:

• Constant Field Values

DEFINED

public static final String DEFINED

Abstraction value for defined operator defined. One of the six special preprocessor operators that require abstraction.

See Also:

• Constant Field Values

REPLACEMENTS

private static final List<BooleanAbstraction.Replacement> REPLACEMENTS

Constructor Details

BooleanAbstraction

private BooleanAbstraction()

Method Details

abstractAll

public static String abstractAll(String formula)

Apply all possible abstraction replacements for substrings of the given formula.

Parameters:

formula - the formula to abstract

Returns:

a fully abstracted formula

abstractToken

public static String abstractToken(String text)

Search for the first replacement that matches the entire text and apply it. This is the case, if the given text corresponds to a single token (e.g., '&&', '||'). If no replacement for the entire text is found (e.g., if the token has no replacement), all possible replacements are applied to abstract substrings of the token that require abstraction.

The purpose of this method is to achieve a slight speedup for scenarios in which the text usually contains a single token. For example, this is useful when abstracting individual tokens of an extracted preprocessor formula in AbstractingCExpressionVisitor. In all other cases, directly calling abstractAll(String) should be preferred.

Parameters:

text - the text to abstract

Returns:

a fully abstracted text