Verify equality of template signatures

[Bananeweizen]

Make sure that all templates belonging to a recipe have the same number, order and type for all the method arguments. This avoids accidental copy/paste errors which otherwise can lead to compiling recipe code, but wrong results at runtime.

• Fixes #107.

Checklist

• [x] I've added unit tests to cover both positive and negative cases
• [x] I've read and applied the recipe conventions and best practices
• [x] I've used the IntelliJ IDEA auto-formatter on affected files

[Stephan202]

Heads up: this may quite significantly reduce the number of Error Prone Support Refaster rules for which a corresponding OpenRewrite recipe is generated.

Stock Refaster requires that @AfterTemplate method parameter names are also present for each @BeforeTemplate method, but not vice versa, and does not require that the types match. We rely on latter to keep rules compact, while the former is valid in case a rule drops an unused subexpression.

[Bananeweizen]

Then the only thing remaining to raise an error for would be after.args.size() > before.args.size(). However, that would have found just 1 out of the 3 or 4 copy/paste errors I made in recent weeks that all motivated me to have the strict check. :/

[Stephan202]

Yeah, that's painful :(. I recognize that it's soo easy to make copy-paste errors when creating a bunch of similar Refaster rules.

This motivated us to write a test framework (where each rule has before- and after-example code), but as-is said framework isn't maximally user friendly, requiring changes in three files (example: PicnicSupermarket/error-prone-support#1290). At some point I looked into creating a "DSL" that would have example code be "nested" inside the relevant Refaster rule. Something to return to, one of these days :)

[knutwannheden]

It seems that we can at least also verify that the parameters of the after templates correspond to a parameter in each before template, where we perform the check by name.