Package org.variantsync.diffdetective.feature.cpp

Class ControllingCExpressionVisitor

java.lang.Object

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

org.variantsync.diffdetective.feature.cpp.ControllingCExpressionVisitor

All Implemented Interfaces:

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

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

Visitor that controls how formulas given as an ANTLR parse tree are abstracted. To this end, the visitor traverses the parse tree, searching for subtrees that should be abstracted. If such a subtree is found, the visitor calls an AbstractingCExpressionVisitor to abstract the entire subtree. Only those parts of a formula are abstracted that require abstraction, leaving ancestors in the tree unchanged.

Field Summary

Fields

Modifier and Type	Field	Description
private final AbstractingCExpressionVisitor	abstractingVisitor

Constructor Summary

Constructors

Constructor	Description
ControllingCExpressionVisitor()

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().
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().
private StringBuilder	visitLogicalExpression(org.antlr.v4.runtime.ParserRuleContext expressionContext, Function<org.antlr.v4.runtime.tree.ParseTree,Boolean> instanceCheck)
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

Field Details

abstractingVisitor

private final AbstractingCExpressionVisitor abstractingVisitor

Constructor Details

ControllingCExpressionVisitor

public ControllingCExpressionVisitor()

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

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

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

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

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

visitLogicalExpression

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