AST pattern matching with relaxed constraints 2

astrelax.groovy

    void testInlineMacroCombinationWithConstraints() {
        use(ASTMatcher) {
            def ast1 = macro { a + b }
            def ast2 = macro { b + b }
            def ast3 = macro { b + c }
            def ast4 = macro { b - b }
            def pattern = macro {
                $v { macro { a }.withConstraints { placeholder a } } + b
            }.withConstraints {
                anyToken()
            }
            assert pattern instanceof BinaryExpression
            assert ast1.matches(pattern)
            assert ast2.matches(pattern)
            assert !ast3.matches(pattern)
            assert ast4.matches(pattern)
        }
    }

The same pattern can be written:

def pattern = macro {
                a + b
            }.withConstraints {
                placeholder a
                anyToken()
            }

The idea of the previous example is more to highlight the ability to put constraints on specific parts of the pattern and combine ASTs.