Package org.variantsync.diffdetective.feature.cpp

Class AbstractingCExpressionVisitor

java.lang.Object

org.antlr.v4.runtime.tree.AbstractParseTreeVisitor<StringBuilder>

org.variantsync.diffdetective.feature.cpp.AbstractingCExpressionVisitor

All Implemented Interfaces:

org.antlr.v4.runtime.tree.ParseTreeVisitor<StringBuilder>, CExpressionVisitor<StringBuilder>

public class AbstractingCExpressionVisitor
extends org.antlr.v4.runtime.tree.AbstractParseTreeVisitor<StringBuilder>
implements CExpressionVisitor<StringBuilder>

Visitor that abstracts all symbols of a formula, given as ANTLR parse tree, that might interfere with further formula analysis. This visitor traverses the given tree and substitutes all formula substrings with replacements by calling BooleanAbstraction.

Not all formulas or parts of a formula might require abstraction (e.g., 'A && B'). Therefore, this visitor should not be used directly. Instead, you may use a ControllingCExpressionVisitor which internally uses an AbstractingCExpressionVisitor to control how formulas are abstracted, and only abstracts those parts of a formula that require it.

Constructor Summary

Constructors

Constructor	Description
AbstractingCExpressionVisitor()

Method Summary

Modifier and Type	Method	Description
StringBuilder	visitAdditiveExpression(CExpressionParser.AdditiveExpressionContext ctx)	Visit a parse tree produced by CExpressionParser.additiveExpression().
StringBuilder	visitAndExpression(CExpressionParser.AndExpressionContext ctx)	Visit a parse tree produced by CExpressionParser.andExpression().
StringBuilder	visitArgumentExpressionList(CExpressionParser.ArgumentExpressionListContext ctx)	Visit a parse tree produced by CExpressionParser.argumentExpressionList().
StringBuilder	visitAssignmentExpression(CExpressionParser.AssignmentExpressionContext ctx)	Visit a parse tree produced by CExpressionParser.assignmentExpression().
StringBuilder	visitAssignmentOperator(CExpressionParser.AssignmentOperatorContext ctx)	Visit a parse tree produced by CExpressionParser.assignmentOperator().
StringBuilder	visitConditionalExpression(CExpressionParser.ConditionalExpressionContext ctx)	Visit a parse tree produced by CExpressionParser.conditionalExpression().
StringBuilder	visitEqualityExpression(CExpressionParser.EqualityExpressionContext ctx)	Visit a parse tree produced by CExpressionParser.equalityExpression().
StringBuilder	visitExclusiveOrExpression(CExpressionParser.ExclusiveOrExpressionContext ctx)	Visit a parse tree produced by CExpressionParser.exclusiveOrExpression().
private StringBuilder	visitExpression(org.antlr.v4.runtime.ParserRuleContext expressionContext, Function<org.antlr.v4.runtime.tree.ParseTree,Boolean> instanceCheck)	Abstract all child nodes in the parse tree.
StringBuilder	visitExpression(CExpressionParser.ExpressionContext ctx)	Visit a parse tree produced by CExpressionParser.expression().
StringBuilder	visitInclusiveOrExpression(CExpressionParser.InclusiveOrExpressionContext ctx)	Visit a parse tree produced by CExpressionParser.inclusiveOrExpression().
StringBuilder	visitLogicalAndExpression(CExpressionParser.LogicalAndExpressionContext ctx)	Visit a parse tree produced by CExpressionParser.logicalAndExpression().
StringBuilder	visitLogicalOperand(CExpressionParser.LogicalOperandContext ctx)	Visit a parse tree produced by CExpressionParser.logicalOperand().
StringBuilder	visitLogicalOrExpression(CExpressionParser.LogicalOrExpressionContext ctx)	Visit a parse tree produced by CExpressionParser.logicalOrExpression().
StringBuilder	visitMacroExpression(CExpressionParser.MacroExpressionContext ctx)	Visit a parse tree produced by CExpressionParser.macroExpression().
StringBuilder	visitMultiplicativeExpression(CExpressionParser.MultiplicativeExpressionContext ctx)	Visit a parse tree produced by CExpressionParser.multiplicativeExpression().
StringBuilder	visitNamespaceExpression(CExpressionParser.NamespaceExpressionContext ctx)	Visit a parse tree produced by CExpressionParser.namespaceExpression().
StringBuilder	visitPrimaryExpression(CExpressionParser.PrimaryExpressionContext ctx)	Visit a parse tree produced by CExpressionParser.primaryExpression().
StringBuilder	visitRelationalExpression(CExpressionParser.RelationalExpressionContext ctx)	Visit a parse tree produced by CExpressionParser.relationalExpression().
StringBuilder	visitShiftExpression(CExpressionParser.ShiftExpressionContext ctx)	Visit a parse tree produced by CExpressionParser.shiftExpression().
StringBuilder	visitSpecialOperator(CExpressionParser.SpecialOperatorContext ctx)	Visit a parse tree produced by CExpressionParser.specialOperator().
StringBuilder	visitSpecialOperatorArgument(CExpressionParser.SpecialOperatorArgumentContext ctx)	Visit a parse tree produced by CExpressionParser.specialOperatorArgument().
StringBuilder	visitUnaryOperator(CExpressionParser.UnaryOperatorContext ctx)	Visit a parse tree produced by CExpressionParser.unaryOperator().

