[GR-72026] Implement EspressoExternalResolvedJavaMethod.hasAnnotations #12784
+25
−1
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.
Automated PR Summary
This PR extends annotation handling support in
EspressoExternalResolvedJavaMethodby providing a functional implementation of thehasAnnotationsmethod, enabling the detection of annotation metadata on external methods. It also introduces the necessary interop plumbing throughEspressoExternalVMAccessandJVMCIInteropHelperto support querying annotation existence at runtime.Key Changes:
EspressoExternalResolvedJavaMethod.hasAnnotationsto query annotation presence viaEspressoExternalVMAccess.hasAnnotations(Value)method toEspressoExternalVMAccess, delegating to the JVMCI interop helper.JVMCIInteropHelperwith thehasAnnotationsinterop member and its specialization, supporting annotation checks for methods, fields, and classes via the JVMCI interop boundary.hasAnnotations.Jira Issue Resolution:
Extends support for annotation handling in
EspressoExternalResolvedJavaMethod, removing a functional gap and unblocking usage in standalone analysis requiring annotation metadata access.