Annotation Interface UIEffect


Annotation for the concrete UI effect on methods, or on field accesses.
See the Checker Framework Manual:
GUI Effect Checker