Methods inherited from class org.antlr.v4.runtime.tree.AbstractParseTreeVisitor

aggregateResult, defaultResult, shouldVisitNextChild, visit, visitChildren, visitErrorNode, visitTerminal

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.antlr.v4.runtime.tree.ParseTreeVisitor

visit, visitChildren, visitErrorNode, visitTerminal

Constructor Details

AbstractingCExpressionVisitor

public AbstractingCExpressionVisitor()

Method Details

visitConditionalExpression

public StringBuilder visitConditionalExpression(CExpressionParser.ConditionalExpressionContext ctx)

Description copied from interface: CExpressionVisitor

Visit a parse tree produced by CExpressionParser.conditionalExpression().

Specified by:

visitConditionalExpression in interface CExpressionVisitor<StringBuilder>

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitPrimaryExpression

public StringBuilder visitPrimaryExpression(CExpressionParser.PrimaryExpressionContext ctx)

Description copied from interface: CExpressionVisitor

Visit a parse tree produced by CExpressionParser.primaryExpression().

Specified by:

visitPrimaryExpression in interface CExpressionVisitor<StringBuilder>

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitUnaryOperator

public StringBuilder visitUnaryOperator(CExpressionParser.UnaryOperatorContext ctx)

Description copied from interface: CExpressionVisitor

Visit a parse tree produced by CExpressionParser.unaryOperator().

Specified by:

visitUnaryOperator in interface CExpressionVisitor<StringBuilder>

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitNamespaceExpression

public StringBuilder visitNamespaceExpression(CExpressionParser.NamespaceExpressionContext ctx)

Description copied from interface: CExpressionVisitor

Visit a parse tree produced by CExpressionParser.namespaceExpression().

Specified by:

visitNamespaceExpression in interface CExpressionVisitor<StringBuilder>

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitMultiplicativeExpression

public StringBuilder visitMultiplicativeExpression(CExpressionParser.MultiplicativeExpressionContext ctx)

Description copied from interface: CExpressionVisitor

Visit a parse tree produced by CExpressionParser.multiplicativeExpression().

Specified by:

visitMultiplicativeExpression in interface CExpressionVisitor<StringBuilder>

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitAdditiveExpression

public StringBuilder visitAdditiveExpression(CExpressionParser.AdditiveExpressionContext ctx)

Description copied from interface: CExpressionVisitor

Visit a parse tree produced by CExpressionParser.additiveExpression().

Specified by:

visitAdditiveExpression in interface CExpressionVisitor<StringBuilder>

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitShiftExpression

public StringBuilder visitShiftExpression(CExpressionParser.ShiftExpressionContext ctx)

Description copied from interface: CExpressionVisitor

Visit a parse tree produced by CExpressionParser.shiftExpression().

Specified by:

visitShiftExpression in interface CExpressionVisitor<StringBuilder>

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitRelationalExpression

public StringBuilder visitRelationalExpression(CExpressionParser.RelationalExpressionContext ctx)

Description copied from interface: CExpressionVisitor

Visit a parse tree produced by CExpressionParser.relationalExpression().

Specified by:

visitRelationalExpression in interface CExpressionVisitor<StringBuilder>

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitEqualityExpression

public StringBuilder visitEqualityExpression(CExpressionParser.EqualityExpressionContext ctx)

Description copied from interface: CExpressionVisitor

Visit a parse tree produced by CExpressionParser.equalityExpression().

Specified by:

visitEqualityExpression in interface CExpressionVisitor<StringBuilder>

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitAndExpression

public StringBuilder visitAndExpression(CExpressionParser.AndExpressionContext ctx)

Description copied from interface: CExpressionVisitor

Visit a parse tree produced by CExpressionParser.andExpression().

Specified by:

