-
Notifications
You must be signed in to change notification settings - Fork 121
Create recipe for @InlineMe annotation replacements
#788
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Merged
Merged
Changes from 23 commits
Commits
Show all changes
31 commits
Select commit
Hold shift + click to select a range
4dcad6a
Create replace for `@InlineMe` annotations
timtebeek f14bcc6
Implement conversion from replacement string to templated
timtebeek f122b98
Small tweaks
timtebeek 171791d
Drop JetBrains annotation
timtebeek 8b075ff
Make `createTemplateString` static as well
timtebeek 422e156
Update Inlinings.java
timtebeek aac36ab
Additional test cases
timtebeek 78bd090
Merge branch 'main' into recipe-for-InlineMe-annotation
timtebeek e9ac12f
Add support for constructors as well
timtebeek 506797a
Merge branch 'main' into recipe-for-InlineMe-annotation
timtebeek 76d8972
Update InliningsTest.java
timtebeek c83ce5a
Add an even simpler document example test case
timtebeek d7eacf8
Merge branch 'main' into recipe-for-InlineMe-annotation
timtebeek a3468ef
Show initial passing test
timtebeek 939f31f
Fix template when select is null
timtebeek 576cb71
Show more tests passing
timtebeek 1a791d6
Show all tests passing
timtebeek 7fec2ca
Avoid self referential replacements
timtebeek f4bc91b
Switch to `latest.release`
timtebeek 439a911
Show problematic case for Guava
timtebeek 1dc2878
Rename recipe
timtebeek 2524fe3
Explicitly show parameter names are not available
timtebeek 6ee0d51
Merge branch 'main' into recipe-for-InlineMe-annotation
timtebeek 9dc3314
Apply code suggestion
timtebeek 2aca035
Quit early when we encounter `arg0`
timtebeek 30b9b79
Remove imports before adding imports
timtebeek b406699
Add support for adding static imports
timtebeek 4086d65
Add support for removing static imports
timtebeek 6a7ed9f
Merge the visitors for regular and static import removal
timtebeek 5a4359f
Pull out a separate recipe to `findOriginalImports`
timtebeek 739a032
Create a Guava recipe to inline methods and move the tests there
timtebeek File filter
Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
There are no files selected for viewing
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
241 changes: 241 additions & 0 deletions
241
src/main/java/org/openrewrite/java/migrate/InlineMethodCalls.java
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,241 @@ | ||
| /* | ||
| * Copyright 2025 the original author or authors. | ||
| * <p> | ||
| * Licensed under the Moderne Source Available License (the "License"); | ||
| * you may not use this file except in compliance with the License. | ||
| * You may obtain a copy of the License at | ||
| * <p> | ||
| * https://docs.moderne.io/licensing/moderne-source-available-license | ||
| * <p> | ||
| * Unless required by applicable law or agreed to in writing, software | ||
| * distributed under the License is distributed on an "AS IS" BASIS, | ||
| * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. | ||
| * See the License for the specific language governing permissions and | ||
| * limitations under the License. | ||
| */ | ||
| package org.openrewrite.java.migrate; | ||
|
|
||
| import lombok.AccessLevel; | ||
| import lombok.Getter; | ||
| import lombok.Value; | ||
| import org.jspecify.annotations.Nullable; | ||
| import org.openrewrite.Cursor; | ||
| import org.openrewrite.ExecutionContext; | ||
| import org.openrewrite.Recipe; | ||
| import org.openrewrite.TreeVisitor; | ||
| import org.openrewrite.java.JavaParser; | ||
| import org.openrewrite.java.JavaTemplate; | ||
| import org.openrewrite.java.JavaVisitor; | ||
| import org.openrewrite.java.tree.*; | ||
|
|
||
| import java.util.ArrayList; | ||
| import java.util.HashMap; | ||
| import java.util.List; | ||
| import java.util.Map; | ||
| import java.util.regex.Matcher; | ||
| import java.util.regex.Pattern; | ||
| import java.util.stream.Collectors; | ||
|
|
||
| import static java.util.Objects.requireNonNull; | ||
|
|
||
| public class InlineMethodCalls extends Recipe { | ||
|
|
||
| private static final String INLINE_ME = "com.google.errorprone.annotations.InlineMe"; | ||
|
|
||
| @Override | ||
| public String getDisplayName() { | ||
| return "Inline methods annotated with `@InlineMe`"; | ||
| } | ||
|
|
||
| @Override | ||
| public String getDescription() { | ||
| return "Apply inlinings defined by Error Prone's [`@InlineMe` annotation](https://errorprone.info/docs/inlineme)."; | ||
| } | ||
|
|
||
| @Override | ||
| public TreeVisitor<?, ExecutionContext> getVisitor() { | ||
| // XXX Preconditions can not yet pick up the `@InlineMe` annotation on methods used | ||
| return new JavaVisitor<ExecutionContext>() { | ||
| @Override | ||
| public J visitMethodInvocation(J.MethodInvocation method, ExecutionContext ctx) { | ||
| J.MethodInvocation mi = (J.MethodInvocation) super.visitMethodInvocation(method, ctx); | ||
| InlineMeValues values = findInlineMeValues(mi.getMethodType()); | ||
| if (values == null) { | ||
| return mi; | ||
| } | ||
| Template template = values.template(mi); | ||
| if (template == null) { | ||
| return mi; | ||
| } | ||
| for (String importStr : values.getImports()) { | ||
| maybeAddImport(importStr); | ||
| } | ||
| // TODO Add static imports | ||
| J replacement = JavaTemplate.builder(template.getString()) | ||
| .contextSensitive() | ||
| .imports(values.getImports()) | ||
| .staticImports(values.getStaticImports()) | ||
| .javaParser(JavaParser.fromJavaVersion().classpath(JavaParser.runtimeClasspath())) | ||
| .build() | ||
| .apply(updateCursor(mi), mi.getCoordinates().replace(), template.getParameters()); | ||
| return avoidMethodSelfReferences(mi, replacement); | ||
| } | ||
|
|
||
| @Override | ||
| public J visitNewClass(J.NewClass newClass, ExecutionContext ctx) { | ||
| J.NewClass nc = (J.NewClass) super.visitNewClass(newClass, ctx); | ||
| InlineMeValues values = findInlineMeValues(nc.getConstructorType()); | ||
| if (values == null) { | ||
| return nc; | ||
| } | ||
| Template template = values.template(nc); | ||
| if (template == null) { | ||
| return nc; | ||
| } | ||
| for (String importStr : values.getImports()) { | ||
| maybeAddImport(importStr); | ||
| } | ||
| // TODO Add static imports | ||
| J replacement = JavaTemplate.builder(template.getString()) | ||
| .contextSensitive() | ||
| .imports(values.getImports()) | ||
| .staticImports(values.getStaticImports()) | ||
| .javaParser(JavaParser.fromJavaVersion().classpath(JavaParser.runtimeClasspath())) | ||
| .build() | ||
| .apply(updateCursor(nc), nc.getCoordinates().replace(), template.getParameters()); | ||
| return avoidMethodSelfReferences(nc, replacement); | ||
| } | ||
|
|
||
| private @Nullable InlineMeValues findInlineMeValues(JavaType.@Nullable Method methodType) { | ||
| if (methodType == null) { | ||
| return null; | ||
| } | ||
| List<JavaType.FullyQualified> annotations = methodType.getAnnotations(); | ||
| for (JavaType.FullyQualified annotation : annotations) { | ||
| if (INLINE_ME.equals(annotation.getFullyQualifiedName())) { | ||
| return InlineMeValues.parse((JavaType.Annotation) annotation); | ||
| } | ||
| } | ||
| return null; | ||
| } | ||
|
|
||
| private J avoidMethodSelfReferences(MethodCall original, J replacement) { | ||
| JavaType.Method replacementMethodType = replacement instanceof MethodCall ? | ||
| ((MethodCall) replacement).getMethodType() : null; | ||
| if (replacementMethodType == null) { | ||
| return replacement; | ||
| } | ||
|
|
||
| Cursor cursor = getCursor(); | ||
| while ((cursor = cursor.getParent()) != null) { | ||
| Object value = cursor.getValue(); | ||
|
|
||
| JavaType.Method cursorMethodType; | ||
| if (value instanceof MethodCall) { | ||
| cursorMethodType = ((MethodCall) value).getMethodType(); | ||
| } else if (value instanceof J.MethodDeclaration) { | ||
| cursorMethodType = ((J.MethodDeclaration) value).getMethodType(); | ||
| } else { | ||
| continue; | ||
| } | ||
| if (TypeUtils.isOfType(replacementMethodType, cursorMethodType)) { | ||
| return original; | ||
| } | ||
| } | ||
| return replacement; | ||
| } | ||
| }; | ||
| } | ||
|
|
||
| @Value | ||
| private static class InlineMeValues { | ||
| private static final Pattern TEMPLATE_IDENTIFIER = Pattern.compile("#\\{(\\p{javaJavaIdentifierStart}\\p{javaJavaIdentifierPart}*):any\\(.*?\\)}"); | ||
|
|
||
| @Getter(AccessLevel.NONE) | ||
| String replacement; | ||
|
|
||
| String[] imports; | ||
| String[] staticImports; | ||
|
|
||
| static InlineMeValues parse(JavaType.Annotation annotation) { | ||
| Map<String, Object> collect = annotation.getValues().stream() | ||
| .collect(Collectors.toMap( | ||
|
timtebeek marked this conversation as resolved.
Outdated
|
||
| e -> ((JavaType.Method) e.getElement()).getName(), | ||
| JavaType.Annotation.ElementValue::getValue | ||
| )); | ||
| String replacement = (String) collect.get("replacement"); | ||
|
|
||
| // Parse imports and static imports from the annotation values | ||
| String[] imports = parseImports(collect.get("imports")); | ||
| String[] staticImports = parseImports(collect.get("staticImports")); | ||
|
|
||
| return new InlineMeValues(replacement, imports, staticImports); | ||
| } | ||
|
|
||
| private static String[] parseImports(@Nullable Object importsValue) { | ||
| if (importsValue instanceof List) { | ||
| return ((List<?>) importsValue).stream() | ||
| .map(Object::toString) | ||
| .toArray(String[]::new); | ||
| } | ||
| return new String[]{}; | ||
| } | ||
|
|
||
| @Nullable | ||
| Template template(MethodCall original) { | ||
| JavaType.Method methodType = original.getMethodType(); | ||
| if (methodType == null) { | ||
| return null; | ||
| } | ||
| String templateString = createTemplateString(original, replacement, methodType.getParameterNames()); | ||
| List<Object> parameters = createParameters(templateString, original); | ||
| return new Template(templateString, parameters.toArray(new Object[0])); | ||
| } | ||
|
|
||
| private static String createTemplateString(MethodCall original, String replacement, List<String> originalParameterNames) { | ||
| String templateString = original instanceof J.MethodInvocation && | ||
| ((J.MethodInvocation) original).getSelect() == null && | ||
| replacement.startsWith("this.") ? | ||
| replacement.replaceFirst("^this.\\b", "") : | ||
| replacement.replaceAll("\\bthis\\b", "#{this:any()}"); | ||
| for (String parameterName : originalParameterNames) { | ||
| // Replace parameter names with their values in the templateString | ||
| templateString = templateString.replaceAll( | ||
| String.format("\\b%s\\b", parameterName), | ||
| String.format("#{%s:any()}", parameterName)); // TODO 2nd, 3rd etc should use shorthand `#{a}` | ||
| } | ||
| return templateString; | ||
| } | ||
|
|
||
| private static List<Object> createParameters(String templateString, MethodCall original) { | ||
| Map<String, Expression> lookup = new HashMap<>(); | ||
| if (original instanceof J.MethodInvocation) { | ||
| Expression select = ((J.MethodInvocation) original).getSelect(); | ||
| if (select != null) { | ||
| lookup.put("this", select); | ||
| } | ||
| } | ||
| List<String> originalParameterNames = requireNonNull(original.getMethodType()).getParameterNames(); | ||
| for (int i = 0; i < originalParameterNames.size(); i++) { | ||
| String originalName = originalParameterNames.get(i); | ||
| Expression originalValue = original.getArguments().get(i); | ||
| lookup.put(originalName, originalValue); | ||
| } | ||
| List<Object> parameters = new ArrayList<>(); | ||
| Matcher matcher = TEMPLATE_IDENTIFIER.matcher(templateString); | ||
| while (matcher.find()) { | ||
| Expression o = lookup.get(matcher.group(1)); | ||
| if (o != null) { | ||
| parameters.add(o); | ||
| } | ||
| } | ||
| return parameters; | ||
| } | ||
| } | ||
|
|
||
| @Value | ||
| private static class Template { | ||
| String string; | ||
| Object[] parameters; | ||
| } | ||
| } | ||
Oops, something went wrong.
Oops, something went wrong.
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Uh oh!
There was an error while loading. Please reload this page.