njit-jerse / specimin

SPECIfication MINimizer. A different kind of slicer for Java.
MIT License
3 stars 5 forks source link

Remove unused `ElementType`s in `@Target` #355

Closed theron-wang closed 1 month ago

theron-wang commented 1 month ago

Removes unused ElementTypes in @Target annotations. The current approach is to only remove ElementTypes, not add them, so we don't accidentally make a non TYPE_USE annotation into a TYPE_USE annotation, for example.

I also addressed two small bugs I encountered:

Instead of creating a new test case for this, I just modified one of the existing ones (SyntheticAnnotationTargetTest), since it's purpose already seemed to fit this PR.

Thanks!

kelloggm commented 1 month ago

@theron-wang can you resolve the merge conflict? It should be easy: you just need to decide whether the code in this PR or the code in #354 (which I just merged) should run first.