visitAndExpression in interface CExpressionVisitor<StringBuilder>

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitExclusiveOrExpression

public StringBuilder visitExclusiveOrExpression(CExpressionParser.ExclusiveOrExpressionContext ctx)

Description copied from interface: CExpressionVisitor

Visit a parse tree produced by CExpressionParser.exclusiveOrExpression().

Specified by:

visitExclusiveOrExpression in interface CExpressionVisitor<StringBuilder>

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitInclusiveOrExpression

public StringBuilder visitInclusiveOrExpression(CExpressionParser.InclusiveOrExpressionContext ctx)

Description copied from interface: CExpressionVisitor

Visit a parse tree produced by CExpressionParser.inclusiveOrExpression().

Specified by:

visitInclusiveOrExpression in interface CExpressionVisitor<StringBuilder>

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitSpecialOperator

public StringBuilder visitSpecialOperator(CExpressionParser.SpecialOperatorContext ctx)

Description copied from interface: CExpressionVisitor

Visit a parse tree produced by CExpressionParser.specialOperator().

Specified by:

visitSpecialOperator in interface CExpressionVisitor<StringBuilder>

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitSpecialOperatorArgument

public StringBuilder visitSpecialOperatorArgument(CExpressionParser.SpecialOperatorArgumentContext ctx)

Description copied from interface: CExpressionVisitor

Visit a parse tree produced by CExpressionParser.specialOperatorArgument().

Specified by:

visitSpecialOperatorArgument in interface CExpressionVisitor<StringBuilder>

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitLogicalAndExpression

public StringBuilder visitLogicalAndExpression(CExpressionParser.LogicalAndExpressionContext ctx)

Description copied from interface: CExpressionVisitor

Visit a parse tree produced by CExpressionParser.logicalAndExpression().

Specified by:

visitLogicalAndExpression in interface CExpressionVisitor<StringBuilder>

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitLogicalOrExpression

public StringBuilder visitLogicalOrExpression(CExpressionParser.LogicalOrExpressionContext ctx)

Description copied from interface: CExpressionVisitor

Visit a parse tree produced by CExpressionParser.logicalOrExpression().

Specified by:

visitLogicalOrExpression in interface CExpressionVisitor<StringBuilder>

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitLogicalOperand

public StringBuilder visitLogicalOperand(CExpressionParser.LogicalOperandContext ctx)

Description copied from interface: CExpressionVisitor

Visit a parse tree produced by CExpressionParser.logicalOperand().

Specified by:

visitLogicalOperand in interface CExpressionVisitor<StringBuilder>

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitMacroExpression

public StringBuilder visitMacroExpression(CExpressionParser.MacroExpressionContext ctx)

Description copied from interface: CExpressionVisitor

Visit a parse tree produced by CExpressionParser.macroExpression().

Specified by:

visitMacroExpression in interface CExpressionVisitor<StringBuilder>

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitArgumentExpressionList

public StringBuilder visitArgumentExpressionList(CExpressionParser.ArgumentExpressionListContext ctx)

Description copied from interface: CExpressionVisitor

Visit a parse tree produced by CExpressionParser.argumentExpressionList().

Specified by:

visitArgumentExpressionList in interface CExpressionVisitor<StringBuilder>

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitAssignmentExpression

public StringBuilder visitAssignmentExpression(CExpressionParser.AssignmentExpressionContext ctx)

Description copied from interface: CExpressionVisitor

Visit a parse tree produced by CExpressionParser.assignmentExpression().

Specified by:

visitAssignmentExpression in interface CExpressionVisitor<StringBuilder>

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitAssignmentOperator

public StringBuilder visitAssignmentOperator(CExpressionParser.AssignmentOperatorContext ctx)

Description copied from interface: CExpressionVisitor

Visit a parse tree produced by CExpressionParser.assignmentOperator().

Specified by:

visitAssignmentOperator in interface CExpressionVisitor<StringBuilder>

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitExpression

public StringBuilder visitExpression(CExpressionParser.ExpressionContext ctx)

Description copied from interface: CExpressionVisitor

Visit a parse tree produced by CExpressionParser.expression().

Specified by:

visitExpression in interface CExpressionVisitor<StringBuilder>

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitExpression

private StringBuilder visitExpression(org.antlr.v4.runtime.ParserRuleContext expressionContext,
 Function<org.antlr.v4.runtime.tree.ParseTree,Boolean> instanceCheck)

Abstract all child nodes in the parse tree.

Parameters:

expressionContext - The root of the subtree to abstract

instanceCheck - A check for expected child node types

Returns:

The abstracted formula of the subtree