search

njit-jerse / specimin

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

Remove FunctionalInterface anotations #219

Closed LoiNguyenCS closed 3 months ago

LoiNguyenCS commented 3 months ago

Professor,

This is a simple PR to remove all FunctionalInterface annotations. Please take a look. Thank you.

LoiNguyenCS commented 3 months ago

Professor,

This PR should also remove the code in UnsolvedClassOrInterface around line 310 that adds @FunctionalInterface annotations.

Since PrunerVisitor still relies on the @FunctionalInterface annotation to know whether to preserve an abstract method declaration that is not used by any target method, I think we should keep the codes that add @FunctionalInterface annotations in UnsolvedClassOrInterface.